Type Alias VerifierConstraintFolder 

pub type VerifierConstraintFolder<'a, F, EF> = GenericVerifierConstraintFolder<'a, F, EF, F, EF, EF>;

A folder for verifier constraints.

Aliased Type

pub struct VerifierConstraintFolder<'a, F, EF> {
    pub preprocessed: DenseMatrix<EF, &'a [EF]>,
    pub main: DenseMatrix<EF, &'a [EF]>,
    pub alpha: EF,
    pub accumulator: EF,
    pub public_values: &'a [F],
    pub _marker: PhantomData<(F, EF)>,
}

Fields

preprocessed: DenseMatrix<EF, &'a [EF]>

The preprocessed trace.

main: DenseMatrix<EF, &'a [EF]>

The main trace.

alpha: EF

The constraint folding challenge.

accumulator: EF

The accumulator for the constraint folding.

public_values: &'a [F]

The public values.

_marker: PhantomData<(F, EF)>

The marker type.