Module 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.