Skip to main content

RingVerifierKey

Type Alias RingVerifierKey 

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