Add is_in_subgroup for G2 and make G2 ops generic.

.cargo/config.toml

@@ -0,0 +1,2 @@
+[build]
+target-dir = ".cargo/garaga_rs/target"

.github/scripts/declare_maintained_contracts.py

@@ -73,6 +73,6 @@ async def declare_contract_from_path_both_networks(path: Path, fee: Fee):
 
     asyncio.run(
         declare_contract_from_path_both_networks(
-            Path("src/contracts/risc0_verifier_bn254"), Fee.STRK
+            Path("src/contracts/autogenerated/risc0_verifier_bn254"), Fee.STRK
         )
     )

.github/workflows/cairo.yml

@@ -16,18 +16,44 @@ jobs:
       - id: skip_check
         uses: fkirc/skip-duplicate-actions@v5
         with:
-          concurrent_skipping: 'same_content_newer'
+          concurrent_skipping: 'never'
+          paths: '["src/**"]'
 
 
   test-cairo:
     needs: pre_job
     if: needs.pre_job.outputs.should_skip != 'true'
     runs-on: ubuntu-latest
     steps:
-      - uses: actions/checkout@v3
-      - uses: software-mansion/setup-scarb@v1
+      # Checkout the repository
+      - name: Checkout
+        uses: actions/checkout@v3
+
+      - name: Setup Starknet Foundry
+        uses: foundry-rs/setup-snfoundry@v4
+      - name: Setup Scarb
+        uses: software-mansion/setup-scarb@v1
         with:
-          scarb-version: "2.9.1"
-      - run: scarb fmt --check
+          scarb-lock: ./src/Scarb.lock
+
+      - name: Run scarb fmt check in src
+        working-directory: src/
+        run: scarb fmt --check
+      - name: Run scarb test in src
         working-directory: src/
-      - run: cd src/ && scarb test
+        run: scarb test
+
+      - name: Run scarb fmt check in mutator_set
+        working-directory: src/contracts/mutator_set
+        run: scarb fmt --check
+      - name: Run snforge test in mutator_set
+        working-directory: src/contracts/mutator_set
+        run: snforge test
+
+      - name: Run scarb fmt check in risc0_sample_app
+        working-directory: src/contracts/risc0_sample_app/fibonacci_sequencer
+        run: scarb fmt --check
+      # Conflicting with the e2e test : we don't want to dedeploy the verifier at each commit.
+      # - name: Run snforge test in risc0_sample_app
+      #   working-directory: src/contracts/risc0_sample_app/fibonacci_sequencer
+      #   run: snforge test

.github/workflows/e2e.yml

@@ -16,7 +16,8 @@ jobs:
       - id: skip_check
         uses: fkirc/skip-duplicate-actions@v5
         with:
-          concurrent_skipping: 'same_content_newer'
+          concurrent_skipping: 'never'
+          paths_ignore: '["**/README.md", "**/docs/**"]'
 
   devnet-test:
     needs: pre_job
@@ -32,18 +33,18 @@ jobs:
       - name: Set up Rust
         uses: actions-rs/toolchain@v1
         with:
-          toolchain: stable
+          toolchain: 1.81.0
           override: true
           profile: minimal
       - name: Setup Scarb
         uses: software-mansion/setup-scarb@v1
         with:
-          scarb-version: "2.9.1"
+          scarb-version: "2.11.2"
       - name: Install dependencies
         run: make setup
 
       - name: Install devnet
         run: ./tests/contracts_e2e/install_devnet.sh
 
       - name: Run tests
-        run: source venv/bin/activate && pytest -s -x tests/contracts_e2e/e2e_test.py
+        run: source venv/bin/activate && pytest -n auto -s -x tests/contracts_e2e/e2e_test.py

.github/workflows/hydra.yml

@@ -16,7 +16,9 @@ jobs:
       - id: skip_check
         uses: fkirc/skip-duplicate-actions@v5
         with:
-          concurrent_skipping: 'same_content_newer'
+          concurrent_skipping: 'never'
+          paths_ignore: '["**/README.md", "**/docs/**"]'
+
 
   test-hydra:
     needs: pre_job
@@ -54,7 +56,7 @@ jobs:
       - name: Set up Scarb
         uses: software-mansion/setup-scarb@v1
         with:
-          scarb-version: "2.9.1"
+          scarb-version: "2.11.2"
       - name: Run make rewrite and check for unstaged changes
         run: |
           source venv/bin/activate

.github/workflows/maturin.yml

@@ -1,19 +1,30 @@
 name: CI
 on:
   push:
-    branches:
-      - main
-      - master
     tags:
       - '*'
-  pull_request:
   workflow_dispatch:
 
 permissions:
   contents: read
 
 jobs:
+  pre_job:
+    # continue-on-error: true # Uncomment once integration is finished
+    runs-on: ubuntu-latest
+    # Map a step output to a job output
+    outputs:
+      should_skip: ${{ steps.skip_check.outputs.should_skip }}
+    steps:
+      - id: skip_check
+        uses: fkirc/skip-duplicate-actions@v5
+        with:
+          concurrent_skipping: 'never'
+          paths_ignore: '["**/README.md", "**/docs/**"]'
+
   linux:
+    needs: pre_job
+    if: needs.pre_job.outputs.should_skip != 'true'
     runs-on: ${{ matrix.platform.runner }}
     strategy:
       matrix:
@@ -49,6 +60,8 @@ jobs:
           path: dist
 
   musllinux:
