Trying to be more active here. What's the best place to think out loud about zk (proofs/rollups/snarks) stuff here?