forge verify-bytecode

crates/forge/bin/main.rs

@@ -105,5 +105,6 @@ fn main() -> Result<()> {
         ForgeSubcommand::Generate(cmd) => match cmd.sub {
             GenerateSubcommands::Test(cmd) => cmd.run(),
         },
+        ForgeSubcommand::VerifyBytecode(cmd) => utils::block_on(cmd.run()),
     }
 }

crates/forge/bin/opts.rs

@@ -6,7 +6,7 @@ use crate::cmd::{
 };
 use clap::{Parser, Subcommand, ValueHint};
 use forge_script::ScriptArgs;
-use forge_verify::{VerifyArgs, VerifyCheckArgs};
+use forge_verify::{bytecode::VerifyBytecodeArgs, VerifyArgs, VerifyCheckArgs};
 use std::path::PathBuf;
 
 const VERSION_MESSAGE: &str = concat!(
@@ -154,6 +154,10 @@ pub enum ForgeSubcommand {
 
     /// Generate scaffold files.
     Generate(generate::GenerateArgs),
+
+    /// Verify the deployed bytecode against its source.
+    #[clap(visible_alias = "vb")]
+    VerifyBytecode(VerifyBytecodeArgs),
 }
 
 #[cfg(test)]

crates/verify/Cargo.toml

@@ -15,11 +15,13 @@ foundry-config.workspace = true
 foundry-cli.workspace = true
 foundry-common.workspace = true
 foundry-evm.workspace = true
-
 serde_json.workspace = true
 hex.workspace = true
 alloy-json-abi.workspace = true
 alloy-primitives.workspace = true
+alloy-rpc-types.workspace = true
+alloy-providers.workspace = true
+revm-primitives.workspace = true
 serde.workspace = true
 eyre.workspace = true
 ethers-providers.workspace = true
@@ -34,8 +36,9 @@ futures = "0.3"
 semver = "1"
 regex = { version = "1", default-features = false }
 once_cell = "1"
+yansi = "0.5"
 
 [dev-dependencies]
 tokio = { version = "1", features = ["macros"] }
 foundry-test-utils.workspace = true
-tempfile = "3"
+tempfile = "3"