chore: upgrade revm, reth and sbv (#217)

* wip

* add compact

* set latest version

* fix

* fmt

* update commitments

---------

Co-authored-by: Zhuo Zhang <[email protected]>

Author: lightsing

Cargo.lock

@@ -1,4 +1,4 @@
 #![cfg_attr(rustfmt, rustfmt_skip)]
 //! Generated by crates/build-guest. DO NOT EDIT!
 
-pub const COMMIT: [u32; 8] = [1202988051, 1148264508, 1543561268, 1765749557, 1182656731, 396804521, 834486540, 1245597015];
+pub const COMMIT: [u32; 8] = [1649793006, 453918448, 700472053, 1708688727, 1956651385, 1452705656, 611459631, 1820274171];

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] = [373288848, 1343506321, 1914796275, 1793072527, 65733832, 1916923301, 963694893, 639345462];
+pub const COMMIT: [u32; 8] = [2012351307, 1390891344, 349217220, 1980321794, 92671869, 1673212720, 1290433404, 1552447571];

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] = [1957156571, 872843267, 744762733, 1147670747, 1109472993, 163434507, 1792562840, 1106326803];
+pub const COMMIT: [u32; 8] = [534218310, 1811212981, 1016259372, 652600422, 1802874675, 1341042917, 594473376, 479497145];

crates/circuits/chunk-circuit/chunk_exe_commit.rs

@@ -1,8 +1,15 @@
+use crate::{
+    PartialProvingTask, ProverTester, guest_version, prove_verify, testdata_fork_directory,
+    tester_execute, testers::PATH_TESTDATA, testing_hardfork, testing_version,
+    utils::metadata_from_chunk_witnesses,
+};
+use openvm_sdk::StdIn;
 use rayon::iter::{IntoParallelIterator, ParallelIterator};
 use sbv_core::BlockWitness;
 use sbv_primitives::{B256, types::consensus::TxL1Message};
 use scroll_zkvm_prover::utils::vm::ExecutionResult;
 use scroll_zkvm_prover::{Prover, utils::read_json};
