From 83e016be39a48846755c987586d43edcc433582a Mon Sep 17 00:00:00 2001 From: moana Date: Fri, 15 Dec 2023 15:07:47 +0100 Subject: [PATCH] Change wire order in tests --- tests/append_gate.rs | 16 ++++++++-------- 1 file changed, 8 insertions(+), 8 deletions(-) diff --git a/tests/append_gate.rs b/tests/append_gate.rs index f92dbddc..e6867ac7 100644 --- a/tests/append_gate.rs +++ b/tests/append_gate.rs @@ -92,8 +92,8 @@ fn append_gate() { let msg = "Verification of satisfied circuit should pass"; let a = BlsScalar::one(); let b = BlsScalar::one(); - let d = BlsScalar::one(); let o = -BlsScalar::from(4); + let d = BlsScalar::one(); let circuit = TestCircuit::new(a, b, o, d, public); check_satisfied_circuit(&prover, &verifier, &pi, &circuit, &mut rng, &msg); @@ -102,8 +102,8 @@ fn append_gate() { let msg = "Verification of satisfied circuit should pass"; let a = BlsScalar::one(); let b = BlsScalar::zero(); - let d = BlsScalar::zero(); let o = -BlsScalar::one(); + let d = BlsScalar::zero(); let circuit = TestCircuit::new(a, b, o, d, public); check_satisfied_circuit(&prover, &verifier, &pi, &circuit, &mut rng, &msg); @@ -112,8 +112,8 @@ fn append_gate() { let msg = "Verification of satisfied circuit should pass"; let a = BlsScalar::zero(); let b = BlsScalar::one(); - let d = BlsScalar::zero(); let o = -BlsScalar::one(); + let d = BlsScalar::zero(); let circuit = TestCircuit::new(a, b, o, d, public); check_satisfied_circuit(&prover, &verifier, &pi, &circuit, &mut rng, &msg); @@ -122,8 +122,8 @@ fn append_gate() { let msg = "Verification of satisfied circuit should pass"; let a = BlsScalar::one(); let b = BlsScalar::one(); - let d = BlsScalar::zero(); let o = -BlsScalar::from(3u64); + let d = BlsScalar::zero(); let circuit = TestCircuit::new(a, b, o, d, public); check_satisfied_circuit(&prover, &verifier, &pi, &circuit, &mut rng, &msg); @@ -132,8 +132,8 @@ fn append_gate() { let msg = "Verification of satisfied circuit should pass"; let a = -BlsScalar::one(); let b = BlsScalar::zero(); - let d = BlsScalar::one(); let o = BlsScalar::zero(); + let d = BlsScalar::one(); let circuit = TestCircuit::new(a, b, o, d, public); check_satisfied_circuit(&prover, &verifier, &pi, &circuit, &mut rng, &msg); @@ -153,8 +153,8 @@ fn append_gate() { let msg = "Proof creation of unsatisfied circuit should fail"; let a = BlsScalar::random(&mut rng); let b = BlsScalar::random(&mut rng); - let d = BlsScalar::random(&mut rng); let o = BlsScalar::random(&mut rng); + let d = BlsScalar::random(&mut rng); let public = BlsScalar::random(&mut rng); let circuit = TestCircuit::new(a, b, o, d, public); check_unsatisfied_circuit(&prover, &circuit, &mut rng, &msg); @@ -164,8 +164,8 @@ fn append_gate() { let msg = "Proof creation of unsatisfied circuit should fail"; let a = BlsScalar::one(); let b = BlsScalar::one(); - let d = BlsScalar::one(); let o = BlsScalar::one(); + let d = BlsScalar::one(); let public = BlsScalar::one(); let circuit = TestCircuit::new(a, b, o, d, public); check_unsatisfied_circuit(&prover, &circuit, &mut rng, &msg); @@ -174,8 +174,8 @@ fn append_gate() { let msg = "Verification of unsatisfied circuit should pass"; let a = BlsScalar::one(); let b = BlsScalar::one(); - let d = BlsScalar::one(); let o = BlsScalar::one(); + let d = BlsScalar::one(); let public = BlsScalar::one(); let circuit = TestCircuit::new(a, b, o, d, public); check_unsatisfied_circuit(&prover, &circuit, &mut rng, &msg);