refactor: verify command rename vk for vk-hash

Author: MarcosNicolau

Makefile

@@ -284,8 +284,8 @@ verify_aggregated_proof_sp1:
 		--rpc-url $(RPC_URL) \
 		--from-block $(FROM_BLOCK) \
 		--proving-system SP1 \
-		--vk ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.vk \
-		--public-input ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.pub
+		--vk-hash ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.vk \
+		--public-inputs ../../scripts/test_files/sp1/sp1_fibonacci_5_0_0.pub
 
 proof_aggregator_install: ## Install the aggregation mode with proving enabled
 	cargo install --path aggregation_mode --features prove,gpu --bin proof_aggregator_gpu --locked

aggregation_mode/cli/src/commands/mod.rs

@@ -16,6 +16,7 @@ pub struct Cli {
 pub enum Command {
     #[command(subcommand)]
     Submit(SubmitCommand),
+    /// Check whether a proof has been verified on AlignedProofAggregationService contract
     #[command(name = "verify-on-chain")]
     VerifyOnChain(VerifyOnChainArgs),
     /// Send 1 ether to the aggregation mode payment service

aggregation_mode/cli/src/commands/verify.rs

@@ -22,9 +22,9 @@ pub struct VerifyOnChainArgs {
     from_block: Option<u64>,
     #[arg(long = "proving-system")]
     proving_system: ProvingSystemArg,
-    #[arg(name = "Program verification key hash", long = "vk", required = true)]
+    #[arg(name = "Program verification key hash", long = "vk-hash", required = true)]
     program_vk: PathBuf,
-    #[arg(name = "Public input file name", long = "public-input")]
+    #[arg(name = "Public input file name", long = "public-inputs")]
     pub_input_file_name: Option<PathBuf>,
 }