Automated Soundness and Completeness Vetting of Polygon zkEVM

Name: Automated Soundness and Completeness Vetting of Polygon zkEVM
Duration: 15 min
Description: Talk from 34th USENIX Security Symposium (USENIX Security '25).

Xinghao Peng

34th USENIX Security Symposium (USENIX Security '25) · Day 2 · Blockchain Security 2: Infrastructure, Protocol Design, and Governance