Struct ark_poly_commit::kzg10::Proof [−][src]
pub struct Proof<E: PairingEngine> { pub w: E::G1Affine, pub random_v: Option<E::Fr>, }
Expand description
Proof
is an evaluation proof that is output by KZG10::open
.
Fields
w: E::G1Affine
This is a commitment to the witness polynomial; see [KZG10] for more details.
random_v: Option<E::Fr>
This is the evaluation of the random polynomial at the point for which the evaluation proof was produced.
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<E> RefUnwindSafe for Proof<E> where
<E as PairingEngine>::Fr: RefUnwindSafe,
<E as PairingEngine>::G1Affine: RefUnwindSafe,
impl<E> Unpin for Proof<E> where
<E as PairingEngine>::Fr: Unpin,
<E as PairingEngine>::G1Affine: Unpin,
impl<E> UnwindSafe for Proof<E> where
<E as PairingEngine>::Fr: UnwindSafe,
<E as PairingEngine>::G1Affine: 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