如何在 Circom 中通过引用传递 function 参数？

Question

How to pass function argument by reference in the circom circuit language ?

I'm trying to do the following:

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();

I expect log(pos) to output 1, but I'm getting 0. Is there a certain way I need to pass pos into increment so that it can modify the variable by reference?

Answer 1

I decided to use the C preprocessor to generate circom code, so now I have:

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

in my Makefile

and

#define increment(foo) foo++

in my circom code.