Agenda
Planning doc: planning/projects.md at main · eth-act/planning · GitHub
Kick off call
- Kev (introduction)
Announcement
- Stateless summit in Cannes, led by stateless team: Notion
Project 1 and 2
- Ignacio (@jsign, Context on guest program, execution witness, EEST)
Project 3
- Marcin (@marcinbugaj , Context on zkVM standardization, WASM efforts, where we are now)
Project 4
- Tau (@frisitano, Context on CL, consensus specs)
- Manu (@nalepae, Prsym update)
Project 5
- Han (@han0110, Context on Proving infrastructure, zkboost, Ere, EWS)
- Stefan (@qu0b , Context on pandaOps buying hardware and status)
Project 6
- Ignacio (@jsign, Context on benchmarking and how it links to repricing)
- Fara (@fbwoolf, on integrating into Ethproofs and metrics already gathered)
Project 7
- Cody (@codygunton , Context on security, where we are with our thinking)
- Alex H (@alexanderlhicks, Formal verification)
- George (@asn-d6, soundcalc and formalization doc)
Open discussion
Meeting Time: Wednesday, February 11, 2026 at 15:00 UTC (60 minutes)