Function verify

pub fn verify<F: PrimeField, I: Iterator<Item = F>, TABLE: Fn() -> I>(
    dummy_lookup_value: F,
    lookup_table: TABLE,
    lookup_table_entries: usize,
    d1: Radix2EvaluationDomain<F>,
    gates: &[CircuitGate<F>],
    witness: &[Vec<F>; 15],
    joint_combiner: &F,
    table_id_combiner: &F,
    sorted: &[Evaluations<F, Radix2EvaluationDomain<F>>],
    lookup_info: &LookupInfo,
    zk_rows: usize,
)

Checks that all the lookup constraints are satisfied.

Panics

Will panic if d1 and s domain sizes do not match.