Bump Stwo (#2880)

Bump nightly version

Add bootloader script

Update prove & verify impl

Support passing arguments in bootloader execution

Migrate fsx to utils crates

Remove unused dep

Fix nightly clippy

Run stwo tests serially

Run stwo doc tests in nightly

Refactor execute tests

Allow saving profiler trace data with output=none

Fix deps

Set default argument values

Update cairo

Add warning on allow-syscalls execution

Author: maciektr

.config/nextest.toml

@@ -0,0 +1,9 @@
+[test-groups]
+sequential = { max-threads = 1 }
+
+[[profile.default.overrides]]
+# Tests starting with `sequential_` will be run sequentially, i.e., one after another.
+# This may be useful when your tests use a lot of resources, like RAM (e.g., for proving with stwo prover).
+# You can list matched test cases with `cargo nextest show-config test-groups`.
+filter = 'test(sequential_)'
+test-group = 'sequential'

.github/workflows/_build-release.yml

@@ -29,7 +29,7 @@ on:
 
 env:
   # TODO(#1915): Use stable toolchain once stwo is stable.
-  RUST_NIGHTLY_TOOLCHAIN: "nightly-2025-02-13"
+  RUST_NIGHTLY_TOOLCHAIN: "nightly-2025-07-14"
 
 jobs:
   build:

.github/workflows/_check-release.yml

@@ -22,7 +22,7 @@ on:
 
 env:
   # TODO(#1915): Use stable toolchain once stwo is stable.
-  RUST_NIGHTLY_TOOLCHAIN: "nightly-2025-02-13"
+  RUST_NIGHTLY_TOOLCHAIN: "nightly-2025-07-14"
 
 jobs:
   test:

.github/workflows/ci.yml

@@ -14,7 +14,7 @@ concurrency:
 
 env:
   # TODO(#1915): Use stable toolchain once stwo is stable.
-  RUST_NIGHTLY_TOOLCHAIN: "nightly-2025-02-13"
+  RUST_NIGHTLY_TOOLCHAIN: "nightly-2025-07-14"
 
 jobs:
   setup-matrix:
@@ -109,7 +109,12 @@ jobs:
       - uses: dtolnay/rust-toolchain@stable
       - uses: Swatinem/rust-cache@v2
       - name: run tests
-        run: cargo test --doc
+        run: cargo test --doc --workspace --exclude scarb-prove --exclude scarb-verify --exclude scarb-execute
+      - uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: ${{ env.RUST_NIGHTLY_TOOLCHAIN }}
+      - name: run nightly tests
+        run: cargo test --doc -p scarb-prove -p scarb-verify -p scarb-execute
 
   scarb-metadata-compatibility:
     name: scarb-metadata compatibility check