feat: galileo-v2

Author: roynalnaruto

Cargo.lock

@@ -70,11 +70,11 @@ 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", tag = "scroll-v91" }
-sbv-helpers = { git = "https://github.com/scroll-tech/stateless-block-verifier", tag = "scroll-v91", features = ["dev"] }
-sbv-primitives = { git = "https://github.com/scroll-tech/stateless-block-verifier", tag = "scroll-v91" }
-sbv-utils = { git = "https://github.com/scroll-tech/stateless-block-verifier", tag = "scroll-v91" }
-sbv-trie = { git = "https://github.com/scroll-tech/stateless-block-verifier", tag = "scroll-v91" }
+sbv-core = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "feat/galileo-v2" }
+sbv-helpers = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "feat/galileo-v2", features = ["dev"] }
+sbv-primitives = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "feat/galileo-v2" }
+sbv-utils = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "feat/galileo-v2" }
+sbv-trie = { git = "https://github.com/scroll-tech/stateless-block-verifier", branch = "feat/galileo-v2" }
 
 alloy-consensus = "1.0"
 alloy-provider = "1.0"

Cargo.toml

@@ -49,7 +49,7 @@ pub fn testing_hardfork() -> ForkName {
 
 /// Test settings (version).
 pub fn testing_version() -> Version {
-    Version::galileo()
+    Version::galileo_v2()
 }
 
 pub fn testing_version_validium() -> Version {

crates/integration/src/lib.rs

@@ -220,6 +220,8 @@ pub fn preset_chunk() -> ChunkTaskGenerator {
         ForkName::EuclidV2 => (Version::euclid_v2(), 1u64..=4u64),
         ForkName::Feynman => (Version::feynman(), 16525000u64..=16525003u64),
         ForkName::Galileo => (Version::galileo(), 20239156..=20239235),
+        // TODO(rohit): update after adding testdata.
+        ForkName::GalileoV2 => (Version::galileo_v2(), 20239156..=20239235),
     };
 
     ChunkTaskGenerator {
@@ -289,6 +291,15 @@ pub fn preset_chunk_multiple() -> Vec<ChunkTaskGenerator> {
                     ],
                     Version::galileo(),
                 ),
+                ForkName::GalileoV2 => (
+                    // TODO(rohit): update after adding testdata.
+                    vec![
+                        20239220..=20239220,
+                        20239221..=20239221,
+                        20239222..=20239222,
+                    ],
+                    Version::galileo_v2(),
+                ),
             };
             create_canonical_tasks(version, block_range.into_iter())
                 .expect("must success for preset collections")

crates/integration/src/testers/chunk.rs

@@ -298,7 +298,7 @@ pub fn build_batch_witnesses(
                 blob_data_proof: point_evaluations.map(|u| B256::new(u.to_be_bytes())),
             })
         }
-        ForkName::EuclidV2 | ForkName::Feynman | ForkName::Galileo => {
+        ForkName::EuclidV2 | ForkName::Feynman | ForkName::Galileo | ForkName::GalileoV2 => {
             use scroll_zkvm_types::batch::BatchHeaderV7;
             ReferenceHeader::V7_V8_V9(BatchHeaderV7 {
                 version: last_header.version,
@@ -431,6 +431,11 @@ fn test_build_and_parse_batch_task() -> eyre::Result<()> {
             block_range: (20239156..=20239192).collect(),
             ..Default::default()
         },
+        // TODO(rohit): update after adding testdata.
+        ForkName::GalileoV2 => ChunkTaskGenerator {
+            block_range: (20239156..=20239192).collect(),
+            ..Default::default()
+        },
     }
     .get_or_build_witness()?;
 

crates/integration/src/utils/mod.rs

@@ -116,6 +116,15 @@ fn verify_batch_hash_invariant() -> eyre::Result<()> {
                 20239176..=20239192,
             ],
         ),
+        ForkName::GalileoV2 => (
+            Version::galileo_v2(),
+            // TODO(rohit): update after adding testdata.
+            vec![
+                20239156..=20239162,
+                20239163..=20239175,
+                20239176..=20239192,
+            ],
+        ),
     };
     let outcome_2 = create_canonical_tasks(version, block_range.into_iter())?;
 

crates/integration/tests/batch_circuit.rs

@@ -160,6 +160,8 @@ fn e2e_inner(
         ForkName::EuclidV2 => "2028510c403837c6ed77660fd92814ba61d7b746e7268cc8dfc14d163d45e6bd",
         ForkName::Feynman => "80523a61b2b94b2922638ec90edd084b1022798e1e5539c3a079d2b0736e4f32",
         ForkName::Galileo => "86290e8c329dd2ec430df4a8b2ae8396b3996b3e814afff24b7cedeb26387087",
+        // TODO(rohit): update after adding testdata.
+        ForkName::GalileoV2 => "86290e8c329dd2ec430df4a8b2ae8396b3996b3e814afff24b7cedeb26387087",
     };
     let expected_pi_hash = metadata.pi_hash_by_version(version);
     // sanity check for pi of bundle hash, update the expected hash if block witness changed

crates/integration/tests/bundle_circuit.rs

@@ -23,6 +23,7 @@ pub enum ForkName {
     EuclidV2,
     Feynman,
     Galileo,
+    GalileoV2,
 }
 
 impl fmt::Display for ForkName {
@@ -32,6 +33,7 @@ impl fmt::Display for ForkName {
             ForkName::EuclidV2 => "euclidv2",
             ForkName::Feynman => "feynman",
             ForkName::Galileo => "galileo",
+            ForkName::GalileoV2 => "galileov2",
         };
         write!(f, "{}", s)
     }
@@ -45,6 +47,7 @@ impl ForkName {
             ForkName::EuclidV2 => "euclidv2",
             ForkName::Feynman => "feynman",
             ForkName::Galileo => "galileo",
+            ForkName::GalileoV2 => "galileov2",
         }
     }
 }
