问题标签 [zk-snark]

如何在circom电路语言中通过引用传递函数参数？

我正在尝试执行以下操作：

我希望log(pos)输出 1，但我得到 0。我需要传递某种方式以便它可以通过引用修改变量吗pos？increment

我有以下Circom（电路编译器语言）程序：

我想访问任意索引处的数组元素并将其作为信号返回。

我收到以下错误：

如何访问具有“未知”索引的数组元素？

我正在尝试构建的是一个程序，它接收一个字节数组，寻找一个特定的索引，然后获取array[index:]. 我不知道索引是什么，索引将根据数组的内容在程序内部计算。

我已经在 crypto.stackexchange.com 上问过我之前的 Circom 问题，但在这里得到了指导。

我正在尝试对信号使用运算符并在Circom 电路编译器语言&中获取另一个信号，如下所示：

我收到此错误：

如何为 x 信号生成约束，使其成为二次方？

我在Circom 电路编译器中有以下形式的代码

我收到此错误：

如何以可以生成电路的形式重写条件？除了 if 条件之外，是否有类似Quin Selector的东西？

我在Circom cicuit 编译器中有以下电路：

我收到一个错误：

如何以一种可以迭代信号的len时间的方式编写此循环len？