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

Perform jumpdest analysis whenever entering a new context (#1049)

Browse Source
This commit is contained in:
wborgeaud 2023-05-18 15:48:43 +02:00 committed by GitHub
parent 971bfba64a
commit d57b62fff3
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

7
evm/src/cpu/kernel/asm/core/call.asm
View File

@ -323,6 +323,13 @@ call_insufficient_balance:
DUP1 // new_ctx
SET_CONTEXT
%checkpoint // Checkpoint
// Perform jumpdest analyis
PUSH %%after
%mload_context_metadata(@CTX_METADATA_CODE_SIZE)
GET_CONTEXT
// stack: ctx, code_size, retdest
%jump(jumpdest_analysis)
%%after:
PUSH 0 // jump dest
EXIT_KERNEL
// (Old context) stack: new_ctx