arnaucube/circom-compat - circom-compat - git.arnaucube.com

15 lines

271 B

Raw Normal View History

Fix allocated public inputs indexes (#1) * fix: manage already allocated public inputs with a custom mapping * fix: initialize CircomCircuit with empty allocated public input variables * feat: add ability to choose to allocate inputs as witnesses or instances * chore: remove outdated comment * test: add relevant tests and asserts for generate_constraints * chore: add files used for tests * chore: replace assert_eq with match statement

5 months ago

template Multiplier() {
    signal input a; // 3
    signal input b; // 3
    signal input c; // 3
    signal temp;
    signal output d; // 27
    signal output e; // 9

    temp <== a*b;
    d <== temp*c;
    e <== b*c;
}

component main{public [a, b]} = Multiplier();