Merge remote-tracking branch 'origin/tamir/v1.3.0-rc2' into scroll-de…

…v-0914

.github/dependabot.yml

@@ -1,13 +1,5 @@
 version: 2
 updates:
-  - package-ecosystem: "cargo"
-    directory: "/"
-    schedule:
-      interval: "weekly"
-    target-branch: "dev"
-    ignore:
-      - dependency-name: "axum"
-        versions: ["> 0.7.4"]
   - package-ecosystem: "docker"
     directory: "/crates/cli/docker"
     schedule:

.github/workflows/pr.yml

@@ -160,6 +160,36 @@ jobs:
           cd ./examples/
           cargo clippy --all-targets --all-features -- -D warnings -A incomplete-features
 
+  tests:
+    name: Tests
+    runs-on: [runs-on, runner=64cpu-linux-x64, "run-id=${{ github.run_id }}"]
+    steps:
+      - name: Checkout sources
+        uses: actions/checkout@v4
+
+      - name: Setup CI
+        uses: ./.github/actions/setup
+
+      - name: Install SP1 toolchain
+        run: |
+          cargo install --locked --path crates/cli
+          cargo prove install-toolchain
+
+      - name: Run cargo fmt
+        run: |
+          cd ./tests/
+          cargo fmt --all -- --check
+
+      - name: Run cargo clippy
+        run: |
+          cd ./tests/
+          cargo clippy --all-targets --all-features -- -D warnings -A incomplete-features
+
+      - name: Build test ELF files
+        run: |
+          cd ./tests/
+          make
+
   cli:
     name: CLI
     runs-on: [runs-on, runner=8cpu-linux-x64, "run-id=${{ github.run_id }}"]

book/why-use-sp1.md

@@ -22,8 +22,6 @@ SP1 is used by protocols in production today:
 
 - [SP1 Blobstream](https://github.com/succinctlabs/sp1-blobstream): A bridge that verifies [Celestia](https://celestia.org/) “data roots” (a commitment to all data blobs posted in a range of Celestia blocks) on Ethereum and other EVM chains.
 - [SP1 Vector](https://github.com/succinctlabs/sp1-vector): A bridge that relays [Avail's](https://www.availproject.org/) merkle root to Ethereum and also functions as a token bridge from Avail to Ethereum.
-- [SP1 Helios](https://github.com/succinctlabs/sp1-helios): A light client bridge of Ethereum's sync committee. This bridge will soon be used by Avail.
-
 
 
 ## 100x developer productivity