pub struct KzgExtension(pub Kzg);Expand description
A KZG extension.
Tuple Fields§
§0: KzgImplementations§
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<Src, Dest> IntoTuple<Dest> for Srcwhere
Dest: FromTuple<Src>,
impl<Src, Dest> IntoTuple<Dest> for Srcwhere
Dest: FromTuple<Src>,
fn into_tuple(self) -> Dest
§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.