openvm_circuit/system/memory/offline_checker/
mod.rs

1mod bridge;
2mod bus;
3mod columns;
4
5pub use bridge::*;
6pub use bus::*;
7pub use columns::*;
8
9#[repr(C)]
10#[derive(Debug, Clone)]
11pub struct MemoryReadAuxRecord {
12    pub prev_timestamp: u32,
13}
14
15#[repr(C)]
16#[derive(Debug, Clone)]
17pub struct MemoryWriteAuxRecord<T, const NUM_LIMBS: usize> {
18    pub prev_timestamp: u32,
19    pub prev_data: [T; NUM_LIMBS],
20}
21
22pub type MemoryWriteBytesAuxRecord<const NUM_LIMBS: usize> = MemoryWriteAuxRecord<u8, NUM_LIMBS>;