test verifier change

Author: hero78119

Cargo.lock

@@ -60,12 +60,12 @@ openvm-primitives = { path = "./crates/primitives" }
 openvm-reth-benchmark = { path = "./crates/host-bench", default-features = false }
 openvm-mpt = { path = "./crates/mpt" }
 # ceno
-ceno_emul = { git = "https://github.com/scroll-tech/ceno", branch = "master" }
-ceno_host = { git = "https://github.com/scroll-tech/ceno", branch = "master" }
-ceno_zkvm = { git = "https://github.com/scroll-tech/ceno", branch = "master" }
-ceno_cli = { git = "https://github.com/scroll-tech/ceno", package = "cargo-ceno", branch = "master" }
-ceno_recursion = { git = "https://github.com/scroll-tech/ceno", branch = "master" }
-gkr_iop = { git = "https://github.com/scroll-tech/ceno", branch = "master" }
+ceno_emul = { git = "https://github.com/scroll-tech/ceno", rev = "26c88fb0f3b96a3c419bb02fb02f94442fa4519a" }
+ceno_host = { git = "https://github.com/scroll-tech/ceno", rev = "26c88fb0f3b96a3c419bb02fb02f94442fa4519a" }
+ceno_zkvm = { git = "https://github.com/scroll-tech/ceno", rev = "26c88fb0f3b96a3c419bb02fb02f94442fa4519a" }
+ceno_cli = { git = "https://github.com/scroll-tech/ceno", package = "cargo-ceno", rev = "26c88fb0f3b96a3c419bb02fb02f94442fa4519a" }
+ceno_recursion = { git = "https://github.com/scroll-tech/ceno", rev = "26c88fb0f3b96a3c419bb02fb02f94442fa4519a" }
+gkr_iop = { git = "https://github.com/scroll-tech/ceno", rev = "26c88fb0f3b96a3c419bb02fb02f94442fa4519a" }
 ff_ext = { git = "https://github.com/scroll-tech/gkr-backend.git", tag = "v1.0.0-alpha.19" }
 mpcs = { git = "https://github.com/scroll-tech/gkr-backend.git", tag = "v1.0.0-alpha.19" }
 
@@ -166,7 +166,7 @@ openvm-k256 = { git = "https://github.com/scroll-tech/openvm.git", package = "k2
 openvm-p256 = { git = "https://github.com/scroll-tech/openvm.git", package = "p256", branch = "feat/v1.4.1-scroll-ext" }
 
 [patch."https://github.com/scroll-tech/ceno-gpu-mock.git"]
-ceno_gpu = { git = "ssh://git@github.com/scroll-tech/ceno-gpu.git", package = "cuda_hal", branch = "main", default-features = false, features = ["bb31"] }
+ceno_gpu = { git = "ssh://git@github.com/scroll-tech/ceno-gpu.git", package = "cuda_hal", rev = "237f846b6f138f0ecb9a30320db14939bb6374c0", default-features = false, features = ["bb31"] }
 # ceno_gpu = { path = "../ceno-gpu/cuda_hal", package = "cuda_hal", default-feature = false, features = ["bb31"] }
 
 [patch."https://github.com/axiom-crypto/openvm-kzg.git"]

Cargo.toml

@@ -42,6 +42,16 @@ To prove with GPU, add `--features gpu --config net.git-fetch-with-cli=true` as
 
 to prove with recursion, set mode to `--mode prove-stark`
 
+### Configure Chain ID
+
+`server/prove_block.sh` forwards a `--chain-id` flag to every benchmark binary invocation. Set the target chain via the `CHAIN_ID` environment variable (defaults to `1` for Ethereum mainnet):
+
+```
+CHAIN_ID=5 server/prove_block.sh <proof_uuid>
+```
+
+This ensures locally generated inputs, fixtures, and proofs align with the intended network.
+
 ### (Optional) key-gen pk for next use
 
 let say fixture dir in `./pk`
@@ -63,4 +73,4 @@ bash cargo_update_ceno.sh
 which will update cargo dependency related to ceno accordingly
 
 ### More details
-Check [openvm-reth-benchmark README](https://github.com/axiom-crypto/openvm-reth-benchmark/blob/main/README.md) for more details
+Check [openvm-reth-benchmark README](https://github.com/axiom-crypto/openvm-reth-benchmark/blob/main/README.md) for more details

README.md

@@ -9,8 +9,8 @@ edition = "2021"
 # workspace
 openvm-client-executor = { path = "../../crates/executor/client" }
 ceno_syscall = { git = "https://github.com/scroll-tech/ceno-patch", branch = "main", default-features = false }
-ceno_rt = { git = "https://github.com/scroll-tech/ceno", branch = "master", default-features = false }
-ceno_crypto = { git = "https://github.com/scroll-tech/ceno", branch = "master", default-features = false }
+ceno_rt = { git = "https://github.com/scroll-tech/ceno", rev = "38bd7506e025737a32da589ea59268da5cba18e1", default-features = false }
+ceno_crypto = { git = "https://github.com/scroll-tech/ceno", rev = "38bd7506e025737a32da589ea59268da5cba18e1", default-features = false }
 bincode = { version = "2.0.1", default-features = false, features = [
     "derive",
     "alloc",

bin/ceno-client-eth/Cargo.lock

@@ -10,6 +10,7 @@ CENO_STATUS_API_KEY="${CENO_STATUS_API_KEY:-}"
 CENO_CLUSTER_ID="${CENO_CLUSTER_ID:-}"
 VERIFIER_ID="${VERIFIER_ID:-0.1}"
 CENO_GPU_CACHE_LEVEL="${CENO_GPU_CACHE_LEVEL:-none}"
+CHAIN_ID="${CHAIN_ID:-1}"
 
 # Wrapper around the Ceno benchmark binary to allow post-processing
 # after proving completes. All arguments are forwarded to the binary.
@@ -139,7 +140,8 @@ else
     --mode make-input \
     --block-number "$BLOCK_NUMBER" \
     --rpc-url "$ETH_RPC_URL" \
-    --generated-input-path "$cache_root"
+    --generated-input-path "$cache_root" \
+    --chain-id "$CHAIN_ID"
 
   GENERATED_INPUT_PATH="$(find_generated_input)"
   if [[ -z "$GENERATED_INPUT_PATH" ]]; then
@@ -182,7 +184,8 @@ if [[ ! -f "$AGG_PK_PATH" ]]; then
     --internal-log-blowup "$INTERNAL_LOG_BLOWUP" \
     --root-log-blowup "$ROOT_LOG_BLOWUP" \
     --max-segment-length "$MAX_SEGMENT_LENGTH" \
-    --segment-max-cells "$SEGMENT_MAX_CELLS"
+    --segment-max-cells "$SEGMENT_MAX_CELLS" \
+    --chain-id "$CHAIN_ID"
 fi
 
 if [[ ! -f "$AGG_PK_PATH" ]]; then
@@ -216,7 +219,8 @@ export CENO_GPU_CACHE_LEVEL
   --segment-max-cells "$SEGMENT_MAX_CELLS" \
   --agg-pk-path "$AGG_PK_PATH" \
   --output-dir "$job_dir" \
-  --skip-comparison
+  --skip-comparison \
+  --chain-id "$CHAIN_ID"
   # --app-pk-path /app/app_pk \
 
 status=$?