Struct snarkvm_algorithms::polycommit::kzg10::LagrangeBasis

pub struct LagrangeBasis<'a, E: PairingEngine> {
    pub lagrange_basis_at_beta_g: Cow<'a, [E::G1Affine]>,
    pub powers_of_beta_times_gamma_g: Cow<'a, [E::G1Affine]>,
    pub domain: EvaluationDomain<E::Fr>,
}

LagrangeBasis is used to commit to and create evaluation proofs for a given polynomial.

Fields

lagrange_basis_at_beta_g: Cow<'a, [E::G1Affine]>

Group elements of the form β^i G, for different values of i.

powers_of_beta_times_gamma_g: Cow<'a, [E::G1Affine]>

Group elements of the form β^i γG, for different values of i.

domain: EvaluationDomain<E::Fr>

Domain representing the multiplicative subgroup the powers in self.lagrange_basis_at_beta_g are defined over.

Implementations

impl<E: PairingEngine> LagrangeBasis<'_, E>

pub fn size(&self) -> usize

The number of powers in self.

Trait Implementations

impl<'a, E: Clone + PairingEngine> Clone for LagrangeBasis<'a, E>

where E::G1Affine: Clone, E::Fr: Clone,

fn clone(&self) -> LagrangeBasis<'a, E>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<'a, E: Debug + PairingEngine> Debug for LagrangeBasis<'a, E>

where E::G1Affine: Debug, E::Fr: Debug,

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

Formats the value using the given formatter.

impl<'a, E: Hash + PairingEngine> Hash for LagrangeBasis<'a, E>

where E::G1Affine: Hash, E::Fr: Hash,

fn hash<__H: Hasher>(&self, state: &mut __H)

Feeds this value into the given Hasher.

fn hash_slice<H>(data: &[Self], state: &mut H)

where H: Hasher, Self: Sized,

Feeds a slice of this type into the given Hasher.