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