sha256 builtin

.github/workflows/cairo-ci.yaml

@@ -61,7 +61,7 @@ jobs:
         uses: Swatinem/rust-cache@v2
         with:
           workspaces: stwo_cairo_prover
-      - run: cargo nextest run --cargo-profile witness-opt-1 --features=slow-tests,std -j 1 -P ci
+      - run: cargo nextest run --cargo-profile witness-opt-1 --features=slow-tests -j 1 -P ci
         env:
           RUST_MIN_STACK: 4194304
           RUSTFLAGS: -C target-cpu=native
@@ -94,6 +94,37 @@ jobs:
           workspaces: cairo-prove
       - run: ./scripts/test_flow.sh
 
+  cairo-prover-wasm:
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        working-directory: ./stwo_cairo_prover
+    steps:
+      - uses: actions/checkout@v3
+      - uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: nightly-2025-07-14
+          targets: x86_64-unknown-linux-gnu
+          components: rust-src
+      - uses: Swatinem/rust-cache@v2
+      - name: Build stwo_cairo_prover for wasm64
+        run: RUSTFLAGS='--cfg getrandom_backend="custom"' cargo check --target wasm64-unknown-unknown -Z build-std=std,panic_abort --package stwo_cairo_prover --release 
+
+  cairo-air-wasm:
+    runs-on: ubuntu-latest
+    defaults:
+      run:
+        working-directory: ./stwo_cairo_prover
+    steps:
+      - uses: actions/checkout@v3
+      - uses: dtolnay/rust-toolchain@master
+        with:
+          toolchain: nightly-2025-07-14
+          targets: wasm32-unknown-unknown
+      - uses: Swatinem/rust-cache@v2
+      - name: Build cairo-air for wasm32
+        run: cargo check --package cairo-air --no-default-features --target wasm32-unknown-unknown --release
+
   format:
     runs-on: ubuntu-latest
     defaults: