diff --git a/evm/src/witness/operation.rs b/evm/src/witness/operation.rs index 1f59beb7..30d411d0 100644 --- a/evm/src/witness/operation.rs +++ b/evm/src/witness/operation.rs @@ -708,6 +708,8 @@ pub(crate) fn generate_exception( return Err(ProgramError::GasLimitError); } + row.op.exception = F::ONE; + let disallowed_len = F::from_canonical_usize(MAX_USER_STACK_SIZE + 1); let diff = row.stack_len - disallowed_len; if let Some(inv) = diff.try_inverse() {