Struct snarkvm_polycommit::sonic_pc::CommitterKey[][src]

pub struct CommitterKey<E: PairingEngine> {
    pub powers_of_g: Vec<E::G1Affine>,
    pub powers_of_gamma_g: Vec<E::G1Affine>,
    pub shifted_powers_of_g: Option<Vec<E::G1Affine>>,
    pub shifted_powers_of_gamma_g: Option<BTreeMap<usize, Vec<E::G1Affine>>>,
    pub enforced_degree_bounds: Option<Vec<usize>>,
    pub max_degree: usize,
}

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

Fields

powers_of_g: Vec<E::G1Affine>

The key used to commit to polynomials.

powers_of_gamma_g: Vec<E::G1Affine>

The key used to commit to hiding polynomials.

shifted_powers_of_g: Option<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_gamma_g: Option<BTreeMap<usize, 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.

max_degree: usize

The maximum degree supported by the UniversalParams from which self was derived

Implementations

impl<E: PairingEngine> CommitterKey<E>[src]

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

Obtain powers for the underlying KZG10 construction

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

Obtain powers for committing to shifted polynomials.

Trait Implementations

impl<E: PairingEngine> CanonicalDeserialize for CommitterKey<E>[src]

impl<E: PairingEngine> CanonicalSerialize for CommitterKey<E>[src]

impl<E: PairingEngine> Clone for CommitterKey<E>[src]

impl<E: PairingEngine> Debug for CommitterKey<E>[src]

impl<E: PairingEngine> Default for CommitterKey<E>[src]

impl<E: PairingEngine> FromBytes for CommitterKey<E>[src]

impl<E: PairingEngine> Hash for CommitterKey<E>[src]

impl<E: PairingEngine> PCCommitterKey for CommitterKey<E>[src]

impl<E: PairingEngine> ToBytes for CommitterKey<E>[src]

Auto Trait Implementations

impl<E> RefUnwindSafe for CommitterKey<E> where
    <E as PairingEngine>::G1Affine: RefUnwindSafe
[src]

impl<E> Send for CommitterKey<E>[src]

impl<E> Sync for CommitterKey<E>[src]

impl<E> Unpin for CommitterKey<E> where
    <E as PairingEngine>::G1Affine: Unpin
[src]

impl<E> UnwindSafe for CommitterKey<E> where
    <E as PairingEngine>::G1Affine: RefUnwindSafe + UnwindSafe
[src]

Blanket Implementations

impl<T> Any for T where
    T: 'static + ?Sized
[src]

impl<T> Borrow<T> for T where
    T: ?Sized
[src]

impl<T> BorrowMut<T> for T where
    T: ?Sized
[src]

impl<T> From<T> for T[src]

impl<T, U> Into<U> for T where
    U: From<T>, 
[src]

impl<T> Pointable for T

type Init = T

The type for initializers.

impl<T> Same<T> for T

type Output = T

Should always be Self

impl<T> ToOwned for T where
    T: Clone
[src]

type Owned = T

The resulting type after obtaining ownership.

impl<T, U> TryFrom<U> for T where
    U: Into<T>, 
[src]

type Error = Infallible

The type returned in the event of a conversion error.

impl<T, U> TryInto<U> for T where
    U: TryFrom<T>, 
[src]

type Error = <U as TryFrom<T>>::Error

The type returned in the event of a conversion error.

impl<V, T> VZip<V> for T where
    V: MultiLane<T>,