feat: starknet GMP

ampd/Cargo.toml

@@ -24,7 +24,7 @@ error-stack = { workspace = true }
 ethers-contract = { workspace = true }
 ethers-core = { workspace = true }
 ethers-providers = { version = "2.0.13", default-features = false, features = [
-    "rustls",
+  "rustls",
 ] }
 events = { workspace = true }
 events-derive = { workspace = true }
@@ -39,7 +39,9 @@ move-core-types = { git = "https://github.com/mystenlabs/sui", tag = "testnet-v1
 multisig = { workspace = true, features = ["library"] }
 multiversx-sdk = "0.6.1"
 num-traits = { workspace = true }
-openssl = { version = "0.10.35", features = ["vendored"] }  # Needed to make arm compilation work by forcing vendoring
+openssl = { version = "0.10.35", features = [
+  "vendored",
+] } # Needed to make arm compilation work by forcing vendoring
 prost = "0.11.9"
 prost-types = "0.11.9"
 report = { workspace = true }
@@ -58,7 +60,7 @@ sui-gateway = { workspace = true }
 sui-json-rpc-types = { git = "https://github.com/mystenlabs/sui", tag = "testnet-v1.39.1" }
 sui-types = { git = "https://github.com/mystenlabs/sui", tag = "testnet-v1.39.1" }
 tendermint = "0.35.0"
-tendermint-rpc = { version = "0.35.0", features = [ "http-client" ] }
+tendermint-rpc = { version = "0.35.0", features = ["http-client"] }
 thiserror = { workspace = true }
 tokio = { workspace = true, features = ["signal"] }
 tokio-stream = { workspace = true, features = ["sync"] }
@@ -67,13 +69,21 @@ toml = "0.5.9"
 tonic = "0.9.2"
 tracing = { version = "0.1.37", features = ["valuable", "log"] }
 tracing-core = { version = "0.1.30", features = ["valuable"] }
-tracing-subscriber = { version = "0.3.16", features = ["json", "valuable", "env-filter"] }
+tracing-subscriber = { version = "0.3.16", features = [
+  "json",
+  "valuable",
+  "env-filter",
+] }
 typed-builder = "0.18.2"
 url = "2.3.1"
 valuable = { version = "0.1.0", features = ["derive"] }
 valuable-serde = { version = "0.1.0", features = ["std"] }
 voting-verifier = { workspace = true }
 
+starknet-core = { workspace = true }
+starknet-providers = { workspace = true }
+starknet-checked-felt = { workspace = true }
+
 [dev-dependencies]
 assert_ok = { workspace = true }
 ed25519-dalek = { workspace = true, features = ["rand_core"] }

ampd/README.md

@@ -44,14 +44,14 @@ type="MultisigSigner"
 chain_name=[chain name. Not necessary in the Sui case]
 chain_rpc_url=[URL of JSON-RPC endpoint for external chain]
 cosmwasm_contract=[verifier contract address]
-type=[handler type. Could be EvmMsgVerifier | SuiMsgVerifier]
+type=[handler type. Could be EvmMsgVerifier | SuiMsgVerifier | StarknetMsgVerifier]
 
 # handler to verify verifier set rotations. One per supported chain
 [[handlers]]
 chain_name=[chain name. Not necessary in the Sui case]
 chain_rpc_url=[URL of JSON-RPC endpoint for external chain]
 cosmwasm_contract=[verifier contract address]
-type=[handler type. Could be EvmVerifierSetVerifier | SuiVerifierSetVerifier]
+type=[handler type. Could be EvmVerifierSetVerifier | SuiVerifierSetVerifier | StarknetVerifierSetVerifier]
 ```
 
 Below is an example config for connecting to a local axelard node and local tofnd process, and verifying transactions
@@ -101,13 +101,17 @@ cosmwasm_contract = 'axelar14lh98gp06zdqh5r9qj3874hdmfzs4sh5tkfzg3cyty4xeqsufdjq
 chain_name = 'avalanche'
 chain_rpc_url = "https://api.avax-test.network/ext/bc/C/rpc"
 
+[[handlers]]
+type = 'StarknetMsgVerifier'
+cosmwasm_contract = 'axelar1f7qqgp0zk8489s69xxszut07kxse7y5j6j5tune36x75dc9ftfsssdkf2u'
+chain = 'starknet-devnet-v1'
+rpc_url = "https://starknet-sepolia.public.blastapi.io/rpc/v0_7"
 
 [[handlers]]
 type = 'EvmVerifierSetVerifier'
 cosmwasm_contract = 'axelar14lh98gp06zdqh5r9qj3874hdmfzs4sh5tkfzg3cyty4xeqsufdjqedt3q8'
 chain_name = 'avalanche'
 chain_rpc_url = "https://api.avax-test.network/ext/bc/C/rpc"
-
 ```
 
 By default, ampd loads the config file from `~/.ampd/config.toml` when running any command.

ampd/src/config.rs

@@ -132,6 +132,17 @@ mod tests {
             type = 'StellarVerifierSetVerifier'
             cosmwasm_contract = '{}'
             rpc_url = 'http://localhost:7545'
+
+            [[handlers]]
+            type = 'StarknetMsgVerifier'
+            cosmwasm_contract = '{}'
+            rpc_url = 'http://localhost:7545'
+
+            [[handlers]]
+            type = 'StarknetVerifierSetVerifier'
+            cosmwasm_contract = '{}'
+            rpc_url = 'http://localhost:7545'
+
             ",
             TMAddress::random(PREFIX),
             TMAddress::random(PREFIX),
@@ -143,10 +154,12 @@ mod tests {
             TMAddress::random(PREFIX),
             TMAddress::random(PREFIX),
             TMAddress::random(PREFIX),
+            TMAddress::random(PREFIX),
+            TMAddress::random(PREFIX),
         );
 
         let cfg: Config = toml::from_str(config_str.as_str()).unwrap();
-        assert_eq!(cfg.handlers.len(), 10);
+        assert_eq!(cfg.handlers.len(), 12);
     }
 
     #[test]
@@ -350,6 +363,18 @@ mod tests {
                     ),
                     rpc_url: Url::from_str("http://127.0.0.1").unwrap(),
                 },
