chore: update artifacts

noir-lang · Aug 7, 2023 · 1d95674 · 1d95674
1 parent e2389a5
commit 1d95674
Show file tree

Hide file tree

Showing 11 changed files with 6 additions and 6 deletions.
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/+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}
+{"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}
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/+2UQQ6DIBBFp0K1WttVDwICCrtepaZ4/yM0piwmVrthSDBxNkxYfN78If8GAA/4rVM4n+FUotfaD52XSr5E50ZrhDZjb6WVxpp3Z5XyVtvBjW4QTmrl5WScmsS3TkhLRBZDfP+YRVxJSmbMW6Cer9yxcJYJZoLFO0sf7yt3pI+nWFKRQJcB3edPNTej35FAktl7usUZq81hf2FFyYx5z6g/wipSkwdDqXVLyDusePggxDtKGlbUnm5xxmpXsL+womTGvBfUH2EVqVkFQ6l1a8g7rOa5a/odJQ0rak+3OGO1G9hfWFEyY94r6o+witRsgqHUui3kHVbz3C39jpKGFbWna/UBXDJMO9gSAAA=","proving_key":null,"verification_key":null}
+{"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}
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/+2Uy27CMBBFB5JCobwKhUKh9BecFzi7/kpRw/9/QmXVixHF3cy1ZEvOJiMWlzN3ovNBRCX9fXr2/WnflTrVdXcuu6IqvlTZXnSj6uZy0oUuGt18l7qqOl3rc3tpz6ot6qorrk1bXdXv02NZSvhkjO8/ZiV7CiQz5+2zOb/zW2bfAw870c3/3PY4u/Mb9M99HKnvITcj3Mfva+8MfyPFIoPv1MUpzc4pPlkhmTnvA5uTrISZuS0UnTugsGWV2w8EfCOvskJ36uKUZg8pPlkhmTnvI5uTrISZQ1soOndEYcvK7D3C38irrNCdujil2WOKT1ZIZs77xOYkK2Hm2BaKzp1Q2LIye0/wN/IqK3SnLk5p9pTikxWSmfPO2JxkJcyc3kCjcucUtqzM3nP8jbzKCt2pi1OavaD4ZIVk5rzPbE6yEmYubKHo3CWFLSuz9xJ/I6+yQnfq4pRmryg+WSGZOe8Lm5OshJkrWyg6d01hy8rsvcbfyKus0J26OKXZG4pPVkhmzvvK5iQrYebGForO3VLYsjJ7b/E38iordKcuTmn2juKTFZKZ876xOclKmLmzhaJz9xS2rMzee/yNvMoK3amLU5p9oPhkhWTmvO9sTrISZh5soejcI4UtK7P3EX8jr7JCd3rv+QEAi3N45i4AAA==","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[],"param_witnesses":{},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2dC5hd0xXH9zwySSYzk0eTyDs3kbdH58wrd9RjpKShaCgaiiaTzDQUDUVDJQ0lDUVD0VA0FA1FQ9FQNBQNRUPRUDQUDUWjaBSNOid7md892aOSWXu+ycw+35fvLnuvtf7/tf/33L3nPpZtjDETzIar4KN/+ab5q84+lrfsqvGYuyIPOWmX2Meutk7Od3XUXaTPrbwImFo5O32UozPqkEvqKbOYhZjLYL4AsZ2sXYgxWYdOjrWSuc4md601C4yMoyjJXVleU1XVML6iIaqMppVX1NZnq8urqutrslE2qs5Wz6jIVlY2ZKuy42vra8eX10ZVlQ1RY3VtZaNNnqeYK1+v5myBa0GN+pMnUuRcTr4FsAtT2nHeww2R83xxrWOZ8fxk9SFSgYe8hUbvye+r7kJ9jcqRsk2vaXvbjTvBDrtxU80ZE3bjjxdPK1eRXs1VrbUbK3LO2Y07ww67cQtzFpncO0wrbxfTtnfjuO4u+hp53Y0117S97cbcncJu3DSeMWE3Tq6uirmK9Wqe3lq7sSLnnN24G+ywG7cwZ7FdUO28JaZt78Zx3SX6GnndjTXXtL3txqWw5QWio+/G8WPGfPrdWPxkbovdeUsVc5Xp1VzZWjuvIuecnbc77LDztjBnmV1Q7bw9TNveeeO6e+hr5HXn1VzTApP78Y6n56zXnddj7krexD1hyw4f71TpF5/2uNN3QR0mVa+82MlOHdeeMRvv9Hkm92/sjHHv/J1T68O164zHVjkNaN+8Pc0Wd2yOPObOOTb3gh2OzRsuuVHa5LG5tY6QvfRy5RwhPwM7HCFbmLOXXVDtvL1N2z5CxnX31tfI6xFSc03bwS4U8UbrAzvsQhuuNr0LMaf2jdLHhHc5ceUc1/rCDjdKU10Z08GPa331cuUc17aCHY5rLczZ1y6odt5+pm0f1+K6++lr5PW4prmmrbQL+XxXroY3Wn/YYRdqqitjOuBxrb8JxzVcOce1AbDDjbLhit/WzpgO+KH0AMVcA/VqrmitI6oi55wj6iDY4YjawpwD7YJq5x1s2vYRNa57sL5GXo+ommva3nbeIbDDztvkkzEdcOcdophrqF7NNa218ypyztl5M7DDztvCnEPtgmrnHWba9s4b1z1MXyOvO6/mmoavg33iVcWbeDjs8HWw5r8OFv+4IWPC18GcuYebcGzGlXNs3hr2HDvREY/NMW6hKm5FUkuRbi0VRahFiydfAPiiwO4Txmx889fB5vrKCxdPg8W665CcSrshfx0w+GJWoosbETfP/hOMbqhb7EHwFb94jddjnYrgI5tcvvUpcfh0hc08/EUUbW4SwpObqeTq8n/4FSGuzj6Wt+xK1rMYXOvw36Xg0x0cuqpyiBqNyf2dPn+bLOsma8A1UX5OVzB/PvL7XP84B5/PpSnM+OKvJoUff5JbBs4lqRhf69QdmILP9eqpihk1xDn41Wl5jvQEtvzGhX69wFM49wBPH3rKN26pJ39/0xucxLcM830c/Pnly76I75OK8aX3VsAUfOrdXxUzmhHn4Id5ond/YMs3HOg3ADyFcz/w9KH3QJuLevPbF4PASXz5vbLBDv78jGUI4genYnzpPRSYgk+9h6liRtPjHPxjU/QeBuyMtek3HDyFcwY8fegtZ3bqnQGnEeAkvnx7fKSD/wiMjUL8yFSML71HA1PwqfdYVcyoPs4xDjWL3mOBPcba9BsHnsJ5DHj60Hsbm4t6jwGnbcFJfEdhfjsH/20xtj3it0vF+NL7s8AUfOodqWJG0+IcfNdK9I6ALe8g0q8CPIVzOXj60LvS5qLefHezCpzEd3vMVzv4V2GsBvHVqRhfeo8HpuBT71pVzChJtwNqFr1rgZ21Nv12AE/hnAVPH3p/zuai3llw2hGcxJdvEO3k4L8jxnZG/E6pGF967wJMwafeu6piRslyTUDNoveuwBYs+k0Az11SnHzp/XmbK8+RP752Ayfx3Rnzuzv474axiYjfPRXjS+8vAFPwqfceqphRcmvuiZpF7z2APcna9NsTPIXzJPD0ofcXbS7qPQmc9gIn8Z2I+b0d/PfC2D6I3zsV40vvLwFT8Kn3vqqYUfJytx9qFr33BfZka9NvP/AUzpPB04feX7a5qPdkcNofnMR3H8wf4OC/P8YORPwBqRhfen8FmIJPvQ9SxYyS48jBqFn0PgjYU6xNv4PBUzhPAU8fen/V5qLeU8DpEHAS3wMxf6iD/yEYOwzxh6ZifOn9NWAKPvWepooZJcfTetQsek8D9lRr068ePIXzVPD0ofd0m4t6TwWnGeAkvodhvsHBfwbGGhHfkIrxpffXgSn41PtwVcwo+bPlCNQseh8O7JnWpt8R4CmcZ4KnD72/YXNR75ngdCQ4iW8j5o9y8D8SY0cj/qhUjC+9vwlMwafex6hiRgnmsahZ9D4G2LOsTb9jwVM4zwJPH3p/y+ai3rPA6ThwEt+jMX+8g/9xGDsB8cenYnzp/W1gCj71PlEVM0rW8STULHqfCOzZ1qbfSeApnGeDpw+9v2NzUe/Z4HQyOInvCZif4+B/MsbmIn5OKsaX3t8FpuBT71NUMaPk7alTUbPofQqw51mbfqeCp3CeB54+9P6ezUW954HTaeAkvnMxf7qD/2kYm4/401MxvvT+PjAFn3qfoYuZbG9nombR+wxgL7A2/c4ET+G8ADx96P0Dm4t6LwCns8BJfOdj/mwH/7Mwdg7iz07F+NL7h8AUfOp9ri5mcvw8DzWL3ucCe6G16XceeArnheDpQ+8f2VzUeyE4nQ9O4nsO5i9w8D8fYxci/oJUjC+9fwxMwafeF+liJn+OXIyaRe+LgL3I2vS7GDyF8yLw9KH3T2wu6r0InC4BJ/G9EPOXOvhfgrHLEH9pKsaX3j8FpuBT78t1MZM/U69AzaL35cBebG36XQGewnkxePrQ+2c2F/VeDE5XgpP4Xob5qxz8r8TY1Yi/KhXjS++fA1Pwqfc1upjJ2w7XombR+xpgL7E2/a4FT+G8BDx96P0Lm4t6LwGn68BJfK/G/PUO/tdh7AbEX5+K8aX3L4Ep+NT7Rl3M5G20m1Cz6H0jsJdam343gadwXgqePvT+lc1FvZeC083gJL43YP4WB/+bMXYr4m9JxfjS+9fAFHzqfZsuZvIx9+2oWfS+DdjLrE2/28FTOC8DTx96/8bmot7LwOkOcBLfWzF/p4P/HRi7C/F3pmJ86f1bYAo+9b5bFzP5/Pse1Cx63w3s5dam3z3gKZyXg6cPvX9nc1Hv5eB0LziJ712Yv8/B/16M3Y/4+1IxvvT+PTAFn3o/oIuZfP79IGoWvR8A9gpr0+9B8BTOK8DTh95/sLmo9wpwegicxPd+zD/s4P8Qxh5B/MOpGF96/xGYgk+9H9XFTD7/fgw1i96PAnulten3GHgK55Xg6UPvP9lc1HslOD0OTuL7COafcPB/HGNPIv6JVIwvvf8MTMGn3k/pYiaffz+NmkXvp4C9ytr0exo8hfMq8PSh919sLuq9CpyeASfxfRLzzzr4P4Ox5xD/bCrGl95/BabgU+/ndTGTz79fQM2i9/PAXm1t+r0AnsJ5NXj60PtvNhf1Xg1OL4KT+D6H+Zcc/F/E2MuIfykV40vvvwNT8Kn3K7qYyeffr6Jm0fsVYK+xNv1eBU/hvAY8fej9D5uLeq8Bp9fASXxfxvzrDv6vYewNxL+eivGl9z+BKfjFnjHfRM3p32TGj2utTb83wVM4rwVPH3r/y+ai3mvB6S1wEt83MP+2g/9bGHsH8W+nYnyt/b+BKfjFntfxXdQsepcCe5216fcueArndZ55/sfmot7rwOk9cBLfdzD/voP/exj7APHvp2J86f1fYAo+9f5QF7P84wW0l+j9IbDXyyT8xM4H5/Xg6UPvvLwm6NIUZsIFnMT3A8wXuPgjZ6G1N/q/UaK/RCfxwZj4ydwW235sa8VcIxRrbq32Y4qcc9qPjYQd2o+1MOcIu6DaeUcZvSe/r7pH6Wvktf2Y5pq2tw5Go2HPDR2MFHFDB6PQwSh0MPo061kMrnUmdDCKr3wTOhh90jqFDkZuonGO0MEodDAKHYw2aRlDByOMjUJ86GAUOhj50Dt0MHITjXOEDkahg1HoYLRJyxg6GGFsIuJDB6PQwciH3qGDkZtonCN0MAodjEIHo01axtDBCGONiA8djEIHIx96hw5GbqJxjtDBKHQwCh2MNmkZQwcjjM1HfOhgFDoY+dA7dDByXqGDkQ5m6GCEsdDBKHQwCh2Mcu18EzoYbeYVOhg1f4UORjqYoYMRxkIHo9DBKHQwyrXzTehgtJlX6GDU/BU6GOlghg5GGAsdjEIHo9DBKNfON6GD0WZeoYNR81foYKSDGToYYSx0MOqYHYzi+Ix9ZFxzHYyKrN3J0dWoaEvvajRaMdcYtZqjbGt1NdLjnNvVaCzs0NWohTnH2AXVzjvO6D35fdU9Tl8jr12NtNfUdf0PoPB8C6zZAAA=","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/+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}
		{"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}