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

Remove redundant case (error in kernel mode)

Browse Source
This commit is contained in:
Jacqueline Nabaglo 2023-07-08 16:52:26 -04:00
parent 325cd2f7c1
commit 6b493d6faa
1 changed files with 6 additions and 10 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -684,17 +684,13 @@ pub(crate) fn generate_exception<F: Field>(
return Err(ProgramError::GasLimitError);
}
if state.registers.is_kernel {
row.stack_len_bounds_aux = F::ZERO;
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() {
row.stack_len_bounds_aux = inv;
} else {
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() {
row.stack_len_bounds_aux = inv;
} else {
// This is a stack overflow that should have been caught earlier.
return Err(ProgramError::InterpreterError);
}
// This is a stack overflow that should have been caught earlier.
return Err(ProgramError::InterpreterError);
}
row.general.exception_mut().exc_code_bits = [