namnc / circom-2-arithc

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

Support signal arrays assignment #30

Closed brech1 closed 2 months ago

brech1 commented 2 months ago

We should add support for the assignment of whole signal arrays. Example:

template fc (width, height) {
    signal input weights[height][width];
    signal output out[height];
}

template network() {
    signal input in;
    signal output out;

    component l0 = fc(3, 5);

    signal input w0[5][3];
    signal input b0[5];

    l0.weights <== w0;
    ...
}