Struct LabeledCommitment

pub struct LabeledCommitment<C: CanonicalSerialize + 'static> { /* private fields */ }

A commitment along with information about its degree bound (if any).

Implementations

impl<C: CanonicalSerialize> LabeledCommitment<C>

pub fn new( label: PolynomialLabel, commitment: C, degree_bound: Option<usize>, ) -> Self

Instantiate a new polynomial_context.

pub fn new_with_info(info: &PolynomialInfo, commitment: C) -> Self

pub fn label(&self) -> &str

Return the label for self.

pub fn commitment(&self) -> &C

Retrieve the commitment from self.

pub fn degree_bound(&self) -> Option<usize>

Retrieve the degree bound in self.

Trait Implementations

impl<C: CanonicalSerialize + 'static> CanonicalSerialize for LabeledCommitment<C>

fn serialize_with_mode<W: Write>( &self, writer: W, compress: Compress, ) -> Result<(), SerializationError>

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

impl<C: Clone + CanonicalSerialize + 'static> Clone for LabeledCommitment<C>

fn clone(&self) -> LabeledCommitment<C>

Returns a copy of the value.

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

Performs copy-assignment from source.

impl<C: Debug + CanonicalSerialize + 'static> Debug for LabeledCommitment<C>

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

Formats the value using the given formatter.

impl<C: PartialEq + CanonicalSerialize + 'static> PartialEq for LabeledCommitment<C>

fn eq(&self, other: &LabeledCommitment<C>) -> bool

Tests for self and other values to be equal, and is used by ==.

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

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

impl<C: CanonicalSerialize + ToBytes> ToBytes for LabeledCommitment<C>

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

Writes self into writer as little-endian bytes.

fn to_bytes_le(&self) -> Result<Vec<u8>, Error>

where Self: Sized,

Returns self as a byte array in little-endian order.

impl<F: Field, C: CanonicalSerialize + ToConstraintField<F>> ToConstraintField<F> for LabeledCommitment<C>

fn to_field_elements(&self) -> Result<Vec<F>, ConstraintFieldError>

impl<C: Eq + CanonicalSerialize + 'static> Eq for LabeledCommitment<C>

impl<C: CanonicalSerialize + 'static> StructuralPartialEq for LabeledCommitment<C>