Module o1vm::pickles::lookup_prover

source ·

Functions

  • lookup_prove
    This prover takes one Public Input and one Public Output It then proves that the sum 1/(beta + table) = PI - PO where the table term are term from fixed lookup or RAMLookup