[−][src]Struct dusk_plonk::prelude::VerifierKey
PLONK circuit verification key
Fields
n: usizeCircuit size
arithmetic: VerifierKeyVerifierKey for arithmetic gates
logic: VerifierKeyVerifierKey for logic gates
range: VerifierKeyVerifierKey for range gates
ecc: VerifierKeyVerifierKey for ecc gates
permutation: VerifierKeyVerifierKey for permutation checks
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for VerifierKey
impl Send for VerifierKey
impl Sync for VerifierKey
impl Unpin for VerifierKey
impl UnwindSafe for VerifierKey
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized, [src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized, [src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized, [src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T[src]
impl<T> From<T> for T[src]
impl<T, U> Into<U> for T where
U: From<T>, [src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>, [src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>, [src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,