Merge pull request #1000 from 0xPolygonMiden/al-falcon

Falcon verification inside Miden VM

core/Cargo.toml

@@ -17,11 +17,11 @@ doctest = false
 
 [features]
 default = ["std"]
-std = ["math/std", "winter-utils/std"]
+std = ["math/std", "winter-utils/std", "miden-crypto/std"]
 
 [dependencies]
 math = { package = "winter-math", version = "0.6", default-features = false }
-crypto = { package = "miden-crypto", git = "https://github.com/0xPolygonMiden/crypto.git", branch = "next", default-features = false }
+miden-crypto = { package = "miden-crypto", git = "https://github.com/0xPolygonMiden/crypto.git", branch = "next", default-features = false }
 winter-crypto = { package = "winter-crypto", version = "0.6", default-features = false }
 winter-utils = { package = "winter-utils", version = "0.6", default-features = false }
 

core/src/lib.rs

@@ -7,18 +7,18 @@ extern crate alloc;
 pub mod chiplets;
 pub mod errors;
 
-pub use ::crypto::{Word, EMPTY_WORD, ONE, WORD_SIZE, ZERO};
+pub use miden_crypto::{Word, EMPTY_WORD, ONE, WORD_SIZE, ZERO};
 pub mod crypto {
     pub mod merkle {
-        pub use ::crypto::merkle::{
+        pub use miden_crypto::merkle::{
             DefaultMerkleStore, EmptySubtreeRoots, InnerNodeInfo, MerkleError, MerklePath,
             MerkleStore, MerkleTree, Mmr, MmrPeaks, NodeIndex, PartialMerkleTree,
             RecordingMerkleStore, SimpleSmt, StoreNode, TieredSmt,
         };
     }
 
     pub mod hash {
-        pub use ::crypto::hash::{
+        pub use miden_crypto::hash::{
             blake::{Blake3Digest, Blake3_160, Blake3_192, Blake3_256},
             rpo::{Rpo256, RpoDigest},
             ElementHasher, Hasher,
@@ -28,6 +28,10 @@ pub mod crypto {
     pub mod random {
         pub use crate::random::*;
     }
+
+    pub mod dsa {
+        pub use miden_crypto::dsa::rpo_falcon512;
+    }
 }
 
 pub use math::{

core/src/random.rs

@@ -1,6 +1,6 @@
 use super::{crypto::hash::Rpo256, utils::collections::Vec, Felt, FieldElement};
-use crypto::{hash::rpo::RpoDigest, Word, ZERO};
 use math::StarkField;
+use miden_crypto::{hash::rpo::RpoDigest, Word, ZERO};
 
 // RE-EXPORTS
 // ================================================================================================

core/src/utils/mod.rs

@@ -14,7 +14,7 @@ pub use winter_utils::{
     ByteWriter, Deserializable, DeserializationError, Serializable, SliceReader,
 };
 
-pub use crypto::utils::collections;
+pub use miden_crypto::utils::collections;
 
 pub mod math {
     pub use math::{batch_inversion, log2};

stdlib/Cargo.toml

@@ -19,17 +19,21 @@ doctest = false
 name = "stdlib"
 path = "tests/main.rs"
 
+[features]
+default = ["std"]
+std = ["test-utils/std"]
+
 [dependencies]
 assembly = { package = "miden-assembly", default-features = false, path = "../assembly", version = "0.7" }
 
 [dev-dependencies]
-blake3 = "1.3.3"
+blake3 = "1.4"
 miden-air = { package = "miden-air", path = "../air", version = "0.7", default-features = false }
-num-bigint = "0.4.3"
+num-bigint = "0.4"
 processor = { package = "miden-processor", path = "../processor", version = "0.7", features = ["internals"], default-features = false }
-serde_json = "1.0.94"
-sha2 = "0.10.6"
-sha3 = "0.10.6"
+serde_json = "1.0"
+sha2 = "0.10"
+sha3 = "0.10"
 test-utils = { package = "miden-test-utils", path = "../test-utils" }
 winter-air = { package = "winter-air", version = "0.6" }
 winter-fri = { package = "winter-fri", version = "0.6" }