[runtime]: Introduce pallet-outbound-proofs

Cargo.toml

@@ -78,6 +78,7 @@ members = [
     "modules/ismp/state-machines/pharos",
     "modules/pallets/consensus-incentives",
     "modules/pallets/messaging-fees",
+    "modules/pallets/beefy-consensus-proofs",
 
     # evm stuff
     # "evm/integration-tests",
@@ -128,7 +129,6 @@ members = [
     "tesseract/consensus/tendermint",
     "tesseract/consensus/pharos",
 
-
     # Airdrop
     "modules/pallets/bridge-drop",
 ]
@@ -320,6 +320,7 @@ pallet-ismp-host-executive = { path = "modules/pallets/host-executive", default-
 pallet-call-decompressor = { path = "modules/pallets/call-decompressor", default-features = false }
 pallet-consensus-incentives = { path = "modules/pallets/consensus-incentives", default-features = false }
 pallet-messaging-fees= { path = "modules/pallets/messaging-fees", default-features = false }
+pallet-beefy-consensus-proofs = { path = "modules/pallets/beefy-consensus-proofs", default-features = false }
 pallet-collator-manager = { path = "modules/pallets/collator-manager", default-features = false }
 pallet-xcm-gateway = { path = "modules/pallets/xcm-gateway", default-features = false }
 pallet-token-governor = { path = "modules/pallets/token-governor", default-features = false }
@@ -409,5 +410,3 @@ features = ["derive"]
 [workspace.dependencies.reconnecting-jsonrpsee-ws-client]
 version = "0.5.0"
 default-features = false
-
-[patch.crates-io]

evm/abi/Cargo.toml

@@ -7,39 +7,39 @@ description = "Generated rust types for the ISMP solidity ABI"
 publish = false
 
 [dependencies]
-primitive-types = { workspace = true }
-anyhow = { workspace = true, default-features = true }
-ismp = { workspace = true }
+primitive-types = { workspace = true, default-features = false }
+anyhow = { workspace = true, default-features = false }
+ismp = { workspace = true, default-features = false }
 
-alloy-sol-types = { workspace = true }
+alloy-sol-types = { workspace = true, default-features = false }
 alloy-sol-macro = { workspace = true }
-alloy-primitives = { workspace = true }
-alloy-contract = { workspace = true }
-alloy-provider = { workspace = true }
-alloy-network = { workspace = true }
-alloy-transport = { workspace = true }
+alloy-primitives = { workspace = true, default-features = false }
 
-mmr-primitives = { workspace = true, default-features = true, optional = true }
-merkle-mountain-range = { workspace = true, default-features = true, optional = true }
-beefy-verifier-primitives = { workspace = true, default-features = true, optional = true }
+# RPC / contract bindings — std-only.
+alloy-contract = { workspace = true, optional = true }
+alloy-provider = { workspace = true, optional = true }
+alloy-network = { workspace = true, optional = true }
+alloy-transport = { workspace = true, optional = true }
+
+beefy-verifier-primitives = { workspace = true, default-features = false }
 
 [dependencies.polkadot-sdk]
 workspace = true
-optional = true
-features = ["sp-consensus-beefy"]
+default-features = false
+features = ["sp-consensus-beefy", "sp-mmr-primitives"]
 
 [features]
-default = ["beefy", "std"]
+default = ["std"]
 std = [
-    "primitive-types/std",
+    "dep:alloy-contract",
+    "dep:alloy-provider",
+    "dep:alloy-network",
+    "dep:alloy-transport",
     "anyhow/std",
+    "primitive-types/std",
     "ismp/std",
     "alloy-sol-types/std",
     "alloy-primitives/std",
-]
-beefy = [
-    "merkle-mountain-range",
-    "polkadot-sdk",
-    "beefy-verifier-primitives",
-    "mmr-primitives",
+    "beefy-verifier-primitives/std",
+    "polkadot-sdk/std",
 ]