Falcon fn-dsa lean

CHANGELOG.md

@@ -1,4 +1,6 @@
-## 0.21.0 (TBD)
+## 0.22.0 (TBD)
+
+- Switched Falcon512 implementation to use `fn-dsa` crate ([#774](https://github.com/0xMiden/crypto/pull/774)).
 
 ## 0.21.0 (2026-01-14)
 

deny.toml

@@ -24,6 +24,7 @@ allow = [
   "CC0-1.0",
   "MIT",
   "Unicode-3.0",
+  "Unlicense",
   "Zlib",
 ]
 exceptions = []

miden-crypto/Cargo.toml

@@ -94,14 +94,15 @@ chacha20poly1305              = { features = ["alloc", "stream"], version = "0.1
 clap                          = { features = ["derive"], optional = true, version = "4.5" }
 curve25519-dalek              = { default-features = false, version = "4" }
 ed25519-dalek                 = { features = ["zeroize"], version = "2" }
-flume                         = { version = "0.11.1" }
+flume                         = { version = "0.11" }
+fn-dsa-comm                   = { default-features = false, version = "0.3" }
+fn-dsa-kgen                   = { default-features = false, version = "0.3" }
 hashbrown                     = { features = ["serde"], optional = true, version = "0.16" }
 hkdf                          = { default-features = false, version = "0.12" }
 k256                          = { features = ["ecdh", "ecdsa"], version = "0.13" }
 miden-crypto-derive.workspace = true
 miden-serde-utils.workspace   = true
 num                           = { default-features = false, features = ["alloc", "libm"], version = "0.4" }
-num-complex                   = { default-features = false, version = "0.4" }
 proptest                      = { default-features = false, features = ["alloc"], optional = true, version = "1.7" }
 rand                          = { default-features = false, version = "0.9" }
 rand-utils                    = { optional = true, package = "winter-rand-utils", version = "0.13" }

miden-crypto/benches/README.md

@@ -66,21 +66,21 @@ For each algorithm, we benchmark three core operations:
 
 | Hardware            | Key Generation | Signing | Verification |
 | ------------------- | :------------: | :-----: | :----------: |
-| Apple M4            | 240 ms         | 6.9 ms  | 2.07 ms      |
+| Apple M4            | 3.05 ms        | 335 µs  | 183 µs       |
 
 #### ECDSA over secp256k1 (Keccak256)
 
 | Hardware            | Key Generation | Signing | Verification |
 | ------------------- | :------------: | :-----: | :----------: |
 | AMD Ryzen 9 9950X   | 32.2 µs        | 264 µs  | 492 µs       |
-| Apple M4            | 24.4 µs        | 258 µs  | 390 µs       |
+| Apple M4            | 24.9 µs        | 26.2 µs | 38.8 µs      |
 
 #### EdDSA over Ed25519
 
 | Hardware            | Key Generation | Signing | Verification |
 | ------------------- | :------------: | :-----: | :----------: |
 | AMD Ryzen 9 9950X   | 8.7 µs         | 90.8 µs | 177 µs       |
-| Apple M4            | 8.2 µs         | 86.6 µs | 185.6 µs     |
+| Apple M4            | 8.33 µs        | 8.77 µs | 18.4 µs      |
 
 ### Sparse Merkle Tree