diff --git a/evm/src/witness/operation.rs b/evm/src/witness/operation.rs index 00a74e6f..750fa5b3 100644 --- a/evm/src/witness/operation.rs +++ b/evm/src/witness/operation.rs @@ -185,13 +185,14 @@ pub(crate) fn generate_jump( 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);