Type Alias RecursiveVerifierConstraintFolder

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>]>>

The preprocessed trace.

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>]>>

The main trace.

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>]>>

The permutation trace.

perm_challenges: &'a [Ext<<C as Config>::F, <C as Config>::EF>]

The challenges for the permutation.

cumulative_sum: Ext<<C as Config>::F, <C as Config>::EF>

The cumulative sum of the permutation.

is_first_row: Ext<<C as Config>::F, <C as Config>::EF>

The selector for the first row.

is_last_row: Ext<<C as Config>::F, <C as Config>::EF>

The selector for the last row.

is_transition: Ext<<C as Config>::F, <C as Config>::EF>

The selector for the transition.

alpha: Ext<<C as Config>::F, <C as Config>::EF>

The constraint folding challenge.

accumulator: SymbolicExt<<C as Config>::F, <C as Config>::EF>

The accumulator for the constraint folding.

public_values: &'a [Felt<<C as Config>::F>]

The public values.

_marker: PhantomData<(<C as Config>::F, <C as Config>::EF)>

The marker type.