如何在Circom中引用传递函数参数？

Question

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

我想做以下几件事：

pragma circom 2.0.0;


function increment(foo) {
    foo++;
}

template MyTemplate() {
    signal input a;
    signal output b;

    var foo;
    foo = 0;

    increment(foo);
    log(foo);


    // ...
}

component main = MyTemplate();

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

Answer 1

我决定使用C预处理器来生成circom代码，所以现在我有了：

main.circom: 
    cpp -P maintpl.circom > main.circom

在我的制作文件里

和

#define increment(foo) foo++

在我的电话密码里。