Voyager verification support

CHANGELOG.md

@@ -15,9 +15,13 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ### Cast
 
+#### Added
+
+- `sncast verify` now supports verifying against [voyager](https://voyager.online/) block explorer.
+
 #### Changed
 
-- `verify` command now supports the `--class-hash` for Walnut verification
+- `verify` command now supports the `--class-hash` as possible contract identifier
 
 ## [0.40.0] - 2025-03-26
 
@@ -56,6 +60,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 #### Changed
 - gas is now reported using resource bounds triplet (l1_gas, l1_data_gas and l2_gas)
 - `available_gas` now accepts named arguments denoting resource bounds (eg #[available_gas(l1_gas: 1, l1_data_gas: 2, l2_gas: 3)])
+- `sncast verify` no longer defaults to using walnut.
 
 #### Fixed
 

Cargo.toml

@@ -91,7 +91,7 @@ toml = "0.8.20"
 rpassword = "7.3.1"
 promptly = "0.3.1"
 ptree = "0.5.2"
-reqwest = "0.12.14"
+reqwest = { version = "0.12.14", features = ["json"] }
 fs_extra = "1.3.0"
 openssl = { version = "0.10", features = ["vendored"] }
 toml_edit = "0.22.24"

crates/sncast/src/starknet_commands/verify/explorer.rs

@@ -19,12 +19,13 @@ pub struct VerificationPayload {
 }
 
 #[async_trait::async_trait]
-pub trait VerificationInterface {
-    fn new(network: Network, workspace_dir: Utf8PathBuf) -> Self;
+pub trait VerificationInterface: Sized {
+    fn new(network: Network, workspace_dir: Utf8PathBuf) -> Result<Self>;
     async fn verify(
         &self,
         identifier: ContractIdentifier,
         contract_name: String,
+        package: Option<String>,
     ) -> Result<VerifyResponse>;
-    fn gen_explorer_url(&self) -> Result<String>;
+    fn gen_explorer_url(&self) -> String;
 }

crates/sncast/src/starknet_commands/verify/mod.rs

@@ -8,10 +8,12 @@ use starknet_types_core::felt::Felt;
 use std::{collections::HashMap, fmt};
 
 pub mod explorer;
+pub mod voyager;
 pub mod walnut;
 
 use explorer::ContractIdentifier;
 use explorer::VerificationInterface;
+use voyager::Voyager;
 use walnut::WalnutVerificationInterface;
 
 #[derive(Args)]
@@ -35,7 +37,7 @@ pub struct Verify {
     pub contract_name: String,
 
     /// Block explorer to use for the verification
-    #[arg(short, long, value_enum, default_value_t = Verifier::Walnut)]
+    #[arg(short, long, value_enum)]
     pub verifier: Verifier,
 
     /// The network on which block explorer will do the verification
@@ -54,25 +56,35 @@ pub struct Verify {
 #[derive(ValueEnum, Clone, Debug)]
 pub enum Verifier {
     Walnut,
+    Voyager,
 }
 
 impl fmt::Display for Verifier {
     fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
         match *self {
             Verifier::Walnut => write!(f, "walnut"),
+            Verifier::Voyager => write!(f, "voyager"),
         }
     }
 }
 
 pub async fn verify(
-    verify: Verify,
+    args: Verify,
     manifest_path: &Utf8PathBuf,
     artifacts: &HashMap<String, StarknetContractArtifacts>,
 ) -> Result<VerifyResponse> {
-    let verifier = verify.verifier;
+    let Verify {
+        contract_address,
+        class_hash,
+        contract_name,
+        verifier,
+        network,
+        confirm_verification,
+        package,
+    } = args;
 
     // Let's ask confirmation
-    if !verify.confirm_verification {
+    if !confirm_verification {
         let prompt_text = format!(
             "\n\tYou are about to submit the entire workspace code to the third-party verifier at {verifier}.\n\n\tImportant: Make sure your project does not include sensitive information like private keys. The snfoundry.toml file will be uploaded. Keep the keystore outside the project to prevent it from being uploaded.\n\n\tAre you sure you want to proceed? (Y/n)"
         );
@@ -83,7 +95,6 @@ pub async fn verify(
         }
     }
 
-    let contract_name = verify.contract_name;
     if !artifacts.contains_key(&contract_name) {
         return Err(anyhow!("Contract named '{contract_name}' was not found"));
     }
@@ -94,7 +105,7 @@ pub async fn verify(
         .parent()
         .ok_or(anyhow!("Failed to obtain workspace dir"))?;
 
-    let contract_identifier = match (verify.class_hash, verify.contract_address) {
+    let contract_identifier = match (class_hash, contract_address) {
         (Some(class_hash), None) => ContractIdentifier::ClassHash {
             class_hash: class_hash.to_fixed_hex_string(),
         },
@@ -109,9 +120,16 @@ pub async fn verify(
 
     match verifier {
         Verifier::Walnut => {
-            let walnut =
-                WalnutVerificationInterface::new(verify.network, workspace_dir.to_path_buf());
-            walnut.verify(contract_identifier, contract_name).await
+            let walnut = WalnutVerificationInterface::new(network, workspace_dir.to_path_buf())?;
+            walnut
+                .verify(contract_identifier, contract_name, package)
+                .await
+        }
+        Verifier::Voyager => {
+            let voyager = Voyager::new(network, workspace_dir.to_path_buf())?;
+            voyager
+                .verify(contract_identifier, contract_name, package)
+                .await
         }
     }
 }