openvm_verify_stark_circuit/
bus.rs

1use openvm_recursion_circuit::define_typed_permutation_bus;
2use openvm_recursion_circuit_derive::AlignedBorrow;
3use openvm_stark_sdk::config::baby_bear_poseidon2::DIGEST_SIZE;
4
5use crate::output::VALS_IN_DIGEST;
6
7#[repr(C)]
8#[derive(AlignedBorrow, Debug, Clone)]
9pub struct OutputValMessage<T> {
10    pub values: [T; VALS_IN_DIGEST],
11    pub idx: T,
12}
13
14define_typed_permutation_bus!(OutputValBus, OutputValMessage);
15
16#[repr(C)]
17#[derive(AlignedBorrow, Debug, Clone)]
18pub struct OutputCommitMessage<T> {
19    pub commit: [T; DIGEST_SIZE],
20}
21
22define_typed_permutation_bus!(OutputCommitBus, OutputCommitMessage);