pub type RingVerifierKey<S> = VerifierKey<BaseField<S>, Kzg<S>>;Expand description
Ring verifier key.
Aliased Type§
pub struct RingVerifierKey<S> {
pub pcs_raw_vk: <<KZG<<S as RingSuite>::Pairing> as PCS<<<S as Suite>::Affine as AffineRepr>::BaseField>>::Params as PcsParams>::RVK,
pub fixed_columns_committed: FixedColumnsCommitted<<<S as Suite>::Affine as AffineRepr>::BaseField, <KZG<<S as RingSuite>::Pairing> as PCS<<<S as Suite>::Affine as AffineRepr>::BaseField>>::C>,
}Fields§
§pcs_raw_vk: <<KZG<<S as RingSuite>::Pairing> as PCS<<<S as Suite>::Affine as AffineRepr>::BaseField>>::Params as PcsParams>::RVK§fixed_columns_committed: FixedColumnsCommitted<<<S as Suite>::Affine as AffineRepr>::BaseField, <KZG<<S as RingSuite>::Pairing> as PCS<<<S as Suite>::Affine as AffineRepr>::BaseField>>::C>