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

Fix jump operation generation

Browse Source
This commit is contained in:
Linda Guiga 2023-07-05 16:16:17 +01:00 committed by Robin Salen
parent 3870524ad1
commit 224064bf05
No known key found for this signature in database
GPG Key ID: FB87BACFB3CB2007
1 changed files with 3 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -185,13 +185,14 @@ pub(crate) fn generate_jump<F: Field>(
state,
&mut row,
);
row.mem_channels[1].value[0] = F::ONE;
if state.registers.is_kernel {
// Don't actually do the read, just set the address, etc.
let channel = &mut row.mem_channels[NUM_GP_CHANNELS - 1];
channel.used = F::ZERO;
channel.value[0] = F::ONE;
row.mem_channels[1].value[0] = F::ONE;
} else {
if jumpdest_bit != U256::one() {
return Err(ProgramError::InvalidJumpDestination);