Type Definition kimchi_msm::lookups::LookupWitness

source ·
pub type LookupWitness<F> = LogupWitness<F, LookupTableIDs>;
Expand description

Represents a witness of one instance of the lookup argument of the MSM project

Implementations§

source§

impl<F: FftField> LookupWitness<F>

source

pub fn random(domain: EvaluationDomains<F>) -> (LookupTableIDs, Self)

Generate a random number of correct lookups in the table RangeCheck16