1
 2include "escalarmul.circom";
 3
 4component Pedersen(n) {
 5    signal input in[n];
 6    signal output out[2];
 7
 8    var nexps = ((n-1) \ 253) + 1;
 9    var nlastbits = n - (nexps-1)*253;
10
11    component escalarMuls[nexps];
12
13    var PBASE = [
14                    [17777552123799933955779906779655732241715742912184938656739573121738514868268,
15                     2626589144620713026669568689430873010625803728049924121243784502389097019475],
16                    [17777552123799933955779906779655732241715742912184938656739573121738514868268,
17                     2626589144620713026669568689430873010625803728049924121243784502389097019475],
18                    [17777552123799933955779906779655732241715742912184938656739573121738514868268,
19                     2626589144620713026669568689430873010625803728049924121243784502389097019475],
20                    [17777552123799933955779906779655732241715742912184938656739573121738514868268,
21                     2626589144620713026669568689430873010625803728049924121243784502389097019475],
22                    [17777552123799933955779906779655732241715742912184938656739573121738514868268,
23                     2626589144620713026669568689430873010625803728049924121243784502389097019475]
24                ];
25
26    var i;
27    var j;
28    for (i=0; i<nexps; i++) {
29        var nexpbits = (i == nexps-1) ? nlastbits : 253;
30        escalarMuls[i] = EscalarMul(nexpbits, PBASE[i][0], PBAS[i][1]);
31
32        for (j=0; j<nexpbits; j++) {
33            escalarMuls[i].in[j] <== in[253*i + j];
34        }
35
36        if (i==0) {
37            escalarMuls[i].inp[0] <== 0;
38            escalarMuls[i].inp[1] <== 0;
39        } else {
40            escalarMuls[i].inp[0] <== escalarMuls[i-1].out[0];
41            escalarMuls[i].inp[1] <== escalarMuls[i-1].out[1];
42        }
43    }
44
45    escalarMuls[nexps-1].out[0] ==> out[0];
46    escalarMuls[nexps-1].out[1] ==> out[1];
47}