Ethproofs

race to mainnet-grade L1 zkEVMs

[Ethproofs @eth_proofs]

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.

[Ethproofs @eth_proofs]

https://t.co/EG6oz0BFsZ

[AntChain OpenLabs @AntChainOpenLab]

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

[AntChain OpenLabs @AntChainOpenLab]

Last week, zkDTVM proved 100% of Ethereum blocks. Every proof was under 8.8s, with an average time of just 3.1s.

Fastest. Most Stable. Most Reliable.

[Ethproofs @eth_proofs]

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

💪

[AntChain OpenLabs @AntChainOpenLab]

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

[Cysic @cysic_xyz]

Venus v 0.2.0 is live!

Key upgrades:
• Pure Rust proving-key generation pipeline
• ~3x faster proving-key setup
• Major recursive witness, GPU, Poseidon, FRI, and stream optimizations
• Verifier unchanged, proof format preserved

Details here: https://t.co/14RDV9k1zI

[Ethproofs @eth_proofs]

https://t.co/bmKWmglMcs

[Ethproofs @eth_proofs]

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!

[Ethproofs @eth_proofs]

go big or go home :)

[Gaylord @zkGaylord]

that was quite the @eth_proofs call 😁

[Ethproofs @eth_proofs]

A must read from @ladislaus0x! 👇

[ladislaus.eth @ladislaus0x]

https://t.co/ZgrmK0xL9U

[Ethproofs @eth_proofs]

Congrats @brevis_zk for making it into the RTP Cohort this week on Ethproofs with your new prover!

Performance: 88.88%
Liveness: 95.54%

[AntChain OpenLabs @AntChainOpenLab]

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

[AntChain OpenLabs @AntChainOpenLab]

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

[ziskvm @ziskvm]

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

[AntChain OpenLabs @AntChainOpenLab]

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.

[AntChain OpenLabs @AntChainOpenLab]

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

[Somnath Banerjee @somnergy]

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

[OpenVM @openvm_org]

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.

[AntChain OpenLabs @AntChainOpenLab]

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!

[Somnath Banerjee @somnergy]

Zilkworm-Airbender going toe-to-toe with 16-GPU provers on @eth_proofs
Thanks to @fbwoolf for fixing our verifier on the site promptly.

[ethrex @ethrex_client]

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.