+    needs: pre_job
+    if: needs.pre_job.outputs.should_skip != 'true'
     runs-on: ${{ matrix.platform.runner }}
     strategy:
       matrix:
@@ -80,6 +93,8 @@ jobs:
           path: dist
 
   windows:
+    needs: pre_job
+    if: needs.pre_job.outputs.should_skip != 'true'
     runs-on: ${{ matrix.platform.runner }}
     strategy:
       matrix:
@@ -107,6 +122,8 @@ jobs:
           path: dist
 
   macos:
+    needs: pre_job
+    if: needs.pre_job.outputs.should_skip != 'true'
     runs-on: ${{ matrix.platform.runner }}
     strategy:
       matrix:
@@ -133,6 +150,8 @@ jobs:
           path: dist
 
   sdist:
+    needs: pre_job
+    if: needs.pre_job.outputs.should_skip != 'true'
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
@@ -164,7 +183,7 @@ jobs:
 
       - uses: software-mansion/setup-scarb@v1
         with:
-          scarb-version: "2.9.1"
+          scarb-version: "2.11.2"
       - name: Set up Python 3.10
         uses: actions/setup-python@v5
         with:

.github/workflows/node.yml

@@ -11,7 +11,22 @@ on:
   workflow_dispatch:
 
 jobs:
+  pre_job:
+    # continue-on-error: true # Uncomment once integration is finished
+    runs-on: ubuntu-latest
+    # Map a step output to a job output
+    outputs:
+      should_skip: ${{ steps.skip_check.outputs.should_skip }}
+    steps:
+      - id: skip_check
+        uses: fkirc/skip-duplicate-actions@v5
+        with:
+          concurrent_skipping: 'never'
+          paths: '["tools/**"]'
+
   npm-test:
+    needs: pre_job
+    if: needs.pre_job.outputs.should_skip != 'true'
     name: NPM Test
     runs-on: ubuntu-latest
     steps:

.github/workflows/wasm.yml

@@ -11,8 +11,23 @@ on:
   workflow_dispatch:
 
 jobs:
-  test:
-    name: Test
+  pre_job:
+    # continue-on-error: true # Uncomment once integration is finished
+    runs-on: ubuntu-latest
+    # Map a step output to a job output
+    outputs:
+      should_skip: ${{ steps.skip_check.outputs.should_skip }}
+    steps:
+      - id: skip_check
+        uses: fkirc/skip-duplicate-actions@v5
+        with:
+          concurrent_skipping: 'never'
+          paths: '["tools/**"]'
+
+  test-wasm:
+    needs: pre_job
+    if: needs.pre_job.outputs.should_skip != 'true'
+    name: test-wasm
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
@@ -23,10 +38,12 @@ jobs:
       - run: cargo install wasm-pack
       - name: Run wasm specific tests
         working-directory: tools/garaga_rs
-        run: wasm-pack test --node --release --no-default-features
+        run: RUSTFLAGS='--cfg getrandom_backend="wasm_js"' wasm-pack test --node --release --no-default-features
 
-  build:
-    name: Build
+  build-wasm:
+    needs: pre_job
+    if: needs.pre_job.outputs.should_skip != 'true'
+    name: build-wasm
     runs-on: ubuntu-latest
     steps:
       - uses: actions/checkout@v4
@@ -44,9 +61,10 @@ jobs:
           if-no-files-found: error
 
   test-integration:
-    name: Test integration
+    needs: [pre_job, build-wasm]
+    if: needs.pre_job.outputs.should_skip != 'true'
+    name: test-integration
     runs-on: ubuntu-latest
-    needs: [build]
     steps:
       - uses: actions/checkout@v4
       - uses: actions/setup-node@v4
@@ -56,7 +74,7 @@ jobs:
         run: |
           sudo apt-get update
           sudo apt-get install -y \
-            libnss3 libxss1 libasound2 libatk-bridge2.0-0 libatk1.0-0 \
+            libnss3 libxss1 libasound2t64 libatk-bridge2.0-0 libatk1.0-0 \
             libcups2 libxcomposite1 libxdamage1 libxrandr2 libgbm1 \
             libpango-1.0-0 libpangocairo-1.0-0 libpangoft2-1.0-0 libgtk-3-0
       - name: Download package file as artifact
@@ -77,7 +95,7 @@ jobs:
     name: Release
     runs-on: ubuntu-latest
     if: "startsWith(github.ref, 'refs/tags/')"  # Only run on tag pushes
-    needs: [build, test, test-integration]
+    needs: [build-wasm, test-wasm, test-integration]
     steps:
       - uses: actions/checkout@v4
       - name: Set up Rust
@@ -90,7 +108,7 @@ jobs:
 
       - uses: software-mansion/setup-scarb@v1
         with:
-          scarb-version: "2.9.1"
+          scarb-version: "2.11.2"
       - name: Set up Python 3.10.14
         uses: actions/setup-python@v5
         with:

.gitignore

@@ -2,6 +2,7 @@
 !*_input.json
 !*Proof.json
 !frobenius_*.json
+!*test_vectors.json
 __pycache__
 venv
 *.env
@@ -27,5 +28,5 @@ tests/contracts_e2e/devnet/*
 
 !hydra/garaga/starknet/groth16_contract_generator/examples/*.json
 
-
+*snfoundry_cache
 !tools/npm/garaga_rs/*.json

.tool-versions

@@ -0,0 +1 @@
+scarb 2.11.2