newer runner & ci split

.github/workflows/full.yml

@@ -0,0 +1,60 @@
+name: Continuous Integration - full testing
+
+on:
+  push:
+    branches:
+      - main
+  pull_request:
+    branches:
+      - main
+
+jobs:
+  formatting-and-testing:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v3
+
+      - name: Setup Scarb
+        uses: software-mansion/setup-scarb@v1
+
+      - name: Format code
+        run: scarb fmt --check
+
+      - name: Run tests
+        run: scarb test
+
+  verify-layout:
+    needs: formatting-and-testing
+    runs-on: ubuntu-latest
+    strategy:
+      matrix:
+        layout: ["dex", "recursive", "recursive_with_poseidon", "small", "starknet"]
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v3
+
+      - name: Setup Scarb
+        uses: software-mansion/setup-scarb@v1
+
+      - name: Setup Rust toolchain
+        uses: actions-rust-lang/setup-rust-toolchain@v1
+
+      - name: Setup Python
+        uses: actions/setup-python@v2
+        with:
+          python-version: '3.10'
+
+      - name: Install dependencies
+        run: |
+          python -m pip install --upgrade pip
+          pip install -r requirements.txt
+      
+      - name: Configure layout
+        run: python configure.py -l ${{ matrix.layout }} -s keccak
+
+      - name: Build project
+        run: scarb build
+
+      - name: Run verification
+        run: cargo run --release --bin runner -- target/dev/cairo_verifier.sierra.json < examples/proofs/${{ matrix.layout }}/example_proof.json

.github/workflows/partial.yml

@@ -0,0 +1,21 @@
+name: Continuous Integration - partial testing
+
+on:
+  push:
+  pull_request:
+
+jobs:
+  formatting-and-testing:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout repository
+        uses: actions/checkout@v3
+
+      - name: Setup Scarb
+        uses: software-mansion/setup-scarb@v1
+
+      - name: Format code
+        run: scarb fmt --check
+
+      - name: Run tests
+        run: scarb test

.tool-versions

@@ -1 +1,2 @@
-scarb 2.6.0
+scarb nightly-2024-03-16 
+starknet-foundry 0.20.0

Cargo.toml

@@ -9,10 +9,10 @@ version = "0.1.0"
 [workspace.dependencies]
 anyhow = "1"
 cairo-felt = "0.9"
-cairo-lang-casm = "=2.6.0"
-cairo-lang-runner = "=2.6.0"
-cairo-lang-sierra = "=2.6.0"
-cairo-lang-utils = "=2.6.0"
+cairo-lang-casm = { git = "https://github.com/starkware-libs/cairo/" }
+cairo-lang-runner = { git = "https://github.com/starkware-libs/cairo/" }
+cairo-lang-sierra = { git = "https://github.com/starkware-libs/cairo/" }
+cairo-lang-utils = { git = "https://github.com/starkware-libs/cairo/" }
 cairo-proof-parser = { git = "https://github.com/Okm165/cairo-proof-parser" }
 cairo-vm = "=0.9.2"
 clap = { version = "4.5.2", features = ["derive"] }

runner/src/main.rs

@@ -58,7 +58,7 @@ fn main() -> anyhow::Result<()> {
     let result = runner
         .run_function_with_starknet_context(
             func,
-            &[Arg::Array(proof.to_vec())],
+            &[Arg::Array(proof.into_iter().map(Arg::Value).collect_vec())],
             Some(u32::MAX as usize),
             Default::default(),
         )