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

Merge pull request #1119 from mir-protocol/jacqui/topos-protocol/stack_len_bounds_aux_error

Browse Source 
Fix `generate_exception` (#1115 replacement)
This commit is contained in:
Jacqueline Nabaglo
2023-07-10 15:37:21 -04:00
committed by GitHub
parent 1664ab4408 6b493d6faa
commit dca50adfac
1 changed files with 8 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
evm/src/witness/operation.rs
+8 -1
View File
@@ -699,7 +699,14 @@ pub(crate) fn generate_exception<F: Field>(
return Err(ProgramError::GasLimitError);
}
row.stack_len_bounds_aux = (row.stack_len + F::ONE).inverse();
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),