1
 2
 3
 4
 5templete Verfier() {
 6    signal input hMsg[256];
 7
 8    signal input Ax;
 9    signal input Ay;
10
11    signal input Rx;
12    signal input Ry;
13
14    signal input s[256];
15
16
17    componet exps = Exp();
18    component exph = Exp();
19
20    component adder = BabyAdd();
21
22}