zkEVM audit: Soundness & Completeness

Name: zkEVM audit: Soundness & Completeness
Uploaded: 2023-07-18T02:49:00.000Z
Description: 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

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

July 18, 2023