Differential Fuzzing of the Vyper Compiler
Duration: 00:21:29
Speaker:
Type: Talk
Expertise:
Event: Devcon
Date: Jul 2026
Charles Cooper, Lead Developer, Vyper
This talk introduces problems in compiler security. Further, it showcases a differential fuzzer of the Vyper language utilizing an AST interpreter as the correctness oracle.
Ivy, a new Vyper interpreter, executes Vyper AST in a custom EVM and enables Csmith-style semantic equivalence testing against the compiler's bytecode. AST-aware, type-safe contract generator enables wide language coverage: generate contract → execute traces → compare semantics.