@@ -57,6 +60,7 @@ impl From<Option<&str>> for ForkName {
             Some("euclidv2") => ForkName::EuclidV2,
             Some("feynman") => ForkName::Feynman,
             Some("galileo") => ForkName::Galileo,
+            Some("galileov2") => ForkName::GalileoV2,
             Some(s) => unreachable!("hardfork not accepted: {s}"),
         }
     }
@@ -69,6 +73,7 @@ impl From<&str> for ForkName {
             "euclidv2" => ForkName::EuclidV2,
             "feynman" => ForkName::Feynman,
             "galileo" => ForkName::Galileo,
+            "galileov2" => ForkName::GalileoV2,
             s => unreachable!("hardfork not accepted: {s}"),
         }
     }

crates/types/base/src/fork_name.rs

@@ -137,6 +137,13 @@ impl BatchInfo {
         )
     }
 
+    /// Public input hash for a batch (galileo or da-codec@v9) is defined as
+    ///
+    /// Same as galileo.
+    pub fn pi_hash_galileo_v2(&self, version: Version) -> B256 {
+        self.pi_hash_galileo(version)
+    }
+
     /// Public input hash for a L3 validium @ v1.
     ///
     /// keccak(
@@ -179,6 +186,7 @@ impl MultiVersionPublicInputs for BatchInfo {
             (Domain::Scroll, STFVersion::V7) => self.pi_hash_euclidv2(),
             (Domain::Scroll, STFVersion::V8) => self.pi_hash_feynman(),
             (Domain::Scroll, STFVersion::V9) => self.pi_hash_galileo(version),
+            (Domain::Scroll, STFVersion::V10) => self.pi_hash_galileo_v2(version),
             (Domain::Validium, STFVersion::V1) => self.pi_hash_validium(version),
             (domain, stf_version) => {
                 unreachable!("unsupported version=({domain:?}, {stf_version:?})")

crates/types/base/src/public_inputs/batch.rs

@@ -102,6 +102,10 @@ impl BundleInfo {
         self.pi_euclidv2()
     }
 
+    pub fn pi_galileo_v2(&self) -> Vec<u8> {
+        self.pi_euclidv2()
+    }
+
     pub fn pi_hash_versioned(&self, version: Version, pi: &[u8]) -> B256 {
         keccak256(
             std::iter::empty()
@@ -137,6 +141,9 @@ impl MultiVersionPublicInputs for BundleInfo {
             (Domain::Scroll, STFVersion::V9) => {
                 self.pi_hash_versioned(version, self.pi_galileo().as_slice())
             }
+            (Domain::Scroll, STFVersion::V10) => {
+                self.pi_hash_versioned(version, self.pi_galileo_v2().as_slice())
+            }
             (Domain::Validium, STFVersion::V1) => {
                 self.pi_hash_versioned(version, self.pi_validium_v1().as_slice())
             }