L1-zkEVM Breakout #005
Transcript
Ask about this call
Answered from this call's summary and transcript only.
AI-generated — verify against the recording.
Call summary
Targets
- •Next execution witness spec release based on Glamsterdam devnet-5 or devnet-6 — 00:12:50
- •Blocking Blobs DevNet (ethrex + Lighthouse prototype) — timeline TBD, targeted as soon as spec issues resolved — 01:06:36
Decisions
- •EIP-8025 (Optional ZK Proofs for Hegota) formally entered into the Hegota proposal process; PFI for Hegota — 00:07:01
Highlights
- Eip Proposals Hegota:
- ·EIP-8025 (Optional ZK Proofs) formally proposed for Hegota by Ignacio and Francesco; YouTube and slides linked — 00:06:23
- Evm Formal Verification:
- ·EVMASM (EVM in Lean4 assembly): 110 opcodes formally proved; STF modeling in progress (accounts, storage, EIP-1559 tx, call frames); targeting ZISK emulator for full ELF extraction; round-trip RISC-V tests in CI — 00:57:25
- Security And Compliance:
- ·Blog post published on SP1 formal verification effort: 11 base RV64IM instructions lack compliance coverage; RISC-V spec compliance now fully met by LambdaVM; ZISK near-compliant (fence edge case); OpenVM compliant release imminent — 00:43:33
- ·Ignacio found two security bugs while auditing codebases: soundness bug in ZISK (fixed in v0.18), and potential OOM critical bug in libSSE from lambdaclass — 00:15:44
- Testing And Infrastructure:
- ·Execution witness spec: releases 040+ include schema ID prefix, enriched chain config, and properly filled public key hints; Hive dashboard now running execution witness compliance tests; only ethrex integrated so far — 00:08:39
- ·EF proving cluster live; RISC-V distributed prover benchmark tools set up; initial mainnet and EST block benchmarks running; concrete numbers deferred to next call — 00:40:41
- ·Blocking Blobs (EIP-8025-adjacent): prototype underway in ethrex and Lighthouse by Peter (Scroll); spec issues found, draft PR submitted; DevNet end-to-end flow targeted; ethrex team (Ivan) also planning near-term contribution — 01:04:19
- Protocol Spec And Standards:
- ·zkEVM guest API: 7 standards accepted; static library/linker script standard moving to merge (ZISK agreed); 3 new drafts open for review: ELF loading, accelerated memory ops (memcpy/memmove/memset/memcmp), and write_log diagnostic — 00:22:54
- ·Francesco: block IR (ELIR) proposed as intermediate representation of EL host behaviors to aid formal verification; presented to FV group — 00:34:04
- ·Recursive proof scheme proposed for weak subjectivity sync: reduces proof download from ~54 GB to K proofs for head block; PR open for review — 00:34:08
Action Items
- •All zkEVM teams — Review three open zkEVM guest API standard PRs: ELF loading, accelerated memory ops, write_log — 00:23:14
- •EL client teams — Integrate engine_newPayloadWithWitness v5 on an official EL repo branch to join Hive execution witness dashboard — 00:13:55
- •CL client teams and zkEVM contributors — Review recursive proof / weak subjectivity sync PR and write-up; provide feedback — 00:35:08
Meeting chat62
- Iván | ethrex
gm
- Conall O'Reilly
gm
- Iván | ethrex
Yes!
- Iván | ethrex
Haha
- Ladislaus
nice
- read.ai meeting notes
Ignacio 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.
- ignacio
Interesting. I don't use read.ai at all
- Luca Donno | L2BEAT
gmgm
- Kevaundray Wedderburn
Reacted to "gmgm" with 👋
- Iván | ethrex
Reacted to "gmgm" with 👋
- Ladislaus
Hat auf "gmgm" mit 👋 reagiert
- Ömer
instead of engine api, would just running the fixtures from zkevm test releases be an alternative for the dashboard? guest-first implementations might not have the engine api.
- ignacio
Link to my slides: https://docs.google.com/presentation/d/1ssk-eooqYIiaFYjlu2E074NhRWC64R8XIwdq4bl9rYs/edit?usp=sharing
- Luca Donno | L2BEAT
This is different than standardizing program / elf hashes used as input to the verifier right? So that the same hash works for all zkvms
- Luca Donno | L2BEAT
Got it thanks
- Francesco Risitano
https://frisitano.github.io/slides/presentations/optional-proofs-2026-06-10/index.html
- Iván | ethrex
Reacted to "https://frisitano.gi..." with 👍
- Iván | ethrex
Reacted to "Link to my slides: h..." with 👍
- Ladislaus
Hat auf "https://frisitano.gi..." mit 👍 reagiert
- Han Jian
https://docs.google.com/presentation/d/1R5nIx6jtrjuZT0KWkznuCChNGg2kz5UMa5Xk5KnCHMc
- Kevaundray Wedderburn
Reacted to "Link to my slides: h..." with 👍
- Kevaundray Wedderburn
Reacted to "https://frisitano.gi..." with 👍
- Kevaundray Wedderburn
Reacted to "https://docs.google...." with 👍
- Ladislaus
Hat auf "https://docs.google...." mit 👍 reagiert
- Iván | ethrex
Reacted to "https://docs.google...." with 👍
- Marcin Bugaj
https://drive.google.com/file/d/1fA2IczBzilv9FfSnOTqsRCnGmVF5ekDo/view?usp=drive_link
- Kevaundray Wedderburn
Reacted to "https://drive.google..." with 👍
- Iván | ethrex
Reacted to "https://drive.google..." with 👍
- Gary Schulte
Reacted to "https://frisitano.gi..." with 👍
- cody
https://codygunton.github.io/talks-and-writing/2026-06-10-zkevm-breakout/
- Gary Schulte
Reacted to "https://codygunton.g..." with 🙏
- Iván | ethrex
Reacted to "https://codygunton.g..." with 🙏
- Gary Schulte
Reacted to "https://drive.google..." with 👍
- Gary Schulte
Reacted to "https://docs.google...." with 👍
- Gary Schulte
Reacted to "Link to my slides: h..." with 👍
- Ladislaus
Hat auf "https://codygunton.g..." mit 🙏 reagiert
- Kevaundray Wedderburn
Reacted to "https://codygunton.g..." with 🙏
- ben
https://docs.google.com/presentation/d/1Zft6dZ1P0Oj9Zsv5eGFMHysBBy0BUAco5dioDW0topE/edit?usp=sharing
- ignacio
Reacted to "https://docs.google...." with 🙏
- Iván | ethrex
Reacted to "https://docs.google...." with 🙏
- Ladislaus
Hat auf "https://docs.google...." mit 🙏 reagiert
- Kevaundray Wedderburn
Reacted to "https://docs.google...." with 🙏
- ben
writeup on tuning compiler flags: https://benbencik.github.io/blogs/compiler-optimization-zkevm.html
- Iván | ethrex
Reacted to "writeup on tuning co..." with 👀
- frangio
is there a reason why EvmYulLean is not used?
- ben
Reacted to "https://codygunton..." with 🙏
- Kevaundray Wedderburn
Replying to "is there a reason wh..." Can continue on a discord thread
- Derek Sorensen
Reacted to "Can continue on a di..." with 👍
- frangio
Reacted to "Can continue on a ..." with 👍
- frangio
Replying to "is there a reason ..." #l1-zkevm?
- Derek Sorensen
Replying to "is there a reason wh..." Sure
- Derek Sorensen
Replying to "is there a reason wh..." I can drop a message and we can discuss a bit more
- frangio
Reacted to "I can drop a messa..." with 🙏
- Kevaundray Wedderburn
Replying to "is there a reason wh..." Just made a thread and tagged both of you
- Iván | ethrex
Let’s talk in the Discord, Peter. We have BiB in our roadmap for the short-term but we didn’t start developing it yet
- Francesco
Reacted to "Let’s talk in the Discord, Peter. We have BiB in our roadmap for the short-term but we didn’t start developing it yet" with ❤️
- Luca Donno | L2BEAT
Reacted to "Let’s talk in the Di..." with 🔥
- Kevaundray Wedderburn
Reacted to "Let’s talk in the Di..." with ❤️
- Kevaundray Wedderburn
Reacted to "Let’s talk in the Di..." with 🔥
- Peter
Reacted to "Let’s talk in the Di..." with 👍
- Enrico Del Fante (tbenr)
Reacted to "Let’s talk in the Di..." with 🔥
- Ladislaus
Hat auf "Let’s talk in the Di..." mit ❤️ reagiert
Key decisions
EIP-8025 (Optional ZK Proofs for Hegota) formally entered into the Hegota proposal process; PFI for Hegota
Formally entered into the Hegota proposal process