From c4be838af44d0bdd313d8dc280316ed1c6a20ffe Mon Sep 17 00:00:00 2001 From: Robin Salen Date: Mon, 18 Sep 2023 09:59:48 -0400 Subject: [PATCH] Typo --- evm/src/fixed_recursive_verifier.rs | 10 +++++++--- evm/src/util.rs | 4 ++-- 2 files changed, 9 insertions(+), 5 deletions(-) diff --git a/evm/src/fixed_recursive_verifier.rs b/evm/src/fixed_recursive_verifier.rs index 0b19c16a02..8b15cde7b1 100644 --- a/evm/src/fixed_recursive_verifier.rs +++ b/evm/src/fixed_recursive_verifier.rs @@ -905,7 +905,9 @@ where &self.root.public_values, &all_proof.public_values, ) - .map_err(|_| anyhow::Error::msg("Invalid conversion when setting public_values target."))?; + .map_err(|_| { + anyhow::Error::msg("Invalid conversion when setting public values targets.") + })?; let root_proof = self.root.circuit.prove(root_inputs)?; @@ -944,7 +946,9 @@ where &self.aggregation.public_values, &public_values, ) - .map_err(|_| anyhow::Error::msg("Invalid conversion when setting public values target."))?; + .map_err(|_| { + anyhow::Error::msg("Invalid conversion when setting public values targets.") + })?; let aggregation_proof = self.aggregation.circuit.prove(agg_inputs)?; Ok((aggregation_proof, public_values)) @@ -1005,7 +1009,7 @@ where set_public_value_targets(&mut block_inputs, &self.block.public_values, &public_values) .map_err(|_| { - anyhow::Error::msg("Invalid conversion when setting public values target.") + anyhow::Error::msg("Invalid conversion when setting public values targets.") })?; let block_proof = self.block.circuit.prove(block_inputs)?; diff --git a/evm/src/util.rs b/evm/src/util.rs index 9a0cd87fd5..ee285e2574 100644 --- a/evm/src/util.rs +++ b/evm/src/util.rs @@ -48,7 +48,7 @@ pub fn trace_rows_to_poly_values( } /// Returns the lowest LE 32-bit limb of a `U256` as a field element, -/// and errors in case the integer is actually greater. +/// and errors if the integer is actually greater. pub(crate) fn u256_lowest_limb(u256: U256) -> Result { if TryInto::::try_into(u256).is_err() { return Err(ProgramError::IntegerTooLarge); @@ -58,7 +58,7 @@ pub(crate) fn u256_lowest_limb(u256: U256) -> Result } /// Returns the lowest LE 64-bit word of a `U256` as two field elements -/// each storing a 32-bit limb, and errors in case the integer is actually greater. +/// each storing a 32-bit limb, and errors if the integer is actually greater. pub(crate) fn u256_lowest_word(u256: U256) -> Result<(F, F), ProgramError> { if TryInto::::try_into(u256).is_err() { return Err(ProgramError::IntegerTooLarge);