uncomment

This commit is contained in:
Nicholas Ward 2021-10-27 12:03:51 -07:00
parent 4c5f2383fe
commit 8f8d03951b

View File

@ -143,8 +143,8 @@ mod tests {
let y = builder.constant_ff(y_ff);
let sum = builder.add_nonnative(&x, &y);
//let sum_expected = builder.constant_ff(sum_ff);
//builder.connect_ff_reduced(&sum, &sum_expected);
let sum_expected = builder.constant_ff(sum_ff);
builder.connect_ff_reduced(&sum, &sum_expected);
let data = builder.build();
let proof = data.prove(pw).unwrap();