Add serialize traits to LabeledCommitment

Cargo.toml

@@ -8,7 +8,7 @@ keywords = ["cryptography", "commitments", "elliptic-curves", "pairing"]
 categories = ["cryptography"]
 include = ["Cargo.toml", "src", "README.md", "LICENSE-APACHE", "LICENSE-MIT"]
 license = "MIT/Apache-2.0"
-edition = "2018"
+edition = "2021"
 
 [dependencies]
 ark-serialize = { version = "^0.4.0", default-features = false, features = [ "derive" ] }

src/data_structures.rs

@@ -176,7 +176,7 @@ impl<'a, F: Field, P: Polynomial<F>> LabeledPolynomial<F, P> {
 }
 
 /// A commitment along with information about its degree bound (if any).
-#[derive(Clone)]
+#[derive(Clone, CanonicalSerialize, CanonicalDeserialize)]
 pub struct LabeledCommitment<C: PCCommitment> {
     label: PolynomialLabel,
     commitment: C,
@@ -250,7 +250,7 @@ impl<'a> From<&'a str> for LCTerm {
     }
 }
 
-impl core::convert::TryInto<PolynomialLabel> for LCTerm {
+impl TryInto<PolynomialLabel> for LCTerm {
     type Error = ();
     fn try_into(self) -> Result<PolynomialLabel, ()> {
         match self {
@@ -260,7 +260,7 @@ impl core::convert::TryInto<PolynomialLabel> for LCTerm {
     }
 }
 
-impl<'a> core::convert::TryInto<&'a PolynomialLabel> for &'a LCTerm {
+impl<'a> TryInto<&'a PolynomialLabel> for &'a LCTerm {
     type Error = ();
 
     fn try_into(self) -> Result<&'a PolynomialLabel, ()> {

src/lib.rs

@@ -1,7 +1,7 @@
 #![cfg_attr(not(feature = "std"), no_std)]
 //! A crate for polynomial commitment schemes.
 #![deny(unused_import_braces, unused_qualifications, trivial_casts)]
-#![deny(trivial_numeric_casts, private_in_public, variant_size_differences)]
+#![deny(trivial_numeric_casts, variant_size_differences)]
 #![deny(stable_features, unreachable_pub, non_shorthand_field_patterns)]
 #![deny(unused_attributes, unused_mut)]
 #![deny(missing_docs)]