o1vm::pickles

Module 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