Zero Knowledge vulnerabilities

Arithmetic Over/Under Flow vulnerability

Assigned But Not Constrained vulnerability

Missing Bit Length Check vulnerability

Missing Curve Point Checks vulnerability

Nondeterministic Circuits vulnerability

Trusted Setup Leak vulnerability

Under-Constrained Circuits vulnerability

Unused Public Inputs vulnerability

Weak Fiat-Shamir vulnerability