分享百科

indicator signals

先指示再约束 - 在 Circom 中复杂约束条件的方法

in 零知识证明之书

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

circom 零知识证明电路约束比较器 indicator signals

登链社区