Struct Witness 

pub struct Witness<F: Field> { /* private fields */ }

A witness: wire values satisfying the constraint set.

Entry i is the value of Wire::new(i). The vector must be long enough to cover every wire index referenced by the constraint set.

Examples

use plonkish_cat::F101;
use proof_cat::Witness;

// Three wires: w0=3, w1=4, w2=7.
let w = Witness::new(vec![F101::new(3), F101::new(4), F101::new(7)]);
assert_eq!(w.values().len(), 3);

Implementations

impl<F: Field> Witness<F>

pub fn new(values: Vec<F>) -> Self

Create a witness from a vector of wire values.

pub fn values(&self) -> &[F]

The wire values.

Trait Implementations

impl<F: Clone + Field> Clone for Witness<F>

fn clone(&self) -> Witness<F>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<F: Debug + Field> Debug for Witness<F>

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

Formats the value using the given formatter.