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.

Our zkDTVM 8-GPU prover is now live on Ethproofs (@eth_proofs). zkDTVM is the world's first zkVM to achieve real-time proving on 8x 5090s: 🔹 99% proving < 7.7s 🔹 Avg proving time: 4.64s 🔹 Security: 100-bit (UDR) 🔹 Proof size < 600 KB Next: Proof size < 300 KB & 128-bit security. #ZK #zkVM #Ethereum #EthProofs #RealTimeProving

Post-quantum signatures are orders of magnitude larger than ECDSA — a dealbreaker for high-throughput blockchains. Our zkDTVM changes that: 4,500 leanXMSS sigs (~5.3 MiB) is compressed into one ZK proof (~577 KiB). Single GPU results: ⚡ 17,857 leanXMSS verifications/sec ⚡ 21× faster than leanVM (CPU prover) ⚡ End-to-end quantum-resistant Next up: SPHINCS . Full writeup 👇 openlabs-intl.antdigital.com…

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: openlabs-intl.antdigital.com…

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.

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 openlabs-intl.antdigital.com…

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: github.com/cysic-labs/venus/…

go big or go home :)

A must read from @ladislaus0x! 👇

Congrats @brevis_zk for making it into the RTP Cohort this week on Ethproofs with your new prover! Performance: 88.88% Liveness: 95.54%

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! 👇 github.com/AntChainOpenLabs/…

Part 2 of the zkDTVM deep‑dive is out — read the post: openlabs-intl.antdigital.com… 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: github.com/0xPolygonHermez/z…

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 👇 openlabs-intl.antdigital.com… 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. 🔗 ethproofs.org/clusters/12c79…

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. 👉 openlabs-intl.antdigital.com… 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!