feat: bb and bb.js directly parse nargo bincode format. (#610)

.circleci/config.yml

@@ -182,7 +182,7 @@ jobs:
           command: cond_spot_run_tests barretenberg-x86_64-linux-clang-assert 1 stdlib-tests
       - *save_logs
 
-  acir-format-tests:
+  dsl-tests:
     docker:
       - image: aztecprotocol/alpine-build-image
     resource_class: small
@@ -191,7 +191,7 @@ jobs:
       - *setup_env
       - run:
           name: "Test"
-          command: cond_spot_run_tests barretenberg-x86_64-linux-clang-assert 1 acir_format_tests
+          command: cond_spot_run_tests barretenberg-x86_64-linux-clang-assert 1 dsl_tests
       - *save_logs
 
   barretenberg-tests:
@@ -433,7 +433,7 @@ workflows:
       - wasm-linux-clang: *defaults
       - proof-system-tests: *bb_test
       - honk-tests: *bb_test
-      - acir-format-tests: *bb_test
+      - dsl-tests: *bb_test
       - barretenberg-tests: *bb_test
       - stdlib-tests: *bb_test
       - stdlib-recursion-turbo-tests: *bb_test

acir_tests/Dockerfile

@@ -1,18 +1,13 @@
 FROM 278380418400.dkr.ecr.eu-west-2.amazonaws.com/barretenberg-x86_64-linux-clang-assert
 FROM 278380418400.dkr.ecr.eu-west-2.amazonaws.com/bb.js
 
-FROM rust:alpine AS atbbc
-RUN apk update && apk add musl-dev
-WORKDIR /usr/src/barretenberg/acir_tests
-COPY acir-to-bberg-circuit acir-to-bberg-circuit
-RUN cd acir-to-bberg-circuit && cargo build --release
-
 FROM node:18-alpine
 RUN apk update && apk add git bash curl
 COPY --from=0 /usr/src/barretenberg/cpp/build /usr/src/barretenberg/cpp/build
 COPY --from=1 /usr/src/barretenberg/ts /usr/src/barretenberg/ts
-COPY --from=2 /usr/src/barretenberg/acir_tests/acir-to-bberg-circuit /usr/src/barretenberg/acir_tests/acir-to-bberg-circuit
 WORKDIR /usr/src/barretenberg/acir_tests
 COPY . .
+# Run all native tests.
 RUN ./run_acir_tests.sh
-RUN BB=../ts/dest/main.js ./run_acir_tests.sh
+# Just run double_verify_proof as a sanity check as bb.js is quite slow.
+RUN BB=../ts/dest/main.js ./run_acir_tests.sh double_verify_proof