Trait Chip 

pub trait Chip<R, PB: ProverBackend> {
    // Required method
    fn generate_proving_ctx(&self, records: R) -> AirProvingContext<PB>;
}

A chip is a ProverBackend-specific object that converts execution logs (also referred to as records) into a trace matrix.

A chip may be stateful and store state on either host or device, although it is preferred that all state is received through records.

Required Methods

fn generate_proving_ctx(&self, records: R) -> AirProvingContext<PB>

Generate all necessary context for proving a single AIR.

Implementations on Foreign Types

impl<R, PB: ProverBackend, C: Chip<R, PB>> Chip<R, PB> for Rc<C>

fn generate_proving_ctx(&self, records: R) -> AirProvingContext<PB>

impl<R, PB: ProverBackend, C: Chip<R, PB>> Chip<R, PB> for Arc<C>

fn generate_proving_ctx(&self, records: R) -> AirProvingContext<PB>

impl<R, PB: ProverBackend, C: Chip<R, PB>> Chip<R, PB> for RefCell<C>

fn generate_proving_ctx(&self, records: R) -> AirProvingContext<PB>

impl<R, PB: ProverBackend, C: Chip<R, PB>> Chip<R, PB> for Mutex<C>

fn generate_proving_ctx(&self, records: R) -> AirProvingContext<PB>

Implementors