feat: Add dependency resolver for noir_wasm and implement FileManager for consistency with native interface

.github/workflows/test-js-packages.yml

@@ -47,26 +47,37 @@ jobs:
           retention-days: 3
 
   build-noir-wasm:
+    needs: [build-noirc-abi]
     runs-on: ubuntu-latest
     timeout-minutes: 30
 
     steps:
       - name: Checkout sources
         uses: actions/checkout@v4
 
-      - name: Setup Nix
-        uses: ./.github/actions/nix
+      - name: Setup toolchain
+        uses: dtolnay/rust-toolchain@1.71.1
+
+      - uses: Swatinem/rust-cache@v2
         with:
-          github-token: ${{ secrets.GITHUB_TOKEN }}
-          nix-cache-name: "noir"
-          cachix-auth-token: ${{ secrets.CACHIXAUTHTOKEN }}
+          key: noir-wasm
+          cache-on-failure: true
+          save-if: ${{ github.event_name != 'merge_group' }}
 
-      - name: Build wasm package
-        run: |
-          nix build -L .#noir_wasm
+      - name: Download noirc_abi_wasm package artifact
+        uses: actions/download-artifact@v3
+        with:
+          name: noirc_abi_wasm
+          path: ./tooling/noirc_abi_wasm
+
+      - name: Install Yarn dependencies
+        uses: ./.github/actions/setup
+
+      - name: Build noir_wasm
+        run: yarn workspace @noir-lang/noir_wasm build
 
       - name: Dereference symlink
-        run: echo "UPLOAD_PATH=$(readlink -f ./result/noir_wasm)" >> $GITHUB_ENV
+        run: echo "UPLOAD_PATH=$(readlink -f ./compiler/wasm)" >> $GITHUB_ENV
 
       - name: Upload artifact
         uses: actions/upload-artifact@v3
@@ -75,7 +86,6 @@ jobs:
           path: ${{ env.UPLOAD_PATH }}
           retention-days: 3
 
-
   build-acvm-js:
     runs-on: ubuntu-latest
     timeout-minutes: 30
@@ -289,25 +299,24 @@ jobs:
           name: noir_wasm
           path: ./compiler/wasm
 
+      - name: Install Yarn dependencies
+        uses: ./.github/actions/setup
+
       - name: Download nargo binary
         uses: actions/download-artifact@v3
         with:
           name: nargo
           path: ./nargo
 
-      - name: Compile fixtures with Nargo CLI
-        working-directory: ./compiler/wasm/fixtures
+      - name: Set nargo on PATH
         run: |
-          nargo_binary=${{ github.workspace }}/nargo/nargo
+          nargo_binary="${{ github.workspace }}/nargo/nargo"
           chmod +x $nargo_binary
-          for dir in $(ls -d */); do
-            pushd $dir/noir-script
-            $nargo_binary compile
-            popd
-          done
+          echo "$(dirname $nargo_binary)" >> $GITHUB_PATH
+          export PATH="$PATH:$(dirname $nargo_binary)"
 
-      - name: Install Yarn dependencies
-        uses: ./.github/actions/setup
+      - name: Build fixtures
+        run: yarn workspace @noir-lang/noir_wasm test:build_fixtures
 
       - name: Install Playwright
         uses: ./.github/actions/install-playwright

compiler/integration-tests/scripts/codegen-verifiers.sh

@@ -21,6 +21,8 @@ contracts_dir=$self_path/../contracts
 rm -rf $contracts_dir
 mkdir $contracts_dir
 
+# Run codegen-verifier for recursion
+
 cp $mul_dir/contract/1_mul/plonk_vk.sol $contracts_dir/1_mul.sol
 cp $assert_statement_dir/contract/assert_statement/plonk_vk.sol $contracts_dir/assert_statement.sol
 cp $recursion_dir/contract/recursion/plonk_vk.sol $contracts_dir/recursion.sol

compiler/integration-tests/test/browser/compile_prove_verify.test.ts

@@ -1,22 +1,13 @@
 import { expect } from '@esm-bundle/chai';
 import * as TOML from 'smol-toml';
 
