openvm_stark_backend::air_builders::verifier

Type Alias VerifierConstraintFolder

Source 
pub type VerifierConstraintFolder<'a, SC> = GenericVerifierConstraintFolder<'a, Val<SC>, <SC as StarkGenericConfig>::Challenge, Val<SC>, <SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenge>;

Aliased Type§

struct VerifierConstraintFolder<'a, SC> {
    pub preprocessed: VerticalPair<DenseMatrix<<SC as StarkGenericConfig>::Challenge, &'a [<SC as StarkGenericConfig>::Challenge]>, DenseMatrix<<SC as StarkGenericConfig>::Challenge, &'a [<SC as StarkGenericConfig>::Challenge]>>,
    pub partitioned_main: Vec<VerticalPair<DenseMatrix<<SC as StarkGenericConfig>::Challenge, &'a [<SC as StarkGenericConfig>::Challenge]>, DenseMatrix<<SC as StarkGenericConfig>::Challenge, &'a [<SC as StarkGenericConfig>::Challenge]>>>,
    pub after_challenge: Vec<VerticalPair<DenseMatrix<<SC as StarkGenericConfig>::Challenge, &'a [<SC as StarkGenericConfig>::Challenge]>, DenseMatrix<<SC as StarkGenericConfig>::Challenge, &'a [<SC as StarkGenericConfig>::Challenge]>>>,
    pub challenges: &'a [Vec<<SC as StarkGenericConfig>::Challenge>],
    pub is_first_row: <SC as StarkGenericConfig>::Challenge,
    pub is_last_row: <SC as StarkGenericConfig>::Challenge,
    pub is_transition: <SC as StarkGenericConfig>::Challenge,
    pub alpha: <SC as StarkGenericConfig>::Challenge,
    pub accumulator: <SC as StarkGenericConfig>::Challenge,
    pub public_values: &'a [<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val],
    pub exposed_values_after_challenge: &'a [Vec<<SC as StarkGenericConfig>::Challenge>],
    pub _marker: PhantomData<(<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val, <SC as StarkGenericConfig>::Challenge)>,
}

Fields§

§preprocessed: VerticalPair<DenseMatrix<<SC as StarkGenericConfig>::Challenge, &'a [<SC as StarkGenericConfig>::Challenge]>, DenseMatrix<<SC as StarkGenericConfig>::Challenge, &'a [<SC as StarkGenericConfig>::Challenge]>>§partitioned_main: Vec<VerticalPair<DenseMatrix<<SC as StarkGenericConfig>::Challenge, &'a [<SC as StarkGenericConfig>::Challenge]>, DenseMatrix<<SC as StarkGenericConfig>::Challenge, &'a [<SC as StarkGenericConfig>::Challenge]>>>§after_challenge: Vec<VerticalPair<DenseMatrix<<SC as StarkGenericConfig>::Challenge, &'a [<SC as StarkGenericConfig>::Challenge]>, DenseMatrix<<SC as StarkGenericConfig>::Challenge, &'a [<SC as StarkGenericConfig>::Challenge]>>>§challenges: &'a [Vec<<SC as StarkGenericConfig>::Challenge>]§is_first_row: <SC as StarkGenericConfig>::Challenge§is_last_row: <SC as StarkGenericConfig>::Challenge§is_transition: <SC as StarkGenericConfig>::Challenge§alpha: <SC as StarkGenericConfig>::Challenge§accumulator: <SC as StarkGenericConfig>::Challenge§public_values: &'a [<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val]§exposed_values_after_challenge: &'a [Vec<<SC as StarkGenericConfig>::Challenge>]§_marker: PhantomData<(<<<SC as StarkGenericConfig>::Pcs as Pcs<<SC as StarkGenericConfig>::Challenge, <SC as StarkGenericConfig>::Challenger>>::Domain as PolynomialSpace>::Val, <SC as StarkGenericConfig>::Challenge)>