Towards Fuzzing Zero-Knowledge Proof Circuits (Short Paper). - Stefanos Chaliasos; Imam Al-Fath; Alastair F. Donaldson (ISSTA Companion, 2025)