Struct ark_poly_commit::sonic_pc::CommitterKey
source · pub struct CommitterKey<E: Pairing> {
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,
}
Expand description
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§
Trait Implementations§
source§impl<E: Pairing> CanonicalDeserialize for CommitterKey<E>
impl<E: Pairing> CanonicalDeserialize for CommitterKey<E>
source§fn deserialize_with_mode<R: Read>(
reader: R,
compress: Compress,
validate: Validate
) -> Result<Self, SerializationError>
fn deserialize_with_mode<R: Read>( reader: R, compress: Compress, validate: Validate ) -> Result<Self, SerializationError>
The general deserialize method that takes in customization flags.
fn deserialize_compressed<R>(reader: R) -> Result<Self, SerializationError>where R: Read,
fn deserialize_compressed_unchecked<R>( reader: R ) -> Result<Self, SerializationError>where R: Read,
fn deserialize_uncompressed<R>(reader: R) -> Result<Self, SerializationError>where R: Read,
fn deserialize_uncompressed_unchecked<R>( reader: R ) -> Result<Self, SerializationError>where R: Read,
source§impl<E: Pairing> CanonicalSerialize for CommitterKey<E>
impl<E: Pairing> CanonicalSerialize for CommitterKey<E>
source§fn serialize_with_mode<W: Write>(
&self,
writer: W,
compress: Compress
) -> Result<(), SerializationError>
fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress ) -> Result<(), SerializationError>
The general serialize method that takes in customization flags.
fn serialized_size(&self, compress: Compress) -> usize
fn serialize_compressed<W>(&self, writer: W) -> Result<(), SerializationError>where W: Write,
fn compressed_size(&self) -> usize
fn serialize_uncompressed<W>(&self, writer: W) -> Result<(), SerializationError>where W: Write,
fn uncompressed_size(&self) -> usize
source§impl<E: Pairing> Clone for CommitterKey<E>
impl<E: Pairing> Clone for CommitterKey<E>
source§impl<E: Pairing> Debug for CommitterKey<E>
impl<E: Pairing> Debug for CommitterKey<E>
source§impl<E: Pairing> Default for CommitterKey<E>
impl<E: Pairing> Default for CommitterKey<E>
source§impl<E: Pairing> Hash for CommitterKey<E>
impl<E: Pairing> Hash for CommitterKey<E>
source§impl<E: Pairing> PCCommitterKey for CommitterKey<E>
impl<E: Pairing> PCCommitterKey for CommitterKey<E>
source§fn max_degree(&self) -> usize
fn max_degree(&self) -> usize
Outputs the maximum degree supported by the universal parameters
Self
was derived from.source§fn supported_degree(&self) -> usize
fn supported_degree(&self) -> usize
Outputs the maximum degree supported by the committer key.
source§impl<E: Pairing> Valid for CommitterKey<E>
impl<E: Pairing> Valid for CommitterKey<E>
fn check(&self) -> Result<(), SerializationError>
fn batch_check<'a>( batch: impl Iterator<Item = &'a Self> + Send ) -> Result<(), SerializationError>where Self: 'a,
Auto Trait Implementations§
impl<E> RefUnwindSafe for CommitterKey<E>where <E as Pairing>::G1Affine: RefUnwindSafe,
impl<E> Send for CommitterKey<E>
impl<E> Sync for CommitterKey<E>
impl<E> Unpin for CommitterKey<E>where <E as Pairing>::G1Affine: Unpin,
impl<E> UnwindSafe for CommitterKey<E>where <E as Pairing>::G1Affine: UnwindSafe + RefUnwindSafe,
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more