Struct snarkvm_wasm::sonic_pc::VerifierKey [−][src]
pub struct VerifierKey<E> where
E: PairingEngine, { pub g: <E as PairingEngine>::G1Affine, pub gamma_g: <E as PairingEngine>::G1Affine, pub h: <E as PairingEngine>::G2Affine, pub beta_h: <E as PairingEngine>::G2Affine, pub prepared_h: <<E as PairingEngine>::G2Affine as PairingCurve>::Prepared, pub prepared_beta_h: <<E as PairingEngine>::G2Affine as PairingCurve>::Prepared, pub degree_bounds_and_prepared_neg_powers_of_h: Option<Vec<(usize, <<E as PairingEngine>::G2Affine as PairingCurve>::Prepared), Global>>, pub supported_degree: usize, pub max_degree: usize, }
Expand description
VerifierKey
is used to check evaluation proofs for a given commitment.
Fields
g: <E as PairingEngine>::G1Affine
The generator of G1.
gamma_g: <E as PairingEngine>::G1Affine
The generator of G1 that is used for making a commitment hiding.
h: <E as PairingEngine>::G2Affine
The generator of G2.
beta_h: <E as PairingEngine>::G2Affine
\beta times the generator of G2.
prepared_h: <<E as PairingEngine>::G2Affine as PairingCurve>::Prepared
The generator of G2, prepared for use in pairings.
prepared_beta_h: <<E as PairingEngine>::G2Affine as PairingCurve>::Prepared
The \beta times the generator of G2, prepared for use in pairings.
degree_bounds_and_prepared_neg_powers_of_h: Option<Vec<(usize, <<E as PairingEngine>::G2Affine as PairingCurve>::Prepared), Global>>
Pairs a degree_bound with its corresponding G2 element, which has been prepared for use in pairings.
Each pair is in the form (degree_bound, \beta^{degree_bound - max_degree} h),
where h
is the generator of G2 above
supported_degree: usize
The maximum degree supported by the trimmed parameters that self
is
a part of.
max_degree: usize
The maximum degree supported by the UniversalParams
self
was derived
from.
Implementations
pub fn get_shift_power(
&self,
degree_bound: usize
) -> Option<<<E as PairingEngine>::G2Affine as PairingCurve>::Prepared>
pub fn get_shift_power(
&self,
degree_bound: usize
) -> Option<<<E as PairingEngine>::G2Affine as PairingCurve>::Prepared>
Find the appropriate shift for the degree bound.
Trait Implementations
pub fn deserialize<R>(
reader: &mut R
) -> Result<VerifierKey<E>, SerializationError> where
R: Read,
pub fn deserialize<R>(
reader: &mut R
) -> Result<VerifierKey<E>, SerializationError> where
R: Read,
Reads Self
from reader
.
pub fn deserialize_uncompressed<R>(
reader: &mut R
) -> Result<VerifierKey<E>, SerializationError> where
R: Read,
pub fn deserialize_uncompressed<R>(
reader: &mut R
) -> Result<VerifierKey<E>, SerializationError> where
R: Read,
Reads Self
from reader
without compression.
Serializes self
into writer
.
pub fn serialize_uncompressed<W>(
&self,
writer: &mut W
) -> Result<(), SerializationError> where
W: Write,
pub fn serialize_uncompressed<W>(
&self,
writer: &mut W
) -> Result<(), SerializationError> where
W: Write,
Serializes self
into writer
without compression.
Returns the “default value” for a type. Read more
prepare PreparedVerifierKey
from VerifierKey
Outputs the maximum degree supported by the universal parameters
Self
was derived from. Read more
Outputs the maximum degree supported by the verifier key.
impl<E> ToConstraintField<<E as PairingEngine>::Fq> for VerifierKey<E> where
E: PairingEngine,
<E as PairingEngine>::G1Affine: ToConstraintField<<E as PairingEngine>::Fq>,
<E as PairingEngine>::G2Affine: ToConstraintField<<E as PairingEngine>::Fq>,
impl<E> ToConstraintField<<E as PairingEngine>::Fq> for VerifierKey<E> where
E: PairingEngine,
<E as PairingEngine>::G1Affine: ToConstraintField<<E as PairingEngine>::Fq>,
<E as PairingEngine>::G2Affine: ToConstraintField<<E as PairingEngine>::Fq>,
pub fn to_field_elements(
&self
) -> Result<Vec<<E as PairingEngine>::Fq, Global>, ConstraintFieldError>
Auto Trait Implementations
impl<E> RefUnwindSafe for VerifierKey<E> where
<E as PairingEngine>::G1Affine: RefUnwindSafe,
<E as PairingEngine>::G2Affine: RefUnwindSafe,
<<E as PairingEngine>::G2Affine as PairingCurve>::Prepared: RefUnwindSafe,
impl<E> Send for VerifierKey<E>
impl<E> Sync for VerifierKey<E>
impl<E> Unpin for VerifierKey<E> where
<E as PairingEngine>::G1Affine: Unpin,
<E as PairingEngine>::G2Affine: Unpin,
<<E as PairingEngine>::G2Affine as PairingCurve>::Prepared: Unpin,
impl<E> UnwindSafe for VerifierKey<E> where
<E as PairingEngine>::G1Affine: UnwindSafe,
<E as PairingEngine>::G2Affine: UnwindSafe,
<<E as PairingEngine>::G2Affine as PairingCurve>::Prepared: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
fn fmt_binary(self) -> FmtBinary<Self> where
Self: Binary,
fn fmt_binary(self) -> FmtBinary<Self> where
Self: Binary,
Causes self
to use its Binary
implementation when Debug
-formatted.
fn fmt_display(self) -> FmtDisplay<Self> where
Self: Display,
fn fmt_display(self) -> FmtDisplay<Self> where
Self: Display,
Causes self
to use its Display
implementation when
Debug
-formatted. Read more
fn fmt_lower_exp(self) -> FmtLowerExp<Self> where
Self: LowerExp,
fn fmt_lower_exp(self) -> FmtLowerExp<Self> where
Self: LowerExp,
Causes self
to use its LowerExp
implementation when
Debug
-formatted. Read more
fn fmt_lower_hex(self) -> FmtLowerHex<Self> where
Self: LowerHex,
fn fmt_lower_hex(self) -> FmtLowerHex<Self> where
Self: LowerHex,
Causes self
to use its LowerHex
implementation when
Debug
-formatted. Read more
Causes self
to use its Octal
implementation when Debug
-formatted.
fn fmt_pointer(self) -> FmtPointer<Self> where
Self: Pointer,
fn fmt_pointer(self) -> FmtPointer<Self> where
Self: Pointer,
Causes self
to use its Pointer
implementation when
Debug
-formatted. Read more
fn fmt_upper_exp(self) -> FmtUpperExp<Self> where
Self: UpperExp,
fn fmt_upper_exp(self) -> FmtUpperExp<Self> where
Self: UpperExp,
Causes self
to use its UpperExp
implementation when
Debug
-formatted. Read more
fn fmt_upper_hex(self) -> FmtUpperHex<Self> where
Self: UpperHex,
fn fmt_upper_hex(self) -> FmtUpperHex<Self> where
Self: UpperHex,
Causes self
to use its UpperHex
implementation when
Debug
-formatted. Read more
impl<T> Pipe for T where
T: ?Sized,
impl<T> Pipe for T where
T: ?Sized,
Pipes by value. This is generally the method you want to use. Read more
Borrows self
and passes that borrow into the pipe function. Read more
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> R where
R: 'a,
fn pipe_ref_mut<'a, R>(&'a mut self, func: impl FnOnce(&'a mut Self) -> R) -> R where
R: 'a,
Mutably borrows self
and passes that borrow into the pipe function. Read more
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R where
Self: Borrow<B>,
B: 'a + ?Sized,
R: 'a,
fn pipe_borrow<'a, B, R>(&'a self, func: impl FnOnce(&'a B) -> R) -> R where
Self: Borrow<B>,
B: 'a + ?Sized,
R: 'a,
Borrows self
, then passes self.borrow()
into the pipe function. Read more
fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R
) -> R where
Self: BorrowMut<B>,
B: 'a + ?Sized,
R: 'a,
fn pipe_borrow_mut<'a, B, R>(
&'a mut self,
func: impl FnOnce(&'a mut B) -> R
) -> R where
Self: BorrowMut<B>,
B: 'a + ?Sized,
R: 'a,
Mutably borrows self
, then passes self.borrow_mut()
into the pipe
function. Read more
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R where
Self: AsRef<U>,
R: 'a,
U: 'a + ?Sized,
fn pipe_as_ref<'a, U, R>(&'a self, func: impl FnOnce(&'a U) -> R) -> R where
Self: AsRef<U>,
R: 'a,
U: 'a + ?Sized,
Borrows self
, then passes self.as_ref()
into the pipe function.
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R where
Self: AsMut<U>,
R: 'a,
U: 'a + ?Sized,
fn pipe_as_mut<'a, U, R>(&'a mut self, func: impl FnOnce(&'a mut U) -> R) -> R where
Self: AsMut<U>,
R: 'a,
U: 'a + ?Sized,
Mutably borrows self
, then passes self.as_mut()
into the pipe
function. Read more
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where
Self: Deref<Target = T>,
T: 'a + ?Sized,
R: 'a,
fn pipe_deref<'a, T, R>(&'a self, func: impl FnOnce(&'a T) -> R) -> R where
Self: Deref<Target = T>,
T: 'a + ?Sized,
R: 'a,
Borrows self
, then passes self.deref()
into the pipe function.
type Output = T
type Output = T
Should always be Self
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self where
Self: Borrow<B>,
B: ?Sized,
fn tap_borrow<B>(self, func: impl FnOnce(&B)) -> Self where
Self: Borrow<B>,
B: ?Sized,
Immutable access to the Borrow<B>
of a value. Read more
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self where
Self: BorrowMut<B>,
B: ?Sized,
fn tap_borrow_mut<B>(self, func: impl FnOnce(&mut B)) -> Self where
Self: BorrowMut<B>,
B: ?Sized,
Mutable access to the BorrowMut<B>
of a value. Read more
Immutable access to the AsRef<R>
view of a value. Read more
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self where
Self: AsMut<R>,
R: ?Sized,
fn tap_ref_mut<R>(self, func: impl FnOnce(&mut R)) -> Self where
Self: AsMut<R>,
R: ?Sized,
Mutable access to the AsMut<R>
view of a value. Read more
Immutable access to the Deref::Target
of a value. Read more
Mutable access to the Deref::Target
of a value. Read more
Calls .tap()
only in debug builds, and is erased in release builds.
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
fn tap_mut_dbg(self, func: impl FnOnce(&mut Self)) -> Self
Calls .tap_mut()
only in debug builds, and is erased in release
builds. Read more
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self where
Self: Borrow<B>,
B: ?Sized,
fn tap_borrow_dbg<B>(self, func: impl FnOnce(&B)) -> Self where
Self: Borrow<B>,
B: ?Sized,
Calls .tap_borrow()
only in debug builds, and is erased in release
builds. Read more
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self where
Self: BorrowMut<B>,
B: ?Sized,
fn tap_borrow_mut_dbg<B>(self, func: impl FnOnce(&mut B)) -> Self where
Self: BorrowMut<B>,
B: ?Sized,
Calls .tap_borrow_mut()
only in debug builds, and is erased in release
builds. Read more
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self where
Self: AsRef<R>,
R: ?Sized,
fn tap_ref_dbg<R>(self, func: impl FnOnce(&R)) -> Self where
Self: AsRef<R>,
R: ?Sized,
Calls .tap_ref()
only in debug builds, and is erased in release
builds. Read more
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self where
Self: AsMut<R>,
R: ?Sized,
fn tap_ref_mut_dbg<R>(self, func: impl FnOnce(&mut R)) -> Self where
Self: AsMut<R>,
R: ?Sized,
Calls .tap_ref_mut()
only in debug builds, and is erased in release
builds. Read more
pub fn vzip(self) -> V