[−][src]Struct dusk_plonk::commitment_scheme::kzg10::AggregateProof
Proof that multiple polynomials were correctly evaluated at a point z
,
each producing their respective evaluated points p_i(z).
Fields
commitment_to_witness: Commitment
This is a commitment to the aggregated witness polynomial.
evaluated_points: Vec<Scalar>
These are the results of the evaluating each polynomial at the point z
.
commitments_to_polynomials: Vec<Commitment>
These are the commitments to the polynomials which you want to prove a statement about.
Implementations
impl AggregateProof
[src]
pub fn with_witness(witness: Commitment) -> AggregateProof
[src]
Initialises an AggregatedProof
with the commitment to the witness.
pub fn add_part(&mut self, part: (Scalar, Commitment))
[src]
Adds an evaluated point with the commitment to the polynomial which produced it.
pub fn flatten(&self, transcript: &mut Transcript) -> Proof
[src]
Flattens an AggregateProof
into a Proof
.
The transcript must have the same view as the transcript that was used to aggregate the witness in the proving stage.
Trait Implementations
Auto Trait Implementations
impl RefUnwindSafe for AggregateProof
impl Send for AggregateProof
impl Sync for AggregateProof
impl Unpin for AggregateProof
impl UnwindSafe for AggregateProof
Blanket Implementations
impl<T> Any for T where
T: 'static + ?Sized,
[src]
T: 'static + ?Sized,
impl<T> Borrow<T> for T where
T: ?Sized,
[src]
T: ?Sized,
impl<T> BorrowMut<T> for T where
T: ?Sized,
[src]
T: ?Sized,
fn borrow_mut(&mut self) -> &mut T
[src]
impl<T> From<T> for T
[src]
impl<T, U> Into<U> for T where
U: From<T>,
[src]
U: From<T>,
impl<T, U> TryFrom<U> for T where
U: Into<T>,
[src]
U: Into<T>,
type Error = Infallible
The type returned in the event of a conversion error.
fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>
[src]
impl<T, U> TryInto<U> for T where
U: TryFrom<T>,
[src]
U: TryFrom<T>,
type Error = <U as TryFrom<T>>::Error
The type returned in the event of a conversion error.
fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>
[src]
impl<V, T> VZip<V> for T where
V: MultiLane<T>,
V: MultiLane<T>,