Compression integration (add ark-serialize traits)

Author: JuI3s

curves/bn254/Cargo.toml

@@ -17,6 +17,7 @@ ark-ff = { workspace = true }
 ark-ec = { workspace = true }
 ark-std = { workspace = true }
 ark-r1cs-std = { workspace = true, optional = true }
+ark-serialize = { workspace = true }
 
 [dev-dependencies]
 ark-serialize = { workspace = true }

curves/bn254/src/fields/compression.rs

@@ -4,11 +4,13 @@ use ark_ec::bn::FromPsi6Pow;
 /// This module contains relevant data structures such as compressible Fq12 and compressed Fq12
 /// and the relevant compression and conversion functions.
 use ark_ff::{AdditiveGroup, Field, Fp12, Fp12Config, Fp6Config, MontFp};
+use ark_ff::vec::Vec;
+use ark_serialize::{ CanonicalDeserialize, CanonicalSerialize};
 
 pub type CompressibleFq12 = Fp12<CompressibleFq12Config>;
 
 // https://eprint.iacr.org/2007/429.pdf Proposition 1
-#[derive(Clone, Copy)]
+#[derive(Clone, Copy, CanonicalSerialize, CanonicalDeserialize)]
 pub struct CompressedFq12(pub (Fq2, Fq2));
 
 #[derive(Clone, Copy)]

ec/src/models/bn/mod.rs

@@ -11,6 +11,7 @@ use ark_ff::{
     },
     CyclotomicMultSubgroup,
 };
+use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};
 use ark_std::{cfg_chunks_mut, marker::PhantomData, vec::*};
 use educe::Educe;
 use itertools::Itertools;
@@ -221,7 +222,7 @@ pub trait BnConfig: 'static + Sized {
     type Fp2Config: Fp2Config<Fp = Self::Fp>;
     type Fp6Config: Fp6Config<Fp2Config = Self::Fp2Config>;
     type Fp12Config: Fp12Config<Fp6Config = Self::Fp6Config>;
-    type CompressedFp12Config: FromPsi6Pow<Self> + Sized;
+    type CompressedFp12Config: FromPsi6Pow<Self> + Sized + Sync + CanonicalDeserialize + CanonicalSerialize;
     type G1Config: SWCurveConfig<BaseField = Self::Fp>;
     type G2Config: SWCurveConfig<
         BaseField = Fp2<Self::Fp2Config>,

ec/src/pairing.rs

@@ -20,7 +20,7 @@ use zeroize::Zeroize;
 use crate::{AffineRepr, CurveGroup, PrimeGroup, VariableBaseMSM};
 
 pub trait CompressedPairing: Pairing {
-    type CompressedTargetField;
+    type CompressedTargetField: Sync + CanonicalSerialize + CanonicalDeserialize;
 
     fn compressed_final_exponentiation(
         f: MillerLoopOutput<Self>,

test-curves/Cargo.toml

@@ -20,6 +20,7 @@ ark-std = { workspace = true, default-features = false }
 ark-ff = { workspace = true, default-features = false }
 ark-ec = { workspace = true, default-features = false }
 ark-ff-macros = { workspace = true, default-features = false }
+ark-serialize  = { workspace = true, default-features = false }
 
 [dev-dependencies]
 ark-serialize  = { workspace = true, default-features = false }

test-curves/src/bn254/fq12.rs

@@ -1,5 +1,7 @@
 use ark_ec::bn::FromPsi6Pow;
 use ark_ff::{AdditiveGroup, Field, Fp12, Fp12Config, Fp6Config, MontFp};
+use ark_ff::vec::Vec;
+use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};
 
 use crate::bn254::{Config, Fq, Fq2, Fq6, Fq6Config};
 
@@ -18,7 +20,7 @@ static Q: [u64; 8] = [
 ];
 
 // https://eprint.iacr.org/2007/429.pdf Proposition 1
-#[derive(Clone, Copy)]
+#[derive(Clone, Copy, CanonicalSerialize, CanonicalDeserialize)]
 pub struct CompressedFq12(pub (Fq2, Fq2));
 
 #[inline]