TY  - RPRT
TI  - Arguzz: Testing zkVMs for Soundness and Completeness Bugs
AU  - Christoph Hochrainer
AU  - Valentin Wüstholz
AU  - Maria Christakis
PY  - 2025
UR  - https://arxiv.org/abs/2509.10819
ID  - 2509.10819
ER  -