logos-storage/plonky2
1
0
Fork 0
mirror of https://github.com/logos-storage/plonky2.git synced 2026-01-07 16:23:12 +00:00
Code Issues Packages Projects Releases Wiki Activity

fix

Browse Source
This commit is contained in:
Nicholas Ward 2023-02-16 13:20:55 -08:00
parent 4cef5aaa84
commit ad85d61e51
2 changed files with 0 additions and 12 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
evm/src/generation/prover_input.rs
View File

@ -189,8 +189,6 @@ impl<F: Field> GenerationState<F> {
let m_biguint = mem_vec_to_biguint(m); let m_biguint = mem_vec_to_biguint(m);
let result_biguint = (a_biguint * b_biguint) % m_biguint; let result_biguint = (a_biguint * b_biguint) % m_biguint;
dbg!("remainder");
dbg!(result_biguint.clone());
biguint_to_mem_vec(result_biguint) biguint_to_mem_vec(result_biguint)
} }
@ -212,13 +210,7 @@ impl<F: Field> GenerationState<F> {
let b_biguint = mem_vec_to_biguint(b); let b_biguint = mem_vec_to_biguint(b);
let m_biguint = mem_vec_to_biguint(m); 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; let result_biguint = (a_biguint * b_biguint) / m_biguint;
dbg!("quotient");
dbg!(result_biguint.clone());
biguint_to_mem_vec(result_biguint) biguint_to_mem_vec(result_biguint)
} }
} }

4
evm/src/util.rs
View File

@ -145,7 +145,6 @@ pub(crate) fn biguint_to_u256(x: BigUint) -> U256 {
U256::from_little_endian(&bytes) U256::from_little_endian(&bytes)
} }
#[cfg(test)]
pub(crate) fn le_limbs_to_biguint(x: &[u128]) -> BigUint { pub(crate) fn le_limbs_to_biguint(x: &[u128]) -> BigUint {
BigUint::from_slice( BigUint::from_slice(
&x.iter() &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 { pub(crate) fn mem_vec_to_biguint(x: &[U256]) -> BigUint {
le_limbs_to_biguint(&x.iter().map(|&n| n.try_into().unwrap()).collect_vec()) 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<u128> { pub(crate) fn biguint_to_le_limbs(x: BigUint) -> Vec<u128> {
let mut digits = x.to_u32_digits(); let mut digits = x.to_u32_digits();
@ -179,7 +176,6 @@ pub(crate) fn biguint_to_le_limbs(x: BigUint) -> Vec<u128> {
.collect() .collect()
} }
#[cfg(test)]
pub(crate) fn biguint_to_mem_vec(x: BigUint) -> Vec<U256> { pub(crate) fn biguint_to_mem_vec(x: BigUint) -> Vec<U256> {
biguint_to_le_limbs(x) biguint_to_le_limbs(x)
.into_iter() .into_iter()