Struct snarkvm_algorithms::polycommit::sonic_pc::CommitterUnionKey

pub struct CommitterUnionKey<'a, E: PairingEngine> {
    pub powers_of_beta_g: Option<&'a Vec<E::G1Affine>>,
    pub lagrange_bases_at_beta_g: BTreeMap<usize, &'a Vec<E::G1Affine>>,
    pub powers_of_beta_times_gamma_g: Option<&'a Vec<E::G1Affine>>,
    pub shifted_powers_of_beta_g: Option<&'a Vec<E::G1Affine>>,
    pub shifted_powers_of_beta_times_gamma_g: Option<BTreeMap<usize, &'a Vec<E::G1Affine>>>,
    pub enforced_degree_bounds: Option<Vec<usize>>,
}

CommitterUnionKey is a union of CommitterKeys, useful for multi-circuit batch proofs.

Fields

powers_of_beta_g: Option<&'a Vec<E::G1Affine>>

The key used to commit to polynomials.

lagrange_bases_at_beta_g: BTreeMap<usize, &'a Vec<E::G1Affine>>

The key used to commit to polynomials in Lagrange basis.

powers_of_beta_times_gamma_g: Option<&'a Vec<E::G1Affine>>

The key used to commit to hiding polynomials.

shifted_powers_of_beta_g: Option<&'a Vec<E::G1Affine>>

The powers used to commit to shifted polynomials. This is None if self does not support enforcing any degree bounds.

shifted_powers_of_beta_times_gamma_g: Option<BTreeMap<usize, &'a Vec<E::G1Affine>>>

The powers used to commit to shifted hiding polynomials. This is None if self does not support enforcing any degree bounds.

enforced_degree_bounds: Option<Vec<usize>>

The degree bounds that are supported by self. Sorted in ascending order from smallest bound to largest bound. This is None if self does not support enforcing any degree bounds.

Implementations

impl<'a, E: PairingEngine> CommitterUnionKey<'a, E>

pub fn powers(&self) -> Powers<'_, E>

Obtain powers for the underlying KZG10 construction

pub fn shifted_powers_of_beta_g( &self, degree_bound: impl Into<Option<usize>> ) -> Option<Powers<'_, E>>

Obtain powers for committing to shifted polynomials.

pub fn lagrange_basis( &self, domain: EvaluationDomain<E::Fr> ) -> Option<LagrangeBasis<'_, E>>

Obtain elements of the SRS in the lagrange basis powers, for use with the underlying KZG10 construction.

pub fn union<T: IntoIterator<Item = &'a CommitterKey<E>>>( committer_keys: T ) -> Self

Trait Implementations

impl<'a, E: Clone + PairingEngine> Clone for CommitterUnionKey<'a, E>where E::G1Affine: Clone,

fn clone(&self) -> CommitterUnionKey<'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 CommitterUnionKey<'a, E>where E::G1Affine: Debug,

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

Formats the value using the given formatter.

impl<'a, E: Hash + PairingEngine> Hash for CommitterUnionKey<'a, E>where E::G1Affine: 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.

impl<'a, E: PartialEq + PairingEngine> PartialEq<CommitterUnionKey<'a, E>> for CommitterUnionKey<'a, E>where E::G1Affine: PartialEq,

fn eq(&self, other: &CommitterUnionKey<'a, E>) -> bool

This method tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

This method tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<'a, E: Eq + PairingEngine> Eq for CommitterUnionKey<'a, E>where E::G1Affine: Eq,

impl<'a, E: PairingEngine> StructuralEq for CommitterUnionKey<'a, E>

impl<'a, E: PairingEngine> StructuralPartialEq for CommitterUnionKey<'a, E>