Trait sp1_core::stark::MachineRecord

source · 
pub trait MachineRecord:
    Default
    + Sized
    + Send
    + Sync
    + Clone {
    type Config: 'static + Copy + Send + Sync;

    // Required methods
    fn stats(&self) -> HashMap<String, usize>;
    fn append(&mut self, other: &mut Self);
    fn public_values<F: AbstractField>(&self) -> Vec<F>;

    // Provided method
    fn register_nonces(&mut self, _opts: &Self::Config) { ... }
}

Required Associated Types§

source

type Config: 'static + Copy + Send + Sync

Required Methods§

source

fn stats(&self) -> HashMap<String, usize>

source

fn append(&mut self, other: &mut Self)

source

fn public_values<F: AbstractField>(&self) -> Vec<F>

Provided Methods§

source

fn register_nonces(&mut self, _opts: &Self::Config)

Object Safety§

This trait is not object safe.

Implementors§