Merge pull request #40 from gnosisguild/trbfv-bfv

PVSS (no aggregation)

Author: 0xjei

.github/workflows/ci.yml

@@ -8,49 +8,42 @@ on:
       - main
 
 jobs:
-  rust:
-    name: Rust CI
+  noir:
+    name: lib
     runs-on: ubuntu-latest
     defaults:
       run:
-        working-directory: crates
+        working-directory: lib
     steps:
       - uses: actions/checkout@v4
 
-      - name: Install Rust 1.85.0
-        uses: actions-rs/toolchain@v1
-        with:
-          toolchain: 1.85.0
-          components: rustfmt
-          override: true
-
-      - name: Rust Cache
-        uses: Swatinem/rust-cache@v2
+      - name: Install Nargo
+        uses: noir-lang/noirup@v0.1.4
         with:
-          workspaces: crates -> target
+          toolchain: v1.0.0-beta.15
 
-      - name: Check formatting
-        run: cargo fmt --all -- --check
+      - name: Check Noir formatting
+        run: nargo fmt --check
 
-      - name: Run tests
-        run: cargo test
+      - name: Build Noir project
+        run: nargo check
 
-      - name: Build
-        run: cargo build --release
+      - name: Run Noir tests
+        run: nargo test
 
-  noir:
-    name: Noir CI
+  noir-bin-insecure:
+    name: bin/insecure
     runs-on: ubuntu-latest
     defaults:
       run:
-        working-directory: circuits
+        working-directory: bin/insecure
     steps:
       - uses: actions/checkout@v4
 
       - name: Install Nargo
-        uses: noir-lang/noirup@v0.1.3
+        uses: noir-lang/noirup@v0.1.4
         with:
-          toolchain: stable
+          toolchain: v1.0.0-beta.15
 
       - name: Check Noir formatting
         run: nargo fmt --check
@@ -61,61 +54,25 @@ jobs:
       - name: Run Noir tests
         run: nargo test
 
-  noir-examples:
-    name: Noir Example
+  noir-bin-production:
+    name: bin/production
     runs-on: ubuntu-latest
-    timeout-minutes: 30
     defaults:
       run:
-        working-directory: examples
+        working-directory: bin/production
     steps:
       - uses: actions/checkout@v4
 
-      - name: Install Rust 1.85.0
-        uses: actions-rs/toolchain@v1
-        with:
-          toolchain: 1.85.0
-          override: true
-
       - name: Install Nargo
         uses: noir-lang/noirup@v0.1.4
         with:
-          toolchain: stable
-
-      - name: Install bbup (Barretenberg)
-        run: |
-          curl -L https://raw.githubusercontent.com/AztecProtocol/aztec-packages/refs/heads/master/barretenberg/bbup/install | bash
-          echo "$HOME/.bb" >> $GITHUB_PATH
-          export PATH="$HOME/.bb:$PATH"
-          bbup
-          bb --version
-
-      - name: Increase swapfile
-        run: |
-          sudo swapoff -a
-          sudo fallocate -l 15G /swapfile
-          sudo chmod 600 /swapfile
-          sudo mkswap /swapfile
-          sudo swapon /swapfile
-          sudo swapon --show
-
-      - name: Compile example circuit
-        working-directory: examples/pk_circuit
-        run: nargo compile
-
-      - name: Execute example circuit
-        working-directory: examples/pk_circuit
-        run: nargo execute
-
-      - name: Generate proof
-        working-directory: examples/pk_circuit
-        run: bb prove -b ./target/pk_circuit.json -w ./target/pk_circuit.gz -o ./target
-
-      - name: Generate verification key
-        working-directory: examples/pk_circuit
-        run: bb write_vk -b ./target/pk_circuit.json -o ./target
-
-      - name: Verify proof
-        working-directory: examples/pk_circuit
-        run: bb verify -k ./target/vk -p ./target/proof
-        continue-on-error: false
+          toolchain: v1.0.0-beta.15
+
+      - name: Check Noir formatting
+        run: nargo fmt --check
+
+      - name: Build Noir project
+        run: nargo check
+
+      - name: Run Noir tests
+        run: nargo test

.gitignore

@@ -1,4 +1,6 @@
 target
+out
 Prover.toml
-!examples/**/Prover.toml
-**/output/**/constants.nr
+benchmarks/results_production/raw
+benchmarks/results_insecure/raw
+.DS_Store