ZK

Fuzzing ZK circuits: testing Noir and Circom with property-based approaches

ZK circuits need testing too. Under-constrained circuits, missing range checks, and witness mismatches are the reentrancy bugs of the ZK world. Here's how to fuzz them.