openvm_recursion_circuit/proof_shape/
bus.rs

1use openvm_recursion_circuit_derive::AlignedBorrow;
2
3use crate::define_typed_per_proof_permutation_bus;
4
5#[repr(C)]
6#[derive(AlignedBorrow, Debug, Clone)]
7pub struct ProofShapePermutationMessage<T> {
8    pub idx: T,
9}
10
11define_typed_per_proof_permutation_bus!(ProofShapePermutationBus, ProofShapePermutationMessage);
12
13#[repr(C)]
14#[derive(AlignedBorrow, Debug, Clone)]
15pub struct StartingTidxMessage<T> {
16    pub air_idx: T,
17    pub tidx: T,
18}
19
20define_typed_per_proof_permutation_bus!(StartingTidxBus, StartingTidxMessage);
21
22#[repr(C)]
23#[derive(AlignedBorrow, Debug, Clone)]
24pub struct NumPublicValuesMessage<T> {
25    pub air_idx: T,
26    pub tidx: T,
27    pub num_pvs: T,
28}
29
30define_typed_per_proof_permutation_bus!(NumPublicValuesBus, NumPublicValuesMessage);