diff --git a/test-vectors/mycircuit2.circom b/test-vectors/mycircuit2.circom new file mode 100644 index 0000000..4a18598 --- /dev/null +++ b/test-vectors/mycircuit2.circom @@ -0,0 +1,15 @@ +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(); + diff --git a/test-vectors/mycircuit2.r1cs b/test-vectors/mycircuit2.r1cs new file mode 100644 index 0000000..34611b9 Binary files /dev/null and b/test-vectors/mycircuit2.r1cs differ diff --git a/test-vectors/mycircuit2.sym b/test-vectors/mycircuit2.sym new file mode 100644 index 0000000..10ee4df --- /dev/null +++ b/test-vectors/mycircuit2.sym @@ -0,0 +1,6 @@ +1,1,0,main.d +2,2,0,main.e +3,3,0,main.a +4,4,0,main.b +5,5,0,main.c +6,6,0,main.temp diff --git a/test-vectors/mycircuit2.wasm b/test-vectors/mycircuit2.wasm new file mode 100644 index 0000000..5b6786f Binary files /dev/null and b/test-vectors/mycircuit2.wasm differ diff --git a/test-vectors/mycircuit2_constraints.json b/test-vectors/mycircuit2_constraints.json new file mode 100644 index 0000000..c0b721d --- /dev/null +++ b/test-vectors/mycircuit2_constraints.json @@ -0,0 +1,7 @@ +{ +"constraints": [ +[{"3":"21888242871839275222246405745257275088548364400416034343698204186575808495616"},{"4":"1"},{"6":"21888242871839275222246405745257275088548364400416034343698204186575808495616"}], +[{"6":"21888242871839275222246405745257275088548364400416034343698204186575808495616"},{"5":"1"},{"1":"21888242871839275222246405745257275088548364400416034343698204186575808495616"}], +[{"4":"21888242871839275222246405745257275088548364400416034343698204186575808495616"},{"5":"1"},{"2":"21888242871839275222246405745257275088548364400416034343698204186575808495616"}] +] +} \ No newline at end of file