Function halo2_debug::check_witness

source ยท 
pub fn check_witness<F: PrimeField>(
    circuit: &CompiledCircuit<F>,
    k: u32,
    blinding_rows: usize,
    witness: &[Vec<F>],
    public: &[Vec<F>]
)
Expand description

Check that the wintess passes all the constraints defined by the circuit. Panics if any constraint is not satisfied.