Common Circuit Bugs: Unconstrained Inputs, Witness Leakage, and Soundness Holes

This lesson is for enrolled learners

The concept You study the bug classes that show up in real ZK audits: unconstrained or under-constrained signals, missing range checks, computed values that are never bound, public inputs that leak the witness, and logic that is correct for honest provers but not for malicious ones. The lesson uses small, readable examples rather than scare stories. The most common circuit……

Enroll to continue Already enrolled? Sign in