feat: add cli commands

Author: roynalnaruto

Cargo.lock

@@ -6,11 +6,12 @@ edition = "2024"
 [dependencies]
 
 # openvm
-openvm-native-recursion = { git = "https://github.com/openvm-org/openvm.git", rev = "7f87e1d", default-features = false }
-openvm-sdk = { git = "https://github.com/openvm-org/openvm.git", rev = "7f87e1d", default-features = false, features = [
+openvm-native-recursion = { git = "https://github.com/openvm-org/openvm.git", rev = "2bdf9ed", default-features = false }
+openvm-sdk = { git = "https://github.com/openvm-org/openvm.git", rev = "2bdf9ed", default-features = false, features = [
     "parallel",
     "bench-metrics",
 ] }
+openvm-stark-sdk = { git = "https://github.com/openvm-org/stark-backend.git", rev = "46f581f" }
 
 # revm
 revm = "19.0"
@@ -22,7 +23,16 @@ snark-verifier-sdk = { git = "https://github.com/axiom-crypto/snark-verifier", b
     "display",
 ] }
 
+# scroll-tech/zkvm-prover
+scroll-zkvm-verifier = { git = "https://github.com/scroll-tech/zkvm-prover", branch = "feat/phase1-stable" }
+
 # miscellaneous
+clap = "4"
 eyre = "0.6"
 tracing = "0.1"
 tracing-subscriber = "0.3"
+
+[patch.crates-io]
+alloy-primitives = { git = "https://github.com/scroll-tech/alloy-core", branch = "v0.8.18-euclid-upgrade" }
+ruint = { git = "https://github.com/scroll-tech/uint.git", branch = "v1.12.3" }
+tiny-keccak = { git = "https://github.com/scroll-tech/tiny-keccak", branch = "scroll-patch-v2.0.2-euclid-upgrade" }

Cargo.toml

@@ -0,0 +1,18 @@
+use clap::Subcommand;
+
+#[derive(Debug, Subcommand)]
+pub enum Commands {
+    #[command(about = "")]
+    GenerateVerifier(crate::verifier::GenerateCommand),
+    #[command(about = "")]
+    ComputeDigest(crate::digest::ComputeCommand),
+}
+
+impl Commands {
+    pub fn run(self) -> eyre::Result<()> {
+        match self {
+            Commands::GenerateVerifier(cmd) => cmd.run(),
+            Commands::ComputeDigest(cmd) => cmd.run(),
+        }
+    }
+}

src/commands.rs

@@ -0,0 +1,17 @@
+use openvm_stark_sdk::{openvm_stark_backend::p3_field::PrimeField32, p3_baby_bear::BabyBear};
+use snark_verifier_sdk::snark_verifier::halo2_base::halo2_proofs::halo2curves::bn256::Fr;
+
+/// OpenVM's EXE and LEAF commitments are essentially 8 * Babybears each. During the generation of a
+/// SNARK from the OpenVM RootProof, these commitments are compressed into a BN254 scalar.
+pub fn compress_commitment(commitment: &[u32; 8]) -> Fr {
+    let order = Fr::from(BabyBear::ORDER_U32 as u64);
+    let mut base = Fr::one();
+    let mut ret = Fr::zero();
+
+    for v in commitment {
+        ret += Fr::from(*v as u64) * base;
+        base *= order;
+    }
+
+    ret
+}

src/digest/compute.rs

@@ -0,0 +1,36 @@
+use clap::Args;
+
+mod compute;
+
+#[derive(Debug, Args)]
+pub struct ComputeCommand {
+    #[arg(long = "phase-1", help = "Compute digests for Euclid phase-1")]
+    pub phase_1: bool,
+    #[arg(long = "phase-2", help = "Compute digests for Euclid phase-2")]
+    pub phase_2: bool,
+}
+
+impl ComputeCommand {
+    pub fn run(self) -> eyre::Result<()> {
+        if !(self.phase_1 ^ self.phase_2) {
+            eyre::bail!("Please pass a single flag (--phase-1 or --phase-2)")
+        }
+
+        let (exe, leaf) = if self.phase_1 {
+            (
+                scroll_zkvm_verifier::commitments::bundle_legacy::EXE_COMMIT,
+                scroll_zkvm_verifier::commitments::bundle_legacy::LEAF_COMMIT,
+            )
+        } else {
+            (
+                scroll_zkvm_verifier::commitments::bundle::EXE_COMMIT,
+                scroll_zkvm_verifier::commitments::bundle::LEAF_COMMIT,
+            )
+        };
+
+        let _digest_1 = compute::compress_commitment(&exe);
+        let _digest_2 = compute::compress_commitment(&leaf);
+
+        Ok(())
+    }
+}

src/digest/mod.rs

@@ -1,19 +1,21 @@
-mod generate;
+use clap::Parser;
 
-mod utils;
+mod commands;
 
-fn main() -> eyre::Result<()> {
-    // Generate the initialisation code for the EVM PLONK verifier.
-    let init_code = generate::generate()?;
+mod digest;
+
+mod verifier;
 
-    // Get the deployed code and codehash of the EVM PLONK verifier contract.
-    let (deployed_code, codehash) = utils::deploy(&init_code)?;
+#[derive(Parser)]
+struct Cli {
+    #[command(subcommand)]
+    commands: commands::Commands,
+}
+
+fn main() -> eyre::Result<()> {
+    let cmd = Cli::parse();
 
-    println!(
-        "verifier contract bytecode size = {:?}",
-        deployed_code.len()
-    );
-    println!("verifier contract codehash      = {:?}", codehash);
+    cmd.commands.run()?;
 
     Ok(())
 }

src/main.rs

@@ -0,0 +1,18 @@
+use clap::Args;
+
+mod deploy;
+
+mod generate;
+
+#[derive(Debug, Args)]
+pub struct GenerateCommand;
+
+impl GenerateCommand {
+    pub fn run(self) -> eyre::Result<()> {
+        let init_code = generate::generate()?;
+
+        let (_deployed_code, _codehash) = deploy::deploy(&init_code)?;
+
+        Ok(())
+    }
+}