Constrain keccak general

This commit is contained in:
Robin Salen 2023-07-30 10:43:26 -04:00
parent 9e0719e6be
commit f01098a783
No known key found for this signature in database
GPG Key ID: FB87BACFB3CB2007

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,