[−][src]Struct dusk_plonk::commitment_scheme::kzg10::key::OpeningKey

pub struct OpeningKey {
    pub g: G1Affine,
    pub h: G2Affine,
    pub beta_h: G2Affine,
    pub prepared_h: G2Prepared,
    pub prepared_beta_h: G2Prepared,
}
[−]

Opening Key is used to verify opening proofs made about a committed polynomial.

Fields

g: G1Affine
[−]

The generator of G1.

h: G2Affine
[−]

The generator of G2.

beta_h: G2Affine
[−]

\beta times the above generator of G2.

prepared_h: G2Prepared
[−]

The generator of G2, prepared for use in pairings.

prepared_beta_h: G2Prepared
[−]

\beta times the above generator of G2, prepared for use in pairings.

Implementations

impl OpeningKey[src][−]

pub fn check(&self, point: Scalar, proof: Proof) -> bool[src][−]

Checks that a polynomial p was evaluated at a point z and returned the value specified v. ie. v = p(z).

pub fn batch_check(
    &self,
    points: &[Scalar],
    proofs: &[Proof],
    transcript: &mut Transcript
) -> Result<(), Error>[src][−]

Checks whether a batch of polynomials evaluated at different points, returned their specified value.

Trait Implementations

impl Clone for OpeningKey[src][+]

impl Debug for OpeningKey[src][+]

Auto Trait Implementations

impl RefUnwindSafe for OpeningKey

impl Send for OpeningKey

impl Sync for OpeningKey

impl Unpin for OpeningKey

impl UnwindSafe for OpeningKey

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized, [src][+]

impl<T> Borrow<T> for T where
    T: ?Sized, [src][+]

impl<T> BorrowMut<T> for T where
    T: ?Sized, [src][+]

impl<T> From<T> for T[src][+]

impl<T, U> Into<U> for T where
    U: From<T>, [src][+]

impl<T> ToOwned for T where
    T: Clone, [src][+]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, [src][+]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, [src][+]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>, [+]