Ethproofs v3.2 is live 🚀
If proving is part of Ethereum’s future, the ecosystem needs a public way to see what is real:
- not just speed,
- but security,
- reliability,
- cost,
- hard blocks,
- and who is actually making progress.
That’s what this upgrade is about.
Introducing Pangolin: A padding-aware commitment scheme based on Basefold.
Instead of materializing repeated padding rows after encoding, Pangolin uses a simple observation: Back-padding in the trace becomes front-padding in the encoded matrix.
So the commit path can hash the padding row once and reuse its digest.
Same commitment semantics — less prover work:
✅ Store the padding row once
✅ Fewer encoded rows to hash/read
✅ Less prover data and memory traffic
✅ GPU-friendly: less global-memory bandwidth pressure
The 5th post in the zkDTVM series: https://t.co/RLOoRkpmnB
Wow, the metrics this week from the RTP Cohort on Ethproofs are fantastic! 🤯
- @AntChainOpenLab: 99.9% on both performance (sub-10s) and liveness
- @brevis_zk: 91.77% on performance and 99.21% liveness
💪
Introducing UniSkip-in-the-Tail: GPU‑native optimization for SumCheck's underutilized tail rounds.
Instead of suffering through sequential memory‑bound rounds with shrinking trace height, we consolidate multiple tail variables into a single higher‑degree univariate evaluation.
One algebraic construction — zero extra reconciliation phases:
✅ No Phase‑2 protocol (unlike Whirlaway)
✅ k rounds → 1 round via Lagrange bit‑lifting
✅ Alleviates memory bottleneck, boosts GPU resource utilization
✅ GPU‑friendly: parallel finite‑field eval over fixed interpolation domain
https://t.co/DBhHwS29Q8
This week we had 3 provers make the RTP Cohort on Ethproofs. Congrats to @ziskvm, @brevis_zk, and @AntChainOpenLab!
zkDTVM was integrated into soundcalc (link below) last week as their final requirement ...let's see if they can make the liveness and performance cut again next week!
zkDTVM Docker release is live!
Run it and experience the fastest real-time prover for Ethereum block.
What’s Next:
🔹May: Proof size <600KB (performance unchanged)
🔹August: Full open-source release
Stay tuned! 👇
https://t.co/xKow83xdXg
Part 2 of the zkDTVM deep‑dive is out — read the post: https://t.co/k5FNnZooz1
We break down the SumCheck PIOP, the most GPU‑critical stage of the prover, and how we reshape it so every round becomes a large GPU‑saturating batched kernel.
Inside:
🔹One SumCheck for all chips
🔹Univariate‑skip‑in‑the‑tail
🔹Algebraic decomposition
🔹Trace compression
ZisK v0.17.0 is now released.
This release restructures the entire system around clean, well-defined APIs and a unified SDK making local and remote proving seamless and consistent.
Thread with details below:
https://t.co/e622dx4tus
zkDTVM hits #1 on EthProofs — 3.7s Ethereum block proof, exciting progress toward real-time proving for Ethereum.
We built zkDTVM from the ground up as a GPU-native zkVM. Instead of bolting GPU kernels onto a CPU-shaped pipeline, we co-designed every layer — execution, arithmetization, and proving — for end-to-end CUDA acceleration, with no CPU fallback on the critical path.
Full architecture deep-dive 👇
https://t.co/MnNB4eZ0IH
Coming up next in the series:
🔹Execution & circuit co-optimization
🔹GPU-optimized SumCheck protocol
🔹Univariate-skip-in-the-tail
🔹 Protocol-level LogUp for local-only AIRs
🔹 End-to-end CUDA pipeline
Stay tuned.
Our zkDTVM single GPU prover is live on Ethproofs @eth_proofs!
🔹23s average proving time.
🔹100-bit security level (UDR).
Our 16-GPU prover goes live soon. 🔗 https://t.co/I4M59WhC7K
Last week we trespassed into the realm of RTP with 2 GPUs, this week we broke the 8 second barrier with zilkworm-airbender @eth_proofs
Next-stop: Avg latency less than 10 seconds
We are excited to release OpenVM 2.0 Beta, which features substantial performance gains over the OpenVM 2.0 Alpha release in January.
OpenVM 2.0 now proves mainnet Ethereum blocks in a p99 time of 7.9s on 16 5090 GPUs and has 964 MHz RISC-V throughput on 64 GPUs.
We are thrilled to announce zkDTVM, a hardware-acceleration-first zkVM for the agentic era. 👉 https://t.co/5iJNe8QmDk
Key highlights:
- Unified Sumcheck proving with rotation-free LogUp and compressed traces
- CPU-free chip architecture with automatic instruction fusion
- End-to-end GPU acceleration with multi-GPU linear scaling
- 72% lower memory overhead, 45% higher execution throughput, 60% cheaper crypto verification
zkDTVM will be live on Ethproofs @eth_proofs in late April.
Stay tuned!
We've integrated @zksync's Airbender as a new proving backend for @ethrex_client on @eth_proofs!
The average proving time is ~40s with a single GPU, achieving 14s in some blocks! These are our fastest zkVM proving times to date, and there's still much room for improvement.
Thanks to the @zksync team for the great work on Airbender.