+use scroll_zkvm_types::chunk::ChunkWitnessUpgradeCompact;
 use scroll_zkvm_types::{
     chunk::{ChunkInfo, ChunkWitness, LegacyChunkWitness, SecretKey},
     proof::ProofEnum,
@@ -13,12 +20,6 @@ use std::{
     path::{Path, PathBuf},
 };
 
-use crate::{
-    PartialProvingTask, ProverTester, prove_verify, testdata_fork_directory, tester_execute,
-    testers::PATH_TESTDATA, testing_hardfork, testing_version,
-    utils::metadata_from_chunk_witnesses,
-};
-
 /// Load a file <block_n>.json in the <PATH_BLOCK_WITNESS> directory.
 pub fn read_block_witness_from_testdata(block_n: usize) -> eyre::Result<BlockWitness> {
     read_block_witness(
@@ -67,6 +68,28 @@ impl PartialProvingTask for ChunkWitness {
         Ok(bytes.to_vec())
     }
 
+    fn write_guest_input(&self, stdin: &mut StdIn) -> eyre::Result<()>
+    where
+        Self: Sized,
+    {
+        let bytes: Vec<u8> = match guest_version().as_str() {
+            "0.5.2" => self.legacy_rkyv_archive()?,
+            "0.6.0-rc.6" => {
+                let config = bincode::config::standard();
+                bincode::serde::encode_to_vec(
+                    ChunkWitnessUpgradeCompact::from(self.clone()),
+                    config,
+                )?
+            }
+            _ => {
+                let config = bincode::config::standard();
+                bincode::serde::encode_to_vec(self, config)?
+            }
+        };
+        stdin.write_bytes(&bytes);
+        Ok(())
+    }
+
     fn fork_name(&self) -> ForkName {
         ForkName::from(self.fork_name.as_str())
     }

crates/integration/src/testers/chunk.rs

@@ -34,12 +34,12 @@ serde_json.workspace = true
 
 [features]
 default = []
-host = ["scroll-compress-ratio", "alloy-primitives/tiny-keccak"]
+host = ["scroll-compress-info", "alloy-primitives/tiny-keccak"]
 scroll = [
     "sbv-core/scroll",
     "sbv-primitives/scroll-evm-types",
     "sbv-primitives/scroll-hardforks",
     "sbv-primitives/scroll-revm-types",
     "sbv-primitives/scroll-reth-evm-types"
 ]
-scroll-compress-ratio = ["sbv-core/scroll-compress-ratio"]
+scroll-compress-info = ["sbv-core/scroll-compress-info"]

crates/types/chunk/Cargo.toml

@@ -5,4 +5,4 @@ mod execute;
 pub use execute::execute;
 
 mod witness;
-pub use witness::{ChunkWitness, LegacyChunkWitness, ValidiumInputs};
+pub use witness::{ChunkWitness, ChunkWitnessUpgradeCompact, LegacyChunkWitness, ValidiumInputs};

crates/types/chunk/src/scroll.rs

@@ -42,7 +42,7 @@ pub fn execute(witness: ChunkWitness) -> Result<ChunkInfo, String> {
         post_state_root,
         withdraw_root,
         ..
-    } = verifier::run(&witness.blocks, chain_spec, witness.compression_ratios)
+    } = verifier::run(&witness.blocks, chain_spec, witness.compression_infos)
         .map_err(|e| format!("verify error: {e}"))?;
 
     let blocks = manually_drop_on_zkvm!(blocks);

crates/types/chunk/src/scroll/execute.rs

@@ -19,7 +19,7 @@ pub struct ChunkWitness {
     /// The code version specify the chain spec
     pub fork_name: ForkName,
     /// The compression ratios for each block in the chunk.
-    pub compression_ratios: Vec<Vec<U256>>,
+    pub compression_infos: Vec<Vec<(U256, usize)>>,
     /// Validium encrypted txs and secret key if this is a validium chain.
     pub validium: Option<ValidiumInputs>,
 }
@@ -33,6 +33,23 @@ pub struct ValidiumInputs {
     pub secret_key: Box<[u8]>,
 }
 
+/// The witness type accepted by last version chunk-circuit.
+#[derive(Clone, Debug, serde::Serialize, serde::Deserialize)]
+pub struct ChunkWitnessUpgradeCompact {
+    /// Version byte as per [version][types_base::version].
+    pub version: u8,
+    /// The block witness for each block in the chunk.
+    pub blocks: Vec<BlockWitness>,
+    /// The on-chain rolling L1 message queue hash before enqueueing any L1 msg tx from the chunk.
+    pub prev_msg_queue_hash: B256,
+    /// The code version specify the chain spec
+    pub fork_name: ForkName,
+    /// The compression ratios for each block in the chunk.
+    pub compression_ratios: Vec<Vec<U256>>,
+    /// Validium encrypted txs and secret key if this is a validium chain.
+    pub validium: Option<ValidiumInputs>,
+}
+
 /// The witness type accepted by the chunk-circuit.
 #[derive(
     Clone,
@@ -129,17 +146,18 @@ impl ChunkWitness {
                     .collect(),
             })
             .collect();
-        let compression_ratios = blocks
+
+        let compression_infos = blocks
             .iter()
-            .map(|block| block.compression_ratios())
+            .map(|block| block.compression_infos())
             .collect();
 
         Self {
             version,
             blocks,
             prev_msg_queue_hash,
             fork_name,
-            compression_ratios,
+            compression_infos,
             validium,
         }
     }
@@ -183,8 +201,29 @@ impl From<ChunkWitness> for LegacyChunkWitness {
                 .collect(),
             prev_msg_queue_hash: value.prev_msg_queue_hash,
             fork_name: value.fork_name,
-            compression_ratios: value.compression_ratios,
+            compression_ratios: value
+                .compression_infos
+                .iter()
+                .map(|compression_infos| compression_infos.iter().map(|v| v.0).collect())
+                .collect(),
             state_commit_mode: StateCommitMode::Auto,
         }
     }
 }
+
+impl From<ChunkWitness> for ChunkWitnessUpgradeCompact {
+    fn from(value: ChunkWitness) -> Self {
+        ChunkWitnessUpgradeCompact {
+            version: value.version,
+            blocks: value.blocks,
+            prev_msg_queue_hash: value.prev_msg_queue_hash,
+            fork_name: value.fork_name,
+            compression_ratios: value
+                .compression_infos
+                .iter()
+                .map(|compression_infos| compression_infos.iter().map(|v| v.0).collect())
+                .collect(),
+            validium: value.validium,
+        }
+    }
+}