Fuzzing Processing Pipelines for Zero-Knowledge Circuits: A Novel Approach to Detecting Logic Bugs

This paper introduces a novel fuzzing technique using metamorphic testing to effectively detect logic bugs in zero-knowledge circuit processing pipelines, as demonstrated by the open-source tool Circuzz.