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); }