Function kimchi_msm::logup::constraint_lookups
source · pub fn constraint_lookups<F: PrimeField, ID: LookupTableID>(
lookup_reads: &BTreeMap<ID, Vec<Vec<E<F>>>>,
lookup_writes: &BTreeMap<ID, Vec<Vec<E<F>>>>
) -> Vec<E<F>>
Expand description
Build the constraints for the lookup protocol. The constraints are the partial sum and the aggregation of the partial sums.