+                HandlerConfig::StarknetMsgVerifier {
+                    cosmwasm_contract: TMAddress::from(
+                        AccountId::new("axelar", &[0u8; 32]).unwrap(),
+                    ),
+                    rpc_url: Url::from_str("http://127.0.0.1").unwrap(),
+                },
+                HandlerConfig::StarknetVerifierSetVerifier {
+                    cosmwasm_contract: TMAddress::from(
+                        AccountId::new("axelar", &[0u8; 32]).unwrap(),
+                    ),
+                    rpc_url: Url::from_str("http://127.0.0.1").unwrap(),
+                },
             ],
             ..Config::default()
         }

ampd/src/handlers/config.rs

@@ -63,6 +63,30 @@ pub enum Config {
         cosmwasm_contract: TMAddress,
         rpc_url: Url,
     },
+    StarknetMsgVerifier {
+        cosmwasm_contract: TMAddress,
+        rpc_url: Url,
+    },
+    StarknetVerifierSetVerifier {
+        cosmwasm_contract: TMAddress,
+        rpc_url: Url,
+    },
+}
+
+fn validate_starknet_msg_verifier_config<'de, D>(configs: &[Config]) -> Result<(), D::Error>
+where
+    D: Deserializer<'de>,
+{
+    match configs
+        .iter()
+        .filter(|config| matches!(config, Config::StarknetMsgVerifier { .. }))
+        .count()
+    {
+        count if count > 1 => Err(de::Error::custom(
+            "only one Starknet msg verifier config is allowed",
+        )),
+        _ => Ok(()),
+    }
 }
 
 fn validate_evm_verifier_set_verifier_configs<'de, D>(configs: &[Config]) -> Result<(), D::Error>
@@ -133,6 +157,7 @@ where
 {
     let configs: Vec<Config> = Deserialize::deserialize(deserializer)?;
 
+    validate_starknet_msg_verifier_config::<D>(&configs)?;
     validate_evm_msg_verifier_configs::<D>(&configs)?;
     validate_evm_verifier_set_verifier_configs::<D>(&configs)?;
 

ampd/src/handlers/errors.rs

@@ -10,4 +10,6 @@ pub enum Error {
     Sign,
     #[error("failed to get transaction receipts")]
     TxReceipts,
+    #[error("starknet client failed")]
+    StarknetClient,
 }

ampd/src/handlers/mod.rs

@@ -5,6 +5,8 @@ pub mod evm_verify_verifier_set;
 pub mod multisig;
 pub mod mvx_verify_msg;
 pub mod mvx_verify_verifier_set;
+pub mod starknet_verify_msg;
+pub mod starknet_verify_verifier_set;
 pub(crate) mod stellar_verify_msg;
 pub(crate) mod stellar_verify_verifier_set;
 pub mod sui_verify_msg;