zkEVM audit: Soundness & Completeness
1- Brief explanation of Soundness and completeness, and the difference 2- Brief explanation of the zkEVM 3- Soundness and completeness applied to the zkEVM 4- Examples of soundness and completeness vulnerabilities at the zkEVM
SPEAKER
Jacob Van Geffen
EVENT
EthCC[6]
Date
07/18/2023
CATEGORY
Security
TYPE
Talk
LANGUAGE
EN
Security videos