[][src]Module dusk_plonk::proof_system::proof

Represents a PLONK Proof A Proof stores the commitments to all of the elements that are needed to univocally identify a prove of some statement.

This module contains the implementation of the StandardComposers Proof structure and it's methods.

Structs

Proof

A Proof is a composition of Commitments to the witness, permutation, quotient, shifted and opening polynomials as well as the ProofEvaluations.