Struct ark_poly_commit::marlin::marlin_pst13_pc::CommitterKey

pub struct CommitterKey<E, P> where
    E: PairingEngine,
    P: MVPolynomial<E::Fr>,
    P::Point: Index<usize, Output = E::Fr>,  {
    pub powers_of_g: BTreeMap<P::Term, E::G1Affine>,
    pub gamma_g: E::G1Affine,
    pub powers_of_gamma_g: Vec<Vec<E::G1Affine>>,
    pub num_vars: usize,
    pub supported_degree: usize,
    pub max_degree: usize,
}

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

Fields

powers_of_g: BTreeMap<P::Term, E::G1Affine>

Contains group elements corresponding to all possible monomials with num_vars and maximum degree supported_degree evaluated at \beta

gamma_g: E::G1Affine

\gamma times the generater of G1

powers_of_gamma_g: Vec<Vec<E::G1Affine>>

Group elements of the form { \beta_i^j \gamma G }, where i ranges from 0 to num_vars-1 and j ranges from 1 to supported_degree+1.

num_vars: usize

The number of variables self is initialized for

supported_degree: usize

The maximum degree supported by the trimmed parameters that self is a part of

max_degree: usize

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

Trait Implementations

impl<E, P> CanonicalDeserialize for CommitterKey<E, P> where
    E: PairingEngine,
    P: MVPolynomial<E::Fr>,
    P::Point: Index<usize, Output = E::Fr>, 

fn deserialize<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads Self from reader.

fn deserialize_uncompressed<R: Read>(
    reader: R
) -> Result<Self, SerializationError>

Reads Self from reader without compression.

fn deserialize_unchecked<R: Read>(reader: R) -> Result<Self, SerializationError>

Reads self from reader without compression, and without performing validity checks. Should be used only when the input is trusted.

impl<E, P> CanonicalSerialize for CommitterKey<E, P> where
    E: PairingEngine,
    P: MVPolynomial<E::Fr>,
    P::Point: Index<usize, Output = E::Fr>, 

fn serialize<W: Write>(&self, writer: W) -> Result<(), SerializationError>

Serializes self into writer. It is left up to a particular type for how it strikes the serialization efficiency vs compression tradeoff. For standard types (e.g. bool, lengths, etc.) typically an uncompressed form is used, whereas for algebraic types compressed forms are used.

fn serialized_size(&self) -> usize

fn serialize_uncompressed<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

Serializes self into writer without compression.

fn serialize_unchecked<W: Write>(
    &self,
    writer: W
) -> Result<(), SerializationError>

Serializes self into writer without compression, and without performing validity checks. Should be used only when there is no danger of adversarial manipulation of the output.

fn uncompressed_size(&self) -> usize

impl<E, P> Clone for CommitterKey<E, P> where
    E: PairingEngine,
    P: MVPolynomial<E::Fr>,
    P::Point: Index<usize, Output = E::Fr>, 

fn clone(&self) -> Self

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<E, P> Debug for CommitterKey<E, P> where
    E: PairingEngine,
    P: MVPolynomial<E::Fr>,
    P::Point: Index<usize, Output = E::Fr>, 

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

Formats the value using the given formatter.

impl<E, P> Hash for CommitterKey<E, P> where
    E: PairingEngine,
    P: MVPolynomial<E::Fr>,
    P::Point: Index<usize, Output = E::Fr>, 

fn hash<__HEP>(&self, __state: &mut __HEP) where
    __HEP: Hasher, 

Feeds this value into the given Hasher.

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

Feeds a slice of this type into the given Hasher.

impl<E, P> PCCommitterKey for CommitterKey<E, P> where
    E: PairingEngine,
    P: MVPolynomial<E::Fr>,
    P::Point: Index<usize, Output = E::Fr>, 

fn max_degree(&self) -> usize

Outputs the maximum degree supported by the universal parameters Self was derived from.

fn supported_degree(&self) -> usize

Outputs the maximum degree supported by the committer key.