We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent ee0ab94 commit 37c76c9Copy full SHA for 37c76c9
src/tests/test_validation_criteria.rs
@@ -435,8 +435,10 @@ mod proof_validation {
435
ComposedWitness::Simple(vec![wrong_y]),
436
]);
437
let proof_result = nizk.prove_batchable(&witness_wrong, &mut rng);
438
- assert!(proof_result.is_err(), "Proof should fail with invalid witnesses");
439
-
+ assert!(
+ proof_result.is_err(),
440
+ "Proof should fail with invalid witnesses"
441
+ );
442
443
// Create a correct witness for both branches
444
let witness_correct = ComposedWitness::Or(vec![
@@ -448,6 +450,5 @@ mod proof_validation {
448
450
nizk.verify_batchable(&proof).is_ok(),
449
451
"Prover fails when all witnesses in an OR proof are valid"
452
);
453
}
454
0 commit comments