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: 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.