chore(ci): Update build artifacts for recursion bin-test and enable b…

…in-test (#1326)

# Description

Resolves #1236 

The ACIR artifacts included in this PR are generated based off of this
work in the Noir repo: noir-lang/noir#2097. This
re-enables the CI now that recursive aggregation will be supported in
the new SSA.

This PR should only be merged though once the Noir PR that is linked
reaches master.

# Checklist:

- [X] I have reviewed my diff in github, line by line.
- [X] Every change is related to the PR description.
- [X] I have
[linked](https://docs.github.com/en/issues/tracking-your-work-with-issues/linking-a-pull-request-to-an-issue)
this pull request to the issue(s) that it resolves.
- [X] There are no unexpected formatting changes, superfluous debug
logs, or commented-out code.
- [X] The branch has been merged or rebased against the head of its
merge target.
- [X] I'm happy for the PR to be merged at the reviewer's next
convenience.

.circleci/config.yml

@@ -211,16 +211,16 @@ jobs:
           command: cond_spot_run_tests barretenberg-x86_64-linux-clang-assert 3 join_split_example_proofs_join_split_tests --gtest_filter=-*full_proof*
       - *save_logs
 
-  # bb-bin-tests:
-  #   docker:
-  #     - image: aztecprotocol/alpine-build-image
-  #   resource_class: small
-  #   steps:
-  #     - *checkout
-  #     - *setup_env
-  #     - run:
-  #         name: "Test"
-  #         command: cond_spot_run_test_script ./scripts/bin-test.sh barretenberg-x86_64-linux-clang-assert
+  bb-bin-tests:
+    docker:
+      - image: aztecprotocol/alpine-build-image
+    resource_class: small
+    steps:
+      - *checkout
+      - *setup_env
+      - run:
+          name: "Test"
+          command: cond_spot_run_test_script ./scripts/bin-test.sh barretenberg-x86_64-linux-clang-assert
 
   barretenberg-benchmark-aggregator:
     docker:
@@ -1015,8 +1015,7 @@ workflows:
       - barretenberg-stdlib-recursion-turbo-tests: *bb_test
       - barretenberg-stdlib-recursion-ultra-tests: *bb_test
       - barretenberg-join-split-tests: *bb_test
-      # TODO(#1236): Reinstate this test once Noir support recursion again.
-      # - bb-bin-tests: *bb_test
+      - bb-bin-tests: *bb_test
       - barretenberg-benchmark-aggregator:
           requires:
             - barretenberg-tests

circuits/cpp/barretenberg/cpp/bin-test/target/main.json

@@ -0,0 +1 @@
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"verification_key","type":{"kind":"array","length":114,"type":{"kind":"field"}},"visibility":"private"},{"name":"proof","type":{"kind":"array","length":94,"type":{"kind":"field"}},"visibility":"private"},{"name":"public_inputs","type":{"kind":"array","length":1,"type":{"kind":"field"}},"visibility":"private"},{"name":"key_hash","type":{"kind":"field"},"visibility":"private"},{"name":"input_aggregation_object","type":{"kind":"array","length":16,"type":{"kind":"field"}},"visibility":"private"},{"name":"proof_b","type":{"kind":"array","length":94,"type":{"kind":"field"}},"visibility":"private"}],"param_witnesses":{"input_aggregation_object":[211,212,213,214,215,216,217,218,219,220,221,222,223,224,225,226],"key_hash":[210],"proof":[115,116,117,118,119,120,121,122,123,124,125,126,127,128,129,130,131,132,133,134,135,136,137,138,139,140,141,142,143,144,145,146,147,148,149,150,151,152,153,154,155,156,157,158,159,160,161,162,163,164,165,166,167,168,169,170,171,172,173,174,175,176,177,178,179,180,181,182,183,184,185,186,187,188,189,190,191,192,193,194,195,196,197,198,199,200,201,202,203,204,205,206,207,208],"proof_b":[227,228,229,230,231,232,233,234,235,236,237,238,239,240,241,242,243,244,245,246,247,248,249,250,251,252,253,254,255,256,257,258,259,260,261,262,263,264,265,266,267,268,269,270,271,272,273,274,275,276,277,278,279,280,281,282,283,284,285,286,287,288,289,290,291,292,293,294,295,296,297,298,299,300,301,302,303,304,305,306,307,308,309,310,311,312,313,314,315,316,317,318,319,320],"public_inputs":[209],"verification_key":[1,2,3,4,5,6,7,8,9,10,11,12,13,14,15,16,17,18,19,20,21,22,23,24,25,26,27,28,29,30,31,32,33,34,35,36,37,38,39,40,41,42,43,44,45,46,47,48,49,50,51,52,53,54,55,56,57,58,59,60,61,62,63,64,65,66,67,68,69,70,71,72,73,74,75,76,77,78,79,80,81,82,83,84,85,86,87,88,89,90,91,92,93,94,95,96,97,98,99,100,101,102,103,104,105,106,107,108,109,110,111,112,113,114]},"return_type":{"kind":"array","length":16,"type":{"kind":"field"}},"return_witnesses":[337,338,339,340,341,342,343,344,345,346,347,348,349,350,351,352]},"bytecode":"H4sIAAAAAAAA/+3Yc4zcWQDA8d22W2Nr27a1tW23Zxu1bdu2bVtns7bda+872e9emvv3Luldsi/55JvfbyabmbzZ92Zeh+CgoBhB4SPEfmB5KCgKoiKaj0cPCn9+TMRCbMRBXMRDfCRAKBIiERIjCZIiGZIjBVIiFVIjDdIiHdIjAzIiEzIjC7IiG7IjB3IiF3IjD/IiH/KjAAqiEAqjCIqiGIqjBEqiFEqjDMqiHMojDBVQEZVQGVVQFdVQHTVQE7VQG3VQF/VQHw3QEI3QGE3QFM3QHC3QEq3QGm3QFu3QHh3wAl7ES3gZr+BVvIbX8QbexFt4G+/gXbyH953LEOeyrfP6IT7Cx/gEn6IjOqEzuqAruqE7eqAneqE3+qAv+qE/BmAgBmEwhmAohmE4RmAkRmE0xmAsxmE8JmAiJmEypmAqpmE6ZmAmZmE25mAu5mE+FmAhFmExlmAplmE5VmAlVmE11mAt1mE9NmAjNmEztmArtmE7dmAndmE39mAv9mE/DuAgDuEwjuAojuE4TuCk8xDFuQiMz7wX+N8K9d4X+BJf4Wt8g2/xHb7HD/gRP+Fn/IJf8Rt+9+8FRMz1KZzGGZzFOZzHBVzEJVzGFVzFNVzHDdzELdzGHdzFPdzHAzzEIzzGH3iCp0HhbzAYURAV0RCC6IG1BjERC7ERB3ERD/GRAKFIiERIjCRIimRIjhRIiVRIjTRIi3RIjwzIiEzIjCzIimzIjhzIiVzIjTzIi3zIjwIoiEIojCIoimIojhIoiVIojTIoi3Ioj7Dg8DkOrIfPrqVPnP9Ao9poNsRGtzFsTBvLxrZxbFwbz8a3CWyoTWgT2cQ2iU1qk9nkNoVNaVPZ1DaNTWvT2fQ2g81oM9nMNovNarPZ7DaHzWlz2dw2j81r89n8toAtaAvZwraILWqL2eK2hC1pS9nStowta8vZ8jbMVrAVbSVb2VaxVW01W93WsDVtLVvb1rF1bT1b3zawDW0j29g2sU1tM9vctrAtbSvb2raxbW072952sC/YF+1L9mX7in3VvmZft2/YN+1b9m37jn3Xvmfftx888zoD40OvP7If20/sp7aj7WQ72y62q+1mu9setqftZXvbPrav7Wf72wF2oB1kB9shdqgdZofbEXakHWVH2zF2rB1nx9sJdqKdZCfbKXaqnWan2xl2pp1lZ9s5dq6dZ+fbBXahXWQX2yV2qV1ml9sVdqVdZVfbNXatXWfX2w12o91kN9stdqvdZrfbHXan3WV32z12r91n99sD9qA9ZA/bI/aoPWaP2xP2pH32u0fg+nP71xeQCjyjIiqhMqqgKqqhOmqgJmqhNuqgLuqhfuTGF7nx2TAbufGF97+28Z3y+rQ9Y8/ac/a8vWAv2kv2sr1ir9pr9rq9YW/aW/a2vWPv2nv2vn1gH9pH9rGN+AES4akNLECBBtsoNqqNZkNsdBvDxrSxbGwbx8a18Wx8m8CG2oQ2kU1sk9ikNplNblPYlDaVTW3T2LQ2nU1vM9iMNpPNbLPYrDabzW5z2Jw2l81t89i8Np/NbwvYgraQLWyL2KK2mC1uS9iStpQtbcvYsracLW/DIuY/KHz8feMLfnbjC9yoaCvZyraKrWqr2eq2hq1pa9nato6ta+vZ+hEfFF9HA64bohEaowmaohmaowVaohVaow3aoh3aB4e/YT/3kad3Qf//07vI07rnc1oXWCgCi8Q/PZGLPIF7PidwEePfWlf/BBWx6A0qGQAA","proving_key":null,"verification_key":null}