Struct WitnessM4 

pub struct WitnessM4 {
    pub main: ValueVec,
    pub tables: Vec<ValueTable>,
}

A full M4 witness: the main chip’s values and one ValueTable per chip of a ConstraintSystemM4.

The tables are indexed by chip ID, so tables[i] holds every instance of chip i. One row of a table is one invocation of that chip: the chip’s local constraints must hold on the row, and the row’s inout values must be matched by exactly one chip call elsewhere in the system.

Generating one is the circuit frontend’s business, since it takes circuits to evaluate — see CircuitM4::generate_witness. This crate is where one is checked.

Fields

main: ValueVec

The values of the main chip, which runs once.

tables: Vec<ValueTable>

The instances of each chip, indexed by chip ID.

Implementations

impl WitnessM4

pub fn verify(&self, cs: &ConstraintSystemM4) -> Result<(), VerificationM4Error>

Checks that this witness satisfies an M4 constraint system.

ConstraintSystemM4::verify checks the local constraints of every instance and matches every chip call against the instance serving it. It reads the instances one at a time, so a table is never expanded into value vectors whole: the tables are the witness, and they stay the only copy of it.

Trait Implementations

impl Debug for WitnessM4

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

Formats the value using the given formatter.