1/* Maj function for sha256
 2
 3out = a&b ^ a&c ^ b&c  =>
 4
 5out = a*b   +  a*c  +  b*c  -  2*a*b*c  =>
 6
 7out = a*( b + c - 2*b*c ) + b*c =>
 8
 9mid = b*c
10out = a*( b + c - 2*mid ) + mid
11
12*/
13
14template Maj(n) {
15    signal input a[n];
16    signal input b[n];
17    signal input c[n];
18    signal output out[n];
19    signal mid[n];
20
21    for (var k=0; k<n; k++) {
22        mid[k] <== b[k]*c[k];
23        out[k] <== a[k] * (b[k]+c[k]-2*mid[k]) + mid[k];
24    }
25}