Merge branch 'master' into remove-unnecessary-range-constraint

* master: (47 commits) fix: Initialize structs during def collection, not name resolution (#2528) feat: Apply optimizations to unconstrained code (#2348) chore(ci): Distinguish between expected failures and compiler panics in `compile_failure` tests. (#2518) chore: improve types in `acvm-backend-barretenberg` (#2516) feat(aztec_noir): abstract kernel return types (#2521) chore: remove usage of `Backend` trait (#2514) chore: delete `ProveAndVerifyCommand` (#2520) chore: Remove dead code from `acvm_backend_barretenberg` (#2512) chore: only install `tokio-util` dependency on windows (#2425) chore(aztec_noir): imply the open keyword (#2508) chore: pull `acvm-backend-barretenberg` into main Noir repo (#2495) chore: clippy fix (#2507) chore: check if the noir aztec library is installed (#2505) chore: update ACIR artifacts (#2503) chore!: Update to `acvm-backend-barretenberg` v0.12.0 (#2377) fix: Bring back accidentally deleted double_verify_proof test. (#2501) chore(aztec_noir): import aztec library if not found yet (#2492) chore(abi)!: Replace struct name with fully qualified struct path (#2374) chore!: Remove keys from preprocessed artifacts (#2283) chore(noir): Release 0.10.5 (#2482) ...
noir-lang · Sep 1, 2023 · 38bcbeb · 38bcbeb
2 parents 92a28e3 + f170529
commit 38bcbeb
Show file tree

Hide file tree

Showing 436 changed files with 8,097 additions and 2,034 deletions.
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -7,6 +7,9 @@ on:
       tag:
         description: The tag to build Nargo from (leave empty to build a nightly release from master)
         required: false
+      features:
+        description: Extra feature flags to release with
+        required: false
       publish:
         description: Whether to publish the build artifacts
         type: boolean
@@ -22,43 +25,7 @@ permissions:
   contents: write
 
 jobs:
-  build-barretenberg:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v3
-        with:
-          ref: ${{ inputs.tag || env.GITHUB_REF }}
-
-      - name: Collect locked barretenberg rev
-        run: |
-          echo "BB_REV=$(jq -r .nodes.barretenberg.locked.rev ./flake.lock)" >> $GITHUB_ENV
-
-      - uses: cachix/install-nix-action@v20
-        with:
-          nix_path: nixpkgs=channel:nixos-22.11
-          github_access_token: ${{ secrets.GITHUB_TOKEN }}
-
-      - uses: cachix/cachix-action@v12
-        with:
-          name: barretenberg
-
-      # Upload does not work with symlinks, using this workaround:
-      # https://github.com/actions/upload-artifact/issues/92#issuecomment-1080347032
-      - name: Build barretenberg as libbarretenberg-wasm32
-        run: |
-          nix build "github:AztecProtocol/barretenberg/${{ env.BB_REV }}#wasm32"
-          echo "ARTIFACT_UPLOAD_PATH=$(readlink -f result)" >> $GITHUB_ENV
-
-      - name: Upload artifact
-        uses: actions/upload-artifact@v3
-        with:
-          name: libbarretenberg-wasm32
-          path: ${{ env.ARTIFACT_UPLOAD_PATH }}
-          retention-days: 3
-
   build-apple-darwin:
-    needs: [build-barretenberg]
     runs-on: macos-latest
     env:
       CROSS_CONFIG: ${{ github.workspace }}/.github/Cross.toml
@@ -91,22 +58,14 @@ jobs:
           path: ${{ env.CACHED_PATHS }}
           key: ${{ matrix.target }}-cargo-${{ hashFiles('**/Cargo.lock') }}
 
-      - name: Download artifact
-        uses: actions/download-artifact@v3
-        with:
-          name: libbarretenberg-wasm32
-          path: ${{ github.workspace }}/libbarretenberg-wasm32
-
       - name: Setup toolchain
         uses: dtolnay/rust-toolchain@1.66.0
         with:
           targets: ${{ matrix.target }}
 
       - name: Build environment and Compile
-        env:
-          BARRETENBERG_BIN_DIR: ${{ github.workspace }}/libbarretenberg-wasm32/bin
         run: |
-          cargo build --package nargo_cli --release --target ${{ matrix.target }} --no-default-features --features plonk_bn254_wasm
+          cargo build --package nargo_cli --release --target ${{ matrix.target }} --no-default-features --features "${{ inputs.features }}"
 
       - uses: actions/cache/save@v3
         # Don't create cache entries for the merge queue.
@@ -149,7 +108,6 @@ jobs:
           tag: ${{ inputs.tag || 'nightly' }} # This will fail if `inputs.tag` is not a tag (e.g. testing a branch)
 
   build-linux:
-    needs: [build-barretenberg]
     runs-on: ubuntu-22.04
     env:
       CROSS_CONFIG: ${{ github.workspace }}/.github/Cross.toml
@@ -166,8 +124,6 @@ jobs:
           [
             x86_64-unknown-linux-gnu,
             x86_64-unknown-linux-musl,
-            aarch64-unknown-linux-gnu,
-            aarch64-unknown-linux-musl,
           ]
 
     steps:
@@ -182,23 +138,15 @@ jobs:
           path: ${{ env.CACHED_PATHS }}
           key: ${{ matrix.target }}-cargo-${{ hashFiles('**/Cargo.lock') }}
 
-      - name: Download artifact
-        uses: actions/download-artifact@v3
-        with:
-          name: libbarretenberg-wasm32
-          path: ${{ github.workspace }}/libbarretenberg-wasm32
-
       - name: Setup toolchain
         uses: dtolnay/rust-toolchain@1.66.0
         with:
           targets: ${{ matrix.target }}
 
       - name: Build Nargo
-        env:
-          BARRETENBERG_BIN_DIR: ${{ github.workspace }}/libbarretenberg-wasm32/bin
         run: |
           cargo install cross --version 0.2.5 --force 
-          cross build --package nargo_cli --release --target=${{ matrix.target }} --no-default-features --features plonk_bn254_wasm
+          cross build --package nargo_cli --release --target=${{ matrix.target }} --no-default-features --features "${{ inputs.features }}"
 
       - uses: actions/cache/save@v3
         # Don't create cache entries for the merge queue.
@@ -239,87 +187,3 @@ jobs:
           asset_name: nargo-${{ matrix.target }}.tar.gz
           overwrite: true
           tag: ${{ inputs.tag || 'nightly' }} # This will fail if `inputs.tag` is not a tag (e.g. testing a branch)
-
-  build-windows:
-    needs: [build-barretenberg]
-    runs-on: windows-2022
-    env:
-      CROSS_CONFIG: ${{ github.workspace }}/.github/Cross.toml
-      CACHED_PATHS: |
-        ~/.cargo/bin/
-        ~/.cargo/registry/index/
-        ~/.cargo/registry/cache/
-        ~/.cargo/git/db/
-        target/
-    strategy:
-      matrix:
-        target: [x86_64-pc-windows-msvc]
-
-    steps:
-      - name: Checkout
-        uses: actions/checkout@v3
-        with:
-          ref: ${{ inputs.tag || env.GITHUB_REF }}
-
-      - uses: actions/cache/restore@v3
-        id: cache
-        with:
-          path: ${{ env.CACHED_PATHS }}
-          key: ${{ matrix.target }}-cargo-${{ hashFiles('**/Cargo.lock') }}
-
-      - name: Download artifact
-        uses: actions/download-artifact@v3
-        with:
-          name: libbarretenberg-wasm32
-          path: ${{ github.workspace }}/libbarretenberg-wasm32
-
-      - name: Setup toolchain
-        uses: dtolnay/rust-toolchain@1.66.0
-        with:
-          targets: ${{ matrix.target }}
-
-      - name: Build environment and Compile
-        env:
-          BARRETENBERG_BIN_DIR: ${{ github.workspace }}/libbarretenberg-wasm32/bin
-        run: |
-          cargo build --package nargo_cli --release --target ${{ matrix.target }} --no-default-features --features plonk_bn254_wasm
-
-      - uses: actions/cache/save@v3
-        # Don't create cache entries for the merge queue.
-        if: ${{ steps.cache.outputs.cache-hit != 'true' && github.event_name != 'merge_group' }}
-        with:
-          path: ${{ env.CACHED_PATHS }}
-          key: ${{ steps.cache.outputs.cache-primary-key }}
-
-      - name: Package artifacts
-        run: |
-          mkdir dist
-          cp ./target/${{ matrix.target }}/release/nargo.exe ./dist/nargo.exe
-          7z a -tzip nargo-${{ matrix.target }}.zip ./dist/*
-
-      - name: Upload artifact
-        uses: actions/upload-artifact@v3
-        with:
-          name: nargo-${{ matrix.target }}
-          path: ./dist/*
-          retention-days: 3
-
-      - name: Test built artifact
-        shell: powershell
-        run: |
-          cp ./target/${{ matrix.target }}/release/nargo.exe ~/.cargo/bin/
-
-          cd release-tests
-          yarn install
-          yarn test
-
-      - name: Upload binaries to release tag
-        uses: svenstaro/upload-release-action@v2
-        if: ${{ inputs.publish || github.event_name == 'schedule' }}
-        with:
-          repo_name: noir-lang/noir
-          repo_token: ${{ secrets.GITHUB_TOKEN }}
-          file: ./nargo-${{ matrix.target }}.zip
-          asset_name: nargo-${{ matrix.target }}.zip
-          overwrite: true
-          tag: ${{ inputs.tag || 'nightly' }} # This will fail if `inputs.tag` is not a tag (e.g. testing a branch)
diff --git a/.github/workflows/test.yml b/.github/workflows/test.yml
@@ -15,58 +15,43 @@ jobs:
     runs-on: ${{ matrix.runner }}
     timeout-minutes: 30
     env:
-      CACHED_PATH: /tmp/nix-cache
+      CACHED_PATHS: |
+        ~/.cargo/bin/
+        ~/.cargo/registry/index/
+        ~/.cargo/registry/cache/
+        ~/.cargo/git/db/
+        target/
 
     strategy:
       fail-fast: false
       matrix:
         include:
           - os: ubuntu
             runner: ubuntu-latest
-            target: x86_64-linux
+            target: x86_64-unknown-linux-gnu
 
     steps:
       - name: Checkout
         uses: actions/checkout@v3
 
-      - uses: cachix/install-nix-action@v22
-        with:
-          nix_path: nixpkgs=channel:nixos-22.11
-          github_access_token: ${{ secrets.GITHUB_TOKEN }}
-
-      - uses: cachix/cachix-action@v12
-        with:
-          name: barretenberg
-
       - name: Restore nix store cache
         uses: actions/cache/restore@v3
         id: cache
         with:
-          path: ${{ env.CACHED_PATH }}
+          path: ${{ env.CACHED_PATHS }}
           key: ${{ runner.os }}-flake-${{ hashFiles('*.lock') }}
 
-      # Based on https://github.com/marigold-dev/deku/blob/b5016f0cf4bf6ac48db9111b70dd7fb49b969dfd/.github/workflows/build.yml#L26
-      - name: Copy cache into nix store
-        if: steps.cache.outputs.cache-hit == 'true'
-        # We don't check the signature because we're the one that created the cache
-        run: |
-          for narinfo in ${{ env.CACHED_PATH }}/*.narinfo; do
-            path=$(head -n 1 "$narinfo" | awk '{print $2}')
-            nix copy --no-check-sigs --from "file://${{ env.CACHED_PATH }}" "$path"
-          done
-
-      - name: Run `nix flake check`
-        run: |
-          nix flake check -L
+      - name: Setup toolchain
+        uses: dtolnay/rust-toolchain@1.66.0
+        with:
+          targets: ${{ matrix.target }}
 
-      - name: Export cache from nix store
-        if: ${{ always() && steps.cache.outputs.cache-hit != 'true' && github.event_name != 'merge_group' }}
-        run: |
-          nix copy --to "file://${{ env.CACHED_PATH }}?compression=zstd&parallel-compression=true" .#native-cargo-artifacts
+      - name: Run tests
+        run: cargo test --workspace --locked --release
 
       - uses: actions/cache/save@v3
         # Write a cache entry even if the tests fail but don't create any for the merge queue.
         if: ${{ always() && steps.cache.outputs.cache-hit != 'true' && github.event_name != 'merge_group' }}
         with:
-          path: ${{ env.CACHED_PATH }}
+          path: ${{ env.CACHED_PATHS }}
           key: ${{ steps.cache.outputs.cache-primary-key }}
diff --git a/.github/workflows/wasm.yml b/.github/workflows/wasm.yml
@@ -9,45 +9,7 @@ concurrency:
   cancel-in-progress: true
 
 jobs:
-  # TODO: Replace this step with downloading a wasm binary from a set release of Barretenberg
-  build-barretenberg:
-    runs-on: ubuntu-latest
-    steps:
-      - name: Checkout Noir repo
-        uses: actions/checkout@v3
-
-      - name: Collect locked barretenberg rev
-        run: |
-          echo "BB_REV=$(jq -r .nodes.barretenberg.locked.rev ./flake.lock)" >> $GITHUB_ENV
-          echo "BB_REV is ${{ env.BB_REV }}"
-
-      - uses: cachix/install-nix-action@v20
-        with:
-          nix_path: nixpkgs=channel:nixos-22.11
-          github_access_token: ${{ secrets.GITHUB_TOKEN }}
-
-      - uses: cachix/cachix-action@v12
-        with:
-          name: barretenberg
-          authToken: "${{ secrets.CACHIX_AUTH_TOKEN }}"
-
-      # Upload does not work with symlinks, using this workaround:
-      # https://github.com/actions/upload-artifact/issues/92#issuecomment-1080347032
-      - name: Build barretenberg as libbarretenberg-wasm32
-        run: |
-          echo "BB_REV is ${{ env.BB_REV }}"
-          nix build "github:AztecProtocol/barretenberg/${{ env.BB_REV }}#wasm32"
-          echo "ARTIFACT_UPLOAD_PATH=$(readlink -f result)" >> $GITHUB_ENV
-
-      - name: Upload artifact
-        uses: actions/upload-artifact@v3
-        with:
-          name: libbarretenberg-wasm32
-          path: ${{ env.ARTIFACT_UPLOAD_PATH }}
-          retention-days: 3
-
   build-nargo:
-    needs: [build-barretenberg]
     runs-on: ubuntu-22.04
     env:
       CACHED_PATHS: |
@@ -67,24 +29,15 @@ jobs:
           path: ${{ env.CACHED_PATHS }}
           key: ${{ runner.os }}-cargo-${{ hashFiles('**/Cargo.lock') }}
 
-      - name: Download artifact
-        uses: actions/download-artifact@v3
-        with:
-          name: libbarretenberg-wasm32
-          path: ${{ github.workspace }}/libbarretenberg-wasm32
-
       - name: Setup toolchain
         uses: dtolnay/rust-toolchain@1.66.0
 
       - name: Build Nargo
-        env:
-          BARRETENBERG_BIN_DIR: ${{ github.workspace }}/libbarretenberg-wasm32/bin
-        run: |
-          cargo build --package nargo_cli --release --no-default-features --features plonk_bn254_wasm
+        run: cargo build --package nargo_cli --release
 
       - uses: actions/cache/save@v3
         # Don't create cache entries for the merge queue.
-        if: ${{ steps.cache.outputs.cache-hit != 'true' && github.event_name != 'merge_group' }} 
+        if: ${{ steps.cache.outputs.cache-hit != 'true' && github.event_name != 'merge_group' }}
         with:
           path:  ${{ env.CACHED_PATHS }}
           key: ${{ steps.cache.outputs.cache-primary-key }}
@@ -199,4 +152,6 @@ jobs:
 
       - name: Run tests
         working-directory: ./crates/wasm
-        run: yarn test:browser
+        run: |
+          yarn test:browser
+          yarn test:node
diff --git a/.release-please-manifest.json b/.release-please-manifest.json
@@ -1,3 +1,3 @@
 {
-  ".": "0.10.3"
+  ".": "0.10.5"
 }