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