search

namnc / circom-2-arithc

Circom interpreter to arithmetic circuit description
MIT License
33 stars 7 forks source link

feat: multidimensional assignments #35

Closed brech1 closed 2 months ago

brech1 commented 2 months ago

Description

This PR enables multidimensional assignments for signals and component assignments.

template ComponentA () {
    signal input in[2][2];
    signal output out;

    out <== in[0][0] + in[0][1] + in[1][0] + in[1][1];
}

template ComponentB() {
    signal input a_in[2][2];
    signal output out;

    component a = ComponentA();
    a.in <== a_in;

    out <== a.out;
}

component main = ComponentB();

Related Issues