Merge pull request #1160 from topos-protocol/keccak_general

Constrain keccak general
This commit is contained in:
Jacqueline Nabaglo 2023-08-01 15:52:45 -07:00 committed by GitHub
commit 4a762e3336
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -70,8 +70,12 @@ const STACK_BEHAVIORS: OpsColumnsView<Option<StackBehavior>> = OpsColumnsView {
pushes: true,
disable_other_channels: false,
}),
keccak_general: None, // TODO
prover_input: None, // TODO
keccak_general: Some(StackBehavior {
num_pops: 4,
pushes: true,
disable_other_channels: true,
}),
prover_input: None, // TODO
pop: Some(StackBehavior {
num_pops: 1,
pushes: false,