What is a ZK circuit security audit?

“A ZK circuit security audit is a specialized review of zero-knowledge circuits: the constraint systems that enable proofs of computational correctness without revealing private data. The primary vulnerability class is underconstrained circuits, which allow attackers to forge valid-looking proofs for incorrect statements.”