Ethproofs

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.

Over the past couple of months, we’ve been working on RAX, a RISC-V-to-x86-64 static binary translator. It is designed to run RISC-V programs on x86-64 with as little overhead as possible and currently supports RV64IMA. In this video, I use RAX to compile a RISC-V Ethereum stateless validation client into a native x86-64 executable. I then run it against Ethereum block #24,167,615. The workload executes over 2.16 billion RISC-V instructions and completes in around 362ms on my machine. That works out to almost 6 billion RISC-V instructions per second 🤯. It has taken several iterations to get here: Interpreter: 2m43s Basic-block interpreter: 35s (~4.7x faster) JIT compiler: 6s (27x faster) AOT compiler: 362ms (450x faster) RAX is still a work in progress, but we’re really excited to share what we’ve built so far. GitHub: github.com/sublinearlabs/…

We are announcing OpenVM 2.0.0, the first production release of OpenVM 2.0. This release is externally audited with expanded formal verification and proves Ethereum mainnet in real time on as few as 8 GPUs. Proving times are down 95x since the first release 18 months ago.

For anyone wondering what on-prem proving for Ethereum looks like: we took a picture of our server before spinning this up!

1/ Cysic’s FPGA proving path for the Venus zkVM has crossed a major milestone: 1.3x proofs-per-joule efficiency vs. an RTX 5090 baseline. The GPU baseline used 7.76 kJ per proof. We brought that down to under 5.96 kJ per proof. 🧵

Congrats to @brevis_zk for being the first team to get up-and-running w/ their on-prem cluster for the Ethproofs On-Prem Proving Initiative! ethproofs.org/on-prem-provin…

Behind the scenes with the EF's zkEVM team. Bringing Zero-Knowledge technology closer to the Ethereum core protocol.

RT @ziskvm: ZisK v1.0.0-alpha is out. github.com/0xPolygonHerme… This release marks the beginning of the stabilization phase for ZisK. The…

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/0x/From-Thousa…

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/0x/Pangolin-Pa…

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/0x/UniSkip-in-…

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/ven…

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!

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/AntChainOpenLa…