Initial fix for spurious verification failures
@@ -1406,9 +1406,12 @@ static void sparse_mul32(long[] prod, int ppos, int[] pk, int pkPos, int[] pos_l
prod[ppos + j] = prod[ppos + j] + sign_list[i] * pk[pkPos + j - pos];
}
}
- }
-
+ for (i = 0; i < PARAM_N; i++)
+ {
+ prod[ppos + i] = barr_reduce(prod[ppos + i]);
+ }
+ }
}
}
