Struct ark_poly_commit::data_structures::BatchLCProof [−][src]
pub struct BatchLCProof<F: Field, P: Polynomial<F>, PC: PolynomialCommitment<F, P>> { pub proof: PC::BatchProof, pub evals: Option<Vec<F>>, }
Expand description
A proof of satisfaction of linear combinations.
Fields
proof: PC::BatchProof
Evaluation proof.
evals: Option<Vec<F>>
Evaluations required to verify the proof.
Trait Implementations
impl<F: Field, P: Polynomial<F>, PC: PolynomialCommitment<F, P>> CanonicalDeserialize for BatchLCProof<F, P, PC>
[src]
impl<F: Field, P: Polynomial<F>, PC: PolynomialCommitment<F, P>> CanonicalDeserialize for BatchLCProof<F, P, 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: Field, P: Polynomial<F>, PC: PolynomialCommitment<F, P>> CanonicalSerialize for BatchLCProof<F, P, PC>
[src]
impl<F: Field, P: Polynomial<F>, PC: PolynomialCommitment<F, P>> CanonicalSerialize for BatchLCProof<F, P, 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
impl<F: Clone + Field, P: Clone + Polynomial<F>, PC: Clone + PolynomialCommitment<F, P>> Clone for BatchLCProof<F, P, PC> where
PC::BatchProof: Clone,
[src]
impl<F: Clone + Field, P: Clone + Polynomial<F>, PC: Clone + PolynomialCommitment<F, P>> Clone for BatchLCProof<F, P, PC> where
PC::BatchProof: Clone,
[src]Auto Trait Implementations
impl<F, P, PC> RefUnwindSafe for BatchLCProof<F, P, PC> where
F: RefUnwindSafe,
<PC as PolynomialCommitment<F, P>>::BatchProof: RefUnwindSafe,
impl<F, P, PC> Send for BatchLCProof<F, P, PC> where
<PC as PolynomialCommitment<F, P>>::BatchProof: Send,
impl<F, P, PC> Sync for BatchLCProof<F, P, PC> where
<PC as PolynomialCommitment<F, P>>::BatchProof: Sync,
impl<F, P, PC> Unpin for BatchLCProof<F, P, PC> where
F: Unpin,
<PC as PolynomialCommitment<F, P>>::BatchProof: Unpin,
impl<F, P, PC> UnwindSafe for BatchLCProof<F, P, PC> where
F: UnwindSafe,
<PC as PolynomialCommitment<F, P>>::BatchProof: 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]type Output = T
type Output = T
Should always be Self
pub fn vzip(self) -> V