zkFuzz: Foundation and Framework for Effective Fuzzing of Zero-Knowledge Circuits

Hideaki Takahashi, Jihwan Kim, Suman Jana +1

Zero-knowledge (ZK) circuits enable privacy-preserving computations and are central to many cryptographic protocols. Systems like Circom simplify ZK development by combining witnes…