Module proof 

This module implements the data structures of a proof.

Modules

caml

Structs

LookupCommitments

Commitments linked to the lookup feature

PointEvaluations

Evaluations of a polynomial at 2 points

ProofEvaluations

Polynomial evaluations contained in a ProverProof.

ProverCommitments

All the commitments that the prover creates as part of the proof.

ProverProof

The proof that the prover creates from a ProverIndex and a witness.

RecursionChallenge

Stores the accumulator from a previously verified IPA (Inner Product Argument).

Constants

_DERIVE_ocaml_FromValue_from_value_lifetime_FOR_PointEvaluations 🔒

_DERIVE_ocaml_IntoValue_FOR_PointEvaluations 🔒