Struct ark_marlin::Proof

pub struct Proof<F: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> {
    pub commitments: Vec<Vec<PC::Commitment>>,
    pub evaluations: Vec<F>,
    pub prover_messages: Vec<ProverMsg<F>>,
    pub pc_proof: BatchLCProof<F, DensePolynomial<F>, PC>,
}

A zkSNARK proof.

Fields

commitments: Vec<Vec<PC::Commitment>>

Commitments to the polynomials produced by the AHP prover.

evaluations: Vec<F>

Evaluations of these polynomials.

prover_messages: Vec<ProverMsg<F>>

The field elements sent by the prover.

pc_proof: BatchLCProof<F, DensePolynomial<F>, PC>

An evaluation proof from the polynomial commitment.

Implementations

impl<F: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> Proof<F, PC>

pub fn new(
    commitments: Vec<Vec<PC::Commitment>>,
    evaluations: Vec<F>,
    prover_messages: Vec<ProverMsg<F>>,
    pc_proof: BatchLCProof<F, DensePolynomial<F>, PC>
) -> Self

Construct a new proof.

pub fn print_size_info(&self)

Prints information about the size of the proof.

Trait Implementations

impl<F: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> CanonicalDeserialize for Proof<F, PC>

fn deserialize<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads Self from reader.

fn deserialize_uncompressed<R: Read>(
    reader: R
) -> Result<Self, SerializationError>

Reads Self from reader without compression.

fn deserialize_unchecked<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads self from reader without compression, and without performing validity checks. Should be used only when the input is trusted.

impl<F: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> CanonicalSerialize for Proof<F, PC>

fn serialize<W: Write>(&self, writer: W) -> Result<(), SerializationError>

Serializes self into writer. It is left up to a particular type for how it strikes the serialization efficiency vs compression tradeoff. For standard types (e.g. bool, lengths, etc.) typically an uncompressed form is used, whereas for algebraic types compressed forms are used.

fn serialized_size(&self) -> usize

fn serialize_uncompressed<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

Serializes self into writer without compression.

fn serialize_unchecked<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

Serializes self into writer without compression, and without performing validity checks. Should be used only when there is no danger of adversarial manipulation of the output.

fn uncompressed_size(&self) -> usize