比较器

本文介绍了在 Circom 中使用 indicator signals 和 Circomlib comparator library 来实现复杂约束条件的方法。

本文继续讨论 Circom 常见陷阱：组件输出若未被显式约束，比较器和布尔门可能被“空跑”；组件输入若未在调用处先做范围或布尔约束，下游逻辑可被非预期取值绕过；同时 Circom 的比较运算 `<`、`>`、`<=`、`>=` 实际基于有符号字段代表元，接近 p/2 的值会出现反直觉结果。作者通过 IsEqual、AND、BigLessThan 等例子说明了漏洞成因与修复方式，并强调这些比较只影响见证生成，不是电路内约束。

本文深入探讨了 Circom 编程中需要注意的三个常见陷阱：未约束的输出、未约束的输入以及比较操作符的符号整数特性。未约束的输出可能导致电路验证失效，未约束的输入可能允许恶意证明者提供无效输入，而比较操作符的符号整数特性可能在 witness 生成阶段产生意料之外的结果。理解并避免这些陷阱对于编写安全的 Circom 电路至关重要。