★ 0 stars
TypeScript
💬 Communication
Updated today
MCP server (zk-lens) that lowers Circom and Noir circuits into a shared Constraint IR and performs BFS-based signal provenance tracing to detect underconstrained witnesses, a soundness bug class not surfaced by existing ZK tooling.
View on GitHub →