Light client starter

.gitignore

@@ -14,7 +14,8 @@ demo_data/
 resources/dbs/da-db/
 resources/dbs/sequencer-db/
 resources/dbs/full-node-db/
-resources/dbs/prover-db/
+resources/dbs/batch-prover-db/
+resources/dbs/light-client-prover-db/
 resources/bitcoin/inscription_txs/
 /.vscode/*
 

Cargo.toml

@@ -3,13 +3,17 @@ resolver = "2"
 members = [
   # Citrea
   "bin/citrea",
-  "crates/common",
-  "crates/primitives",
-  "crates/pruning",
+  "crates/batch-prover",
   "crates/bitcoin-da",
-  "crates/evm",
+  "crates/citrea-stf",
+  "crates/common",
   "crates/ethereum-rpc",
+  "crates/evm",
   "crates/fullnode",
+  "crates/light-client-prover",
+  "crates/primitives",
+  "crates/prover-services",
+  "crates/pruning",
   "crates/risc0-bonsai",
   "crates/sequencer",
   "crates/sequencer-client",
@@ -102,7 +106,7 @@ rayon = "1.8.0"
 rlimit = "0.10.2"
 rustc_version_runtime = { version = "0.3.0", default-features = false }
 reqwest = { version = "0.12.5", features = ["rustls-tls", "json", "http2"], default-features = false }
-rocksdb = { version = "0.22.0", features = ["lz4"] }
+rocksdb = { version = "0.22.0", features = ["lz4"], default-features = false }
 serde = { version = "1.0.192", default-features = false, features = ["alloc", "derive"] }
 serde_json = { version = "1.0", default-features = false, features = ["alloc"] }
 sha2 = { version = "0.10.8", default-features = false }

Makefile

@@ -19,7 +19,8 @@ clean: ## Cleans compiled
 
 clean-node: ## Cleans local dbs needed for sequencer and nodes
 	rm -rf resources/dbs/sequencer-db
-	rm -rf resources/dbs/prover-db
+	rm -rf resources/dbs/batch-prover-db
+	rm -rf resources/dbs/light-client-prover-db
 	rm -rf resources/dbs/full-node-db
 
 clean-txs:

bin/citrea/Cargo.toml

@@ -14,15 +14,17 @@ resolver = "2"
 [dependencies]
 # Citrea deps
 bitcoin-da = { path = "../../crates/bitcoin-da", features = ["native"] }
+citrea-batch-prover = { path = "../../crates/batch-prover" }
 citrea-common = { path = "../../crates/common" }
 citrea-fullnode = { path = "../../crates/fullnode" }
+citrea-light-client-prover = { path = "../../crates/light-client-prover", features = ["native"] }
 citrea-primitives = { path = "../../crates/primitives" }
-citrea-prover = { path = "../../crates/prover" }
 citrea-risc0 = { package = "risc0", path = "./provers/risc0" }
 citrea-risc0-bonsai-adapter = { path = "../../crates/risc0-bonsai", features = ["native"] }
 citrea-sequencer = { path = "../../crates/sequencer" }
 citrea-stf = { path = "../../crates/citrea-stf", features = ["native"] }
 ethereum-rpc = { path = "../../crates/ethereum-rpc" }
+prover-services = { path = "../../crates/prover-services" }
 sequencer-client = { path = "../../crates/sequencer-client" }
 
 # Sovereign-SDK deps
@@ -86,7 +88,7 @@ rustc_version_runtime = { workspace = true }
 # bitcoin-e2e dependencies
 bitcoin.workspace = true
 bitcoincore-rpc.workspace = true
-citrea-e2e = { git = "https://github.com/chainwayxyz/citrea-e2e", rev = "a96abcf" }
+citrea-e2e = { git = "https://github.com/chainwayxyz/citrea-e2e", branch = "yaziciahmet/light-client-final" }
 
 [features]
 default = [] # Deviate from convention by making the "native" feature active by default. This aligns with how this package is meant to be used (as a binary first, library second).

bin/citrea/provers/risc0/Cargo.toml

@@ -10,7 +10,7 @@ resolver = "2"
 risc0-build = { workspace = true }
 
 [package.metadata.risc0]
-methods = ["guest-mock", "guest-bitcoin"]
+methods = ["guest-mock", "guest-bitcoin", "guest-light-client-bitcoin", "guest-light-client-mock"]
 
 [features]
 bench = []

bin/citrea/provers/risc0/build.rs

@@ -18,8 +18,12 @@ fn main() {
                 let elf = r#"
                 pub const BITCOIN_DA_ELF: &[u8] = &[];
                 pub const MOCK_DA_ELF: &[u8] = &[];
+                pub const LIGHT_CLIENT_BITCOIN_DA_ELF: &[u8] = &[];
+                pub const LIGHT_CLIENT_MOCK_DA_ELF: &[u8] = &[];
                 pub const BITCOIN_DA_ID: [u32; 8] = [0u32; 8];
                 pub const MOCK_DA_ID: [u32; 8] = [0u32; 8];
+                pub const LIGHT_CLIENT_BITCOIN_DA_ID: [u32; 8] = [0u32; 8];
+                pub const LIGHT_CLIENT_MOCK_DA_ID: [u32; 8] = [0u32; 8];
                 "#;
 
                 return std::fs::write(methods_path, elf).expect("Failed to write mock rollup elf");
@@ -74,5 +78,19 @@ fn get_guest_options() -> HashMap<&'static str, risc0_build::GuestOptions> {
             use_docker: use_docker.clone(),
         },
     );
+    guest_pkg_to_options.insert(
+        "citrea-light-client-bitcoin",
+        GuestOptions {
+            features: features.clone(),
+            use_docker: use_docker.clone(),
+        },
+    );
+    guest_pkg_to_options.insert(
+        "citrea-light-client-mock",
+        GuestOptions {
+            features: features.clone(),
+            use_docker: use_docker.clone(),
+        },
+    );
     guest_pkg_to_options
 }