openvm_continuations/circuit/deferral/inner/
bus.rs

1use openvm_recursion_circuit::define_typed_per_proof_permutation_bus;
2use openvm_recursion_circuit_derive::AlignedBorrow;
3use openvm_stark_sdk::config::baby_bear_poseidon2::DIGEST_SIZE;
4
5#[repr(C)]
6#[derive(AlignedBorrow, Debug, Clone)]
7pub struct InputOrMerkleCommitMessage<T> {
8    pub has_verifier_pvs: T,
9    pub commit: [T; DIGEST_SIZE],
10}
11
12define_typed_per_proof_permutation_bus!(InputOrMerkleCommitBus, InputOrMerkleCommitMessage);
13
14#[repr(C)]
15#[derive(AlignedBorrow, Debug, Clone)]
16pub struct DefPvsConsistencyMessage<T> {
17    pub has_verifier_pvs: T,
18}
19
20define_typed_per_proof_permutation_bus!(DefPvsConsistencyBus, DefPvsConsistencyMessage);