circomlib/test/circuits/escalarmul_test.circom
test/circuits/escalarmul_test.circomRaw
1include "../../circuit/escalarmul.circom";
2include "../../node_modules/circom/circuits/bitify.circom";
3
4
5template Main() {
6 signal input in;
7 signal output out[2];
8
9 var base = [17777552123799933955779906779655732241715742912184938656739573121738514868268,
10 2626589144620713026669568689430873010625803728049924121243784502389097019475]
11
12
13 component n2b = Num2Bits(253);
14 component escalarMul = EscalarMul(253, base);
15
16 escalarMul.inp[0] <== 0;
17 escalarMul.inp[1] <== 1;
18
19 var i;
20
21 in ==> n2b.in;
22
23 for (i=0; i<253; i++) {
24 n2b.out[i] ==> escalarMul.in[i];
25 }
26
27 escalarMul.out[0] ==> out[0];
28 escalarMul.out[1] ==> out[1];
29}
30
31component main = Main();