Struct ark_marlin::Proof [−][src]
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>, }
Expand description
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
pub fn new(
commitments: Vec<Vec<PC::Commitment>>,
evaluations: Vec<F>,
prover_messages: Vec<ProverMsg<F>>,
pc_proof: BatchLCProof<F, DensePolynomial<F>, PC>
) -> Self
[src]
pub fn new(
commitments: Vec<Vec<PC::Commitment>>,
evaluations: Vec<F>,
prover_messages: Vec<ProverMsg<F>>,
pc_proof: BatchLCProof<F, DensePolynomial<F>, PC>
) -> Self
[src]Construct a new proof.
Prints information about the size of the proof.
Trait Implementations
impl<F: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> CanonicalDeserialize for Proof<F, PC>
[src]
impl<F: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> CanonicalDeserialize for Proof<F, PC>
[src]Reads Self
from reader
.
Reads Self
from reader
without compression.
Reads self
from reader
without compression, and without performing
validity checks. Should be used only when the input is trusted. Read more
impl<F: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> CanonicalSerialize for Proof<F, PC>
[src]
impl<F: PrimeField, PC: PolynomialCommitment<F, DensePolynomial<F>>> CanonicalSerialize for Proof<F, PC>
[src]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. Read more
Serializes self
into writer
without compression.
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. Read more
Auto Trait Implementations
impl<F, PC> RefUnwindSafe for Proof<F, PC> where
F: RefUnwindSafe,
<PC as PolynomialCommitment<F, DensePolynomial<F>>>::BatchProof: RefUnwindSafe,
<PC as PolynomialCommitment<F, DensePolynomial<F>>>::Commitment: RefUnwindSafe,
impl<F, PC> Send for Proof<F, PC> where
<PC as PolynomialCommitment<F, DensePolynomial<F>>>::BatchProof: Send,
<PC as PolynomialCommitment<F, DensePolynomial<F>>>::Commitment: Send,
impl<F, PC> Sync for Proof<F, PC> where
<PC as PolynomialCommitment<F, DensePolynomial<F>>>::BatchProof: Sync,
<PC as PolynomialCommitment<F, DensePolynomial<F>>>::Commitment: Sync,
impl<F, PC> Unpin for Proof<F, PC> where
F: Unpin,
<PC as PolynomialCommitment<F, DensePolynomial<F>>>::BatchProof: Unpin,
<PC as PolynomialCommitment<F, DensePolynomial<F>>>::Commitment: Unpin,
impl<F, PC> UnwindSafe for Proof<F, PC> where
F: UnwindSafe,
<PC as PolynomialCommitment<F, DensePolynomial<F>>>::BatchProof: UnwindSafe,
<PC as PolynomialCommitment<F, DensePolynomial<F>>>::Commitment: UnwindSafe,
Blanket Implementations
Mutably borrows from an owned value. Read more
fn hash_uncompressed<H>(&self) -> GenericArray<u8, <H as Digest>::OutputSize> where
H: Digest,
[src]Instruments this type with the provided Span
, returning an
Instrumented
wrapper. Read more
type Output = T
type Output = T
Should always be Self
pub fn vzip(self) -> V