pub fn verify<F: PrimeField, I: Iterator<Item = F>, TABLE: Fn() -> I>(
dummy_lookup_value: F,
lookup_table: TABLE,
lookup_table_entries: usize,
d1: D<F>,
gates: &[CircuitGate<F>],
witness: &[Vec<F>; 15],
joint_combiner: &F,
table_id_combiner: &F,
sorted: &[Evaluations<F, D<F>>],
lookup_info: &LookupInfo,
zk_rows: usize
)Expand description
Checks that all the lookup constraints are satisfied.
Panics
Will panic if d1 and s domain sizes do not match.