Module kimchi_msm::logup::prover

source ·

Structs

  • Env
    Represents the environment for the logup argument.
  • QuotientPolynomialEnvironment
    The structure used by the prover the compute the quotient polynomial. The structure contains the evaluations of the inner sums, the multiplicities, the aggregation and the fixed tables, over the domain d8.