Agglayer bridging tracking PR

Cargo.toml

@@ -2,6 +2,7 @@
 members = [
   "bin/bench-note-checker",
   "bin/bench-transaction",
+  "crates/miden-agglayer",
   "crates/miden-block-prover",
   "crates/miden-protocol",
   "crates/miden-protocol-macros",
@@ -41,6 +42,7 @@ lto           = true
 
 [workspace.dependencies]
 # Workspace crates
+miden-agglayer        = { default-features = false, path = "crates/miden-agglayer", version = "0.13" }
 miden-block-prover    = { default-features = false, path = "crates/miden-block-prover", version = "0.13" }
 miden-protocol        = { default-features = false, path = "crates/miden-protocol", version = "0.13" }
 miden-protocol-macros = { default-features = false, path = "crates/miden-protocol-macros", version = "0.13" }
@@ -63,10 +65,11 @@ miden-utils-sync      = { default-features = false, version = "0.20" }
 miden-verifier        = { default-features = false, version = "0.20" }
 
 # External dependencies
-anyhow         = { default-features = false, features = ["backtrace", "std"], version = "1.0" }
-assert_matches = { default-features = false, version = "1.5" }
-rand           = { default-features = false, version = "0.9" }
-rand_chacha    = { default-features = false, version = "0.9" }
-rstest         = { version = "0.26" }
-thiserror      = { default-features = false, version = "2.0" }
-tokio          = { default-features = false, features = ["sync"], version = "1" }
+anyhow          = { default-features = false, features = ["backtrace", "std"], version = "1.0" }
+assert_matches  = { default-features = false, version = "1.5" }
+primitive-types = { default-features = false, version = "0.14" }
+rand            = { default-features = false, version = "0.9" }
+rand_chacha     = { default-features = false, version = "0.9" }
+rstest          = { version = "0.26" }
+thiserror       = { default-features = false, version = "2.0" }
+tokio           = { default-features = false, features = ["sync"], version = "1" }

crates/miden-agglayer/Cargo.toml

@@ -0,0 +1,44 @@
+[package]
+authors.workspace      = true
+categories             = ["no-std"]
+description            = "Agglayer components for the Miden protocol"
+edition.workspace      = true
+homepage.workspace     = true
+keywords               = ["agglayer", "miden"]
+license.workspace      = true
+name                   = "miden-agglayer"
+repository.workspace   = true
+rust-version.workspace = true
+version.workspace      = true
+
+[lib]
+bench = false
+
+[features]
+default = ["std"]
+std     = ["miden-assembly/std", "miden-core/std"]
+testing = ["miden-protocol/testing"]
+
+[dependencies]
+# Miden dependencies
+miden-assembly   = { workspace = true }
+miden-core       = { workspace = true }
+miden-protocol   = { workspace = true }
+miden-standards  = { workspace = true }
+miden-utils-sync = { workspace = true }
+
+[dev-dependencies]
+miden-agglayer = { features = ["testing"], path = "." }
+
+[build-dependencies]
+fs-err          = { version = "3" }
+miden-assembly  = { workspace = true }
+miden-core      = { workspace = true }
+miden-core-lib  = { workspace = true }
+miden-protocol  = { features = ["testing"], workspace = true }
+miden-standards = { workspace = true }
+regex           = { version = "1.11" }
+walkdir         = { version = "2.5" }
+
+[package.metadata.cargo-machete]
+ignored = ["miden-core-lib", "miden-standards"]