fix(bb.js): (breaking change) bundles bb.js properly so that it works in the browser and in node

barretenberg

@@ -0,0 +1 @@
+./circuits/cpp/barretenberg

build_manifest.sh

@@ -13,6 +13,8 @@
 # commit them, so that the most important build path remains fast and simple.
 
 PROJECTS=(
+  bb:circuits/cpp/barretenberg/cpp:./dockerfiles/Dockerfile.wasm-linux-clang:barretenberg-wasm-linux-clang
+  bb.js:circuits/cpp/barretenberg/ts:.Dockerfile:bb.js
   circuits:circuits/cpp:./dockerfiles/Dockerfile.wasm-linux-clang:circuits-wasm-linux-clang
   l1-contracts:l1-contracts
   noir-contracts:yarn-project:DockerFile.build:noir-contracts-build

circuits/cpp/barretenberg/acir_tests/Dockerfile

@@ -10,4 +10,4 @@ COPY . .
 # Run all native tests.
 RUN ./run_acir_tests.sh
 # Just run double_verify_proof as a sanity check as bb.js is quite slow.
-RUN BB=./run_bb.sh ./run_acir_tests.sh double_verify_proof
+RUN BIN=../ts/dest/main.js ./run_acir_tests.sh double_verify_proof

circuits/cpp/barretenberg/acir_tests/README.md

@@ -0,0 +1,31 @@
+# Acir Test Vector Runner
+
+The aim is to verify acir tests verify through a given backend binary. To run:
+
+```
+$ ./run_acir_tests.sh
+```
+
+This will clone the acir test vectors from the noir repo, and will iterate over each one, running it through the
+`../cpp/build/bin/bb` binary (by default) `prove_and_verify` command.
+
+You can substitute the backend binary using the `BIN` environment variable.
+You can turn on logging with `VERBOSE` environment variable.
+You can specify a specific test to run.
+
+```
+$ BIN=bb.js VERBOSE=1 ./run_acir_tests.sh 1_mul
+```
+
+You can use a relative path to an executable.
+
+```
+$ BIN=../ts/bb.js-dev VERBOSE=1 ./run_acir_tests.sh 1_mul
+```
+
+You can specify a different testing "flow" with with `FLOW` environment variable. Flows are in the `flows` dir.
+The `all_cmds` flow tests (almost) all the supported commands on the binary. Slower, but is there to test the cli.
+
+```
+$ FLOW=all_cmds ./run_acir_tests.sh 1_mul
+```

circuits/cpp/barretenberg/acir_tests/flows/all_cmds.sh

@@ -0,0 +1,16 @@
+#!/bin/sh
+set -eu
+
+NAME=$(basename $PWD)
+
+if [ -n "$VERBOSE" ]; then
+  VFLAG="-v"
+fi
+
+BFLAG="-b ./target/${NAME}.bytecode"
+FLAGS="-c $CRS_PATH $VFLAG"
+
+$BIN gates $FLAGS $BFLAG
+$BIN prove -o proof $FLAGS $BFLAG
+$BIN write_vk -o vk $FLAGS $BFLAG
+$BIN verify -k vk -p proof $FLAGS

circuits/cpp/barretenberg/acir_tests/flows/prove_and_verify.sh

@@ -0,0 +1,10 @@
+#!/bin/sh
+set -eu
+
+NAME=$(basename $PWD)
+
+if [ -n "$VERBOSE" ]; then
+  $BIN prove_and_verify -v -c $CRS_PATH -b ./target/$NAME.bytecode
+else
+  $BIN prove_and_verify -c $CRS_PATH -b ./target/$NAME.bytecode > /dev/null 2>&1
+fi

circuits/cpp/barretenberg/acir_tests/run_acir_tests.sh

@@ -1,13 +1,25 @@
 #!/bin/bash
 # Env var overrides:
-#   BB: to specify a different binary to test with (e.g. bb.js or bb.js-dev).
+#   BIN: to specify a different binary to test with (e.g. bb.js or bb.js-dev).
 #   VERBOSE: to enable logging for each test.
 
 set -e
 
-BB=$PWD/${BB:-../cpp/build/bin/bb}
+BIN=${BIN:-../cpp/build/bin/bb}
+FLOW=${FLOW:-prove_and_verify}
 CRS_PATH=~/.bb-crs
 BRANCH=master
+VERBOSE=$VERBOSE
+
+FLOW_SCRIPT=$(realpath ./flows/${FLOW}.sh)
+
+if [[ -f $BIN ]]; then
+    BIN=$(realpath $BIN)
+else
+    BIN=$(realpath $(which $BIN))
+fi
+
+export BIN CRS_PATH VERBOSE
 
 # Pull down the test vectors from the noir repo, if we don't have the folder already.
 if [ ! -d acir_tests ]; then
@@ -48,20 +60,14 @@ function test() {
   cd $1
 
   set +e
-  if [ -n "$VERBOSE" ]; then
-    $BB prove_and_verify -v -c $CRS_PATH -b ./target/$dir_name.bytecode
-  else
-    $BB prove_and_verify -c $CRS_PATH -b ./target/$dir_name.bytecode > /dev/null 2>&1
-  fi
+  $FLOW_SCRIPT
   result=$?
   set -e
 
   if [ $result -eq 0 ]; then
     echo -e "\033[32mPASSED\033[0m"
   else
     echo -e "\033[31mFAILED\033[0m"
-    # Run again verbose.
-    $BB prove_and_verify -v -c $CRS_PATH -b ./target/$dir_name.bytecode
     exit 1
   fi
 

circuits/cpp/barretenberg/cpp/scripts/strip-wasm.sh

@@ -0,0 +1,3 @@
+#!/bin/sh
+./src/wasi-sdk-20.0/bin/llvm-strip ./build-wasm/bin/barretenberg.wasm
+./src/wasi-sdk-20.0/bin/llvm-strip ./build-wasm-threads/bin/barretenberg.wasm

circuits/cpp/barretenberg/ts-cjs-example/.gitignore

@@ -0,0 +1 @@
+crs

circuits/cpp/barretenberg/ts-cjs-example/package.json

@@ -0,0 +1,19 @@
+{
+  "name": "ts-cjs-example",
+  "version": "1.0.0",
+  "main": "index.js",
+  "license": "MIT",
+  "scripts": {
+    "start": "ts-node ./src"
+  },
+  "dependencies": {
+    "@aztec/bb.js": "../ts",
+    "debug": "^4.3.4"
+  },
+  "devDependencies": {
+    "@types/debug": "^4.1.8",
+    "@types/node": "^20.5.6",
+    "ts-node": "^10.9.1",
+    "typescript": "^4"
+  }
+}

circuits/cpp/barretenberg/ts-cjs-example/src/index.ts

@@ -0,0 +1,40 @@
+import createDebug from "debug";
+
+createDebug.enable("simple_test,bb*");
+const debug = createDebug("simple_test");
+
+async function main() {
+  const { loadModule } = await import("@aztec/bb.js");
+  const { Barretenberg, RawBuffer, Crs } = await loadModule();
+  const CIRCUIT_SIZE = 2 ** 19;
+
+  debug("starting test...");
+  const api = await Barretenberg.new();
+
+  // Important to init slab allocator as first thing, to ensure maximum memory efficiency.
+  await api.commonInitSlabAllocator(CIRCUIT_SIZE);
+
+  // Plus 1 needed!
+  const crs = await Crs.new(CIRCUIT_SIZE + 1);
+  await api.srsInitSrs(
+    new RawBuffer(crs.getG1Data()),
+    crs.numPoints,
+    new RawBuffer(crs.getG2Data())
+  );
+
+  const iterations = 1;
+  let totalTime = 0;
+  for (let i = 0; i < iterations; ++i) {
+    const start = new Date().getTime();
+    debug(`iteration ${i} starting...`);
+    await api.examplesSimpleCreateAndVerifyProof();
+    totalTime += new Date().getTime() - start;
+  }
+
+  await api.destroy();
+
+  debug(`avg iteration time: ${totalTime / iterations}ms`);
+  debug("test complete.");
+}
+
+main();

circuits/cpp/barretenberg/ts-cjs-example/tsconfig.json

@@ -0,0 +1,17 @@
+{
+  "compilerOptions": {
+    "target": "es2020",
+    "module": "commonjs",
+    "moduleResolution": "node",
+    "esModuleInterop": true, // Allows default imports from modules with no default export
+    "allowSyntheticDefaultImports": true, // Allow default imports from modules with no default export
+    "strict": true, // Enable all strict type-checking options
+    "skipLibCheck": true, // Skip type checking of declaration files
+    "forceConsistentCasingInFileNames": true, // Disallow inconsistently-cased references to the same file
+    "outDir": "./dist", // Where to put the compiled JavaScript
+    "rootDir": "./src", // Where the source TypeScript files are
+    "declaration": true, // Generate corresponding .d.ts file (useful if you're building a library)
+    "sourceMap": true, // Generate corresponding .map file for debugging
+    "noImplicitAny": true
+  }
+}