← Take me to the Agenda
Core Protocol & Research

Verify EVM execution in the pessimistic proof

Talk
Monday, June 30th 2025
11:35 - 11:55
Taylor Stage WS

Description

Explain the protocol design that has been done in order to allow a zkEVM (execution proof that proves an EVM execution) to be verified in the pessimistic proof.