pub struct KzgExtension(pub Kzg);
Expand description
A KZG extension.
Tuple Fields§
§0: Kzg
Implementations§
source§impl KzgExtension
impl KzgExtension
Methods from Deref<Target = Kzg>§
pub fn poly(&self, data: &[Scalar]) -> Result<Polynomial, String>
pub fn poly(&self, data: &[Scalar]) -> Result<Polynomial, String>
Create polynomial from data. Data must be multiple of 32 bytes, each containing up to 254 bits of information.
The resulting polynomial is in coefficient form.
pub fn commit(&self, polynomial: &Polynomial) -> Result<Commitment, String>
pub fn commit(&self, polynomial: &Polynomial) -> Result<Commitment, String>
Computes a Commitment
to polynomial
pub fn create_witness(
&self,
polynomial: &Polynomial,
num_values: usize,
index: u32,
) -> Result<Witness, String>
pub fn create_witness( &self, polynomial: &Polynomial, num_values: usize, index: u32, ) -> Result<Witness, String>
Computes a Witness
of evaluation of polynomial
at index
Trait Implementations§
source§impl Deref for KzgExtension
impl Deref for KzgExtension
source§impl DerefMut for KzgExtension
impl DerefMut for KzgExtension
source§impl Extension for KzgExtension
impl Extension for KzgExtension
Auto Trait Implementations§
impl Freeze for KzgExtension
impl !RefUnwindSafe for KzgExtension
impl Send for KzgExtension
impl Sync for KzgExtension
impl Unpin for KzgExtension
impl !UnwindSafe for KzgExtension
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> CheckedConversion for T
impl<T> CheckedConversion for T
§fn checked_from<T>(t: T) -> Option<Self>where
Self: TryFrom<T>,
fn checked_from<T>(t: T) -> Option<Self>where
Self: TryFrom<T>,
§fn checked_into<T>(self) -> Option<T>where
Self: TryInto<T>,
fn checked_into<T>(self) -> Option<T>where
Self: TryInto<T>,
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read more§impl<T, Outer> IsWrappedBy<Outer> for T
impl<T, Outer> IsWrappedBy<Outer> for T
§impl<T> Pointable for T
impl<T> Pointable for T
§impl<T> SaturatedConversion for T
impl<T> SaturatedConversion for T
§fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
fn saturated_from<T>(t: T) -> Selfwhere
Self: UniqueSaturatedFrom<T>,
§fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
fn saturated_into<T>(self) -> Twhere
Self: UniqueSaturatedInto<T>,
Consume self to return an equivalent value of
T
. Read more§impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
impl<S, T> UncheckedInto<T> for Swhere
T: UncheckedFrom<S>,
§fn unchecked_into(self) -> T
fn unchecked_into(self) -> T
The counterpart to
unchecked_from
.§impl<T, S> UniqueSaturatedInto<T> for S
impl<T, S> UniqueSaturatedInto<T> for S
§fn unique_saturated_into(self) -> T
fn unique_saturated_into(self) -> T
Consume self to return an equivalent value of
T
.