Joined May 2024
23 Photos and videos
We deeply dived into zkVM's trace generation technology, and just published: Evaluation of zkVM Trace Generation Methods: AOT vs. JIT medium.com/p/evaluation-of-z… @eth_proofs @RiscZero @ziskvm @SuccinctLabs
3
2
11
1,605
4️⃣ JIT (Just-in-Time) compiles dynamically at runtime — adapting to workloads. Flexible, but adds startup overhead.
1
2
73
5️⃣ Takeaway: Both AOT and JIT technology have their own Pros and Cons. Usually, from the perspective of reducing latency, the AOT has more advantages. However, both of them advance real-time, verifiable, parallel compute for the next wave of ZK infrastructure. 🚀
1
71
We just published zkVMs Progress:zkVMs Are Continuously Improving medium.com/p/zkvms-progress-… @eth_proofs

1
42
4️⃣ Cost revolution: Proofs now cost just a few cents per block — transforming ZK from a research demo to a viable production system.
1
30
5️⃣ Outlook: zkVMs are becoming the Linux OS of verifiable compute — audited, standardized, open-source. Next stop: having zk proofs everywhere. 🚀 #ZK #Ethereum #zkVM
1
65
Congrats @ziskvm — single-machine 4090 results now live on @eth_proofs! 👏 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 optimizations, stronger trust. Solid baseline on one 4090; excited to see how far perf can climb next.
16 Sep 2025
@zisvm is now reporting in @ethproofs blocks with a single 4090. ZisK is fully open-source, 128-bit secure, and every reported time is 100% reproducible — making zkVM comparisons easier than ever. 🔗 ethproofs.org #ZKProofs #Ethereum #ETHProofs #ZKVM #Reproducibility
3
142
1/10 — Weekly ZK Roundup (Sep 8–14) We’re summarizing this week’s biggest ZK moves for builders and researchers: record-setting proving by @StarkWareLtd, @Starknet’s “Grinta” upgrade progress, @LineaBuild’s airdrop/TGE, @IrreducibleHW’s Binius64, in-browser verification on @eth_proofs with @ziskvm, @boundless_xyz’s @binance HODLer listing, @0xPolygon’s Rio testnet upgrade, @openvm_org’s GPU proving release, and @thezkcloud’s switch to @RiscZero Bento. Let’s dive in.
1
3
198
9/10 — @openvm_org v1.4.0 brings GPU proving distributed clusters OpenVM shipped v1.4.0 with a new GPU prover, a 150 MHz execution system, and orchestration for hundreds of GPUs. Claimed results: mainnet Ethereum blocks proven in ~15s at <$0.0003 per tx on L40S-class hardware—and the stack is MIT/Apache-2.0 and audited (Cantina). Implication: more teams can self-host/extend a performant zkVM without vendor lock-in; this also raises the bar for open-source zkVM ergonomics and perf transparency. Release blog: blog.openvm.dev/openvm-gpu
1
59
10/10 — @thezkcloud switches to @RiscZero Bento multi-GPU/multi-machine ZkCloud announced a production move from SP1 single-GPU to RISC Zero zkVM Bento clusters, branding itself “the fastest multi-machine” setup. Translation: they’re not just a marketplace; they actively operate/optimize the proving stack. Why care: (1) lower latency for block-scale proving, (2) capacity scaling via open-cluster orchestration (@RiscZero pushes open-source real-time proving toward sub-12s), (3) a cross-prover router still lets workloads target other stacks if needed. Tweet: x.com/thezkcloud/status/1966…

56