[DO NOT MERGE] L3 Validium

.github/workflows/build-guest-release.yml

@@ -3,7 +3,7 @@ name: Build ZKVM-Prover Guest
 on:
   push:
     tags:
-      - 'v0.[0-9]+.[0-9]+'
+      - 'v0.[0-9]+.[0-9]+(-.*)?'
 
 jobs:
   build-guest:

.gitignore

@@ -2,6 +2,8 @@
 
 /.output
 
+!/releases/dev/verifier/verifier.bin
+!/releases/dev/verifier/verifier.sol
 /releases
 
 *.log

Cargo.toml

@@ -68,13 +68,15 @@ sbv-precompile = { git = "https://github.com/scroll-tech/stateless-block-verifie
 
 alloy-primitives = { version = "1.3", default-features = false, features = ["std", "map-hashbrown", "map-fxhash", "rkyv"] }
 alloy-serde = { version = "1.0.13", default-features = false }
+alloy-sol-types = { version = "1.3", default-features = false }
 bitcode = { version = "0.6.5", default-features = false, features = ["serde", "derive"] }
 bincode_v1 = { version = "1.3", package = "bincode"}
 bincode = { version = "2.0", features = ["serde"] }
 cargo_metadata = "0.20"
 clap = "4.5"
 c-kzg = { version = "2.0" }
 derivative = "2.2.0"
+ecies = { git = "https://github.com/scroll-tech/ecies-rs" }
 eyre = "0.6"
 halo2curves-axiom = { version = "0.5.3" }
 itertools = "0.14"
@@ -129,6 +131,23 @@ revm-state = { git = "https://github.com/scroll-tech/revm" }
 
 alloy-primitives = { git = "https://github.com/scroll-tech/alloy-core", branch = "feat/rkyv" }
 
+## FIXME: when openvm fixes https://github.com/openvm-org/openvm/pull/1937
+#[patch.'https://github.com/openvm-org/openvm.git']
+#openvm = { git = "https://github.com/lightsing/openvm.git", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+#openvm-algebra-complex-macros = { git = "https://github.com/lightsing/openvm.git", rev = "f834efa186784cfdb0401c8596e1264cc9030f97"  }
+#openvm-custom-insn = { git = "https://github.com/lightsing/openvm.git", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+#openvm-sha2 = { git = "https://github.com/lightsing/openvm.git", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+#openvm-sha256-guest = { git = "https://github.com/lightsing/openvm.git", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+#openvm-p256 = { git = "https://github.com/lightsing/openvm.git", package = "p256", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+#openvm-k256 = { git = "https://github.com/lightsing/openvm.git", package = "k256", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+#openvm-pairing = { git = "https://github.com/lightsing/openvm.git", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+#openvm-keccak256-guest = { git = "https://github.com/lightsing/openvm.git", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+#openvm-algebra-guest = { git = "https://github.com/lightsing/openvm.git", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+#openvm-ecc-guest = { git = "https://github.com/lightsing/openvm.git", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+#openvm-bigint-guest = { git = "https://github.com/lightsing/openvm.git", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+#openvm-pairing-guest = { git = "https://github.com/lightsing/openvm.git", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+#openvm-rv32im-guest = { git = "https://github.com/lightsing/openvm.git", rev = "f834efa186784cfdb0401c8596e1264cc9030f97" }
+
 [profile.maxperf]
 inherits = "release"
 lto = "fat"

Makefile

@@ -17,6 +17,18 @@ else
 CARGO_CONFIG_FLAG =
 endif
 
+SRS_PARAMS_DIR := $(HOME)/.openvm/params
+SRS_PARAMS_URL := https://circuit-release.s3.us-west-2.amazonaws.com/scroll-zkvm/params
+SRS_PARAMS := $(SRS_PARAMS_DIR)/kzg_bn254_22.srs $(SRS_PARAMS_DIR)/kzg_bn254_24.srs
+
+# Download params if missing
+$(SRS_PARAMS_DIR)/%.srs:
+	@mkdir -p $(SRS_PARAMS_DIR)
+	@if [ ! -f "$@" ]; then \
+		echo "Fetching $(@F) from $(SRS_PARAMS_URL)"; \
+		wget -q -O "$@" "$(SRS_PARAMS_URL)/$(@F)"; \
+	fi
+
 download-release:
 	sh download-release.sh
 
@@ -54,6 +66,9 @@ test-execute-chunk:
 test-execute-chunk-multi:
 	@cargo test $(CARGO_CONFIG_FLAG) --release -p scroll-zkvm-integration --test chunk_circuit test_execute_multi -- --exact --nocapture
 
+test-execute-validium-chunk:
+	@cargo test --release -p scroll-zkvm-integration --test chunk_circuit test_execute_validium -- --exact --nocapture
+
 test-cycle:
 	@cargo test $(CARGO_CONFIG_FLAG) --release -p scroll-zkvm-integration --test chunk_circuit test_cycle -- --exact --nocapture
 
@@ -66,6 +81,9 @@ test-execute-batch-fast:
 test-execute-bundle:
 	@cargo test $(CARGO_CONFIG_FLAG) --release -p scroll-zkvm-integration --test bundle_circuit test_execute -- --exact --nocapture
 
+test-execute-validium-e2e:
+	@cargo test --release -p scroll-zkvm-integration --test bundle_circuit test_execute_validium -- --exact --nocapture
+
 test-single-chunk:
 	@cargo test $(CARGO_CONFIG_FLAG) --release -p scroll-zkvm-integration --test chunk_circuit setup_prove_verify_single -- --exact --nocapture
 

crates/build-guest/src/main.rs

@@ -347,7 +347,7 @@ fn generate_openvm_assets(
     env::set_current_dir(workspace_dir)?;
 
     generate_root_verifier(workspace_dir, force_overwrite)?;
-    generate_evm_verifier(&release_output_dir.join("verifier"), true, force_overwrite)?;
+    generate_evm_verifier(&release_output_dir.join("verifier"), false, force_overwrite)?;
     Ok(())
 }
 

crates/circuits/batch-circuit/batch_exe_commit.rs

@@ -1,4 +1,4 @@
 #![cfg_attr(rustfmt, rustfmt_skip)]
 //! Generated by crates/build-guest. DO NOT EDIT!
 
-pub const COMMIT: [u32; 8] = [201161368, 1899692875, 57302023, 1414522389, 1405245774, 311196883, 1031375563, 825047078];
+pub const COMMIT: [u32; 8] = [1950246364, 1636590102, 198747183, 721429575, 920539053, 838315603, 215973995, 453669913];