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: Arc<ConstraintSystem<<<F as FieldWitness>::OtherCurve as AffineRepr>::ScalarField>>,
    pub linearization: Linearization<Vec<PolishToken<<<F as FieldWitness>::OtherCurve as AffineRepr>::ScalarField, Column, BerkeleyChallengeTerm>>, Column>,
    pub powers_of_alpha: Alphas<<<F as FieldWitness>::OtherCurve as AffineRepr>::ScalarField>,
    pub srs: Arc<<OpeningProof<<F as FieldWitness>::OtherCurve> as OpenProof<<F as FieldWitness>::OtherCurve>>::SRS>,
    pub max_poly_size: usize,
    pub column_evaluations: Arc<LazyCache<ColumnEvaluations<<<F as FieldWitness>::OtherCurve as AffineRepr>::ScalarField>>>,
    pub verifier_index: Option<VerifierIndex<<F as FieldWitness>::OtherCurve, OpeningProof<<F as FieldWitness>::OtherCurve>>>,
    pub verifier_index_digest: Option<<<F as FieldWitness>::OtherCurve as AffineRepr>::BaseField>,
}

Fields

cs: Arc<ConstraintSystem<<<F as FieldWitness>::OtherCurve as AffineRepr>::ScalarField>>

constraints system polynomials

linearization: Linearization<Vec<PolishToken<<<F as FieldWitness>::OtherCurve as AffineRepr>::ScalarField, Column, BerkeleyChallengeTerm>>, Column>

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 AffineRepr>::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: Arc<LazyCache<ColumnEvaluations<<<F as FieldWitness>::OtherCurve as AffineRepr>::ScalarField>>>

verifier_index: Option<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 AffineRepr>::BaseField>

The verifier index digest corresponding to this prover index