zk-circuit-auditor-mcp

请审计这段 Circom 电路代码，重点检查约束遗漏、未绑定信号、可绕过的断言以及潜在健全性问题，并给出修复建议。

返回按风险分级的问题清单，并附带具体漏洞说明与修改建议。

请检查这份 Noir 电路/证明逻辑，找出可能导致错误证明通过的约束缺陷、边界条件问题和输入验证漏洞。

输出电路中的高风险缺陷、影响分析，以及需要补充的约束或验证步骤。

请审阅这段 Halo2 电路实现，分析门约束、查找表、公共输入和 witness 处理是否存在安全或正确性问题。

给出约束设计审计结果，指出可利用缺陷及对应的重构建议。