Merge remote-tracking branch 'iden3/master' into feat/audit_fixes

This commit is contained in:
Kobi Gurkan 2019-12-03 20:26:43 +02:00
commit eeecd07cae

@ -281,7 +281,7 @@ template MiMCFeistel(nrounds) {
t4[i] <== t2[i]*t2[i]; t4[i] <== t2[i]*t2[i];
if (i<nrounds-1) { if (i<nrounds-1) {
xL[i] <== ((i==0) ? xR_in : xR[i-1]) + t4[i]*t; xL[i] <== ((i==0) ? xR_in : xR[i-1]) + t4[i]*t;
xR[i] = (i==0) ? xL_in : xL[i-1]; xR[i] <== (i==0) ? xL_in : xL[i-1];
} else { } else {
xR_out <== xR[i-1] + t4[i]*t; xR_out <== xR[i-1] + t4[i]*t;
xL_out <== xL[i-1]; xL_out <== xL[i-1];