MachineChip

sp1_stark

Type Alias MachineChip 

Source 
pub type MachineChip<SC, A> = Chip<Val<SC>, A>;
Expand description

A chip in a machine.

Aliased Type§

pub struct MachineChip<SC, A> {
    pub air: A,
    pub sends: Vec<Interaction<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>>,
    pub receives: Vec<Interaction<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>>,
    pub log_quotient_degree: usize,
}

Fields§

§air: A

The underlying AIR of the chip for constraint evaluation.

§sends: Vec<Interaction<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>>

The interactions that the chip sends.

§receives: Vec<Interaction<<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val>>

The interactions that the chip receives.

§log_quotient_degree: usize

The relative log degree of the quotient polynomial, i.e. log2(max_constraint_degree - 1).