Struct snarkvm_algorithms::polycommit::kzg10::PreparedVerifierKey
source · pub struct PreparedVerifierKey<E: PairingEngine> {
pub prepared_g: Vec<E::G1Affine>,
pub prepared_gamma_g: Vec<E::G1Affine>,
pub prepared_h: <E::G2Affine as PairingCurve>::Prepared,
pub prepared_beta_h: <E::G2Affine as PairingCurve>::Prepared,
}
Expand description
PreparedVerifierKey
is the fully prepared version for checking evaluation proofs for a given commitment.
We omit gamma here for simplicity.
Fields§
§prepared_g: Vec<E::G1Affine>
The generator of G1, prepared for power series.
prepared_gamma_g: Vec<E::G1Affine>
The generator of G1 that is used for making a commitment hiding, prepared for power series
prepared_h: <E::G2Affine as PairingCurve>::Prepared
The generator of G2, prepared for use in pairings.
prepared_beta_h: <E::G2Affine as PairingCurve>::Prepared
\beta times the above generator of G2, prepared for use in pairings.
Implementations§
source§impl<E: PairingEngine> PreparedVerifierKey<E>
impl<E: PairingEngine> PreparedVerifierKey<E>
sourcepub fn prepare(vk: &VerifierKey<E>) -> Self
pub fn prepare(vk: &VerifierKey<E>) -> Self
prepare PreparedVerifierKey
from VerifierKey
Trait Implementations§
source§impl<E: Clone + PairingEngine> Clone for PreparedVerifierKey<E>where
E::G1Affine: Clone,
E::G2Affine: Clone,
impl<E: Clone + PairingEngine> Clone for PreparedVerifierKey<E>where E::G1Affine: Clone, E::G2Affine: Clone,
source§fn clone(&self) -> PreparedVerifierKey<E>
fn clone(&self) -> PreparedVerifierKey<E>
Returns a copy of the value. Read more
1.0.0 · source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source
. Read moresource§impl<E: Debug + PairingEngine> Debug for PreparedVerifierKey<E>where
E::G1Affine: Debug,
E::G2Affine: Debug,
impl<E: Debug + PairingEngine> Debug for PreparedVerifierKey<E>where E::G1Affine: Debug, E::G2Affine: Debug,
source§impl<E: Default + PairingEngine> Default for PreparedVerifierKey<E>where
E::G1Affine: Default,
E::G2Affine: Default,
impl<E: Default + PairingEngine> Default for PreparedVerifierKey<E>where E::G1Affine: Default, E::G2Affine: Default,
source§fn default() -> PreparedVerifierKey<E>
fn default() -> PreparedVerifierKey<E>
Returns the “default value” for a type. Read more