zkvmc_trace/
record.rs

1/// This module defines the `Record` trait, which is used to encode and decode
2pub trait RecordEncoder {
3    type Value;
4    const RECORD_SIZE: usize;
5    fn encode(&self, buf: &mut [Self::Value], const_value: impl FnMut(u32) -> Self::Value);
6}
7
8pub trait RecordDecoder {
9    type Value;
10    fn decode(data: &[Self::Value]) -> Self;
11}