Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)
@inproceedings{DBLP:conf/issta/ChaliasosAD25,
author = {Stefanos Chaliasos and
Imam Al{-}Fath and
Alastair F. Donaldson},
editor = {Mike Papadakis and
Myra B. Cohen and
Paolo Tonella},
title = {Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper)},
booktitle = {Proceedings of the 34th {ACM} {SIGSOFT} International Symposium on Software Testing and Analysis, {ISSTA} Companion 2025, Clarion Hotel Trondheim, Trondheim, Norway, June 25-28, 2025},
pages = {98--104},
publisher = {{ACM}},
year = {2025},
doi = {10.1145/3713081.3731718},
}