Search

Date:

Time:

Local time: Timezone: (UTC+10:00) BrisbaneDate: Mar 11 2026Time: 06:00 PM - 07:00 PM

Location: Online, Brisbane

Website: https://www.meetup.com/ethereum-engineering/events/313196869/

Ethereum Engineering Group – Formal Verification for Ethereum’s Next Scalability Era

Ethereum Engineering Group

At this Ethereum Engineering Group event, Mooly Sagiv, founder of Certora, will discuss how team’s research. The Ethereum Foundation has awarded a research grant to Certora to formally verify core components of the zkEVM, Ethereum’s next-gen zero-knowledge execution engine.

🗓 Wednesday, March 11, 2026
🕔 Time: 6:00 PM – 7:00 PM AEST
📍 Zoom call

Join the call

Ethereum Engineering Group is a meetup for software engineers, computer scientists, researchers, and technologists who want to understand the Ethereum platform and associated technologies. Since March 2020, the Ethereum Engineering Group meetup has been run via Zoom, online. The timing during the day of the meetup depends on who is talking and what part of the world they live in.