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

Compute stack_len_bounds_aux correctly in generate_error

Browse Source
This commit is contained in:
Hamy Ratoanina 2023-07-06 14:07:45 -04:00
parent 3870524ad1
commit 325cd2f7c1
No known key found for this signature in database
GPG Key ID: 054683A21827F7C4
1 changed files with 12 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

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

@ -684,7 +684,18 @@ pub(crate) fn generate_exception<F: Field>(
return Err(ProgramError::GasLimitError);
}
row.stack_len_bounds_aux = (row.stack_len + F::ONE).inverse();
if state.registers.is_kernel {
row.stack_len_bounds_aux = F::ZERO;
} 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);
}
}
row.general.exception_mut().exc_code_bits = [
F::from_bool(exc_code & 1 != 0),