zkvmc-trace 0.0.1

zkVMc trace library
Documentation 
1
2
3
4
5
6
7
8
9
10
11

/// This module defines the `Record` trait, which is used to encode and decode
pub trait RecordEncoder {
    type Value;
    const RECORD_SIZE: usize;
    fn encode(&self, buf: &mut [Self::Value], const_value: impl FnMut(u32) -> Self::Value);
}

pub trait RecordDecoder {
    type Value;
    fn decode(data: &[Self::Value]) -> Self;
}