如何在 Circom 中通過引用傳遞 function 參數？

Question

如何在circom電路語言中通過引用傳遞function參數？

我正在嘗試執行以下操作：

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)到 output 1，但我得到 0。有沒有某種方法我需要將pos傳遞給increment ，以便它可以通過引用修改變量？

Answer 1

我決定使用 C 預處理器來生成 circom 代碼，所以現在我有：

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

在我的 Makefile

和

#define increment(foo) foo++

在我的circom代碼中。