openvm_continuations/circuit/inner/
bus.rs

1use openvm_recursion_circuit::define_typed_per_proof_lookup_bus;
2use openvm_recursion_circuit_derive::AlignedBorrow;
3
4#[repr(C)]
5#[derive(AlignedBorrow, Debug, Clone)]
6pub struct PvsAirConsistencyMessage<T> {
7    pub deferral_flag: T,
8    pub has_verifier_pvs: T,
9}
10
11define_typed_per_proof_lookup_bus!(PvsAirConsistencyBus, PvsAirConsistencyMessage);