@CFrontier_Labs

https://xitter.cf/t.co/ggVcooj467 Researching computation technology in blockchain with hardware, including Zero-Knowledge Proof, and AI.

 Singapore
Joined May 2024
  • Tweets565
  • Following21
  • Followers70
23Media
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,621
more replies
4️⃣ JIT (Just-in-Time) compiles dynamically at runtime — adapting to workloads. Flexible, but adds startup overhead.
1
2
75
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
72
We just published zkVMs Progress：zkVMs Are Continuously Improving medium.com/p/zkvms-progress-… @eth_proofs
1
49
more replies
4️⃣ Cost revolution: Proofs now cost just a few cents per block — transforming ZK from a research demo to a viable production system.
1
31
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
66
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.
ziskvm
@ziskvm16 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
147
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, @boundlesshq’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
200
more replies
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

Announcing GPU Proving for OpenVM

We are releasing OpenVM v1.4.0 today under MIT and Apache 2.0 dual-license. This release includes a new GPU prover for OpenVM, new execution system running at 150 MHz, and multi-GPU orchestration for...

blog.openvm.dev
1
60
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: xitter.cf/thezkcloud/status/1966…
This quoted post is unavailable.
Try viewing anyway · View on X
57
Load more