Struct StarkInstance 

pub struct StarkInstance<'a, SC: SGC, A> {
    pub air: &'a A,
    pub trace: &'a RowMajorMatrix<Val<SC>>,
    pub public_values: Vec<Val<SC>>,
    pub lookups: Vec<Lookup<Val<SC>>>,
}

Fields

air: &'a A

trace: &'a RowMajorMatrix<Val<SC>>

public_values: Vec<Val<SC>>

lookups: Vec<Lookup<Val<SC>>>

Implementations

impl<'a, SC: SGC, A> StarkInstance<'a, SC, A>

pub fn new_multiple( airs: &'a [A], traces: &'a [&'a RowMajorMatrix<Val<SC>>], public_values: &[Vec<Val<SC>>], common_data: &CommonData<SC>, ) -> Vec<Self>

Trait Implementations

impl<'a, SC: Debug + SGC, A: Debug> Debug for StarkInstance<'a, SC, A>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.