Contract verification (foundry-rs#2252)

Closes foundry-rs#892 ## Introduced changes This PR builds upon the changes introduced in PR foundry-rs#875. The original PR is still open because the Voyager APIs are not ready yet, but we require the verification feature for the Walnut Debugger. To accommodate this, we have incorporated the changes from PR foundry-rs#875 and made the following additions: * Introduced the `WalnutVerificationInterface`. * Resolved branch conflicts. * Made minor modifications to ensure compatibility. Furthermore, to make the PR merge-ready, we have temporarily removed the Voyager and Starkscan interfaces since their respective APIs are not currently available. New verification interfaces can be added once Voyager, Starkscan, or any other provider adds API support for Cairo contract verification. This Pull Request adds the verify command for the contract verification. More about the details of the contract verification can found [here](https://github.com/foundry-rs/starknet-foundry/blob/master/design_documents/contract_verification.md). * Added `verify` command to the `sncast` tool * Modified `cast/main.rs` & created `cast/src/starknet_commands/verify.rs` mainly ## Checklist - [x] Linked relevant issue - [x] Updated relevant documentation - [x] Added relevant tests - [x] Performed self-review of the code - [x] Added changes to `CHANGELOG.md` --------- Co-authored-by: MBarwicki <[email protected]> Co-authored-by: Rohit Ranjan <[email protected]> Co-authored-by: Tomasz Rejowski <[email protected]> Co-authored-by: Karol Sewiło <[email protected]>
walnuthq · Jul 9, 2024 · c633861 · c633861
1 parent a128991
commit c633861
Show file tree

Hide file tree

Showing 13 changed files with 736 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -7,6 +7,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+### Cast
+
+#### Added
+
+- `verify` subcommand to verify contract (walnut APIs supported as of this version). [Read more here](./docs/src/appendix/sncast/verify.md)
+
 ## [0.26.0] - 2024-07-03
 
 ### Forge 

diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -115,3 +115,4 @@ base16ct = { version = "0.2.0", features = ["alloc"] }
 fs4 = "0.7"
 async-trait = "0.1.80"
 serde_path_to_error = "0.1.16"
+wiremock = "0.6.0"
diff --git a/crates/sncast/Cargo.toml b/crates/sncast/Cargo.toml
@@ -47,6 +47,7 @@ base16ct.workspace = true
 starknet-crypto.workspace = true
 async-trait.workspace = true
 serde_path_to_error.workspace = true
+walkdir.workspace = true
 
 [dev-dependencies]
 ctor.workspace = true
@@ -56,6 +57,7 @@ project-root.workspace = true
 tempfile.workspace = true
 test-case.workspace = true
 fs_extra.workspace = true
+wiremock.workspace = true
 
 [[bin]]
 name = "sncast"

diff --git a/crates/sncast/src/lib.rs b/crates/sncast/src/lib.rs
@@ -1,5 +1,6 @@
 use anyhow::{anyhow, bail, Context, Error, Result};
 use camino::Utf8PathBuf;
+use clap::ValueEnum;
 use helpers::constants::{KEYSTORE_PASSWORD_ENV_VAR, UDC_ADDRESS};
 use rand::rngs::OsRng;
 use rand::RngCore;
@@ -61,6 +62,13 @@ impl FromStr for AccountType {
         }
     }
 }
+
+#[derive(ValueEnum, Clone, Debug)]
+pub enum Network {
+    Mainnet,
+    Sepolia,
+}
+
 #[derive(Deserialize, Serialize, Clone, Debug)]
 pub struct AccountData {
     pub private_key: FieldElement,

diff --git a/crates/sncast/src/main.rs b/crates/sncast/src/main.rs
@@ -25,6 +25,7 @@ use sncast::{
 use starknet::core::utils::get_selector_from_name;
 use starknet::providers::jsonrpc::HttpTransport;
 use starknet::providers::JsonRpcClient;
+use starknet_commands::verify::Verify;
 use tokio::runtime::Runtime;
 
 mod starknet_commands;
@@ -141,6 +142,9 @@ enum Commands {
 
     /// Get the status of a transaction
     TxStatus(TxStatus),
+
+    /// Verify a contract
+    Verify(Verify),
 }
 
 fn main() -> Result<()> {
@@ -426,6 +430,32 @@ async fn run_async_command(
             print_command_result("tx-status", &mut result, numbers_format, &output_format)?;
             Ok(())
         }
+        Commands::Verify(verify) => {
+            let manifest_path = assert_manifest_path_exists()?;
+            let package_metadata = get_package_metadata(&manifest_path, &verify.package)?;
+            let artifacts = build_and_load_artifacts(
+                &package_metadata,
+                &BuildConfig {
+                    scarb_toml_path: manifest_path.clone(),
+                    json: cli.json,
+                    profile: cli.profile.unwrap_or("dev".to_string()),
+                },
+            )
+            .expect("Failed to build contract");
+            let mut result = starknet_commands::verify::verify(
+                verify.contract_address,
+                verify.contract_name,
+                verify.verifier,
+                verify.network,
+                verify.confirm_verification,
+                &package_metadata.manifest_path,
+                &artifacts,
+            )
+            .await;
+
+            print_command_result("verify", &mut result, numbers_format, &output_format)?;
+            Ok(())
+        }
         Commands::Script(_) => unreachable!(),
     }
 }

diff --git a/crates/sncast/src/response/structs.rs b/crates/sncast/src/response/structs.rs
@@ -144,3 +144,10 @@ pub struct TransactionStatusResponse {
 }
 
 impl CommandResponse for TransactionStatusResponse {}
+
+#[derive(Serialize)]
+pub struct VerifyResponse {
+    pub message: String,
+}
+
+impl CommandResponse for VerifyResponse {}
diff --git a/crates/sncast/src/starknet_commands/mod.rs b/crates/sncast/src/starknet_commands/mod.rs
@@ -7,3 +7,4 @@ pub mod multicall;
 pub mod script;
 pub mod show_config;
 pub mod tx_status;
+pub mod verify;