Struct Kzg

pub struct Kzg { /* private fields */ }

Wrapper data structure for working with KZG commitment scheme

Implementations

impl Kzg

pub fn new() -> Self

Create new instance with embedded KZG settings.

NOTE: Prefer cloning to instantiation since cloning is cheap and instantiation is not!

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>

Computes a Commitment to polynomial

pub fn create_witness( &self, polynomial: &Polynomial, num_values: usize, index: u32, ) -> Result<Witness, String>

Computes a Witness of evaluation of polynomial at index

pub fn verify( &self, commitment: &Commitment, num_values: usize, index: u32, value: &Scalar, witness: &Witness, ) -> bool

Verifies that value is the evaluation at index of the polynomial created from num_values values matching the commitment.

Trait Implementations

impl Clone for Kzg

fn clone(&self) -> Kzg

Returns a copy of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for Kzg

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.