sync with ceno master (#26)

Author: hero78119

Cargo.lock

@@ -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

@@ -34,6 +34,7 @@ alloy-primitives = { version = "1.4.1", features = ["native-keccak"] }
 
 [patch.crates-io]
 k256 = { git = "https://github.com/scroll-tech/elliptic-curves", branch = "ceno/k256-13.4" }
+p256 = { git = "https://github.com/scroll-tech/elliptic-curves", branch = "ceno/k256-13.4" }
 
 #[patch."https://github.com/scroll-tech/ceno"]
 #ceno_rt = { path = "../../../ceno/ceno_rt" }

bin/ceno-client-eth/Cargo.lock

@@ -25,6 +25,7 @@ skip = [
     { name = "hashbrown" },
     { name = "itertools" },
     { name = "k256" },
+    { name = "p256" },
     { name = "lru" },
     { name = "num-bigint" },
     { name = "num-modular" },
@@ -56,4 +57,5 @@ skip = [
     { name = "windows_x86_64_gnullvm" },
     { name = "windows_x86_64_msvc" },
     { name = "winnow" },
+    { name = "primeorder" },
 ]

bin/ceno-client-eth/Cargo.toml

@@ -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=$?