This repository contains the full codebase for an FYP at Imperial College London on fuzzing of zero-knowledge proof (ZKP) compilers.
| Folder | Description |
|---|---|
circuzz/ |
Fork of the Circuzz metamorphic testing framework, extended with new backends, oracles, and generators. |
smt-solver/ |
SMT-based oracle and CLI for compiling ZK DSL programs to SMT2, solving them, and driving YinYang fusion experiments. |
evaluation/ |
Evaluation data, analysis notebooks, and results used in the final report (coverage, benchmark comparisons, bug reports). |
vm_setup/ |
Scripts for provisioning the DoC VM environment (Podman installation, etc.). |
report/ |
Final FYP report. |
The next stage of this work — a dedicated Noir compiler fuzzer with an SMT-based program generator — lives in a separate repository: jCabala/noir-comp-fuzz.