From e90666d8bae27aa3ddc8ff305d63567202e3f7cf Mon Sep 17 00:00:00 2001 From: calciumbe <192480234+calciumbe@users.noreply.github.com> Date: Tue, 31 Dec 2024 07:24:14 +0800 Subject: [PATCH] chore: fix typo (#347) --- src/lib.rs | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/lib.rs b/src/lib.rs index 8668c605..3bcc8cd9 100644 --- a/src/lib.rs +++ b/src/lib.rs @@ -510,14 +510,14 @@ where let is_inputs_not_match = self.z0_primary != z0_primary || self.z0_secondary != z0_secondary; // check if the (relaxed) R1CS instances have two public outputs - let is_instance_has_two_outpus = self.l_u_secondary.X.len() != 2 + let is_instance_has_two_outputs = self.l_u_secondary.X.len() != 2 || self.r_U_primary.X.len() != 2 || self.r_U_secondary.X.len() != 2; if is_num_steps_zero || is_num_steps_not_match || is_inputs_not_match - || is_instance_has_two_outpus + || is_instance_has_two_outputs { return Err(NovaError::ProofVerifyError); }