MSM optimisations: CycloneMSM (privacy-scaling-explorations#130)

* impl msm with batch addition * bring back multiexp serial * parallelize coeffs to repr Co-authored-by: Han <[email protected]> * parallelize bases to affine Co-authored-by: Han <[email protected]> * add missing dependency * bring back old implementation postfix new one as `_independent_points` --------- Co-authored-by: Han <[email protected]>
axiom-crypto · Apr 24, 2024 · b97cc60 · b97cc60
1 parent 76eb62d
commit b97cc60
Show file tree

Hide file tree

Showing 3 changed files with 323 additions and 154 deletions.
diff --git a/src/ed25519/fq.rs b/src/ed25519/fq.rs
@@ -8,7 +8,7 @@ use subtle::{Choice, ConditionallySelectable, ConstantTimeEq, CtOption};
 #[cfg(feature = "derive_serde")]
 use serde::{Deserialize, Serialize};
 
-use crate::arithmetic::{adc, mac, macx, sbb};
+use crate::arithmetic::{adc, bigint_geq, mac, macx, sbb};
 
 /// This represents an element of $\mathbb{F}_q$ where
 ///

diff --git a/src/ed25519/fr.rs b/src/ed25519/fr.rs
@@ -8,7 +8,7 @@ use subtle::{Choice, ConditionallySelectable, ConstantTimeEq, CtOption};
 #[cfg(feature = "derive_serde")]
 use serde::{Deserialize, Serialize};
 
-use crate::arithmetic::{adc, mac, macx, sbb};
+use crate::arithmetic::{adc, bigint_geq, mac, macx, sbb};
 
 /// This represents an element of $\mathbb{F}_q$ where
 ///