Struct o1vm::pickles::lookup_env::LookupEnvironment

pub struct LookupEnvironment<G: KimchiCurve> {
    pub tables_poly: Vec<Vec<DensePolynomial<G::ScalarField>>>,
    pub tables_comm: Vec<Vec<BlindedCommitment<G>>>,
    pub multiplicities: LookupMultiplicities,
}

This is what the prover needs to remember while doing individual proofs, in order to prove the lookup protocol we do in the end

Fields

tables_poly: Vec<Vec<DensePolynomial<G::ScalarField>>>

fixed tables pre-existing the protocol

tables_comm: Vec<Vec<BlindedCommitment<G>>>

multiplicities: LookupMultiplicities

multiplicities

Implementations

impl<G: KimchiCurve> LookupEnvironment<G>

Create a new prover environment, which interpolates the fixed tables and commit to them. Fills the multiplicities with zeroes

pub fn new(srs: &SRS<G>, domain: EvaluationDomains<G::ScalarField>) -> Self

pub fn add_multiplicities(&mut self, multiplicities: LookupMultiplicities)

Take a prover environment, a multiplicities, and returns a prover environment with the multiplicities being the addition of both