Han Jian retweeted
Taking this opportunity to plug all the tooling built by the EF zkEVM team @ignaciohagopian @codytouchgrass @han__0110 @kevaundray @ladislaus0x and friends 🙏
📊 Hive dashboards: execution-spec tests run against every EL's execution witness and every guest × zkVM
eth-act.github.io/eest-execu…
✅ zkevm-test-monitor: tracks zkVM compliance with the zkEVM standards
eth-act.github.io/zkevm-test…
🔧 ere: one interface to compile, prove and verify across zkVMs
github.com/eth-act/ere
📦 ere-guests: the stateless EVM validator guests we're proving
github.com/eth-act/ere-guest…
🚀 zkboost: proves every block and feeds proofs to the beacon node
github.com/eth-act/zkboost
🧪 ethereum-package: spin up a local EIP-8025 devnet with provers in one command
github.com/ethpandaops/ether…
⚙️ provoor: runs the GPU proving clusters
github.com/han0110/provoor
📈 provoor runs: proving benchmarks
han0110.github.io/provoor-ru…
Let there be proofs! 🎉
Running an EIP-8025 execution-proof prover on Sepolia: blocks proven in ~6–7s on 16× RTX 5090 with OpenVM, for two guests, ethrex + reth (8 GPUs each).
36k+ proofs and counting.
Big shoutout to the prover teams, guest program teams and everyone who contributed to making this a reality!
We'll be rotating provers and guests over the coming days and weeks. Which prover + guest should we spin up next?
⚠️ Experimental: validators MUST NOT rely on execution proofs for fork choice or attestations. Keep running an execution client. (Yes, Sepolia validators are permissioned, but still 🙂)
Han Jian retweeted
Let there be proofs! 🎉
Running an EIP-8025 execution-proof prover on Sepolia: blocks proven in ~6–7s on 16× RTX 5090 with OpenVM, for two guests, ethrex + reth (8 GPUs each).
36k+ proofs and counting.
Big shoutout to the prover teams, guest program teams and everyone who contributed to making this a reality!
We'll be rotating provers and guests over the coming days and weeks. Which prover + guest should we spin up next?
⚠️ Experimental: validators MUST NOT rely on execution proofs for fork choice or attestations. Keep running an execution client. (Yes, Sepolia validators are permissioned, but still 🙂)
Han Jian retweeted
sig.golf is live
Join the open autoresearch challenge to design stateless hash-based signatures for post-quantum Ethereum, prove them secure in Lean, and beat the record on size × verification cycles.
Point your agents at sig.golf
Built with @eigenlabs on @yukonresearch
Han Jian retweeted
I believe that, in the near future, AI will give us safer, more reliable digital systems using formal verification.
Today we must ask: What does FV actually give us, in practice? My latest blog post investigates this question using SP1 Hypercube as a case study within the zkVM landscape.
zkevm.ethereum.foundation/bl…
Here’s the story👇
Han Jian retweeted
zkVM Standards v0 is here! 🎉
The zkEVM team has published three initial standards to reduce fragmentation across the zkVM ecosystem:
• RV64IM+Zicclsm common ISA
• C interface for precompiles
• C interface for guest IO
zkevm.ethereum.foundation/bl…
Han Jian retweeted
We just published the second part of a series of blog posts.
In Part 1 we motivated why worst-case block proving matters for gas repricing.
In Part 2, we dig into the tooling, datasets, and dashboards we’re using to actually measure it.
1/5
Han Jian retweeted
How do we minimize risk when integrating zkEVM proving into Ethereum L1? My latest blog post (link in thread) approaches this question by breaking down the risks into granular categories, making tradeoffs explicit. 1/7
Han Jian retweeted
Just published the first part of a series on how to think through Ethereum gas repricings required for block proving using zkVMs.
Any repricing-related work is complex, and we should start walking through it as soon as possible.
Link to article 👇 1/5
Han Jian retweeted
We published an article on how we’re approaching zkVM benchmarking for Ethereum: zkevm.ethereum.foundation/bl…
Hopefully it’s a useful starting point for diving deeper into the technical details of this effort.