Module o1vm::pickles::prover

Enums

• ProverError
  Errors that can arise when creating a proof

Functions

• prove
  Make a PlonKish proof for the given circuit. As inputs, we get the execution trace consisting of evaluations of polynomials over a certain domain domain.