replace radix2 eval domain to mixed radix eval domain in ferveo

nucypher · Jun 26, 2023 · 339bd63 · 339bd63
1 parent af97093
commit 339bd63
Show file tree

Hide file tree

Showing 4 changed files with 11 additions and 10 deletions.
diff --git a/ferveo/benches/benchmarks/eval_domain.rs b/ferveo/benches/benchmarks/eval_domain.rs
@@ -21,7 +21,7 @@ pub fn bench_eval_domain(c: &mut Criterion) {
     for shares_num in NUM_SHARES_CASES {
         let eval_radix2_eval_domain = {
             let domain =
-                ark_poly::Radix2EvaluationDomain::new(shares_num).unwrap();
+                ark_poly::MixedRadixEvaluationDomain::new(shares_num).unwrap();
             let phi = SecretPolynomial::<ark_bls12_381::Bls12_381>::new(
                 &s, shares_num, rng,
             );

diff --git a/ferveo/src/api.rs b/ferveo/src/api.rs
@@ -1,6 +1,6 @@
 use std::io;
 
-use ark_poly::{EvaluationDomain, Radix2EvaluationDomain};
+use ark_poly::{EvaluationDomain, MixedRadixEvaluationDomain};
 use ark_serialize::{CanonicalDeserialize, CanonicalSerialize};
 use ark_std::UniformRand;
 use bincode;
@@ -199,7 +199,7 @@ impl AggregatedTranscript {
         messages: &[ValidatorMessage],
     ) -> Result<bool> {
         let pvss_params = crate::pvss::PubliclyVerifiableParams::<E>::default();
-        let domain = Radix2EvaluationDomain::<Fr>::new(shares_num as usize)
+        let domain = MixedRadixEvaluationDomain::<Fr>::new(shares_num as usize)
             .expect("Unable to construct an evaluation domain");
 
         let is_valid_optimistic = self.0.verify_optimistic();

diff --git a/ferveo/src/dkg.rs b/ferveo/src/dkg.rs
@@ -61,7 +61,7 @@ pub struct PubliclyVerifiableDkg<E: Pairing> {
     pub pvss_params: PubliclyVerifiableParams<E>,
     pub validators: ValidatorsMap<E>,
     pub vss: PVSSMap<E>,
-    pub domain: ark_poly::Radix2EvaluationDomain<E::ScalarField>,
+    pub domain: ark_poly::MixedRadixEvaluationDomain<E::ScalarField>,
     pub me: DkgValidator<E>,
     pub state: DkgState<E>,
 }
@@ -84,10 +84,11 @@ impl<E: Pairing> PubliclyVerifiableDkg<E> {
                 dkg_params.shares_num,
             ));
         }
-        let domain = ark_poly::Radix2EvaluationDomain::<E::ScalarField>::new(
-            dkg_params.shares_num as usize,
-        )
-        .expect("unable to construct domain");
+        let domain =
+            ark_poly::MixedRadixEvaluationDomain::<E::ScalarField>::new(
+                dkg_params.shares_num as usize,
+            )
+            .expect("unable to construct domain");
 
         // Sort the validators to verify a global ordering
         if !is_sorted(validators) {

diff --git a/ferveo/src/pvss.rs b/ferveo/src/pvss.rs
@@ -224,7 +224,7 @@ pub fn do_verify_full<E: Pairing>(
     pvss_encrypted_shares: &[E::G2Affine],
     pvss_params: &PubliclyVerifiableParams<E>,
     validators: &[Validator<E>],
-    domain: &ark_poly::Radix2EvaluationDomain<E::ScalarField>,
+    domain: &ark_poly::MixedRadixEvaluationDomain<E::ScalarField>,
 ) -> bool {
     let mut commitment = batch_to_projective_g1::<E>(pvss_coefficients);
     domain.fft_in_place(&mut commitment);
@@ -256,7 +256,7 @@ pub fn do_verify_aggregation<E: Pairing>(
     pvss_agg_encrypted_shares: &[E::G2Affine],
     pvss_params: &PubliclyVerifiableParams<E>,
     validators: &[Validator<E>],
-    domain: &ark_poly::Radix2EvaluationDomain<E::ScalarField>,
+    domain: &ark_poly::MixedRadixEvaluationDomain<E::ScalarField>,
     vss: &PVSSMap<E>,
 ) -> Result<bool> {
     let is_valid = do_verify_full(