Type Alias sp1_recursion_program::stark::RecursiveVerifierConstraintFolder

source · 
pub type RecursiveVerifierConstraintFolder<'a, C> = GenericVerifierConstraintFolder<'a, <C as Config>::F, <C as Config>::EF, Felt<<C as Config>::F>, Ext<<C as Config>::F, <C as Config>::EF>, SymbolicExt<<C as Config>::F, <C as Config>::EF>>;

Aliased Type§

struct RecursiveVerifierConstraintFolder<'a, C> {
    pub preprocessed: VerticalPair<DenseMatrix<Ext<<C as Config>::F, <C as Config>::EF>, &'a [Ext<<C as Config>::F, <C as Config>::EF>]>, DenseMatrix<Ext<<C as Config>::F, <C as Config>::EF>, &'a [Ext<<C as Config>::F, <C as Config>::EF>]>>,
    pub main: VerticalPair<DenseMatrix<Ext<<C as Config>::F, <C as Config>::EF>, &'a [Ext<<C as Config>::F, <C as Config>::EF>]>, DenseMatrix<Ext<<C as Config>::F, <C as Config>::EF>, &'a [Ext<<C as Config>::F, <C as Config>::EF>]>>,
    pub perm: VerticalPair<DenseMatrix<Ext<<C as Config>::F, <C as Config>::EF>, &'a [Ext<<C as Config>::F, <C as Config>::EF>]>, DenseMatrix<Ext<<C as Config>::F, <C as Config>::EF>, &'a [Ext<<C as Config>::F, <C as Config>::EF>]>>,
    pub perm_challenges: &'a [Ext<<C as Config>::F, <C as Config>::EF>],
    pub cumulative_sum: Ext<<C as Config>::F, <C as Config>::EF>,
    pub is_first_row: Ext<<C as Config>::F, <C as Config>::EF>,
    pub is_last_row: Ext<<C as Config>::F, <C as Config>::EF>,
    pub is_transition: Ext<<C as Config>::F, <C as Config>::EF>,
    pub alpha: Ext<<C as Config>::F, <C as Config>::EF>,
    pub accumulator: SymbolicExt<<C as Config>::F, <C as Config>::EF>,
    pub public_values: &'a [Felt<<C as Config>::F>],
    pub _marker: PhantomData<(<C as Config>::F, <C as Config>::EF)>,
}

Fields§

§preprocessed: VerticalPair<DenseMatrix<Ext<<C as Config>::F, <C as Config>::EF>, &'a [Ext<<C as Config>::F, <C as Config>::EF>]>, DenseMatrix<Ext<<C as Config>::F, <C as Config>::EF>, &'a [Ext<<C as Config>::F, <C as Config>::EF>]>>§main: VerticalPair<DenseMatrix<Ext<<C as Config>::F, <C as Config>::EF>, &'a [Ext<<C as Config>::F, <C as Config>::EF>]>, DenseMatrix<Ext<<C as Config>::F, <C as Config>::EF>, &'a [Ext<<C as Config>::F, <C as Config>::EF>]>>§perm: VerticalPair<DenseMatrix<Ext<<C as Config>::F, <C as Config>::EF>, &'a [Ext<<C as Config>::F, <C as Config>::EF>]>, DenseMatrix<Ext<<C as Config>::F, <C as Config>::EF>, &'a [Ext<<C as Config>::F, <C as Config>::EF>]>>§perm_challenges: &'a [Ext<<C as Config>::F, <C as Config>::EF>]§cumulative_sum: Ext<<C as Config>::F, <C as Config>::EF>§is_first_row: Ext<<C as Config>::F, <C as Config>::EF>§is_last_row: Ext<<C as Config>::F, <C as Config>::EF>§is_transition: Ext<<C as Config>::F, <C as Config>::EF>§alpha: Ext<<C as Config>::F, <C as Config>::EF>§accumulator: SymbolicExt<<C as Config>::F, <C as Config>::EF>§public_values: &'a [Felt<<C as Config>::F>]§_marker: PhantomData<(<C as Config>::F, <C as Config>::EF)>