Struct dusk_plonk::circuit::VerifierData

pub struct VerifierData { /* fields omitted */ }

Collection of structs/objects that the Verifier will use in order to de/serialize data needed for Circuit proof verification. This structure can be seen as a link between the Circuit public input positions and the VerifierKey that the Verifier needs to use.

Implementations

impl VerifierData

pub const fn new(key: VerifierKey, pi_pos: Vec<usize>) -> Self

Creates a new VerifierData from a VerifierKey and the public input positions of the circuit that it represents.

pub const fn key(&self) -> &VerifierKey

Returns a reference to the contained VerifierKey.

pub const fn pi_pos(&self) -> &Vec<usize>

Returns a reference to the contained Public Input positions.

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

Deserializes the VerifierData into a vector of bytes.

pub fn from_slice(buf: &[u8]) -> Result<Self, Error>

Serializes VerifierData from a slice of bytes.

Trait Implementations

impl Clone for VerifierData

fn clone(&self) -> VerifierData

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for VerifierData

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

Formats the value using the given formatter.