Struct Validator 

pub struct Validator { /* private fields */ }

Implementations

impl Validator

pub fn new_as_verifier() -> Validator

pub fn new_as_prover() -> Validator

pub fn get_violations(self) -> Vec<String>

pub fn ingest_message(&mut self, msg: &Message)

pub fn ingest_header(&mut self, header: &CircuitHeader)

pub fn ingest_witness(&mut self, witness: &Witness)

pub fn ingest_constraint_system(&mut self, system: &ConstraintSystem)

Trait Implementations

impl Clone for Validator

fn clone(&self) -> Validator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for Validator

fn default() -> Validator

Returns the “default value” for a type.