Skip to main content

RingProverKey

Type Alias RingProverKey 

Source
pub type RingProverKey<S> = ProverKey<BaseField<S>, Kzg<S>, Affine<CurveConfig<S>>>;
Expand description

Ring prover key.

Aliased Type§

pub struct RingProverKey<S> {
    pub pcs_ck: <KZG<<S as RingSuite>::Pairing> as PCS<<<S as Suite>::Affine as AffineRepr>::BaseField>>::CK,
    pub fixed_columns: FixedColumns<<<S as Suite>::Affine as AffineRepr>::BaseField, Affine<<<S as Suite>::Affine as AffineRepr>::Config>>,
    pub verifier_key: VerifierKey<<<S as Suite>::Affine as AffineRepr>::BaseField, KZG<<S as RingSuite>::Pairing>>,
}

Fields§

§pcs_ck: <KZG<<S as RingSuite>::Pairing> as PCS<<<S as Suite>::Affine as AffineRepr>::BaseField>>::CK§fixed_columns: FixedColumns<<<S as Suite>::Affine as AffineRepr>::BaseField, Affine<<<S as Suite>::Affine as AffineRepr>::Config>>§verifier_key: VerifierKey<<<S as Suite>::Affine as AffineRepr>::BaseField, KZG<<S as RingSuite>::Pairing>>