Type Alias ProverIndex

pub type ProverIndex<F> = ProverIndex<<F as FieldWitness>::OtherCurve, OpeningProof<<F as FieldWitness>::OtherCurve>>;

Aliased Type

pub struct ProverIndex<F> {
    pub cs: ConstraintSystem<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>,
    pub linearization: Linearization<Vec<PolishToken<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>>>,
    pub powers_of_alpha: Alphas<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>,
    pub srs: Arc<<OpeningProof<<F as FieldWitness>::OtherCurve> as OpenProof<<F as FieldWitness>::OtherCurve>>::SRS>,
    pub max_poly_size: usize,
    pub column_evaluations: ColumnEvaluations<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>,
    pub verifier_index: Option<Arc<VerifierIndex<<F as FieldWitness>::OtherCurve, OpeningProof<<F as FieldWitness>::OtherCurve>>>>,
    pub verifier_index_digest: Option<<<F as FieldWitness>::OtherCurve as AffineCurve>::BaseField>,
}

Fields

cs: ConstraintSystem<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>

constraints system polynomials

linearization: Linearization<Vec<PolishToken<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>>>

The symbolic linearization of our circuit, which can compile to concrete types once certain values are learned in the protocol.

powers_of_alpha: Alphas<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>

The mapping between powers of alpha and constraints

srs: Arc<<OpeningProof<<F as FieldWitness>::OtherCurve> as OpenProof<<F as FieldWitness>::OtherCurve>>::SRS>

polynomial commitment keys

max_poly_size: usize

maximal size of polynomial section

column_evaluations: ColumnEvaluations<<<F as FieldWitness>::OtherCurve as AffineCurve>::ScalarField>

verifier_index: Option<Arc<VerifierIndex<<F as FieldWitness>::OtherCurve, OpeningProof<<F as FieldWitness>::OtherCurve>>>>

The verifier index corresponding to this prover index

verifier_index_digest: Option<<<F as FieldWitness>::OtherCurve as AffineCurve>::BaseField>

The verifier index digest corresponding to this prover index