Welcome back, Irreducible. Binius64 is a thoughtful pivot: CPU-first, native 64-bit gates, and an on-device proving focus that makes privacy use cases feel within reach. It’s a circuit-centric stack—not a general-purpose zkVM. Huge congratulations to them on the significant

Congrats ZkCloud — serious engineering progress From Succinct SP1 single-GPU → @risczero zkVM + Bento multi-GPU is a big step. From the Ethproofs board, recent blocks look faster than ziskvm, while $/proof & $/Mgas still have room to drop. Optimizing the cost↔time

Congrats ziskvm — single-machine 4090 results now live on Ethproofs! 👏 Love to see a fully open-source, 128-bit-secure stack with reproducible runs. This is exactly the openness the ecosystem needs: code others can rebuild, verify, and benchmark—faster fixes, shared