Support Galileo

Cargo.toml

@@ -22,7 +22,7 @@ edition = "2021"
 homepage = "https://github.com/scroll-tech/zkvm-prover"
 readme = "README.md"
 repository = "https://github.com/scroll-tech/zkvm-prover"
-version = "0.6.0"
+version = "0.7.0"
 
 [workspace.dependencies]
 # openvm guest libs
@@ -69,17 +69,17 @@ openvm-transpiler = { git = "https://github.com/openvm-org/openvm.git", tag = "v
 # more openvm related libs
 openvm-stark-sdk = { git = "https://github.com/openvm-org/stark-backend.git", tag = "v1.2.1" }
 
-sbv-core = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "master" }
-sbv-helpers = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "master" }
-sbv-primitives = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "master" }
-sbv-utils = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "master" }
-sbv-trie = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "master" }
+sbv-core = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "fix/build-chainspec" }
+sbv-helpers = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "fix/build-chainspec", features = ["dev"] }
+sbv-primitives = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "fix/build-chainspec" }
+sbv-utils = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "fix/build-chainspec" }
+sbv-trie = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "fix/build-chainspec" }
 
 alloy-consensus = "1.0"
 alloy-provider = "1.0"
 alloy-rpc-client = "1.0"
 alloy-transport = "1.0"
