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