wip partial move of verify on chain to agg mode cli

Author: MarcosNicolau

aggregation_mode/cli/src/commands/helpers.rs

@@ -0,0 +1,28 @@
+use clap::{self, ValueEnum};
+use std::str::FromStr;
+
+use agg_mode_sdk::types::Network;
+
+pub fn parse_network(value: &str) -> Result<Network, String> {
+    Network::from_str(value).map_err(|_| format!("unsupported network supplied: {value}"))
+}
+
+#[derive(Debug, Clone, ValueEnum)]
+pub enum ProvingSystemArg {
+    #[clap(name = "GnarkPlonkBls12_381")]
+    GnarkPlonkBls12_381,
+    #[clap(name = "GnarkPlonkBn254")]
+    GnarkPlonkBn254,
+    #[clap(name = "GnarkGroth16Bn254")]
+    GnarkGroth16Bn254,
+    #[clap(name = "SP1")]
+    SP1,
+    #[clap(name = "Risc0")]
+    Risc0,
+    #[clap(name = "CircomGroth16Bn256")]
+    CircomGroth16Bn256,
+    #[clap(name = "Mina")]
+    Mina,
+    #[clap(name = "MinaAccount")]
+    MinaAccount,
+}

aggregation_mode/cli/src/commands/mod.rs

@@ -1 +1,20 @@
+use crate::commands::{submit::SubmitCommand, verify::VerifyOnChainArgs};
+use clap::{Parser, Subcommand};
+
+mod helpers;
 pub mod submit;
+pub mod verify;
+
+#[derive(Debug, Parser)]
+pub struct Cli {
+    #[command(subcommand)]
+    pub command: Command,
+}
+
+#[derive(Debug, Subcommand)]
+pub enum Command {
+    #[command(subcommand)]
+    Submit(SubmitCommand),
+    #[command(name = "verify-on-chain")]
+    VerifyOnChain(VerifyOnChainArgs),
+}

aggregation_mode/cli/src/commands/submit.rs

@@ -4,6 +4,8 @@ use clap::{command, Args, Subcommand};
 use sp1_sdk::{SP1ProofWithPublicValues, SP1VerifyingKey};
 use std::{path::PathBuf, str::FromStr};
 
+use crate::commands::helpers::parse_network;
+
 #[derive(Debug, Subcommand)]
 pub enum SubmitCommand {
     #[command(name = "sp1")]
@@ -22,10 +24,6 @@ pub struct SubmitSP1Args {
     network: Network,
 }
 
-fn parse_network(value: &str) -> Result<Network, String> {
-    Network::from_str(value).map_err(|_| format!("unsupported network supplied: {value}"))
-}
-
 pub async fn run(args: SubmitSP1Args) {
     tracing::info!("Submitting SP1 proof to {:?} ", args.network);
 

aggregation_mode/cli/src/commands/verify.rs

@@ -0,0 +1,27 @@
+use agg_mode_sdk::types::Network;
+use clap::{self, Args};
+use std::path::PathBuf;
+
+use crate::commands::helpers::{parse_network, ProvingSystemArg};
+
+#[derive(Debug, Clone, Args)]
+pub struct VerifyOnChainArgs {
+    #[arg(short = 'n', long = "network", default_value = "devnet", value_parser = parse_network)]
+    network: Network,
+    #[arg(long = "rpc-url")]
+    rpc_url: String,
+    #[arg(long = "beacon-url")]
+    beacon_url: String,
+    #[arg(long = "from-block")]
+    from_block: Option<u64>,
+    #[arg(long = "proving-system")]
+    proving_system: ProvingSystemArg,
+    #[arg(name = "Program verification key hash", long = "vk", required = true)]
+    program_vk: PathBuf,
+    #[arg(long = "vk")]
+    verifying_key_path: PathBuf,
+    #[arg(name = "Public input file name", long = "public-input")]
+    pub_input_file_name: Option<PathBuf>,
+}
+
+pub async fn run(args: VerifyOnChainArgs) {}

aggregation_mode/cli/src/main.rs

@@ -1,19 +1,7 @@
-use agg_mode_cli::commands::{self, submit::SubmitCommand};
-use clap::{Parser, Subcommand};
+use agg_mode_cli::commands::{self, submit::SubmitCommand, Cli, Command};
+use clap::Parser;
 use tracing_subscriber::{EnvFilter, FmtSubscriber};
 
-#[derive(Debug, Parser)]
-struct Cli {
-    #[command(subcommand)]
-    command: Command,
-}
-
-#[derive(Debug, Subcommand)]
-enum Command {
-    #[command(subcommand)]
-    Submit(SubmitCommand),
-}
-
 #[tokio::main]
 async fn main() {
     let filter = EnvFilter::new("info");
@@ -26,5 +14,6 @@ async fn main() {
         Command::Submit(subcommand) => match subcommand {
             SubmitCommand::SP1(args) => commands::submit::run(args).await,
         },
+        Command::VerifyOnChain(args) => commands::verify::run(args).await,
     };
 }