1
2template Add() {
3    signal input in[2];
4    signal output out;
5
6    out <== in[0] + in[1];
7}
8
9component main = Add();