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