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

Fill modulus in cpu row for Fp254 operations. (#1122)

Browse Source
This commit is contained in:
Linda Guiga 2023-07-13 21:53:06 +01:00 committed by GitHub
parent ee5d1aa6c8
commit 7437fe2b51
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 14 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

14
evm/src/witness/operation.rs
View File

@ -10,6 +10,7 @@ use crate::cpu::kernel::constants::context_metadata::ContextMetadata;
use crate::cpu::membus::NUM_GP_CHANNELS;
use crate::cpu::simple_logic::eq_iszero::generate_pinv_diff;
use crate::cpu::stack_bounds::MAX_USER_STACK_SIZE;
use crate::extension_tower::BN_BASE;
use crate::generation::state::GenerationState;
use crate::memory::segments::Segment;
use crate::witness::errors::MemoryError::{ContextTooLarge, SegmentTooLarge, VirtTooLarge};
@ -77,6 +78,19 @@ pub(crate) fn generate_binary_arithmetic_op<F: Field>(
let operation = arithmetic::Operation::binary(operator, input0, input1);
let log_out = stack_push_log_and_fill(state, &mut row, operation.result())?;
if operator == arithmetic::BinaryOperator::AddFp254
|| operator == arithmetic::BinaryOperator::MulFp254
|| operator == arithmetic::BinaryOperator::SubFp254
{
let channel = &mut row.mem_channels[2];
let val_limbs: [u64; 4] = BN_BASE.0;
for (i, limb) in val_limbs.into_iter().enumerate() {
channel.value[2 * i] = F::from_canonical_u32(limb as u32);
channel.value[2 * i + 1] = F::from_canonical_u32((limb >> 32) as u32);
}
}
state.traces.push_arithmetic(operation);
state.traces.push_memory(log_in0);
state.traces.push_memory(log_in1);