pub fn sorted<F: PrimeField>(
dummy_lookup_value: F,
joint_lookup_table_d8: &Evaluations<F, D<F>>,
d1: D<F>,
gates: &[CircuitGate<F>],
witness: &[Vec<F>; 15],
joint_combiner: F,
table_id_combiner: F,
lookup_info: &LookupInfo,
zk_rows: usize
) -> Result<Vec<Vec<F>>, ProverError>
Expand description
Computes the sorted lookup tables required by the lookup argument.
Panics
Will panic if value(s)
are missing from the table
.