krlosMata

krlosMata

Polygon Labs

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.