L1-zkEVM Breakout #008
Transcript
- read.ai meeting notes
Ignacio and Sweta added read.ai meeting notes to the meeting. Read provides AI generated meeting summaries to make meetings more effective and efficient. View our Privacy Policy at https://www.read.ai/pp Type "read stop" to disable, or "opt out" to delete meeting data.
- read.ai meeting notes
Read isn't recording yet. The Zoom host needs to grant recording permission in the meeting dialog.
- Luca Donno | L2BEAT
gm
- Ladislaus
Hat auf "gm" mit 👋 reagiert
- read.ai meeting notes
Read wasn't granted recording permission, so no part of this meeting was recorded. Read is now leaving.
- Kevaundray Wedderburn
Reacted to "gm" with 👋
- Chetany Bhardwaj
Reacted to "gm" with 👋
- Kevaundray Wedderburn
He mentioned he will be a bit late
- ignacio
link of my slides https://docs.google.com/presentation/d/1hVTqWOu5glMIbyNLcLi7W1I7O_1DlZFv6e-lDsWJndE/edit?usp=sharing
- ignacio
Reacted to "He mentioned he will be a bit late" with 🙏
- Iván | ethrex
Reacted to "link of my slides ht..." with 🙏
- Han Jian
- Gary Schulte
Reacted to "link of my slides https://docs.google.com/presentation/d/1hVTqWOu5glMIbyNLcLi7W1I7O_1DlZFv6e-lDsWJndE/edit?usp=sharing" with 🙏
- Gary Schulte
Reacted to "https://docs.google.com/presentation/d/1Lb6cGfTOhms_CZN4lHSnT4UAOUIlh8XZTvnAyEP6ohc/edit?slide=id.g3c598feeaac_0_0#slide=id.g3c598feeaac_0_0" with 🙏
- ignacio
Reacted to "https://docs.google.com/presentation/d/1Lb6cGfTOhms_CZN4lHSnT4UAOUIlh8XZTvnAyEP6ohc/edit?slide=id.g3c598feeaac_0_0#slide=id.g3c598feeaac_0_0" with 🙏
- Iván | ethrex
Reacted to "https://docs.google...." with 🙏
- Chetany Bhardwaj
Link to my slides: https://docs.google.com/presentation/d/1KeoK6fpf8L82XzqRXaZELPYrPZcoO4SOPmoMJtp9YKc/edit?usp=sharing
- Ladislaus
Hat auf "Link to my slides: h..." mit 🔥 reagiert
- Iván | ethrex
Reacted to "Link to my slides: h..." with 🙏
- ignacio
Ah, forget to mention that Developeruche work using REST SSZ could also help in the 8025-setup style of witness gen.
- Chetany Bhardwaj
Reacted to "Ah, forget to mention that Developeruche work using REST SSZ could also help in the 8025-setup style of witness gen." with ❤️
- Iván | ethrex
Reacted to "Ah, forget to mentio..." with ❤️
- ignacio
Reacted to "Link to my slides: https://docs.google.com/presentation/d/1KeoK6fpf8L82XzqRXaZELPYrPZcoO4SOPmoMJtp9YKc/edit?usp=sharing" with 🙏
- Developer Uche
Reacted to "Ah, forget to mention that Developeruche work using REST SSZ could also help in the 8025-setup style of witness gen." with ❤️
- Yi Sun
I’m surprised to hear that network latency is material. We found that in a cluster with 10 Gbps network and a 2x8 GPU setup with external EL node, it’s negligible (< ~100ms).
- Yi Sun
Makes sense, on non-local network, it would definitely be an issue.
- ignacio
Reacted to "Makes sense, on non-local network, it would definitely be an issue." with 👍
- Chetany Bhardwaj
Replying to "I’m surprised to hea..." To clear it up, it was not the case for my runs since the workers and their orchestrator were on same local network. But could it be significant with different network layouts, I think so.
- Chetany Bhardwaj
Reacted to "Makes sense, on non-local network, it would definitely be an issue." with 👍
- Han Jian
Reacted to "Ah, forget to mentio..." with ❤️
- Han Jian
Reacted to "Link to my slides: h..." with 🙏
- Enrico Del Fante (tbenr)
Is that cheap enough to be done inline in gossip validation?
- ignacio
pikachu ftw
- Chetany Bhardwaj
Reacted to "pikachu ftw" with ❤️
- Kevaundray Wedderburn
Great call! See you 🙂
- Iván | ethrex
See you!
Call summary
Targets
- •EIP-8025 CL integration targets Gloas devnet-8 or the following devnet - 00:52:30
Decisions
- •CL client teams only required to implement proof verification for 8025 devnet; proof generation support is optional - 00:53:59
Highlights
- Cl Spec Updates:
- ·New execution-proof-envelope type keyed on beacon block root (not payload); merged to consensus-specs master - 00:48:25
- ·Gossip handler now performs full proof-engine verification before propagation (not just signature) to prevent invalid-proof spam; ~80 ms verification overhead; benchmarks pending - 00:49:02
- ·For EIP-8025 devnet participation: CL teams only required to implement proof verification; proof generation is optional (Tau/Lighthouse fork will cover it) - 00:53:59
- Eip Proposals Hegota:
- ·EF blog post tier-list: EIP-8025 (stateless guest spec) scored A-ish; EVMification EIP scored C; BlockHash-via-EIP-2935 storage EIP ranked if capacity allows - 00:04:49
- ·EIP-8025 repo published: ACDMD rationale doc, Q&A, and progress.md engineering landing page; clarifies 8025 ≠ mandatory proofs - 00:09:34
- Proving Infrastructure:
- ·Benchmarks run with OpenVM v2.1 + zkV1.2; new prover front-end shows per-proof GPU metrics, pipeline traces, and cost composition by category - 00:22:05
- ·Chetany (EthPandaOps internship): 72-hour unattended mainnet run with 16×RTX 5090s; 99.4% of blocks proved within 12-second slot budget; median 6.26 s, P99 11.15 s end-to-end - 00:27:21
- ·Cancellation race left workers stuck 21.5 hours undetected; recovery handling + min-worker enforcement reduced same failure class to 72 seconds - 00:29:08
- ·Witness fetch was primary tail bottleneck (63% of median→P99 increase); worst-case fetch 9–11 s; old debug method used, not SSZ flat witness - 00:32:25
- Standardization And Specs:
- ·test-zkVM v0.8x released: simplified stateless input, external transition tool (Geth) filling, stateless input/output bytes in transition tool - 00:13:08
- ·First official benchmark fixtures released: 10, 30, 60 M gas; ethrex can now also fill benchmarks - 00:13:57
- ·DoS vector raised (Lukasz/Nethermind): HashMap seeds in pure guest functions exploitable via FOCIL; Cody drafted new precompile proposal; open for comment - 00:17:08
- ·era-guests now pulls ELFs from guest-team CI releases (ethrex + Reth joined Besu); teams fully own the proven ELF - 00:19:38
Action Items
- •All zkVM / guest-program teams - Review DoS/randomness-seed issue for guest programs and comment on Cody's precompile proposal - 00:17:08
- •Tau / Francesco - Benchmark proof-engine gossip-verification overhead (~80 ms) and share results before committing to approach - 00:51:05
Key decisions
CL client teams only required to implement proof verification for 8025 devnet; proof generation support is optional
Clarifies the scope of work for Consensus Layer teams participating in the EIP-8025 devnet.New execution-proof-envelope type keyed on beacon block root (not payload); merged to consensus-specs master
A design decision to key the proof envelope on the beacon block root was finalized and merged into the official consensus specifications.Gossip handler now performs full proof-engine verification before propagation (not just signature) to prevent invalid-proof spam
A security decision to enforce full verification at the gossip layer to mitigate potential spam vectors.
EIPs discussed
AI Disclaimer: Some content or metadata on EIPsInsight may be AI-inferred or automatically compiled. If you find any discrepancy, please contact us at dev@avarch.org.