1template AND() {
 2    signal input s1;
 3    signal input s2;
 4    signal output s3;
 5
 6    s3 <== s1*s2;
 7    s1*(s1-1) === 0;
 8    s2*(s2-1) === 0;
 9}
10
11component main = AND();