Disable bloom filter checks

host/src/bin/op-derive.rs

@@ -99,10 +99,12 @@ async fn main() -> Result<()> {
 
     let (mut mem_db, output_1) = tokio::task::spawn_blocking(move || {
         let mut rpc_db = RpcDb::new(args.eth_rpc_url, args.op_rpc_url, args.cache);
-        let batches = derive(&mut rpc_db, args.block_no, args.blocks).unwrap();
-        (rpc_db.get_mem_db(), batches)
+        let batches =
+            derive(&mut rpc_db, args.block_no, args.blocks).context("could not derive")?;
+        let out: Result<_> = Ok((rpc_db.get_mem_db(), batches));
+        out
     })
-    .await?;
+    .await??;
 
     let output_2 = derive(&mut mem_db, args.block_no, args.blocks).unwrap();
     assert_eq!(output_1, output_2);

lib/src/optimism/batches.rs

@@ -156,8 +156,24 @@ where
 
         // check timestamp range
         match batch.essence.timestamp.cmp(&next_timestamp) {
-            Ordering::Greater => return BatchStatus::Future,
-            Ordering::Less => return BatchStatus::Drop,
+            Ordering::Greater => {
+                #[cfg(not(target_os = "zkvm"))]
+                log::warn!(
+                    "Future batch: {} = batch.essence.timestamp > next_timestamp = {}",
+                    &batch.essence.timestamp,
+                    &next_timestamp
+                );
+                return BatchStatus::Future;
+            }
+            Ordering::Less => {
+                #[cfg(not(target_os = "zkvm"))]
+                log::warn!(
+                    "Drop batch: {} = batch.essence.timestamp < next_timestamp = {}",
+                    &batch.essence.timestamp,
+                    &next_timestamp
+                );
+                return BatchStatus::Drop;
+            }
             Ordering::Equal => (),
         }
 

lib/src/optimism/deposits.rs

@@ -84,6 +84,8 @@ pub fn extract_transactions(
 
 /// Returns whether the given Bloom filter can contain a deposit log.
 pub fn can_contain(address: &Address, bloom: &Bloom) -> bool {
+    return true; // TODO: remove me!
+
     let input = BloomInput::Raw(address.as_slice());
     if !bloom.contains_input(input) {
         return false;

lib/src/optimism/system_config.rs

@@ -137,6 +137,8 @@ impl SystemConfig {
 
 /// Returns whether the given Bloom filter can contain a config update log.
 pub fn can_contain(address: &Address, bloom: &Bloom) -> bool {
+    return true; // TODO: remove me!
+
     let input = BloomInput::Raw(address.as_slice());
     if !bloom.contains_input(input) {
         return false;