Merge pull request #268 from alpenlabs/EXP-125-l1-batch-proofs

Exp 125 l1 batch proofs
alpenlabs · Sep 16, 2024 · cc59743 · cc59743
2 parents d587d87 + d71304c
commit cc59743
Show file tree

Hide file tree

Showing 95 changed files with 6,531 additions and 528 deletions.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -13,9 +13,14 @@
     ],
     "rust-analyzer.linkedProjects": [
         "Cargo.toml",
-        "proofs/risc0/guest-reth-stf/Cargo.toml",
-        "proofs/risc0/guest-cl-stf/Cargo.toml",
-        "proofs/sp1/guest-reth-stf/Cargo.toml",
+        "provers/risc0/guest-btc-blockspace/Cargo.toml",
+        "provers/risc0/guest-evm-ee-stf/Cargo.toml",
+        "provers/risc0/guest-cl-stf/Cargo.toml",
+        "provers/risc0/guest-l1-batch/Cargo.toml",
+        "provers/sp1/guest-btc-blockspace/Cargo.toml",
+        "provers/sp1/guest-evm-ee-stf/Cargo.toml",
+        "provers/sp1/guest-cl-stf/Cargo.toml",
+        "provers/sp1/guest-l1-batch/Cargo.toml",
     ],
     "rust-analyzer.diagnostics.enable": true,
     // "rust-analyzer.cargo.features": [
@@ -64,4 +69,4 @@
         "**/.vscode/**"
     ],
     "todohighlight.maxFilesForSearch": 5120
-}
+}
diff --git a/Cargo.lock b/Cargo.lock