Struct ark_poly_commit::ipa_pc::Proof [−][src]
pub struct Proof<G: AffineCurve> { pub l_vec: Vec<G>, pub r_vec: Vec<G>, pub final_comm_key: G, pub c: G::ScalarField, pub hiding_comm: Option<G>, pub rand: Option<G::ScalarField>, }
Expand description
Proof
is an evaluation proof that is output by InnerProductArg::open
.
Fields
l_vec: Vec<G>
Vector of left elements for each of the log_d iterations in open
r_vec: Vec<G>
Vector of right elements for each of the log_d iterations within open
final_comm_key: G
Committer key from the last iteration within open
c: G::ScalarField
Coefficient from the last iteration within withinopen`
hiding_comm: Option<G>
Commitment to the blinding polynomial.
rand: Option<G::ScalarField>
Linear combination of all the randomness used for commitments to the opened polynomials, along with the randomness used for the commitment to the hiding polynomial.
Trait Implementations
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
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
Size in bytes
Auto Trait Implementations
impl<G> RefUnwindSafe for Proof<G> where
G: RefUnwindSafe,
<G as AffineCurve>::ScalarField: RefUnwindSafe,
impl<G> Unpin for Proof<G> where
G: Unpin,
<G as AffineCurve>::ScalarField: Unpin,
impl<G> UnwindSafe for Proof<G> where
G: UnwindSafe,
<G as AffineCurve>::ScalarField: 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