Under-constrained circuits are the most common source of ZK circuit vulnerabilities. What does this really mean in technical terms? @IsilDillig shares.