-import newCompiler, {
-  CompiledProgram,
-  PathToFileSourceMap,
-  compile,
-  init_log_level as compilerLogLevel,
-} from '@noir-lang/noir_wasm';
+import { compile, createFileManager } from '@noir-lang/noir_wasm';
 import { Noir } from '@noir-lang/noir_js';
 import { InputMap } from '@noir-lang/noirc_abi';
 import { BarretenbergBackend } from '@noir-lang/backend_barretenberg';
 
 import { getFile } from './utils.js';
 
-await newCompiler();
-
-compilerLogLevel('INFO');
-
 const test_cases = [
   {
     case: 'test_programs/execution_success/1_mul',
@@ -32,12 +23,11 @@ const suite = Mocha.Suite.create(mocha.suite, 'Noir end to end test');
 
 suite.timeout(60 * 20e3); //20mins
 
-function getCircuit(noirSource: string): CompiledProgram {
-  const sourceMap = new PathToFileSourceMap();
-  sourceMap.add_source_code('main.nr', noirSource);
-
-  // We're ignoring this in the resolver but pass in something sensible.
-  const result = compile('main.nr', undefined, undefined, sourceMap);
+async function getCircuit(projectPath: string) {
+  const fm = createFileManager('/');
+  await fm.writeFile('./src/main.nr', await getFile(`${projectPath}/src/main.nr`));
+  await fm.writeFile('./Nargo.toml', await getFile(`${projectPath}/Nargo.toml`));
+  const result = await compile(fm);
   if (!('program' in result)) {
     throw new Error('Compilation failed');
   }
@@ -51,11 +41,9 @@ test_cases.forEach((testInfo) => {
     const base_relative_path = '../../../../..';
     const test_case = testInfo.case;
 
-    const noir_source = await getFile(`${base_relative_path}/${test_case}/src/main.nr`);
-
-    let noir_program: CompiledProgram;
+    let noir_program;
     try {
-      noir_program = getCircuit(noir_source);
+      noir_program = await getCircuit(`${base_relative_path}/${test_case}`);
 
       expect(noir_program, 'Compile output ').to.be.an('object');
     } catch (e) {
@@ -66,7 +54,7 @@ test_cases.forEach((testInfo) => {
     const backend = new BarretenbergBackend(noir_program);
     const program = new Noir(noir_program, backend);
 
-    const prover_toml = await getFile(`${base_relative_path}/${test_case}/Prover.toml`);
+    const prover_toml = await new Response(await getFile(`${base_relative_path}/${test_case}/Prover.toml`)).text();
     const inputs: InputMap = TOML.parse(prover_toml) as InputMap;
 
     // JS Proving

compiler/integration-tests/test/browser/recursion.test.ts

@@ -2,59 +2,46 @@
 import { expect } from '@esm-bundle/chai';
 import { TEST_LOG_LEVEL } from '../environment.js';
 import { Logger } from 'tslog';
-import newCompiler, {
-  CompiledProgram,
-  PathToFileSourceMap,
-  compile,
-  init_log_level as compilerLogLevel,
-} from '@noir-lang/noir_wasm';
 import { acvm, abi, Noir } from '@noir-lang/noir_js';
 
 import * as TOML from 'smol-toml';
 import { BarretenbergBackend } from '@noir-lang/backend_barretenberg';
 import { getFile } from './utils.js';
 import { Field, InputMap } from '@noir-lang/noirc_abi';
+import { createFileManager, compile } from '@noir-lang/noir_wasm';
 
 const logger = new Logger({ name: 'test', minLevel: TEST_LOG_LEVEL });
 
 const { default: initACVM } = acvm;
 const { default: newABICoder } = abi;
 
-await newCompiler();
 await newABICoder();
 await initACVM();
 
-compilerLogLevel('INFO');
-
 const base_relative_path = '../../../../..';
 const circuit_main = 'test_programs/execution_success/assert_statement';
 const circuit_recursion = 'compiler/integration-tests/circuits/recursion';
 
-function getCircuit(noirSource: string): CompiledProgram {
-  const sourceMap = new PathToFileSourceMap();
-  sourceMap.add_source_code('main.nr', noirSource);
-  const result = compile('main.nr', undefined, undefined, sourceMap);
+async function getCircuit(projectPath: string) {
+  const fm = createFileManager('/');
+  await fm.writeFile('./src/main.nr', await getFile(`${projectPath}/src/main.nr`));
+  await fm.writeFile('./Nargo.toml', await getFile(`${projectPath}/Nargo.toml`));
+  const result = await compile(fm);
   if (!('program' in result)) {
     throw new Error('Compilation failed');
   }
-
   return result.program;
 }
 
 describe('It compiles noir program code, receiving circuit bytes and abi object.', () => {
-  let circuit_main_source;
   let circuit_main_toml;
-  let circuit_recursion_source;
 
   before(async () => {
-    circuit_main_source = await getFile(`${base_relative_path}/${circuit_main}/src/main.nr`);
-    circuit_main_toml = await getFile(`${base_relative_path}/${circuit_main}/Prover.toml`);
-
-    circuit_recursion_source = await getFile(`${base_relative_path}/${circuit_recursion}/src/main.nr`);
+    circuit_main_toml = await new Response(await getFile(`${base_relative_path}/${circuit_main}/Prover.toml`)).text();
   });
 
   it('Should generate valid inner proof for correct input, then verify proof within a proof', async () => {
-    const main_program = getCircuit(circuit_main_source);
+    const main_program = await getCircuit(`${base_relative_path}/${circuit_main}`);
     const main_inputs: InputMap = TOML.parse(circuit_main_toml) as InputMap;
 
     const main_backend = new BarretenbergBackend(main_program);
@@ -84,7 +71,7 @@ describe('It compiles noir program code, receiving circuit bytes and abi object.
 
     logger.debug('recursion_inputs', recursion_inputs);
 
-    const recursion_program = await getCircuit(circuit_recursion_source);
+    const recursion_program = await getCircuit(`${base_relative_path}/${circuit_recursion}`);
 
     const recursion_backend = new BarretenbergBackend(recursion_program);
 

compiler/integration-tests/test/browser/utils.ts

@@ -1,8 +1,8 @@
-export async function getFile(file_path: string): Promise<string> {
+export async function getFile(file_path: string): Promise<ReadableStream<Uint8Array>> {
   const file_url = new URL(file_path, import.meta.url);
   const response = await fetch(file_url);
 
   if (!response.ok) throw new Error('Network response was not OK');
 
-  return await response.text();
+  return response.body as ReadableStream<Uint8Array>;
 }

compiler/integration-tests/test/node/onchain_recursive_verification.test.ts

@@ -2,44 +2,45 @@ import { expect } from 'chai';
 import { ethers } from 'hardhat';
 
 import { readFileSync } from 'node:fs';
-import { resolve } from 'path';
+import { resolve, join } from 'path';
 import toml from 'toml';
 
-import {
-  compile,
-  CompiledProgram,
-  init_log_level as compilerLogLevel,
-  PathToFileSourceMap,
-} from '@noir-lang/noir_wasm';
 import { Noir } from '@noir-lang/noir_js';
 import { BarretenbergBackend, flattenPublicInputs } from '@noir-lang/backend_barretenberg';
 import { Field, InputMap } from '@noir-lang/noirc_abi';
 
-compilerLogLevel('INFO');
+import { compile, createFileManager } from '@noir-lang/noir_wasm';
 
 it(`smart contract can verify a recursive proof`, async () => {
-  const innerSourcePath = resolve(`../../test_programs/execution_success/assert_statement/src/main.nr`);
-  const sourceMapInnerProgram = new PathToFileSourceMap();
-  sourceMapInnerProgram.add_source_code(innerSourcePath, readFileSync(innerSourcePath, 'utf-8'));
-  const innerProgram = (
-    compile(innerSourcePath, undefined, undefined, sourceMapInnerProgram) as { program: CompiledProgram }
-  ).program;
-
-  const recursionSourcePath = resolve(`./circuits/recursion/src/main.nr`);
-  const sourceMapRecursionProgram = new PathToFileSourceMap();
-  sourceMapRecursionProgram.add_source_code(recursionSourcePath, readFileSync(recursionSourcePath, 'utf-8'));
-  const recursionProgram = (
-    compile(recursionSourcePath, undefined, undefined, sourceMapRecursionProgram) as { program: CompiledProgram }
-  ).program;
+  const basePath = resolve(join(__dirname, '../../../../'));
+  const fm = createFileManager(basePath);
+  const innerCompilationResult = await compile(
+    fm,
+    join(basePath, './test_programs/execution_success/assert_statement'),
+  );
+  if (!('program' in innerCompilationResult)) {
+    throw new Error('Compilation failed');
+  }
+  const innerProgram = innerCompilationResult.program;
+
+  const recursionCompilationResult = await compile(
+    fm,
+    join(basePath, './compiler/integration-tests/circuits/recursion'),
+  );
+  if (!('program' in recursionCompilationResult)) {
+    throw new Error('Compilation failed');
+  }
+  const recursionProgram = recursionCompilationResult.program;
 
   // Intermediate proof
 
   const inner_backend = new BarretenbergBackend(innerProgram);
   const inner = new Noir(innerProgram);
 
   const inner_prover_toml = readFileSync(
-    resolve(`../../test_programs/execution_success/assert_statement/Prover.toml`),
+    join(basePath, `./test_programs/execution_success/assert_statement/Prover.toml`),
   ).toString();
+
   const inner_inputs = toml.parse(inner_prover_toml);
 
   const { witness: main_witness } = await inner.execute(inner_inputs);

compiler/integration-tests/test/node/smart_contract_verifier.test.ts

@@ -5,11 +5,10 @@ import { readFileSync } from 'node:fs';
 import { resolve } from 'path';
 import toml from 'toml';
 
-import { PathToFileSourceMap, compile, init_log_level as compilerLogLevel } from '@noir-lang/noir_wasm';
 import { Noir } from '@noir-lang/noir_js';
 import { BarretenbergBackend, flattenPublicInputs } from '@noir-lang/backend_barretenberg';
 
-compilerLogLevel('INFO');
+import { compile, createFileManager } from '@noir-lang/noir_wasm';
 
 const test_cases = [
   {
@@ -31,11 +30,8 @@ test_cases.forEach((testInfo) => {
     const base_relative_path = '../..';
     const test_case = testInfo.case;
 
-    const noirSourcePath = resolve(`${base_relative_path}/${test_case}/src/main.nr`);
-    const sourceMap = new PathToFileSourceMap();
-    sourceMap.add_source_code(noirSourcePath, readFileSync(noirSourcePath, 'utf-8'));
-
-    const compileResult = compile(noirSourcePath, undefined, undefined, sourceMap);
+    const fm = createFileManager(resolve(`${base_relative_path}/${test_case}`));
+    const compileResult = await compile(fm);
     if (!('program' in compileResult)) {
       throw new Error('Compilation failed');
     }

compiler/wasm/.eslintrc.js

@@ -1,3 +1,3 @@
 module.exports = {
-  extends: ["../../.eslintrc.js"],
+  extends: ['../../.eslintrc.js'],
 };

compiler/wasm/.gitignore

@@ -1 +1,3 @@
 noir-script/target
+dist
+build

compiler/wasm/.mocharc.json

@@ -1,7 +1,13 @@
 {
-  "extension": [
-    "ts"
-  ],
-  "spec": "test/node/**/*.test.ts",
-  "require": "ts-node/register"
-}
+    "require": "ts-node/register",
+    "extensions": [
+      "ts"
+    ],
+    "spec": [
+      "./test/**/!(browser)/*.test.ts"
+    ],
+    "node-option": [
+      "loader=ts-node"
+    ]
+  }
+

compiler/wasm/build-fixtures.sh

@@ -0,0 +1,3 @@
+#!/usr/bin/env bash
+
+cd test/fixtures && cd simple && nargo compile && cd ../with-deps && nargo compile && cd ../noir-contract && nargo compile && cd ../../