Struct dusk_plonk::prelude::VerifierKey

pub struct VerifierKey {
    pub n: usize,
    pub arithmetic: VerifierKey,
    pub logic: VerifierKey,
    pub range: VerifierKey,
    pub ecc: VerifierKey,
    pub permutation: 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

Implementations

impl VerifierKey

pub fn to_bytes(&self) -> Vec<u8>

Serialises a VerifierKey to bytes

pub fn from_bytes(bytes: &[u8]) -> Result<VerifierKey, Error>

Deserialise a slice of bytes into a VerifierKey

Trait Implementations

impl Debug for VerifierKey

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for VerifierKey

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error> where
    D: Deserializer<'de>, 

Deserialize this value from the given Serde deserializer.

impl Eq for VerifierKey

impl PartialEq<VerifierKey> for VerifierKey

fn eq(&self, other: &VerifierKey) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &VerifierKey) -> bool

This method tests for !=.

impl Serialize for VerifierKey

fn serialize<S>(&self, serializer: S) -> Result<S::Ok, S::Error> where
    S: Serializer, 

Serialize this value into the given Serde serializer.

impl StructuralEq for VerifierKey

impl StructuralPartialEq for VerifierKey