[−][src]Struct dusk_plonk::prelude::VerifierKey
PLONK circuit verification key
Fields
n: usize
Circuit size
arithmetic: VerifierKey
VerifierKey for arithmetic gates
logic: VerifierKey
VerifierKey for logic gates
range: VerifierKey
VerifierKey for range gates
ecc: VerifierKey
VerifierKey for ecc gates
permutation: VerifierKey
VerifierKey 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>,