11 seconds - That's the tweet.

Neutral evaluation of diverse #zkVM implementations reveals insights into their design and performance. ZisK analysis completed. @jbaylina @ziskvm 🧐 In addition to the amazing emulator, ZisK has the following features: 🔹 CPU/GPU Parallelism: #CPU handles witness generation while #GPU manages proof generation, running concurrently. 💻✨ 🔹 Near 100% GPU Utilization: Thanks to independent circuits (main, mem, ram, etc.) and task distribution via multi-threading + multi-streaming. 🚀 Top 3 GPU Kernels (Time Consumption): 🔹 computeExpressions: 40%. ⏱️ 🔹 br_ntt_8_steps: ~20%. ⏱️ 🔹 linear_hash_gpu_coalesced_2: ~15%. ⏱️ Optimization Opportunities: 🔹 For br_ntt_8_steps: · Reuse twiddle factors across kernels (currently regenerated each time). ♻️ · Add a native-to-bit-reverse NTT kernel to eliminate redundant bit-reverse steps during commits. ⚙️ 🔹 For computeExpressions: · GPU resources are fully utilized. Future gains may require optimizing the proving key's ops for efficiency. 🔍 Guess which zkVM we'll analyze next? 🤔 @eth_proofs

This is a crucial milestone toward formally verifying zk provers — an essential step in establishing trust and verifiability across the ZK ecosystem.

This release, is fully open source, 128 bits security, and proofs #ethereum blocks in real time.

I’m glad to see that Jordy Baylina is out there asking for a shared standard—128-bit security. I feel compelled to add, though: it only matters if it is mathematically verifiable, ie trustless! Trusted setup, to me, is basically 80-bit security.

Huge thanks to everyone involved in organizing @EthCC — consistently the best Ethereum conference, year after year. 🙏💜

We're hosting our first ZisK community call. Session focused to devs working on real-time proving. What to expect: – Deep dive into ZisK architecture and constraint system – Live Q&A with @jbaylina – Hands-on examples of working with ZisK Register now :

I’ve spent a lovely @EthCC night with much smarter people than myself: the @ethereum architect @drakefjustin and the ZKatooor @jbaylina (member of the DAO white hat group of ethereum and if I’m not mistaken the parity hack too). Thanks @ekang426 for hosting a great dinner!

At @ziskvm, we’re now proving Ethereum blocks in real time — open source and running on increasingly efficient infrastructure. It’s an early but meaningful milestone. Join me today at 13:00 @ EthCC, Redford Stage to learn more. #EthCC #ZK #Ethereum #zkVM @eth_proofs

Amazing post that explains the tricks for achieving 1.5GHz riscV trace generation.