feat: Execute brillig opcodes with constant inputs at compile-time (#…

…2190) * feat: execute brillig opcodes with constant inputs at compile-time * chore: use iterator to read from memory * chore: remove copy when reading from memory * chore: update artifacts * chore: update artifacts * chore: remove unnecessary Prover.tomls * Update crates/noirc_evaluator/src/ssa/acir_gen/acir_ir/acir_variable.rs
noir-lang · Aug 11, 2023 · 79af8e6 · 79af8e6
1 parent c8fe617
commit 79af8e6
Show file tree

Hide file tree

Showing 32 changed files with 165 additions and 11 deletions.
diff --git a/...execution_success/brillig_cast/Nargo.toml → ...s/compile_success/brillig_cast/Nargo.toml b/...execution_success/brillig_cast/Nargo.toml → ...s/compile_success/brillig_cast/Nargo.toml
diff --git a/...xecution_success/brillig_cast/src/main.nr → .../compile_success/brillig_cast/src/main.nr b/...xecution_success/brillig_cast/src/main.nr → .../compile_success/brillig_cast/src/main.nr
diff --git a/...cution_success/brillig_to_bits/Nargo.toml → ...ompile_success/brillig_to_bits/Nargo.toml b/...cution_success/brillig_to_bits/Nargo.toml → ...ompile_success/brillig_to_bits/Nargo.toml
diff --git a/...ution_success/brillig_to_bits/src/main.nr → ...mpile_success/brillig_to_bits/src/main.nr b/...ution_success/brillig_to_bits/src/main.nr → ...mpile_success/brillig_to_bits/src/main.nr
diff --git a/crates/nargo_cli/tests/compile_success/let_stmt/Prover.toml b/crates/nargo_cli/tests/compile_success/let_stmt/Prover.toml
diff --git a/crates/nargo_cli/tests/compile_success/numeric_generics/Prover.toml b/crates/nargo_cli/tests/compile_success/numeric_generics/Prover.toml
diff --git a/...cution_success/regression_2099/Nargo.toml → ...ompile_success/regression_2099/Nargo.toml b/...cution_success/regression_2099/Nargo.toml → ...ompile_success/regression_2099/Nargo.toml
diff --git a/...ution_success/regression_2099/src/main.nr → ...mpile_success/regression_2099/src/main.nr b/...ution_success/regression_2099/src/main.nr → ...mpile_success/regression_2099/src/main.nr
diff --git a/...on_success/unconstrained_empty/Nargo.toml → ...le_success/unconstrained_empty/Nargo.toml b/...on_success/unconstrained_empty/Nargo.toml → ...le_success/unconstrained_empty/Nargo.toml
diff --git a/...n_success/unconstrained_empty/src/main.nr → ...e_success/unconstrained_empty/src/main.nr b/...n_success/unconstrained_empty/src/main.nr → ...e_success/unconstrained_empty/src/main.nr
diff --git a/...tests/execution_success/brillig_calls_conditionals/target/brillig_calls_conditionals.json b/...tests/execution_success/brillig_calls_conditionals/target/brillig_calls_conditionals.json
@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"array","length":3,"type":{"kind":"integer","sign":"unsigned","width":32}},"visibility":"private"}],"param_witnesses":{"x":[1,2,3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2b226jSBCG2waMG3xKZi9W2r2YB9gLfJpgaS/8KonWudh9zp3nmmGGVn53fKrQjUujv6TIYHDV1wXBNMn3yRjzh/kZg+8/w/b1M6wPvfWkXc/azyXe55P2Z2Deh3tv375W3WI5CJerQt4Ulv9uN9h2fBgjWN4H4hiF71OVAasFZjeeWbs9DVt31dRKjDl5Dvh9w743LFlYlsqatx4kUCcPW+fHOemfF27d1SqBIYvIUp6oHXvMzXg+m7dzK4eeu32+tq/N8f4NuGxYrlXDNT7DZYHL7fMfcP0OXGVYrnXDVZzhKoHL7fMncP3r7Wfgsw3rJCzr8tLv6+QES6KIJVXEkiliGSliyRWxjBWxWEUshSKWUhHL4M4s1ry/n2quMxXcs07b9/F7z31+at7vh2OaRRgT1tnDuqtVAMNUAUupiKVQxGIVsYwVseSKWEaKWDJFLKkilkQRy9BjsbAd7+vnEfhcHZfXrbtaOGeeRGQpT9TGeVez/D8wucA5WIzjZ7z+uJidYEkUsaSKWDJFLCNFLLkilrEiFquIpVDEUipimShiif0dLmGJPY+7xnJubrqBuan7fsW5qf/di/vhmBYRxoR19rDuauHcdK6AZaqIZaKIpVTEUihisYpYxopYckUsI0UsmSKWVBFLoohl6LFY2I7zwIcIfK6Oy+vWXS2cs88ispQnauM8vVn+a/DG5ALn7DGOn/H642Jh3rMkilhSRSyZIpaRIpZcEctYEYtVxFIoYikVsUwUsUwVscwUscS+t5GwxJ73X2M59yyjhmcZ7r4Dn2X49yS4H47pMcKYsM4e1l0tfJbxoIBlrohlpohlqohlooilVMRSKGKxiljGilhyRSwjRSyZIpZUEUuiiGXosVjYjs8NPkXgc3VcXrfuauEznkVElvJEbXyuU5zoiYV9H+G9oZcnb5mHYZl36L8MT9RP4tav71z/SVLfv78OduJgzsADXKaQa1192WwOT6vDcr18rla7l3pbbbYvX+plvdzW239W9Xp9qDf10+5l91Ttlpv1Yfm63a1f22RZgFyH1x/x3JeAl4XLdSTgjWA59Y6dMccXvdBjMl4dv48zE/lkjXGQYjQqN+FO/ljjzsMfowpSqu5pXxeBoYlzERjDMi3cDwct3DYvLVxauBC0cHtioYVLC1fCQguXFq6EZXBnFlq48Vlo4dLClbDQwqWFK2GhhUsL95b+GK8/Lmjh3s5CC5cWroSFFi4tXAkLLVxauH2y0MKlhSthoYVLC1fCQguXFu4lPlq4l/tjvP64oIV7OwstXFq4EhZauLRwJSy0cGnhXmOhhRufhRYuLVwJCy1cWrgSFlq4tHAlLLRwaeFW3YIWrvnFLdwx5OoqzdkAuVoLd9eXgGfD5ToS8ApYpoXbMac1x7O9UHlLE+7kjzXuMvwxqiCl6p72dRFITJyLwASWaeF+OGjhtnlp4dLChaCF2xMLLVxauBIWWri0cCUsgzuz0MKNz0ILlxauhIUWLi1cCQstXFq4t/THeP1xQQv3dhZauLRwJSy0cGnhSlho4dLC7ZOFFi4tXAkLLVxauBIWWri0cC/x0cK93B/j9ccFLdzbWWjh0sKVsNDCpYUrYaGFSwv3Ggst3PgstHBp4UpYaOHSwpWw0MKlhSthoYVLC7fqFrRwzS9u4U4gV1dpbhogV2vh1n0JeNNwuY4EPPxnMFq4HXNOPehQeecm3Mkfa9zz8MeogpSqe3ruIhC2H6tnrIF/EaI5++GgOdvmpTlLcxaC5mxPLDRnac5KWGjO0pyVsAzuzEJzNj4LzVmasxIWmrM0ZyUsNGdpzt7SH+P1xwXN2dtZaM7SnJWw0JylOSthoTlLc7ZPFpqzNGclLDRnac5KWGjO0py9xEdz9nJ/jNcfFzRnb2ehOUtzVsJCc5bmrISF5izN2WssNGfjs9CcpTkrYaE5S3NWwkJzluashIXmLM3ZqlvQnDUKzNm+LNJFuFxHFukDLNMi7Zhz0TY0dN5HyKXRIm3G/Rj+GFWQUnVPE2Bsfnl8K7GJbwpW52lU7QAA","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"array","length":3,"type":{"kind":"integer","sign":"unsigned","width":32}},"visibility":"private"}],"param_witnesses":{"x":[1,2,3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2by27jNhSGaetKXWwn00WBdjEP0IXky0QGuvCrTFBn0T5n+1ytpiLym5Edc0QqB4OfQGDRks/5eCTTopDvk1LqF/V/W/z3txxeP0N/afWjoZ8Mn4usz0fD30K9bea90/DaTGvtwl+sBnlj2P592KGH8WFLYfvkiSP1X6cmAVYNzGY8q2F/7Dfvts8VKTV6Ddh1w7r3LIlflkar1xpEkCfzm+fbNWlfF6ZvcpXAkARkKUdyhx5zP57P6vXayqDm5ph/htf+fP8EXNov17bnyq9waeAyx/wFXD8DV+mXa9dzFVe4SuAyx/wKXH9axyn4bM9a+WVtb31fqxGWSBBLLIglEcSSCmLJBLHkgli0IJZCEEspiGXxwSxavb2f6ueZBu5Z6+F9/N0zn6/V2+NwTKsAY8I8J+ibXAUw1AJYSkEshSAWLYglF8SSCWJJBbEkglhiQSyRIJalxaJhP97XrwPwmTwmrumbXLhmrgKylCO5cd3Vb/8NTKbhGizE+VNWfUxbjbBEglhiQSyJIJZUEEsmiCUXxKIFsRSCWEpBLJUgltC/4S4soddx77FcW5vuYW1qfl9xbWr/9uJxOKZNgDFhnhP0TS5cm64FsNSCWCpBLKUglkIQixbEkgtiyQSxpIJYEkEssSCWSBDL0mLRsB/XgQ8B+EweE9f0TS5cs68CspQjuXGd3m//tnhlMg3X7CHOn7LqY9pGvWWJBLHEglgSQSypIJZMEEsuiEULYikEsZSCWCpBLLUglpUgltD3Ni4sodf977Fce5bRwbMMc9+BzzLsexI8Dsf0GGBMmOcEfZMLn2U8CGBZC2JZCWKpBbFUglhKQSyFIBYtiCUXxJIJYkkFsSSCWGJBLJEglqXFomE/Pjf4FIDP5DFxTd/kwmc8m4As5UhufK5TjNREw7GP8N7SipMNzEu/zEf0X5Yj+aOw+bsPzv/kkt++v/Z24WBMzwNsY4i1a77s9+en7bndtV+b7fG5OzT7w/OXru3aQ3f4Y9vtdudu3z0dn49PzbHd787ty+G4exmCJR5inV++ta9zCXiJv1gXAl4K27F17pS6nPR8j0lZeew6rlTgizXESQpRqEz5u/hDjTvzf44aCCm6pnNNAksVZhLIYZsW7nc3WrhDXFq4tHCh0cKdiYUWLi1cFxZauLRwXVgWH8xCCzc8Cy1cWrguLLRwaeG6sNDCpYV7T32UVR/TaOHez0ILlxauCwstXFq4Liy0cGnhzslCC5cWrgsLLVxauC4stHBp4d7io4V7uz7Kqo9ptHDvZ6GFSwvXhYUWLi1cFxZauLRw32OhhRuehRYuLVwXFlq4tHBdWGjh0sJ1YaGFSwu3mdZo4aof3MLNIdZUaU57iDVYuMe5BDztL9aFgFfANi3ciTG1ulzt+YpbKn8Xf6hxl/7PUQMhRdd0rkkgUmEmgQq2aeF+d6OFO8SlhUsLFxot3JlYaOHSwnVhoYVLC9eFZfHBLLRww7PQwqWF68JCC5cWrgsLLVxauPfUR1n1MY0W7v0stHBp4bqw0MKlhevCQguXFu6cLLRwaeG6sNDCpYXrwkILlxbuLT5auLfro6z6mEYL934WWri0cF1YaOHSwnVhoYVLC/c9Flq44Vlo4dLCdWGhhUsL14WFFi4tXBcWWri0cJtpjRau+sEt3ApiTZXmag+xBgu3m0vAq/3FuhDw8J/BaOFOjFlb0L7irpW/iz/UuNf+z1EDIcXX9Brn1Ngbj/Wca7LyyYy8D7DNyWpizM1QUN9xH5Xsyaof96P/cxR0svJZ0wgY+y+PrY337V8ow1m/u7cAAA==","proving_key":null,"verification_key":null}
diff --git a/crates/nargo_cli/tests/execution_success/brillig_cast/Prover.toml b/crates/nargo_cli/tests/execution_success/brillig_cast/Prover.toml
diff --git a/crates/nargo_cli/tests/execution_success/brillig_cast/target/brillig_cast.json b/crates/nargo_cli/tests/execution_success/brillig_cast/target/brillig_cast.json
diff --git a/crates/nargo_cli/tests/execution_success/brillig_cast/target/witness.tr b/crates/nargo_cli/tests/execution_success/brillig_cast/target/witness.tr
diff --git a/...ution_success/brillig_field_binary_operations/target/brillig_field_binary_operations.json b/...ution_success/brillig_field_binary_operations/target/brillig_field_binary_operations.json
@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[],"param_witnesses":{},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2Y3W7CMAyFDf2BMujY3R4jadI2vdurrFp5/0cYFalwUXaznlRVG0soFoGDj230CT6I6JMeEd0fe/o7vuwppoX2qF3smCbP3+yZWZ/8PnP4TvG1iZR9JkozuWscmI8hBj+5PWPHXcTel7y8jvdkuDvQuKdII5IcBQ7aSlRad3XRSSW/RdG0phS6bCsjjSxN+VMYpTqjTd20TS0aqVUnb2WjblZ8B9Ta4zxXkauhBF8SCaxZ8Hojlscvs+P3HhZ/tC+uPubkeVl9DCnyoBsTbvl9+Y7xMxJMctE9XRt1E5YH6j49b466CVArxXku5qIusOYRdQ8sD9SdqJnS+BuG0j3Ssqnb+z7iZ+SVusiero26nEKBus/nN0fdDKh1wnk2c1EXWLNw/YHEFydQ95+aJ9tQtO6Zlk3d3vcZPyOv1EX2dG3UvbA8UPcRfMaboe4FqJXjPM/2WxdY84i67ywP1J2omduGonWvtGzq9r6v+Bl5pS66p674BXI9tT78HQAA","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[],"param_witnesses":{},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2UQQ6DIBBFp0K1WttVDwICCrtepaZ4/yM0piwmVrthSDBxNkxYfN78If8GAA/4rVM4n+FUotfaD52XSr5E50ZrhDZjb6WVxpp3Z5XyVtvBjW4QTmrl5WScmsS3TkhLRBZDfP+YRVxJSmbMW6Cer9yxcJYJZoLFO0sf7yt3pI+nWFKRQJcB3edPNTej35FAktl7usUZq81hf2FFyYx5z6g/wipSkwdDqXVLyDusePggxDtKGlbUnm5xxmpXsL+womTGvBfUH2EVqVkFQ6l1a8g7rOa5a/odJQ0rak+3OGO1G9hfWFEyY94r6o+witRsgqHUui3kHVbz3C39jpKGFbWna/UBXDJMO9gSAAA=","proving_key":null,"verification_key":null}
diff --git a/crates/nargo_cli/tests/execution_success/brillig_field_binary_operations/target/witness.tr b/crates/nargo_cli/tests/execution_success/brillig_field_binary_operations/target/witness.tr
diff --git a/...n_success/brillig_integer_binary_operations/target/brillig_integer_binary_operations.json b/...n_success/brillig_integer_binary_operations/target/brillig_integer_binary_operations.json
@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[],"param_witnesses":{},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2dC5hd0xXH9zwySSYzk4c85H3zFIrOmVfuaDCUNBQNRUPRZJKZhqKhaKikoaShaCgaioaioWgoGoqGoqFoKBqKhqKhaBSNolHnZC/zuyd7VDJrzzePfb4v3132Xmv9/2v/77n7zDn3LlsZYyaYDUfBR//yTfNHnX0tb9lR4zF3RR5y0i6xr91tnZzv7qi7SJ9beREwtXJ2+ShHV9Qhh9RTZjELMZfBfAFiu1i7EGOyDl0cayVzXU3uWmsWGBlHUZK7srymqqphfEVDVBlNK6+orc9Wl1dV19dko2xUna2eUZGtrGzIVmXH19bXji+vjaoqG6LG6trKRps8TzFXvl7N2QLXghr1N0+kyLmcfAtgF6a047yHEyLn/eJaxzLj+c3qQ6QCD3kLjd6b31fdhfoalSNlm17TjrYbd4EdduOmmjMm7MYfL55WriK9mqtaazdW5JyzG3eFHXbjFuYsMrlnmFbebqZt78Zx3d30NfK6G2uuaUfbjbk7hd24aTxjwm6cHN0VcxXr1Ty9tXZjRc45u3EP2GE3bmHOYrug2nlLTNvejeO6S/Q18roba65pR9uNS2HLB0Rn343j14z59Lux+Mlcu915SxVzlenVXNlaO68i55ydtyfssPO2MGeZXVDtvL1M295547p76WvkdefVXNMCk/t4x9N71uvO6zF3JU/i3rBlh493qvSHT0fc6buhDpOqVz7sZKeOa8+YjXf6PJP7N3bGuHf+rqn14dp1xWurXA1on7y9Tbu7bI485s65bO4DO1w2bzjkRGnzl83phWrpm7uPHs+OcKJEFHEL2OFE2XC02xOlvGVHtIUJN2Jw5OwofWGHE6WprozphDtKX9PudhSff9vUUMR+sMOJ0lRXxnTCHaWfCTsKjpwdpT/scKJsOOKbAxnTCW/t91fMNUCv5orWurWvyDnn1v6WsMOt/RbmHGAXVDvvQNO2b+3HdQ/U18jrrX3NNe1oO+8g2GHnbfLJmE648w5SzDVYr+aa1tp5FTnn7LxDYIedt4U5B9sF1c471LTtnTeue6i+Rl53Xs01DQ/VP/Go4kk8DHZ4qN78Q/X4K6IZEx6qO3MPM+GyGUfOZfNw2HPsRGe8bI5xC1VxK5JainRrqShCLVo8+QHADwX+hteYjU/+OthcX/ng4tVgse46JFelPZC/Dhj8MCvRxY2Im2f/CUYP1C32EPiKX7zG67FORfCRTS7f+pQ4fLrDZh5+r5w2Nwnhyc1UcnX7P/yKEFdnX8tbdiTrWQyudfjvUvDpCQ7dVTlEjcbk/tqRv/CSdZM14Joov6crmD8f+X2uf5yD7+fSFGZ88Lcnwo8/bCoD55JUjK916glMwed69VbFjBriHPwCmrxHegNbvilMvz7gKZx7gacPPeX7P9ST32LuC07iW4b5fg7+/KpEf8T3S8X40nsAMAWfeg9UxYxmxDl4S1H0HghseQ5Bv0HgKZy3BE8feg+2uag3n5EMASfx5YPKoQ7+vNMzDPFDUzG+9B4OTMGn3iNUMaPpcY6RqFn0HgHsjLXpNxI8hXMGPH3oPcrmot4ZcBoNTuLLP6THOPiPxthYxI9JxfjSeytgCj713loVM6qPc2yDmkXvrYE9ztr02wY8hfM48PSh92dsLuo9Dpy2BSfxHYv57Rz8t8XY9ojfLhXjS+/PAlPwqXekihlNi3PwrpXoHQFb7iDSrwI8hXM5ePrQu9Lmot68u1kFTuK7PearHfyrMFaD+OpUjC+9xwNT8Kl3rSpmlKTbATWL3rXAzlqbfjuAp3DOgqcPvT9nc1HvLDhNACfx5Q2iHR38J2BsJ8TvmIrxpffOwBR86r2LKmaULNeuqFn03gXYgkW/XcFz5xQnX3p/3ubKc+SPj93ASXx3wvzuDv67YWwi4ndPxfjS+wvAFHzqvYcqZpScmnuiZtF7D2BPsjb99gRP4TwJPH3o/UWbi3pPAqe9wEl8J2J+bwf/vTC2D+L3TsX40vtLwBR86r2vKmaUfNzth5pF732BPdna9NsPPIXzZPD0ofeXbS7qPRmc9gcn8d0H8wc4+O+PsQMRf0AqxpfeXwGm4FPvg1Qxo+Ry5GDULHofBOwp1qbfweApnKeApw+9v2pzUe8p4HQIOInvgZg/1MH/EIwdhvhDUzG+9P4aMAWfek9TxYySy9N61Cx6TwP2VGvTrx48hfNU8PSh93Sbi3pPBacZ4CS+h2G+wcF/BsYaEd+QivGl99eBKfjU+3BVzCj5s+UI1Cx6Hw7smdam3xHgKZxngqcPvb9hc1HvmeB0JDiJbyPmj3LwPxJjRyP+qFSML72/CUzBp97HqGJGCeaxqFn0PgbYs6xNv2PBUzjPAk8fen/L5qLes8DpOHAS36Mxf7yD/3EYOwHxx6difOn9bWAKPvU+URUzStbxJNQsep8I7NnWpt9J4CmcZ4OnD72/Y3NR79ngdDI4ie8JmJ/j4H8yxuYifk4qxpfe3wWm4FPvU1Qxo+T21KmoWfQ+BdjzrE2/U8FTOM8DTx96f8/mot7zwOk0cBLfuZg/3cH/NIzNR/zpqRhfen8fmIJPvc/QxUy2tzNRs+h9BrAXWJt+Z4KncF4Anj70/oHNRb0XgNNZ4CS+8zF/toP/WRg7B/Fnp2J86f1DYAo+9T5XFzO5/DwPNYve5wJ7obXpdx54CueF4OlD7x/ZXNR7ITidD07iew7mL3DwPx9jFyL+glSML71/DEzBp94X6WImf45cjJpF74uAvcja9LsYPIXzIvD0ofdPbC7qvQicLgEn8b0Q85c6+F+CscsQf2kqxpfePwWm4FPvy3Uxkz9Tr0DNovflwF5sbfpdAZ7CeTF4+tD7ZzYX9V4MTleCk/hehvmrHPyvxNjViL8qFeNL758DU/Cp9zW6mMlth2tRs+h9DbCXWJt+14KncF4Cnj70/oXNRb2XgNN14CS+V2P+egf/6zB2A+KvT8X40vuXwBR86n2jLmZyG+0m1Cx63wjspdam303gKZyXgqcPvX9lc1HvpeB0MziJ7w2Yv8XB/2aM3Yr4W1IxvvT+NTAFn3rfpouZPOa+HTWL3rcBe5m16Xc7eArnZeDpQ+/f2FzUexk43QFO4nsr5u908L8DY3ch/s5UjC+9fwtMwafed+tiJs+/70HNovfdwF5ubfrdA57CeTl4+tD7dzYX9V4OTveCk/jehfn7HPzvxdj9iL8vFeNL798DU/Cp9wO6mMnz7wdRs+j9ALBXWJt+D4KncF4Bnj70/oPNRb1XgNND4CS+92P+YQf/hzD2COIfTsX40vuPwBR86v2oLmby/Psx1Cx6Pwrsldam32PgKZxXgqcPvf9kc1HvleD0ODiJ7yOYf8LB/3GMPYn4J1IxvvT+MzAFn3o/pYuZPP9+GjWL3k8Be5W16fc0eArnVeDpQ++/2FzUexU4PQNO4vsk5p918H8GY88h/tlUjC+9/wpMwafez+tiJs+/X0DNovfzwF5tbfq9AJ7CeTV4+tD7bzYX9V4NTi+Ck/g+h/mXHPxfxNjLiH8pFeNL778DU/Cp9yu6mMnz71dRs+j9CrDXWJt+r4KncF4Dnj70/ofNRb3XgNNr4CS+L2P+dQf/1zD2BuJfT8X40vufwBT8Ys+Yb6Lm9G8y49e11qbfm+ApnNeCpw+9/2VzUe+14PQWOInvG5h/28H/LYy9g/i3UzG+1v7fwBT8Ys/r+C5qFr1Lgb3O2vR7FzyF8zrPPP9jc1HvdeD0HjiJ7zuYf9/B/z2MfYD491MxvvT+LzAFn3p/qItZ/vEC2kP0/hDY62USfmLng/N68PShd15eE3RpCjPhAk7i+wHmC1z8kbPQ2hv9P73QX6KL+GBM/GSu3bYfG66YK6NYc2u1H1PknNN+bATs0H6shTkzdkG18440em9+X3WP1NfIa/sxzTXtaB2MRsGeGzoYKeKGDkahg1HoYPRp1rMYXOtM6GAUH/kmdDD6pHUKHYzcROMcoYNR6GAUOhht0jKGDkYYG4v40MEodDDyoXfoYOQmGucIHYxCB6PQwWiTljF0MMLYRMSHDkahg5EPvUMHIzfROEfoYBQ6GIUORpu0jKGDEcYaER86GIUORj70Dh2M3ETjHKGDUehgFDoYbdIyhg5GGJuP+NDBKHQw8qF36GDkPEIHIx3M0MEIY6GDUehgFDoY5dr5JnQw2swjdDBq/ggdjHQwQwcjjIUORqGDUehglGvnm9DBaDOP0MGo+SN0MNLBDB2MMBY6GIUORqGDUa6db0IHo808Qgej5o/QwUgHM3QwwljoYNQ5OxjF8Rn7yrjmOhgVWbuLo6tRUXvvajRKMddotZqjbGt1NdLjnNvVaAzs0NWohTlH2wXVzjvW6L35fdU9Vl8jr12NtNfUdfwPogjmdfLSAAA=","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[],"param_witnesses":{},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2Uy27CMBBFB5JCobwKhdI/6NLOgzi7/kqjhv//hCqqF6M0ZjPXki3Zm1hZ3Jy5E50PIvqk/2dmn1/2WapbVfVN0etSf6ui7Uytqrq7GW10beqfwpRlbyrTtF3bqFZXZa/vdVve1d+ZsSwlPBnje8SsZEcjmTnvnN3ziXeZfS48zESj74x73E28g37cx5LmHnIzwv38vubO8DtSLDL4Tl2c0uyc4pMVkpnzPrF7kpUwM7eFonMXFLascvuDgHfkVVboTl2c0uwlxScrJDPnfWb3JCth5tIWis5dUdiyGuZe4XfkVVboTl2c0uw1xScrJDPnfWH3JCth5toWis7dUNiyGube4HfkVVboTl2c0uwtxScrJDPn3bF7kpUwczuCRuXuKWxZDXPv8TvyKit0py5OafaB4pMVkpnzvrJ7kpUw82ALReceKWxZDXMf8TvyKit0py5OafaJ4pMVkpnzvrF7kpUw82QLReeeKWxZDXOf8TvyKit0py5OafaF4pMVkpnzvrN7kpUw82ILRedeKWxZDXNf8TvyKit0p1PnF6lyuYaMJQAA","proving_key":null,"verification_key":null}
diff --git a/crates/nargo_cli/tests/execution_success/brillig_integer_binary_operations/target/witness.tr b/crates/nargo_cli/tests/execution_success/brillig_integer_binary_operations/target/witness.tr
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"array","length":3,"type":{"kind":"integer","sign":"unsigned","width":32}},"visibility":"private"}],"param_witnesses":{"x":[1,2,3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2b226jSBCG2waMG3xKZi9W2r2YB9gLfJpgaS/8KonWudh9zp3nmmGGVn53fKrQjUujv6TIYHDV1wXBNMn3yRjzh/kZg+8/w/b1M6wPvfWkXc/azyXe55P2Z2Deh3tv375W3WI5CJerQt4Ulv9uN9h2fBgjWN4H4hiF71OVAasFZjeeWbs9DVt31dRKjDl5Dvh9w743LFlYlsqatx4kUCcPW+fHOemfF27d1SqBIYvIUp6oHXvMzXg+m7dzK4eeu32+tq/N8f4NuGxYrlXDNT7DZYHL7fMfcP0OXGVYrnXDVZzhKoHL7fMncP3r7Wfgsw3rJCzr8tLv6+QES6KIJVXEkiliGSliyRWxjBWxWEUshSKWUhHL4M4s1ry/n2quMxXcs07b9/F7z31+at7vh2OaRRgT1tnDuqtVAMNUAUupiKVQxGIVsYwVseSKWEaKWDJFLKkilkQRy9BjsbAd7+vnEfhcHZfXrbtaOGeeRGQpT9TGeVez/D8wucA5WIzjZ7z+uJidYEkUsaSKWDJFLCNFLLkilrEiFquIpVDEUipimShiif0dLmGJPY+7xnJubrqBuan7fsW5qf/di/vhmBYRxoR19rDuauHcdK6AZaqIZaKIpVTEUihisYpYxopYckUsI0UsmSKWVBFLoohl6LFY2I7zwIcIfK6Oy+vWXS2cs88ispQnauM8vVn+a/DG5ALn7DGOn/H642Jh3rMkilhSRSyZIpaRIpZcEctYEYtVxFIoYikVsUwUsUwVscwUscS+t5GwxJ73X2M59yyjhmcZ7r4Dn2X49yS4H47pMcKYsM4e1l0tfJbxoIBlrohlpohlqohlooilVMRSKGKxiljGilhyRSwjRSyZIpZUEUuiiGXosVjYjs8NPkXgc3VcXrfuauEznkVElvJEbXyuU5zoiYV9H+G9oZcnb5mHYZl36L8MT9RP4tav71z/SVLfv78OduJgzsADXKaQa1192WwOT6vDcr18rla7l3pbbbYvX+plvdzW239W9Xp9qDf10+5l91Ttlpv1Yfm63a1f22RZgFyH1x/x3JeAl4XLdSTgjWA59Y6dMccXvdBjMl4dv48zE/lkjXGQYjQqN+FO/ljjzsMfowpSqu5pXxeBoYlzERjDMi3cDwct3DYvLVxauBC0cHtioYVLC1fCQguXFq6EZXBnFlq48Vlo4dLClbDQwqWFK2GhhUsL95b+GK8/Lmjh3s5CC5cWroSFFi4tXAkLLVxauH2y0MKlhSthoYVLC1fCQguXFu4lPlq4l/tjvP64oIV7OwstXFq4EhZauLRwJSy0cGnhXmOhhRufhRYuLVwJCy1cWrgSFlq4tHAlLLRwaeFW3YIWrvnFLdwx5OoqzdkAuVoLd9eXgGfD5ToS8ApYpoXbMac1x7O9UHlLE+7kjzXuMvwxqiCl6p72dRFITJyLwASWaeF+OGjhtnlp4dLChaCF2xMLLVxauBIWWri0cCUsgzuz0MKNz0ILlxauhIUWLi1cCQstXFq4t/THeP1xQQv3dhZauLRwJSy0cGnhSlho4dLC7ZOFFi4tXAkLLVxauBIWWri0cC/x0cK93B/j9ccFLdzbWWjh0sKVsNDCpYUrYaGFSwv3Ggst3PgstHBp4UpYaOHSwpWw0MKlhSthoYVLC7fqFrRwzS9u4U4gV1dpbhogV2vh1n0JeNNwuY4EPPxnMFq4HXNOPehQeecm3Mkfa9zz8MeogpSqe3ruIhC2H6tnrIF/EaI5++GgOdvmpTlLcxaC5mxPLDRnac5KWGjO0pyVsAzuzEJzNj4LzVmasxIWmrM0ZyUsNGdpzt7SH+P1xwXN2dtZaM7SnJWw0JylOSthoTlLc7ZPFpqzNGclLDRnac5KWGjO0py9xEdz9nJ/jNcfFzRnb2ehOUtzVsJCc5bmrISF5izN2WssNGfjs9CcpTkrYaE5S3NWwkJzluashIXmLM3ZqlvQnDUKzNm+LNJFuFxHFukDLNMi7Zhz0TY0dN5HyKXRIm3G/Rj+GFWQUnVPE2Bsfnl8K7GJbwpW52lU7QAA","proving_key":null,"verification_key":null}
		{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"array","length":3,"type":{"kind":"integer","sign":"unsigned","width":32}},"visibility":"private"}],"param_witnesses":{"x":[1,2,3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2by27jNhSGaetKXWwn00WBdjEP0IXky0QGuvCrTFBn0T5n+1ytpiLym5Edc0QqB4OfQGDRks/5eCTTopDvk1LqF/V/W/z3txxeP0N/afWjoZ8Mn4usz0fD30K9bea90/DaTGvtwl+sBnlj2P592KGH8WFLYfvkiSP1X6cmAVYNzGY8q2F/7Dfvts8VKTV6Ddh1w7r3LIlflkar1xpEkCfzm+fbNWlfF6ZvcpXAkARkKUdyhx5zP57P6vXayqDm5ph/htf+fP8EXNov17bnyq9waeAyx/wFXD8DV+mXa9dzFVe4SuAyx/wKXH9axyn4bM9a+WVtb31fqxGWSBBLLIglEcSSCmLJBLHkgli0IJZCEEspiGXxwSxavb2f6ueZBu5Z6+F9/N0zn6/V2+NwTKsAY8I8J+ibXAUw1AJYSkEshSAWLYglF8SSCWJJBbEkglhiQSyRIJalxaJhP97XrwPwmTwmrumbXLhmrgKylCO5cd3Vb/8NTKbhGizE+VNWfUxbjbBEglhiQSyJIJZUEEsmiCUXxKIFsRSCWEpBLJUgltC/4S4soddx77FcW5vuYW1qfl9xbWr/9uJxOKZNgDFhnhP0TS5cm64FsNSCWCpBLKUglkIQixbEkgtiyQSxpIJYEkEssSCWSBDL0mLRsB/XgQ8B+EweE9f0TS5cs68CspQjuXGd3m//tnhlMg3X7CHOn7LqY9pGvWWJBLHEglgSQSypIJZMEEsuiEULYikEsZSCWCpBLLUglpUgltD3Ni4sodf977Fce5bRwbMMc9+BzzLsexI8Dsf0GGBMmOcEfZMLn2U8CGBZC2JZCWKpBbFUglhKQSyFIBYtiCUXxJIJYkkFsSSCWGJBLJEglqXFomE/Pjf4FIDP5DFxTd/kwmc8m4As5UhufK5TjNREw7GP8N7SipMNzEu/zEf0X5Yj+aOw+bsPzv/kkt++v/Z24WBMzwNsY4i1a77s9+en7bndtV+b7fG5OzT7w/OXru3aQ3f4Y9vtdudu3z0dn49PzbHd787ty+G4exmCJR5inV++ta9zCXiJv1gXAl4K27F17pS6nPR8j0lZeew6rlTgizXESQpRqEz5u/hDjTvzf44aCCm6pnNNAksVZhLIYZsW7nc3WrhDXFq4tHCh0cKdiYUWLi1cFxZauLRwXVgWH8xCCzc8Cy1cWrguLLRwaeG6sNDCpYV7T32UVR/TaOHez0ILlxauCwstXFq4Liy0cGnhzslCC5cWrgsLLVxauC4stHBp4d7io4V7uz7Kqo9ptHDvZ6GFSwvXhYUWLi1cFxZauLRw32OhhRuehRYuLVwXFlq4tHBdWGjh0sJ1YaGFSwu3mdZo4aof3MLNIdZUaU57iDVYuMe5BDztL9aFgFfANi3ciTG1ulzt+YpbKn8Xf6hxl/7PUQMhRdd0rkkgUmEmgQq2aeF+d6OFO8SlhUsLFxot3JlYaOHSwnVhoYVLC9eFZfHBLLRww7PQwqWF68JCC5cWrgsLLVxauPfUR1n1MY0W7v0stHBp4bqw0MKlhevCQguXFu6cLLRwaeG6sNDCpYXrwkILlxbuLT5auLfro6z6mEYL934WWri0cF1YaOHSwnVhoYVLC/c9Flq44Vlo4dLCdWGhhUsL14WFFi4tXBcWWri0cJtpjRau+sEt3ApiTZXmag+xBgu3m0vAq/3FuhDw8J/BaOFOjFlb0L7irpW/iz/UuNf+z1EDIcXX9Brn1Ngbj/Wca7LyyYy8D7DNyWpizM1QUN9xH5Xsyaof96P/cxR0svJZ0wgY+y+PrY337V8ow1m/u7cAAA==","proving_key":null,"verification_key":null}