grapevine-sonobe/circom/node_modules/circomlib/test/circuits/escalarmulany_test.circom
circom/node_modules/circomlib/test/circuits/escalarmulany_test.circomRaw
1pragma circom 2.0.0;
2
3include "../../circuits/escalarmulany.circom";
4include "../../circuits/bitify.circom";
5
6template Main() {
7 signal input e;
8 signal input p[2];
9 signal output out[2];
10
11 component n2b = Num2Bits(253);
12 component escalarMulAny = EscalarMulAny(253);
13
14 escalarMulAny.p[0] <== p[0];
15 escalarMulAny.p[1] <== p[1];
16
17 var i;
18
19 e ==> n2b.in;
20
21 for (i=0; i<253; i++) {
22 n2b.out[i] ==> escalarMulAny.e[i];
23 }
24
25 escalarMulAny.out[0] ==> out[0];
26 escalarMulAny.out[1] ==> out[1];
27}
28
29component main = Main();
30