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

Constrain memory channels in JUMPDEST (#844)

Browse Source
This commit is contained in:
Jacqueline Nabaglo 2022-12-11 11:02:19 -08:00 committed by GitHub
parent 249e50ebcb
commit 1732239a00
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 7 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
evm/src/cpu/stack.rs
View File

@ -71,9 +71,13 @@ const STACK_BEHAVIORS: OpsColumnsView<Option<StackBehavior>> = OpsColumnsView {
pushes: true,
disable_other_channels: true,
}),
gas: None, // TODO
jumpdest: None, // TODO
push: None, // TODO
gas: None, // TODO
jumpdest: Some(StackBehavior {
num_pops: 0,
pushes: false,
disable_other_channels: true,
}),
push: None, // TODO
dup: None,
swap: None,
get_context: Some(StackBehavior {