circomlib/test/circuits/escalarmul_min_test.circom
test/circuits/escalarmul_min_test.circomRaw
1include "../../circuits/escalarmul.circom";
2
3
4template Main() {
5 signal input in[256];
6 signal output out[2];
7
8 var i;
9
10 var base = [5299619240641551281634865583518297030282874472190772894086521144482721001553,
11 16950150798460657717958625567821834550301663161624707787222815936182638968203];
12
13 component escalarMul = EscalarMul(256, base);
14
15 escalarMul.inp[0] <== 0;
16 escalarMul.inp[1] <== 1;
17
18 for (i=0; i<256; i++) {
19 in[i] ==> escalarMul.in[i];
20 }
21
22 escalarMul.out[0] ==> out[0];
23 escalarMul.out[1] ==> out[1];
24}
25
26component main = Main();