Merge pull request #25 from peppersec/circuit-fix

check selector in mixer
This commit is contained in:
Pertsev Alexey 2019-11-25 19:47:19 +03:00 committed by GitHub
commit f5486f0943
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -20,6 +20,7 @@ template DualMux() {
signal input s; signal input s;
signal output out[2]; signal output out[2];
s * (1 - s) === 0
out[0] <== (in[1] - in[0])*s + in[0]; out[0] <== (in[1] - in[0])*s + in[0];
out[1] <== (in[0] - in[1])*s + in[1]; out[1] <== (in[0] - in[1])*s + in[1];
} }