pub struct PreparedCircuitVerifyingKey<E: PairingEngine, MM: MarlinMode> {
pub constraint_domain_size: u64,
pub non_zero_a_domain_size: u64,
pub non_zero_b_domain_size: u64,
pub non_zero_c_domain_size: u64,
pub orig_vk: CircuitVerifyingKey<E, MM>,
}Expand description
Verification key, prepared (preprocessed) for use in pairings.
Fields
constraint_domain_size: u64Size of the variable domain.
non_zero_a_domain_size: u64Size of the domain that represents A.
non_zero_b_domain_size: u64Size of the domain that represents B.
non_zero_c_domain_size: u64Size of the domain that represents C.
orig_vk: CircuitVerifyingKey<E, MM>Non-prepared verification key, for use in native “prepared verify” (which is actually standard verify), as well as in absorbing the original vk into the Fiat-Shamir sponge.
Trait Implementations
sourceimpl<E: Clone + PairingEngine, MM: Clone + MarlinMode> Clone for PreparedCircuitVerifyingKey<E, MM>
impl<E: Clone + PairingEngine, MM: Clone + MarlinMode> Clone for PreparedCircuitVerifyingKey<E, MM>
sourcefn clone(&self) -> PreparedCircuitVerifyingKey<E, MM>
fn clone(&self) -> PreparedCircuitVerifyingKey<E, MM>
Returns a copy of the value. Read more
1.0.0 · sourcefn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moresourceimpl<E: PairingEngine, MM: MarlinMode> From<PreparedCircuitVerifyingKey<E, MM>> for CircuitVerifyingKey<E, MM>
impl<E: PairingEngine, MM: MarlinMode> From<PreparedCircuitVerifyingKey<E, MM>> for CircuitVerifyingKey<E, MM>
sourcefn from(other: PreparedCircuitVerifyingKey<E, MM>) -> Self
fn from(other: PreparedCircuitVerifyingKey<E, MM>) -> Self
Converts to this type from the input type.
Auto Trait Implementations
impl<E, MM> RefUnwindSafe for PreparedCircuitVerifyingKey<E, MM>where
MM: RefUnwindSafe,
<E as PairingEngine>::Fr: RefUnwindSafe,
<E as PairingEngine>::G1Affine: RefUnwindSafe,
<E as PairingEngine>::G2Affine: RefUnwindSafe,
<<E as PairingEngine>::G2Affine as PairingCurve>::Prepared: RefUnwindSafe,
impl<E, MM> Send for PreparedCircuitVerifyingKey<E, MM>
impl<E, MM> Sync for PreparedCircuitVerifyingKey<E, MM>
impl<E, MM> Unpin for PreparedCircuitVerifyingKey<E, MM>where
MM: Unpin,
<E as PairingEngine>::Fr: Unpin,
<E as PairingEngine>::G1Affine: Unpin,
<E as PairingEngine>::G2Affine: Unpin,
<<E as PairingEngine>::G2Affine as PairingCurve>::Prepared: Unpin,
impl<E, MM> UnwindSafe for PreparedCircuitVerifyingKey<E, MM>where
MM: UnwindSafe,
<E as PairingEngine>::Fr: UnwindSafe,
<E as PairingEngine>::G1Affine: UnwindSafe,
<E as PairingEngine>::G2Affine: UnwindSafe,
<<E as PairingEngine>::G2Affine as PairingCurve>::Prepared: UnwindSafe,
Blanket Implementations
sourceimpl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
const: unstable · sourcefn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more