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