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

remove unneeded mut

Browse Source
This commit is contained in:
Nicholas Ward 2023-05-01 08:36:16 -07:00
parent a638ebe0ce
commit 8358b85d9f
1 changed files with 3 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -189,7 +189,7 @@ pub(crate) fn generate_jump<F: Field>(
); );
if state.registers.is_kernel { if state.registers.is_kernel {
// Don't actually do the read, just set the address, etc. // Don't actually do the read, just set the address, etc.
let mut channel = &mut row.mem_channels[NUM_GP_CHANNELS - 1]; let channel = &mut row.mem_channels[NUM_GP_CHANNELS - 1];
channel.used = F::ZERO; channel.used = F::ZERO;
channel.value[0] = F::ONE; channel.value[0] = F::ONE;
@ -250,7 +250,7 @@ pub(crate) fn generate_jumpi<F: Field>(
); );
if !should_jump || state.registers.is_kernel { if !should_jump || state.registers.is_kernel {
// Don't actually do the read, just set the address, etc. // Don't actually do the read, just set the address, etc.
let mut channel = &mut row.mem_channels[NUM_GP_CHANNELS - 1]; let channel = &mut row.mem_channels[NUM_GP_CHANNELS - 1];
channel.used = F::ZERO; channel.used = F::ZERO;
channel.value[0] = F::ONE; channel.value[0] = F::ONE;
} else { } else {
@ -471,7 +471,7 @@ fn append_shift<F: Field>(
state.traces.push_memory(read); state.traces.push_memory(read);
} else { } else {
// The shift constraints still expect the address to be set, even though no read will occur. // The shift constraints still expect the address to be set, even though no read will occur.
let mut channel = &mut row.mem_channels[LOOKUP_CHANNEL]; let channel = &mut row.mem_channels[LOOKUP_CHANNEL];
channel.addr_context = F::from_canonical_usize(lookup_addr.context); channel.addr_context = F::from_canonical_usize(lookup_addr.context);
channel.addr_segment = F::from_canonical_usize(lookup_addr.segment); channel.addr_segment = F::from_canonical_usize(lookup_addr.segment);
channel.addr_virtual = F::from_canonical_usize(lookup_addr.virt); channel.addr_virtual = F::from_canonical_usize(lookup_addr.virt);