ARGUZZ: Testing zkVMs for Soundness and Completeness Bugs
Duration: 00:05:44
Speaker:
Type: Talk
Expertise:
Event: Devcon
Date: Jul 2026
Valentin Wüstholz, Principal Researcher and Co-founder, Diligence Security
Arguzz is the first fuzzer for testing zero-knowledge virtual machines (zkVMs). It uses metamorphic testing and adversarial execution to find soundness and completeness bugs. The fuzzer found 11 critical bugs across three major zkVMs.
https://defisecuritysummit.org/schedule