diff --git a/.github/workflows/proof_verification_tests.yml b/.github/workflows/proof_verification_tests.yml index 3bf9cbab2..d2fb95781 100644 --- a/.github/workflows/proof_verification_tests.yml +++ b/.github/workflows/proof_verification_tests.yml @@ -9,13 +9,12 @@ on: - main jobs: - verify-proof: + verify-proof-cairo0: runs-on: ubuntu-latest strategy: matrix: - cairo_version: ["cairo0", "cairo1"] - # layout: ["dex", "recursive", "recursive_with_poseidon", "small", "starknet", "starknet_with_keccak"] - layout: ["recursive"] + cairo_version: ["cairo0"] + layout: ["dex", "recursive", "recursive_with_poseidon", "small", "starknet", "starknet_with_keccak"] steps: - name: Checkout repository uses: actions/checkout@v3 @@ -47,3 +46,41 @@ jobs: - name: Run verification run: cargo run --release --bin runner -- -p target/dev/cairo_verifier.sierra.json -c ${{ matrix.cairo_version }} < examples/proofs/${{ matrix.layout }}/${{ matrix.cairo_version }}_example_proof.json + + verify-proof-cairo1: + runs-on: ubuntu-latest + strategy: + matrix: + cairo_version: ["cairo1"] + layout: ["recursive"] + 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: Test project + run: scarb test + + - name: Run verification + run: cargo run --release --bin runner -- -p target/dev/cairo_verifier.sierra.json -c ${{ matrix.cairo_version }} < examples/proofs/${{ matrix.layout }}/${{ matrix.cairo_version }}_example_proof.json \ No newline at end of file