circom_component_example.circom

pragma circom 2.1.4;

template SumArray(numOfElements) {
    signal input in[numOfElements];

    signal output out;

    var sm = 0;
    for(var i=0; i < numOfElements; i++) {
        sm += in[i];
    }

    out <== sm;
}

template Example (numOfElements) {
    signal input arr[numOfElements];
    signal input sm;

    component smArray = SumArray(numOfElements);
    smArray.in <== arr;

    smArray.out === sm;
}

component main { public [ sm ] } = Example(5);

/* INPUT = {
    "arr": [1, 2, 3, 4, 5],
    "sm": "15"
} */