Module prover 

Structs

ProofBytes

Raw proof bytes with a prover identifier.

Enums

ProofData

Generic enum for the ProverServer <–> ProverClient Communication Protocol.

ProofFormat

Indicates the prover which proof format to generate

ProverOutput

Output produced by a prover backend.

ProverType

Enum used to identify the different proving systems.