From ad85d61e51929c130d8005f89f1a1b7c54e4415b Mon Sep 17 00:00:00 2001 From: Nicholas Ward Date: Thu, 16 Feb 2023 13:20:55 -0800 Subject: [PATCH] fix --- evm/src/generation/prover_input.rs | 8 -------- evm/src/util.rs | 4 ---- 2 files changed, 12 deletions(-) diff --git a/evm/src/generation/prover_input.rs b/evm/src/generation/prover_input.rs index d5506ad4..e0f5d1bb 100644 --- a/evm/src/generation/prover_input.rs +++ b/evm/src/generation/prover_input.rs @@ -189,8 +189,6 @@ impl GenerationState { let m_biguint = mem_vec_to_biguint(m); let result_biguint = (a_biguint * b_biguint) % m_biguint; - dbg!("remainder"); - dbg!(result_biguint.clone()); biguint_to_mem_vec(result_biguint) } @@ -212,13 +210,7 @@ impl GenerationState { let b_biguint = mem_vec_to_biguint(b); let m_biguint = mem_vec_to_biguint(m); - dbg!(a_biguint.clone()); - dbg!(b_biguint.clone()); - dbg!(m_biguint.clone()); - let result_biguint = (a_biguint * b_biguint) / m_biguint; - dbg!("quotient"); - dbg!(result_biguint.clone()); biguint_to_mem_vec(result_biguint) } } diff --git a/evm/src/util.rs b/evm/src/util.rs index fba97372..8f2c4e96 100644 --- a/evm/src/util.rs +++ b/evm/src/util.rs @@ -145,7 +145,6 @@ pub(crate) fn biguint_to_u256(x: BigUint) -> U256 { U256::from_little_endian(&bytes) } -#[cfg(test)] pub(crate) fn le_limbs_to_biguint(x: &[u128]) -> BigUint { BigUint::from_slice( &x.iter() @@ -161,12 +160,10 @@ pub(crate) fn le_limbs_to_biguint(x: &[u128]) -> BigUint { ) } -#[cfg(test)] pub(crate) fn mem_vec_to_biguint(x: &[U256]) -> BigUint { le_limbs_to_biguint(&x.iter().map(|&n| n.try_into().unwrap()).collect_vec()) } -#[cfg(test)] pub(crate) fn biguint_to_le_limbs(x: BigUint) -> Vec { let mut digits = x.to_u32_digits(); @@ -179,7 +176,6 @@ pub(crate) fn biguint_to_le_limbs(x: BigUint) -> Vec { .collect() } -#[cfg(test)] pub(crate) fn biguint_to_mem_vec(x: BigUint) -> Vec { biguint_to_le_limbs(x) .into_iter()