-alloy-primitives = { version = "1.3", default-features = false, features = [
+alloy-primitives = { version = "1.4.1", default-features = false, features = [
   "std",
   "map-hashbrown",
   "map-fxhash",
@@ -143,20 +143,20 @@ scroll-zkvm-prover = { path = "crates/prover" }
 scroll-zkvm-verifier = { path = "crates/verifier" }
 
 [patch.crates-io]
-revm = { git = "https://github.com/scroll-tech/revm" }
-revm-bytecode = { git = "https://github.com/scroll-tech/revm" }
-revm-context = { git = "https://github.com/scroll-tech/revm" }
-revm-context-interface = { git = "https://github.com/scroll-tech/revm" }
-revm-database = { git = "https://github.com/scroll-tech/revm" }
-revm-database-interface = { git = "https://github.com/scroll-tech/revm" }
-revm-handler = { git = "https://github.com/scroll-tech/revm" }
-revm-inspector = { git = "https://github.com/scroll-tech/revm" }
-revm-interpreter = { git = "https://github.com/scroll-tech/revm" }
-revm-precompile = { git = "https://github.com/scroll-tech/revm" }
-revm-primitives = { git = "https://github.com/scroll-tech/revm" }
-revm-state = { git = "https://github.com/scroll-tech/revm" }
+revm = { git = "https://github.com/scroll-tech/revm", branch = "feat/v88" }
+revm-bytecode = { git = "https://github.com/scroll-tech/revm", branch = "feat/v88" }
+revm-context = { git = "https://github.com/scroll-tech/revm", branch = "feat/v88" }
+revm-context-interface = { git = "https://github.com/scroll-tech/revm", branch = "feat/v88" }
+revm-database = { git = "https://github.com/scroll-tech/revm", branch = "feat/v88" }
+revm-database-interface = { git = "https://github.com/scroll-tech/revm", branch = "feat/v88" }
+revm-handler = { git = "https://github.com/scroll-tech/revm", branch = "feat/v88" }
+revm-inspector = { git = "https://github.com/scroll-tech/revm", branch = "feat/v88" }
+revm-interpreter = { git = "https://github.com/scroll-tech/revm", branch = "feat/v88" }
+revm-precompile = { git = "https://github.com/scroll-tech/revm", branch = "feat/v88" }
+revm-primitives = { git = "https://github.com/scroll-tech/revm", branch = "feat/v88" }
+revm-state = { git = "https://github.com/scroll-tech/revm", branch = "feat/v88" }
 
-alloy-primitives = { git = "https://github.com/scroll-tech/alloy-core", branch = "feat/rkyv" }
+alloy-primitives = { git = "https://github.com/scroll-tech/alloy-core", branch = "feat/1.4.1-rkyv" }
 
 ## FIXME: when openvm fixes https://github.com/openvm-org/openvm/pull/1937
 #[patch.'https://github.com/openvm-org/openvm.git']

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] = [1649793006, 453918448, 700472053, 1708688727, 1956651385, 1452705656, 611459631, 1820274171];
+pub const COMMIT: [u32; 8] = [864719956, 1846690715, 923265474, 853025065, 1740953812, 1558837582, 1966928989, 1847199187];

crates/circuits/bundle-circuit/bundle_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] = [2012351307, 1390891344, 349217220, 1980321794, 92671869, 1673212720, 1290433404, 1552447571];
+pub const COMMIT: [u32; 8] = [476823590, 119511347, 152701176, 1053953387, 213549889, 1957849243, 410523811, 694894829];

crates/circuits/chunk-circuit/chunk_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] = [534218310, 1811212981, 1016259372, 652600422, 1802874675, 1341042917, 594473376, 479497145];
+pub const COMMIT: [u32; 8] = [1209101837, 99643033, 996198416, 1107956009, 1219145045, 927684997, 1902587021, 1745407319];

crates/integration/src/lib.rs

@@ -39,12 +39,12 @@ const ENV_OUTPUT_DIR: &str = "OUTPUT_DIR";
 
 /// Enviroment settings for test: fork
 pub fn testing_hardfork() -> ForkName {
-    ForkName::Feynman
+    ForkName::Galileo
 }
 
 /// Test settings (version).
 pub fn testing_version() -> Version {
-    Version::feynman()
+    Version::galileo()
 }
 
 pub fn testing_version_validium() -> Version {

crates/integration/src/testers/chunk.rs

@@ -221,6 +221,7 @@ pub fn preset_chunk() -> ChunkTaskGenerator {
         ForkName::EuclidV1 => (Version::euclid_v1(), 12508460u64..=12508463u64),
         ForkName::EuclidV2 => (Version::euclid_v2(), 1u64..=4u64),
         ForkName::Feynman => (Version::feynman(), 16525000u64..=16525003u64),
+        ForkName::Galileo => (Version::galileo(), 20239156..=20239235),
     };
 
     ChunkTaskGenerator {
@@ -282,6 +283,14 @@ pub fn preset_chunk_multiple() -> Vec<ChunkTaskGenerator> {
                     ],
                     Version::feynman(),
                 ),
+                ForkName::Galileo => (
+                    vec![
+                        20239220..=20239220,
+                        20239221..=20239221,
+                        20239222..=20239222,
+                    ],
+                    Version::galileo(),
+                ),
             };
             create_canonical_tasks(version, block_range.into_iter())
                 .expect("must success for preset collections")

crates/integration/src/utils/mod.rs

@@ -3,7 +3,7 @@ use bytesize::ByteSize;
 use sbv_core::BlockWitness;
 use sbv_primitives::types::consensus::ScrollTransaction;
 use sbv_primitives::{B256, types::eips::Encodable2718};
-use scroll_zkvm_types::batch::build_point_eval_witness;
+use scroll_zkvm_types::batch::{N_BLOB_BYTES, build_point_eval_witness};
 use scroll_zkvm_types::{
     batch::{
         BatchHeader, BatchHeaderV6, BatchHeaderV7, BatchHeaderValidium, BatchHeaderValidiumV1,
@@ -202,9 +202,17 @@ pub fn build_batch_witnesses(
     // compress ...
     let compressed_payload = zstd_encode(&payload);
 
-    let heading = compressed_payload.len() as u32 + ((version.as_version_byte() as u32) << 24);
+    // 5 bytes are utilised by version (1), compressed_len (3) and is_encoded (1).
+    if compressed_payload.len() > N_BLOB_BYTES - 5 {
+        return Err(eyre::eyre!(
+            "compression payload of batch too big: len={}",
+            compressed_payload.len()
+        ));
+    }
+
+    let heading = compressed_payload.len() as u32 + ((version.codec() as u32) << 24);
 
-    let blob_bytes = if testing_hardfork() >= ForkName::EuclidV2 {
+    let blob_bytes = if version.fork >= ForkName::EuclidV2 {
         let mut blob_bytes = Vec::from(heading.to_be_bytes());
         blob_bytes.push(1u8); // compressed flag
         blob_bytes.extend(compressed_payload);
@@ -299,7 +307,7 @@ pub fn build_batch_witnesses(
                 blob_versioned_hash,
             })
         }
-        ForkName::Feynman => {
+        ForkName::Feynman | ForkName::Galileo => {
             use scroll_zkvm_types::batch::BatchHeaderV8;
             let _ = x + z;
             ReferenceHeader::V8(BatchHeaderV8 {
@@ -429,6 +437,10 @@ fn test_build_and_parse_batch_task() -> eyre::Result<()> {
             block_range: (16525000..=16525003).collect(),
             ..Default::default()
         },
+        ForkName::Galileo => ChunkTaskGenerator {
+            block_range: (20239156..=20239192).collect(),
+            ..Default::default()
+        },
     }
     .get_or_build_witness()?;