From 06a55c68a1d32b363532a66dc140a74b561d2c7d Mon Sep 17 00:00:00 2001 From: Tom French Date: Mon, 7 Aug 2023 19:56:01 +0100 Subject: [PATCH] chore: update artifacts --- .../target/brillig_calls_conditionals.json | 2 +- .../brillig_field_binary_operations.json | 2 +- .../target/witness.tr | Bin 96 -> 77 bytes .../brillig_integer_binary_operations.json | 2 +- .../target/witness.tr | Bin 170 -> 127 bytes .../brillig_keccak/target/brillig_keccak.json | 2 +- .../brillig_keccak/target/witness.tr | Bin 3315 -> 2893 bytes .../brillig_loop/target/brillig_loop.json | 2 +- .../brillig_loop/target/witness.tr | Bin 73 -> 66 bytes .../brillig_modulo/target/brillig_modulo.json | 2 +- .../brillig_modulo/target/witness.tr | Bin 128 -> 102 bytes .../brillig_slices/target/brillig_slices.json | 2 +- 12 files changed, 7 insertions(+), 7 deletions(-) diff --git a/crates/nargo_cli/tests/execution_success/brillig_calls_conditionals/target/brillig_calls_conditionals.json b/crates/nargo_cli/tests/execution_success/brillig_calls_conditionals/target/brillig_calls_conditionals.json index 323ec175852..59f1cb780ea 100644 --- a/crates/nargo_cli/tests/execution_success/brillig_calls_conditionals/target/brillig_calls_conditionals.json +++ b/crates/nargo_cli/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} \ No newline at end of file +{"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} \ No newline at end of file diff --git a/crates/nargo_cli/tests/execution_success/brillig_field_binary_operations/target/brillig_field_binary_operations.json b/crates/nargo_cli/tests/execution_success/brillig_field_binary_operations/target/brillig_field_binary_operations.json index e08b7dc3b1d..811f409701c 100644 --- a/crates/nargo_cli/tests/execution_success/brillig_field_binary_operations/target/brillig_field_binary_operations.json +++ b/crates/nargo_cli/tests/execution_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} \ No newline at end of file +{"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} \ No newline at end of file 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 index 908ac53760e9cb08f3e2171afce2431192f01391..3e291a6c8c535690a992b66843c5236fe4bda514 100644 GIT binary patch literal 77 zcmb2|=3oE;rvGdEZ*npy@EqN9o^P@Aj{hNCWzEkV7se|Jet&*n_V4sU#uV4St->#+ gI)*VyYrnYa5XLUe{=(F8T0^gRZJU|a3}yxf0C)5qO#lD@ literal 96 zcmV-m0H6OKiwFP!00002|E>AwMA6yDT|-e1;?ex0QqT9{tIV*o)#vil<*q7w2s=$mIv<%pn1^>%|89itPu&)k242R^%1ONb{ CWhun~ diff --git a/crates/nargo_cli/tests/execution_success/brillig_integer_binary_operations/target/brillig_integer_binary_operations.json b/crates/nargo_cli/tests/execution_success/brillig_integer_binary_operations/target/brillig_integer_binary_operations.json index e9ea0637f20..a14b18de661 100644 --- a/crates/nargo_cli/tests/execution_success/brillig_integer_binary_operations/target/brillig_integer_binary_operations.json +++ b/crates/nargo_cli/tests/execution_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/+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} \ No newline at end of file +{"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} \ No newline at end of file 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 index ce15e1dc0ec4b448db220d1ef48b6143e33f294c..89624134b2180534e97a1cbcd5282685db63e7a3 100644 GIT binary patch literal 127 zcmV-_0D%7=iwFP!00002|EtaxR{&WdY>c2+3|R?mOrci>SvhPh hpjQc56>O}bR|8osZ0w*{4_O0jTmW_*sm=lm5eO7Z;or7NJ#gR#bM@s{$LV(5k_`>dyK$U}F_V#t_v%Ay z02_zU8o|afv?j1|3auGzoI`8jtj7}WwSv|f?zM5&dkY(P(AvYj4$wM6>jd{YL+b(? Yugr?#8*IEoD}a0b0Q#lHb$|>20R3!GPXGV_ diff --git a/crates/nargo_cli/tests/execution_success/brillig_keccak/target/brillig_keccak.json b/crates/nargo_cli/tests/execution_success/brillig_keccak/target/brillig_keccak.json index 2479c628955..9a72d776292 100644 --- a/crates/nargo_cli/tests/execution_success/brillig_keccak/target/brillig_keccak.json +++ b/crates/nargo_cli/tests/execution_success/brillig_keccak/target/brillig_keccak.json @@ -1 +1 @@ -{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"result","type":{"kind":"array","length":32,"type":{"kind":"integer","sign":"unsigned","width":8}},"visibility":"private"}],"param_witnesses":{"result":[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],"x":[1]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+3adXBV1xMH8H3xQAjuFureF4OkSr3U3QUooe7u1N3dW+rubhR3d6fuXmrIb3d63nB6ya//3O/OnJ05b2Yn95J23+7Z+z4b0nbLIyrikFeGI89FiXefn7gvSNwXJu6LEvfFifuSxH1p4r5J4r5p4r4scd8scV+euG+euG+RuG+ZuG+VuG+duG+TuG+buG+XuG+fuO+QuO+YuO+UuO+cuO+SuO+auO+WuO+euK9I3Pdw9zJHct8nWjX7Ave9Im+WpW5OTd08mrlzb+7Ot6U7x9buvNq6c2nv+u/o+uzs+unq6u7u3r+He+98Wv2VcV97u6/ZdK/KDC5XtpFyMbkrFXNz9jwv5xru65ren5W6rzkf5FXkzSM3J3lWVtLqs8p413nun8n/j38m83/ylHp/lvv3y71aCHcm2SKCP2vZci8nuuDK3AdaBriUVn3AZZAliffMV3jvXK7qbM+amoZeVQ2V1ZX9slX1/etqszW1/XvWVdZV1tbVDqiqq65uqKup61Xfv75Xtr6yprqhcmBtfXXDQHllK9cA5BroClsT12M2n1Y9/JlGBomGCVk7NfJC1el/aCvc9Voca3Osw7Eux3oc63NswLEhx0YcG3NswrGp1MBRyVElM+eo4ajl6MnRi6OOo55jM47NObbg2JJjK46tXS/bcGzLsZ3XY7n7KnAkwZE/8+GTlwIklRqQyEIu9vrIvfK8vuV9C6HvW5WV9yqgf7+Sn4Pe3nXu/cvo38vDXxjyqvB6KUp8z59T7nvFpAipnzMJZVqQ8oB1rgWsa3vCQrnacAgPJLJmv94dvOvcQ5jXyDOh8MFe7dlLnqPqTxBaQ9pBIe+OhHv4tfreET+jbPIBIeA55AP7XxtY105kDydkzX69O3vXEaeUOXdyB4rO24fCxkn67oOfkSpOBcD+1wHWtQvZwwlZs1/vrt51xCllzl3cgaLz7kZh4yR974afkUqt8hNen0bypj3X3ckGyoXAs1wXWNceZA9lZM1+vXt61xHllDn3cAeKzrsXhY2y9L0XfkYqtcry2J3wKO9NNlAuAp7lesC69iF7KCNr9uvd17uOKKfMuY87UHTe/ShslKXv/fAzUqlVlsfehEd5f7KBcjHwLNcH1nUA2UMZWbNf74HedUQ5Zc4D3IGi8x5EYaMsfR+En5FKrbI89ic8ygeTDZRLgGe5AbCuQ8geysia/XoP9a4jyilzHuIOFJ33MAobZen7MPyMVGqV5XEw4VE+nGygXAo8yw2BdR1B9lBG1uzXe6R3HVFOmfMId6DovH0pbJSl7774GanUKsvjcMKj3I9soNwEeJYbAevqT/ZQRtbs13uUdx1RTpmzvztQdN4BFDbK0vcA/IxUau3LOfoRHuUGsoFyU+BZbgysayDZQxlZs1/v0d51RDllzoHuQNF5j6GwUZa+j8HPSKVWWR4NhEf5WLKBchnwLDcB1nUc2UMZWbNf7/HedUQ5Zc7j3IGi855AYaMsfZ+An5FKrbI8jiU8yieSDZSbAc9yU2BdJ5E9lJE1+/We7F1HlFPmPMkdKDrvKRQ2ytL3KfgZqdQqy+NEwqN8KtlAuRx4lllgXaeRPZSRNfv1nu5dR5RT5jzNHSg67xkUNsrS9xn4GanUKsvjVMKjfCbZQLk58CwrgXWdRfZQRtbs13u2dx1RTpnzLHeg6LznUNgoS9/n4GekUqssjzMJj/K5ZAPlFsCzrALWdR7ZQxlZs1/v+d51RDllzvPcgaLzXkBhoyx9X4CfkUqtsjzOJTzKF5INlFsCz7IaWNdFZA9lZM1+vRd71xHllDkvcgeKzjuIwkZZ+h6En5FKrbI8LiQ8ypeQDZRbAc+yBljXpWQPZWTNfr2XedcR5ZQ5L3UHis57OYWNsvR9OX5GKrUO4hyXEB7lK8gGyq2BZ1kLrOtKsocysma/3qu864hyypxXugNF572awkZZ+r4aPyOVWmV5XEF4lK8hGyi3AZ5lT2Bd15I9lJE1+/Ve511HlFPmvNYdKDrv9RQ2ytL39fgZqdQqy+MawqN8A9lAuS3wLHsB67qR7KGMrNmv9ybvOqKcMueN7kDReW+msFGWvm/Gz0ilVlkeNxAe5VvIBsrtgGdZB6zrVrKHMrJmv97bvOuIcsqct7oDRee9ncJGWfq+HT8jlVpledxCeJTvIBsotweeZT2wrjvJHsrImv167/KuI8opc97pDhSd924KG2Xp+278jFRqleVxB+FRvodsoNwBeJabAeu6l+yhjKzZr/c+7zqinDLnve5A0Xnvp7BRlr7vx89IpVZZHvcQHuUHyAbKHYFnuTmwrgfJHsrImv16H/KuI8opcz7oDhSd92EKG2Xp+2H8jFRqleXxAOFRfoRsoNwJeJZbAOsaTPZQRtbs1/uodx1RTplzsDtQdN7HKGyUpe/H8DNSqfVhzvEI4VF+nGyg3Bl4llsC63qC7KGMrNmv90nvOqKcMucT7kDReZ+isFGWvp/Cz0ilVlkejxMe5afJBspdgGe5FbCuZ8geysia/Xqf9a4jyilzPuMOFJ33OQobZen7OfyMVGqV5fE04VF+nmyg3BV4llsD63qB7KGMrNmv90XvOqKcMucL7kDReV+isFGWvl/Cz0ilVlkezxMe5ZfJBsrdgGfZG1jXK2QPZWTNfr2vetcR5ZQ5X3EHis77GoWNsvT9Gn5GKrXK8niZ8Ci/TjZQ7g48y22Adb1B9lBG1uzX+6Z3HVFOmfMNd6DovG9R2ChL32/hZ6RSqyyP1wmP8ttkA+UK4FluC6zrHbKHMrJmv953veuIcsqc77gDRed9j8JGWfp+Dz8jlVplebxNeJTfJxso9wCe5XbAuj4geygja/br/dC7jiinzPmBO1B03iEUNsrS9xD8jFRqleXxPuFR/ijwvodwjo8amVHavuWDmwNDai6gxl+oPpTyVinlrVbKW0N6Z1yT8eZZ4a6HcgzjGM4xgmMkxyiO0RxjOMZyjOMYzzGBYyLHJI7JHFM4pnJM45jOMYNjJscsjtkcczjmcszjmM+xgGMhxyKOxRxLvB7L3ddSWrWcMt6f+ctLXkUK56OwDLOFnKPY6yP3yvP6lvcthL5vVVbeK/mZTS7d3t517v3LXG25+nKzyOWq8HopSnzPn1Pue8WkuOyTSJVQ4y/U+ynlNY8UKG825m08L3J2jS2Bjzk+4fiU4zOOzzm+4PiS4yuOrzm+4fiW4zuO7zl+4PiR4yeOnzl+4fiV4zeOpRy/c/zB8SfHXxx/cyzjWM6xgmOlKyLj6RDAEqiLS8DYEvBz5oNzDyXcT9QfA3PlZez9qgNZs19vvncTf9WRMqcMSQ4UnbcgE/avOqTvggx8Rv/5e9hsulflMMKd6SfAXIUGcSpUwqko4oQdUpECTsWB4yR9FxvDaTjhzvRTYK4SgziVKOFUGnHCDqlUAacmgeMkfTdRwknjp9DiDP4/EjXN2EB5BLDnz4C5ygyiXKaEcrOIMnZIzRRQLg8cZem73AjKsjyaKqDc3AjKI4E9fw7M1cIgyi2UUG4ZUcYOqaUCyq0CR1n6bmUEZVkezRVQbm0E5VHAnr8A5mpjEOU2Sii3jShjh9RWAeV2gaMsfbczgrIsj9YKKLc3gvJoYM9fAnN1MIhyByWUO0aUsUPqqIByp8BRlr47GUFZlkd7BZQ7G0F5DLDnr4C5uhhEuYsSyl0jytghdVVAuVvgKEvf3YygLMujswLK3Y2gPBbY89fAXBUGUa5QQrlHRBk7pB4KKK8ROMrS9xpGUJbl0V0B5TWNoDwO2PM3wFxrGUR5LSWU144oY4e0tgLK6wSOsvS9jhGUZXmsqYDyukZQHg/s+VtgrvUMoryeEsrrR5SxQ1pfAeUNAkdZ+t7ACMqyPNZVQHlDIyhPAPb8HTDXRgZR3kgJ5Y0jytghbayA8iaBoyx9b2IEZVkeGyqgvKkRlCcCe/4emCtrEOWsEsqVEWXskCoVUK4KHGXpu8oIyrI8NlVAudoIypOAPf8AzFVjEOUaJZRrI8rYIdUqoNwzcJSl755GUJblUa2Aci8jKE8G9vwjMFedQZTrlFCujyhjh1SvgPJmgaMsfW9mBGVZHr0UUN7cCMpTgD3/BMy1hUGUt1BCecuIMnZIWyqgvFXgKEvfWxlBWZbH5goob20E5anAnn8G5uptEOXeSihvE1HGDmkbBZS3DRxl6XtbIyjL8thaAeXtjKA8DdjzL8Bc2xtEeXsllHeIKGOHtIMCyjsGjrL0vaMRlGV5bKeA8k5GUJ4O7PlXYK6dDaK8sxLKfSLK2CH1UUB5l8BRlr53MYKyLI+dFFDe1QjKM4A9/wbMtZtBlHdTQnn3iDJ2SLsroLxH4ChL33sYQVmWx64KKO9pBOWZwJ6XAnPtZRDlvZRQ3juijB3S3goo7xM4ytL3PkZQluWxpwLK+xpBeRaw59+BufYziPJ+SijvH1HGDml/BZQPCBxl6fsAIyjL8thXAeUDjaA8G9jzH8BcBxlE+SAllA+OKGOHdLACyocEjrL0fYgRlGV5HKiA8qFGUJ4D7PlPYK7DDKJ8mBLKh0eUsUM6XAHlIwJHWfo+wgjKsjwOVUD5SCMozwX2/BcwV1+DKPdVQrlfRBk7pH4KKPcPHGXpu78RlGV5HKmA8lFGUJ4H7PlvYK4BBlEeoIRyQ0QZO6QGBZQHBo6y9D3QCMqyPI5SQPloIyjPB/a8DJjrGIMoH6OE8rERZeyQjlVA+bjAUZa+jzOCsiyPoxVQPt4IyguAPS8H5jrBIMonKKF8YkQZO6QTFVA+KXCUpe+TjKAsy+N4BZRPNoLyQmDPK4C5TjGI8ilKKJ8aUcYO6VQFlE8LHGXp+zQjKMvyOFkB5dONoLwI2PNKYK4zDKJ8hhLKZ0aUsUM6UwHlswJHWfo+ywjKsjxOV0D5bCMoLwb2TMDn8hyDKJ+jhPK5EWXskM5VQPm8wFGWvs8zgrIsj7MVUD7fCMpLgD1ngM/lBQZRvkAJ5QsjytghXaiA8kWBoyx9X2QEZVke5yugfHEm7L5lPhc3MqO0fcsHNweGpC+hxl+oPpTyVinlrVbKW6OUNxvzNp4XmLsu9zGUrxXuehDfXMJxKcdlHJdzXMFxJcdVHFdzXMNxLcd1HNdz3MBxI8dNHDdz3MJxK8dtHLdz3MFxJ8ddHHdz3MNxL8d9HPdzPMDxIMdDngvl7msprVr+Ge/P8hJnUqRwPgo/bGQLOUex10fulef1Le9bCH3fqqy8VwH9+5X8oaa3d517/zJXW66+3CxyuSq8XooS3/PnlPteMSn/MEWJQlG5hxJuWQ0C/iD1sMG/RSBr9ut9JP4tAjukRxT+FjE48L9FSN+Dlf4W4T8gyJqHEe5MLwHO51GDOD2qhNNjESfskB5TwOnxwHGSvh83htNwwp3ppcD5PGEQpyeUcHoy4oQd0pMKOD0VOE7S91NGfv862EGK/v3r0xkbKI8A9nwZ8Ll8xiDKzyih/GxEGTukZxVQfi5wlKXv54ygLMvjaQWUnzeC8khgz5cDn8sXDKL8ghLKL0aUsUN6UQHllwJHWfp+yQjKsjyeV0D5ZSMojwL2fAXwuXzFIMqvKKH8akQZO6RXFVB+LXCUpe/XjKAsy+NlBZRfN4LyaGDPVwKfyzcMovyGEspvRpSxQ3pTAeW3AkdZ+n7LCMqyPF5XQPltIyiPAfZ8FfC5fMcgyu8oofxuRBk7pHcVUH4vcJSl7/eMoCzL420FlN83gvJYYM9XA5/LDwyi/IESyh9GlLFD+lAB5SGBoyx9DzGCsiyP9xVQ/sgIyuOAPV8DfC6HGkR5qBLKwyLK2CENU0B5eOAoS9/DjaAsy+MjBZRHGEF5PLDna4HP5UiDKI9UQnlURBk7pFEKKI8OHGXpe7QRlGV5jFBAeYwRlCcAe74O+FyONYjyWCWUx0WUsUMap4Dy+MBRlr7HG0FZlscYBZQnGEF5IrDn64HP5USDKE9UQnlSRBk7pEkKKE8OHGXpe7IRlGV5TFBAeYoRlCcBe74B+FxONYjyVCWUp0WUsUOapoDy9MBRlr6nG0FZlscUBZRnGEF5MrDnG4HP5UyDKM9UQnlWRBk7pFkKKM8OHGXpe7YRlGV5zFBAeY4RlKcAe74J+FzONYjyXCWU50WUsUOap4Dy/MBRlr7nG0FZlsccBZQXGEF5KrDnm4HP5UKDKC9UQnlRRBk7pEUKKC8OHGXpe7ERlGV5LFBAeYkRlKcBe74F+Fx+bBDlj5VQ/iSijB3SJwoofxo4ytL3p0ZQluWxRAHlz4ygPB3Y863A5/Jzgyh/roTyFxFl7JC+UED5y8BRlr6/NIKyLI/PFFD+ygjKM4A93wZ8Lr82iPLXSih/E1HGDukbBZS/DRxl6ftbIyjL8vhKAeXvjKA8E9jz7cDn8nuDKH+vhPIPEWXskH5QQPnHwFGWvn80grIsj+8UUP7JCMqzgD3fAXwufzaI8s9KKP8SUcYO6RcFlH8NHGXp+1cjKMvy+EkB5d+MoDwb2POdwOdyqUGUlyqh/HtEGTuk3xVQ/iNwlKXvP4ygLMvjNwWU/zSC8hxgz3cBn8u/DKL8lxLKf0eUsUP6WwHlZYGjLH0vM4KyLI8/FVBebgTlucCe7wY+lysMorxCCeWVEWXskFYqoCwTyeUKEWXp239qQHlVapXlsVwB5UyeDZTnAXu+B4hyXp49lJE1+/Xme5+liHLKnDIkOVB03oLAUZa+C4ygLE93Jg+PcqERlOcDe74XiHKRQZSLlFAujihjh1SsgHJJ4ChL3yVGUJblUaiAcqkRlBcAe74PiHITgyg3UUK5aUQZO6SmCiiXBY6y9F1mBGVZHqUKKDczgvJCYM/3A1EuN4hyuRLKzSPK2CE1V0C5ReAoS98tjKAsy6OZAsotjaC8CNjzA0CUWxlEuZUSyq0jytghtVZAuU3gKEvfbYygLMujpQLKbY2gvBjY84NAlNsZRLmdEsrtI8rYIbVXQLlD4ChL3x2MoCzLo60Cyh2NoLwE2PNDQJQ7GUS5kxLKnSPK2CF1VkC5S+AoS99djKAsy6OjAspd83T7TlufzKerwox6uDy5/ytSPsgCSSH9g0YxRwlHKUcTjqYcZRzN6J8PeHOOFhwtOVpxtOZow9GWox1He44OHB05OnF05ujC0ZWjG0d3jgqOHrT663//ZY+bdTACAA==","proving_key":null,"verification_key":null} \ No newline at end of file +{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"result","type":{"kind":"array","length":32,"type":{"kind":"integer","sign":"unsigned","width":8}},"visibility":"private"}],"param_witnesses":{"result":[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],"x":[1]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+3de7hPZRYH8HXOcb/f79dyv57fuTnHnZIIIYQQhyOEEEIIIYQQQgghhBBCNE1TU1NNNdVUU0011VRTTTXVVFNNzV7jPU+vzcw/+7v2867neX/Psx/vplnnu9b6nc8+zkiPJBGlJNN/X8GRks1VxLpPCd0XCN0XDN0XCt0XDt0XCd0XDd0XC90XD92XCN2XDN2XCt2XDt2XCd2XDd2XC92XD91XCN1XDN1XCt1XDt1XCd1XDd1XC91XD93XCN3XDN3XCt3XDt3XCd3XNfe8RzK/TvTL7guYXytk7bKo2VNxs4+SZu6lzXzLmjmWN/OqaOZS2fRf1fRZ3fRT0+SubT5+XfOxU+j8V5L5saP5MTXaK5GEq5V6gbiY2gnB2kH1ZKvmRebHi62fK2p+zPeBX4WsfeTvid8rP9P5u0qyzsnmn0n5P/9M0v+oU9T6ufz/fSkrC+FmklqI4O+11FJWTXTgRP4nNC/wG/rlE5wXWST0MVMEPnZ+rfTUrIyMvFZpeYn0xIjUtJzc7MzUjMzcrOxEdiIzO3NUWnZ6el52RnarnNycVqk5iYz0vMTozJz0vNH8Sk1cBKg12gS7GNdjagr98uZPusAi0TAhs9MFXqic9idtHXOuF1z1g6tBcDUMrkbB1Ti4mgRX0+BqFlzNg6tFcLXkDMGVCK403nlwZQRXZnBlBVer4MoOrpzgah1cbYKrbXC1C672wdXB9NIpuDoH1yVWj6XMjwxHGBz+ORs+fglAkpCAhB/Iha0+8l/JVt/8cQtCP25aKn+sAnTuK/x50NE653/8EnTuw8N+YPCrjtVLodCv2XvK/7XCJAipXTMMZVSQkoE56wFzXUpYKM9bDuGBRGa283axzvlvwuQLvCcEPrHPe++F5yj6FYTUkroI1L2McG9+qb4vw+8oNfwGIeAcUoD91wfm6kr6cEJmtvNebp09ThFrdjUDRdftRm7jxH13w+9IFKcCwP4bAHN1J304ITPbea+wzh6niDW7m4Gi6/Ygt3HivnvgdySSlb/C63aBulHn2pN0oFwQOMuGwFy9SB/KyMx23iuts0c5Ys1eZqDour3JbZS57974HYlk5YdHT8Kj3Id0oFwIOMtGwFx9SR/KyMx23quss0c5Ys2+ZqDouv3IbZS57374HYlk5YdHH8Kj3J90oFwYOMvGwFwDSB/KyMx23quts0c5Ys0BZqDougPJbZS574H4HYlk5YdHf8KjPIh0oFwEOMsmwFyDSR/KyMx23muss0c5Ys3BZqDoukPIbZS57yH4HYlk5YfHIMKjPJR0oFwUOMumwFzDSB/KyMx23muts0c5Ys1hZqDousPJbZS57+H4HYlk5YfHUMKjPIJ0oFwMOMtmwFy5pA9lZGY770jr7FGOWDPXDBRddxS5jTL3PQq/I5Gsw4MaIwiPch7pQLk4cJbNgblGkz6UkZntvNdZZ49yxJqjzUDRdceQ2yhz32PwOxLJyg+PPMKjPJZ0oFwCOMsWwFzjSB/KyMx23uuts0c5Ys1xZqDouuPJbZS57/H4HYlk5YfHWMKjPIF0oFwSOMuWwFwTSR/KyMx23huss0c5Ys2JZqDoupPIbZS570n4HYlk5YfHBMKjPJl0oFwKOMtUYK4ppA9lZGY7743W2aMcseYUM1B03ankNsrc91T8jkSy8sNjMuFRnkY6UC4NnGUCmGs66UMZmdnOe5N19ihHrDndDBRddwa5jTL3PQO/I5Gs/PCYRniUZ5IOlMsAZ5kGzDWL9KGMzGznvdk6e5Qj1pxlBoquO5vcRpn7no3fkUhWfnjMJDzKc0gHymWBs0wH5ppL+lBGZrbz3mKdPcoRa841A0XXnUduo8x9z8PvSCQrPzzmEB7l+aQD5XLAWWYAcy0gfSgjM9t5b7XOHuWINReYgaLrLiS3Uea+F+J3JJJ1XlBjPuFRXkQ6UC4PnGUmMNdi0ocyMrOd9zbr7FGOWHOxGSi67hJyG2Xuewl+RyJZ+eGxiPAoLyUdKFcAzjILmGsZ6UMZmdnOe7t19ihHrLnMDBRddzm5jTL3vRy/I5Gs/PBYSniUV5AOlCsCZ9kKmGsl6UMZmdnOe4d19ihHrLnSDBRddxW5jTL3vQq/I5Gs/PBYQXiUV5MOlCsBZ5kNzLWG9KGMzGznvdM6e5Qj1lxjBoquu5bcRpn7XovfkUhWfnisJjzK60gHypWBs8wB5lpP+lBGZrbz3mWdPcoRa643A0XX3UBuo8x9b8DvSCQrPzzWER7ljaQD5SrAWbYG5tpE+lBGZrbz3m2dPcoRa24yA0XX3Uxuo8x9b8bvSCQrPzw2Eh7lLaQD5arAWbYB5tpK+lBGZrbz3mOdPcoRa241A0XX3UZuo8x9b8PvSCQrPzy2EB7l7aQD5WrAWbYF5tpB+lBGZrbz3mudPcoRa+4wA0XX3Uluo8x978TvSCTrtqDGdsKjvIt0oFwdOMt2wFy7SR/KyMx23vuss0c5Ys3dZqDounvIbZS57z34HYlk5YfHLsKjvJd0oFwDOMv2wFz7SB/KyMx23vuts0c5Ys19ZqDouvvJbZS57/34HYlk5YfHXsKjfIB0oFwTOMsOwFwHSR/KyMx23gess0c5Ys2DZqDouofIbZS570P4HYlk5YfHAcKjfJh0oFwLOMuOwFxHSB/KyMx23gets0c5Ys0jZqDoukfJbZS576P4HYlk5YfHYcKjfIx0oFwbOMtOwFzHSR/KyMx23oess0c5Ys3jZqDouifIbZS57xP4HYlk5YfHMcKjfJJ0oFwHOMvOwFynSB/KyMx23oets0c5Ys1TZqDouqfJbZS579P4HYlk5YfHScKjfIZ0oFwXOMtLgLkeIX0oIzPbeX9lnT3KEWs+YgaKrvsouY0y9/0ofkciWfnhcYbwKP/a8b4fDWr8+gI7Qryf8l/omT5G+qBGZrbz/sY6e6gj1nzMDBRd93FyG2ru+3H8jkQReIL0IYDMbOf9rXX2CESs+YQZKLruk+Q2Atz3k/gdiSLwFOlDAJnZzvs76+wRiFjzKTNQdN2nyW0EuO+n8TsSycpfsTxJeFSeIR34PUv68ENmtvP+3jp7/CLWfNYMFF33OXIbP+77OfyORLIy0s8QHpXnSQd+L5A+/JCZ7bx/sM4ev4g1XzADRdd9kdzGj/t+Eb8jkayM9POER+Ul0oHfy6QPP2RmO+8frbPHL2LNl81A0XVfIbfx475fwe9IJCsj/RLhUXmVdOD3GunDD5nZzvsn6+zxi1jzNTNQdN3XyW38uO/X8TsSycpIv0p4VN4gHfi9SfrwQ2a28/7ZOnv8ItZ80wwUXfctchs/7vst/I5EsjLSbxAelbdJB37vkD78kJntvH+xzh6/iDXfMQNF132X3MaP+34XvyORrIz024RH5T3Sgd/7pA8/ZGY771+ts8cvYs33zUDRdT8gt/Hjvj/A70gkKyP9HuFR+ZB04PcR6cMPmdnO+zfr7PGLWPMjM1B03Y/Jbfy474/xOxLJykh/SHhUPiEd+H1K+vBDZrbz/t06e/wi1vzUDBRd9zNyGz/u+zP8jkSyMtKfEB6Vz0kHfl+QPvyQme28/7DOHr+INb8wA0XX/ZLcxo/7/hK/I5GsjPTnhEflK9KB39ekDz9kZjvvP62zxy9iza/NQNF1vyG38eO+v8HvSCQrI/0V4VH5lnTg9x3pww+Z2c77L+vs8YtY8zszUHTd78lt/Ljv7/E7EsnKSH9LeFR+IB34/Uj68ENmtvP+2zp7/CLW/NEMFF33J3IbP+77J/yORLIy0j8QHpWfSQd+XBCVMy78kJntvEnWjccvas2kswNF101Ochs/LpicBN+RSFZG+mfCo5KSpAO/AgrxKyCEX0GPH3ZJBQXwK+Q4ftx3ISX4MdIpSXhUCivBr4hC/IoI4VfU44ddUlEB/Io5jh/3XUwJfox0YQH8iivBr4RC/EoI4VfS44ddUkkB/Eo5jh/3XUoJfox0cQH8SivBr4xC/MoI4VfW44ddUlkB/Mo5jh/3XU4Jfox0aQH8yivBr4JC/CoI4VfR44ddUkUB/Co5jh/3XUkJfox0eQH8KivBr4pC/KoI4VfV44ddUlUB/Ko5jh/3XU0Jfox0ZQH8qivBr4ZC/GoI4VfT44ddUk0B/Go5jh/3XUsJfox0dQH8aivBr45C/OoI4VfX44ddUl0B/C5yHD/u+yIl+DHStQXwu1gJfvUU4ldPCL/6Hj/skuoL4NfAcfy47wZK8GOkLxbAr6ES/BopxK+REH6NPX7YJTUWwK+J4/hx302U4MdINxTAr6kS/JopxK+ZEH7NPX7YJTUXwK+F4/hx3y2U4MdINxXAr6US/FIV4pcqhF/C44ddUkIAvzTH8eO+05Tgx0i3FMAvXQl+GQrxyxDCL9Pjh11SpgB+WY7jx31nKcGPkU4XwK+VEvyyFeKXLYRfjscPu6QcAfxaO44f991aCX6MdCsB/Noowa+tQvzaCuHXzuOHXVI7AfzaO44f991eCX6MdBsB/Dokud0376fDBXaEeD/lv9Az7QibaU5WXFB3FIK6k4cau6ROAlB3dhxq7ruzENT5LzQCl8A+oVqNiAsBXOZzEbjUI4Bd0qUCCHRxHAHuu4syBC6DfUKl58WFAC7zuQh09Qhgl9RVAIHLHUeA+75cyW/ZOhuw0Kh0U/L9qu6A91LeaH7lZcSFX3ch/K7w+GGXdIUAfj0cx4/77qEEP0a6mwB+PZXg1wuGX3ZuXPj1EsLvSo8fdklXCuDX23H8uO/eSvBjpHsK4NdHCX59YfjlZMaFX18h/K7y+GGXdJUAfv0cx4/77qcEP0a6jwB+/ZXgNwCG38jsuPAbIITf1R4/7JKuFsBvoOP4cd8DleDHSPcXwG+QEvwGw3LG95XfYCH8rvH4YZd0jQB+QxzHj/seogQ/RnqQAH5DleA3DPeVX2zf8xsmhN+1Hj/skq4VwG+44/hx38OV4MdIDxXAb4QS/HJh+I0YGRd+uUL4jfT4YZc0UgC/UY7jx32PUoIfIz1CAL88JfiNhuE3KrY/8T9aCL/rPH7YJV0ngN8Yx/HjvscowY+RzhPAb6wS/MbB8MuJ7Su/cUL4Xe/xwy7pegH8xjuOH/c9Xgl+jPRYAfwmKMFvIgy/vNi+5zdRCL8bPH7YJd0ggN8kx/HjvicpwY+RniCA32Ql+E2B4ZeVExd+U4Twu9Hjh13SjQL4TXUcP+57qhL8GOnJAvhNU4LfdFjOrNi+5zddCL+bPH7YJd0kgN8Mx/HjvmcowY+RniaA30wl+M3C4ZcWF36zhPC72eOHXdLNAvjNdhw/7nu2EvwY6ZkC+M1Rgt9cWM702L7nN1cIv1s8ftgl3SKA3zzH8eO+5ynBj5GeI4DffCX4LYDlzBwVF34LhPC71eOHXdKtAvgtdBw/7nuhEvwY6fkC+C1Sgt9iXM7Y/t3exUL43ebxwy7pNgH8ljiOH/e9RAl+jPQiAfyWKsFvGSxndnpc+C0Twu92jx92SbcL4Lfccfy47+VK8GOklwrgt0IJfithOROxfeW3Ugi/Ozx+2CXdIYDfKsfx475XKcGPkV4hgN9qJfitAbyXzv45v9zY/hr7NUL43enxwy7pTgH81jqOH/e9Vgl+jPRqAfzWKcFvPSxneiIu/NYL4XeXxw+7pLsE8NvgOH7c9wYl+DHS6wTw26gEv02wnKNi+2/ObhLC726PH3ZJdwvgt9lx/LjvzUrwY6Q3CuC3RQl+W3Ff+cX2Pb+tQvjd4/HDLukeAfy2OY4f971NCX6M9BYB/LYrwW8H7Ht+8f22d4cQfvd6/LBLulcAv52O48d971SCHyO9XQC/XUrw2w3LmRbbH3LeLYTffR4/7JLuE8Bvj+P4cd97lODHSO8SwG+vEvz2wXJmxvYXG+wTwu9+jx92SfcL4Lffcfy47/1K8GOk9wrgd0AJfgdxv+2N7f/wOCiE3wMeP+ySHhDA75Dj+HHfh5Tgx0gfEMDvsBL8jsDwy4vt7/M7IoTfgx4/7JIeFMDvqOP4cd9HleDHSB8WwO+YEvyO437bG9tXfseF8HvI44dd0kMC+J1wHD/u+4QS/BjpYwL4nVSC3ynYV34jYvt3e08J4fewxw+7pIcF8DvtOH7c92kl+DHSJwXwO5Mk23fUfLyfMwI7qmvqcGmGgz+RGZKCdBaNwsFVJLiKBlex4CoeXCWCqySd/QQvHVxlgqtscJULrvLBVSG4KgZXpeCqHFxVgqtqcFULrurBVSO4agZXreCqHVx1gqsunf/6D5/MYOLG+QEA","proving_key":null,"verification_key":null} \ No newline at end of file diff --git a/crates/nargo_cli/tests/execution_success/brillig_keccak/target/witness.tr b/crates/nargo_cli/tests/execution_success/brillig_keccak/target/witness.tr index e681896f1c82697876b4b903f65fc3529ab2bfe4..6543a668e2870e80ae30dbdb078e74e0dd565f3b 100644 GIT binary patch literal 2893 zcmXw*X;ji_8^)U{wR9{M*9uJtT(ZdAvCQR<=DrIkP$`WIsktw?Ort1dqL^mx32JJX ziD__tzO=9dY=#XInQ;@?_B48K3vzMlecr*|IV*JS}H?c zkeoDfC^MZ_j%CxG)||+h&d8Z3q0-s@#d$+`eBk0qBGEZu{>y0h+Ejb!N*TwkDkdkq zW--^`c_un5*|UZa%4$1bUdB^tAHy|2a|s!?*_ZD>zHE9eCT7#T;MZaUTIa$NKwo$)$G%SBN1nH_qt9}Q&Ltm7EfUD#Un1M#(Qsxhf|(S zl)hSuz!zz3_NeCjPmB+x4*Z6~in&84BCV=JNY&W5Px5_RE{8sCwDzl@u*0K6{TI}N zPj?x%p$Pet8n-=`6OP408&c}v`?}hkDwQ3jvfdgsNNIEM zFg<-S006<`*Jg9p2{S7A8D;1_J)4)i0gwUks%V@lI-^$!->U*mf^!q~&>!u{ADrW7 z^Z3&hqOLv64wN9~B#e^D68-{!mjGTCjgv)ZFJaso?u762Ck z9-PL3(-}_6cqa(7K$puvptYUIP|x_|m-uL=C|QM>a7-Xkg^B%G!f*h52k=a291}Vt zR2d%%fj-maK1HCboyb+5@qK^rdkRI#%FF~~fkXu+_F)On0pJqAJ4E9gqBF3{cq|0k zs>{8NK$D!vL@98I-y?N^FcVA!5_On3fF+Cszz+b=n#QrFGm@0?Nf79YF83n>J?})G z^NdgXgP&R`T32GO9u-KGVPbEVFa!XF08fv`(W5gwmGPbsXpJtn8iBTPBA<`~m-wkn z(YgwARl0*3Ozh7RQUFj4@GNK?3pyiO86ORS-c-S_z|s9R{Eck_NfrR+(il2Ou8n>C zmcFFh#*v&}DO%t4IxfA4zo9CSJO{u~8lwimwQ-8yI?h~`VF@+p9F#J2z>SS3-GXR)GV=N%J{Zhn+xw@St+(YN+C_^*d$ltO>>%K5?D8Q?M z;0F$%ze`=z1d^8k7)@ggAh;P)6aJpk?ncxH4?2aQ32;KfSNmk2HhN8k1&?_#kJ za#aQ15PXg(jBex<{}~84fOdpYq;HY~fQ|q!pU!coF)CE>zF{1Z`M&m^%LX&5aVG9- zO6liEkl{Xw%_%dfcRj4|%_hTW9qvDmtV=I@x|iRvGF}UkW<;db?-<%HEy}13uGTle z5e(>cY2Y>b`jLi>S|UB(oN;TZ4HNd#N#&$Y7&^*5t^Q1(n9y_tPdM}dBm{G>h6yO3aL&~x45oJ5(HAxL^Q!-k0 zik;0j5)_c@*V#N*i@jQr?5Om0)Aon!-3PfhbTylcXUoM%${~tRe^+tgJKD`7PzrlV zeeTXSzX`j)lWHhVETIPgKE0bv?R#uF(9Ah;Xo)rWDb|Wy7Hl}GcGcJGlqodd+v?4W z<1Wq~fisP%&L?g*3U33vIT~j!TyifK6cqSeCc&-h9CTCzur=W3XS@Nw0BV#F$HS#xR94q_bXBvVU?GXCj< zHe+7*+}fW^N8}b*7mKdbIBt1Z!*eXuGQV2W&0a%9eH5_zs?wzPjB^Awt>C&PTZwqB z_^QdIS?}|f`o#efosrLfe>d4bY0`4QM^LYYSK1*Y+v;<74u1XpYOBcF;Rt3r5F;_Z z97QfQhr6~FZh!ydXY{3PhFC=qR(#DcPLV`RL1YE+mO89u^yfjZ+F)n>-+fq=5B$!k zvA>X7#SuGW=((o*w)UjT3y7kXFZ{$nLZkb`DJXpQvcXzu9%(d>Jz&r;5 zihulY*6sU>Pz<_Elq}CoFw9??4G#&3&`iX%P8@p24!h67$>?2iGq@p(Er@J8Xh5_z z5gTj2`jNdirzh9Xx=NHR%S=F`Nbfl@-?*tFPo}@|DnnOLd%dD)EMErOreE@CFj#eE z`e0dlT+7Ifqt3w>?AtGz3ncqtV#54az$Us+o2dT?A)t=ylZKIQlbteDovI7(; zI_iRs9sb;qrLs#ep|R#y2U{b}D@TxMl0BI?8bW=H+(3!*oca5iL~q%+dk??5^P03r zba!~~kt6n4?+-Y${ew!DSEAzE)6a3AVp&2p04y;L7{j^`DMVfzIx-ndQ{zi!*--!MVio3EQ{>yY_ zy++GJ8a?dL|Ja>1Y}3enJ#jS6f;mQT%l&^zftgE*&wqOeUd>q^5HRnEZOVFJc`?JvIzw1X=;0iLj&P!C_-YfmVMuX#5%x5hB zT5Kv40fVYj1k>qN9||~VIQuxPFE`d&AlVHQd+fb+xfdDhPn~s7n7vMfo{n{%?^t=Ok?(yT+3k%oHDqYWH7^#;g&E+;gnp6Ji zess1wmthtmNa()a`_Q<5q>k7Vt*w`%wr}Yhz>}kK624#@*KA`hXx&?xSX)!H^Ul8> ziy!5p;RpZ~^p}0u$XM;JJnu%~9XW$W!`-LdE7zP0q`iEATmARymyb=xuKs7oLe6C0 zZhC#)QT}d7LRW)h!KI#g6ZKkN%x=&y2Ubat^*x%|YhI~2a+A(@ri6d?31lZnZ4qR# zAvj|FA`FycyPvOrHLYHH{#2un!)NW%Sz6_tT?1Zf^-*0fo=h6#r&WvAe`T)1R{Dfy5e`No#g2f8$sFoq&QsPwR3?OD#^4 z>8=blBO`jkmT-hS@^H84`}nUHFGpVB#M*f;E!{lPRPD?riWluX>Y^a_z> R2|rctF4#*rn7wV=e*thCgueg) literal 3315 zcmXYzdo+}58^))QV-%kpL)j`hSEG=;v-eg>G!bTG%+5??COZwvDZ)-W877C3B2zh= zArmGs1^j}iPkHI(1m1URhDE*E zgyId^wZ=YJD*vPR)(~@WR(h?`4wmLHHJMPH+p*SIm%u~E@z4pp&bz$McwT25uQP#X zd6#Dy&$EoJH?o9Yp&*!j%&=NjO@h20&^k>V@st3owu& z+N%p!j?pBcXwgvsI*OupY{z!MK$d8)A;bWlGDvG$7m6xHbU}+20B8Y4wLoAkq>(&1 zB3DzmqDqsvp+#)~)P|x~Ag~oMP#|)(g)7=Li8op#1|TttdIN#I0Rwp=S4+6EhbHkv zi~0bl4@I3rVCP_o_GiLP^U>e(4uYt>PAtA5ZECYC=&0$9(!pL z99pytK+7nq0|M(Hjog$YZonRDG>JP})B!*pC~5-&+W-Rv;s)%YLz7%ai{=1m4n>Vc zU}Iq*Puze#G-whpv}g!`hEUWk1a_+#WAsyzP_Q`X(I53>>vd98>TIkHeNc+vSUrAt z_D*V4oK59%PI;wD7M_4l9(^Cv|8{KCXRt^Lpvw9&$CMi}&vie{Jdcp$l!qS5S{}1Z zMh<+_BtJH^^fWs|iKs{!9`;BbBV9R_Xvb-<%mIUSIrpdLHJ#Vh0Ee5yhiAp=uEQq* zd##h?3)@6thbJ0br8c@J8C$kei}--}O|hxv!H+vOx^3VSjl~1wahu}k&R86RRKIHx zuK_DRSZ!aca7Jx~X-zbk%Wib5Gq&EUF50NVj*i~*Vf5S;$?40A~Pbi2?2fpcDp}3qT(kAP#`a8Q=f_wFA`SvRDoRIjBk;P!NWbX<<5OQ4k86 z0jL~V>}?qACJx98!vknx8fXy?1q}ey+p<^%VKIun4e3oA1*m#N88kr}D=&PEg6sk6 zvNU#iJ91EmI3Ozw$J46qisxet#G4FI_AXO4URz(9t*1namg7erDxSY$ApXVx&)j96 zfq@KLZzm~Qi63cNJb%+bJkJ0R-en$)*Upn>KZ83I_>qT;=K~GIlMFE6E;9fIGVEt? zhcZ9Xytwi%Q-O5dpe#XKmj8qSj>j>_6SVONwyzv1dN)7Ps(9YWKwQ88v*MUpFxbZS zl_y23^COYP^GE}6H3RI9V|FKK4M)cPrvLH zs{#I)9ndUmUJjn)lIL15`|494a$_7g=F8iXk<+qPo{Re4?Oc`BCZBrn%$xA+R7%vf z=;SiBNs(q-?S)`*Y2L^Zdi6h9WouvH2<-@t7;d{x0dx5~J>KiO-B%Pv%(kW@>-yTKZ%saBEN|@L+<(u>!eak2&W$Ruin!{GbY1>bWc=sYb!Y2OBc)t@ zRQHI_TnSdAsO@514^N8p(|oyFMHJ<1isLGyT8}*p;n_r_9Ueiue1^_=jDB+&3Rtwi zHOG7s_!pg>QYahoQ?$+i_3twE%`2JVcE?|6^-jGQc_3&Cco?b& zX0()T{u@T7zGfSL+V~zF$;kPLN~+R5XH@3xpL21^C(k&H@br>3YvhLageSS=pHC4p z9;s;&4YJ71ZN!a7cASkoItDba@m7Q+pF>p~*~Z?h2J@c1iy3K|e@Ij%hj3GMxm+hy z8Io_TQM3WSFbe~5g-=XZgITMy&gxkwGsD0!qr+W&*OId%gt|Wt`6e$P6D(pzbT!>L z{ok9`XEiFm-$siZ0LY;-Jaef+ofmv=X=Ehn&3}u1B>siF;+;t1wGa|f2vArgr=b{WnTKbDeG&??ZVzCOWd+O zA@pr2&w9NCZasXbsjX)WkPASA{i|P>u;t4Ib^fm<&mXof{q}Gntv$P5+Uc}|6=#3T zdGbw`J3GkM>b2uRLZWoUUvDjnZ#vMb9mc)H+f0@S->a7{KBXLpEF)x64;||!RKGi& zmmho7?Nv^W3{J;*>Ekb%zm~G^EyOXv1OR%6ssHs9v1RqdX!PRgQ>J27|B4bPtFqES z)}F1R?CjF1Udo)=*-tmpB0LZFjblzEQQ#!8q=lV0(cs{h?U8t_?#LhFPZN*39^;Zc z6y8s|rJct{W)LdXS-+_s)hV#29>!+2<$V5S zhw)gs`b~myXio;{QM-fU#`XDxOtFk~J#Fh0nA1G1r${=fOx&vyb0blWzDzjF`s+pE z5zi#A1xMTK4r!0@2?{~NNgTWO+=jln)51)_fbVr|=DCik-_ar`12J)y_cD*2g9p!9 zU2+F^36hE2G?r#g&ZBeJ6GQv_|6`Y=6R7+&`S6jF^tFa*4WM1Qr^|46HoVkCTkZCypHdTs@8R1% zeR`%Z#IxD?dKBF~cqHR~GC8?Jb$4KK6YXO0d5ipTL5WVt6Bq9ThO(>=V7^JJhx5q} z8RRor_Q&zr`=4dn=Cx5;53WprRLAXt-#tDyo2p&P&NQ)WdCh0Msyca@HjK<))hqqG z_Ra2F`-hNq7zqrgtErzK$BG)j0a zyLx&5R%mW1PJvXfM8ti}OZ{<9)o-?JcD+YOCx<{*yUrhN4k(El&*YRoQhS-Cy<6aG=CF^%?mXfu8ho_@v8f? zcjOdTH_xr!XYu%KD;Y(F(_UQr^W1UM*Ly%-N;`5%>q-X;%TCb9OlUismd z{3QMY_r7PoB4v2;OqPR9?H_fM@z>yqDAIs@C;95y4l;eCG(9kD#n^0{vXy4-`lF(Y zNxxS_PTp%ye(;;SulIA~COs$Am#ZsNKYG1-b_w6?=J#q6R$mE@w1ti~6V56QIA>W= zJ^fnOhM#z!OcYA6SJh5yjq`mo3(t-*1<1*UCd_%Ig@31k{+LUbO)J_2U5}^Btw;7- z9|*wdu>{pDAGXu4)z2u&6oJ_zcOGB=e3l#MjgUogv*j8U-!!3BBllE1;$R=)RV&SR zhm;CFpu4LNzP$dcQOU89bmCVMJK3c0XM09$b7;|kTw(v4@*otoFOE4=yHR`#Q;v7B zrqlB&u0P7O2Sy5;Ob35?&Q$`NbG;*!tah;aGNKG$zj_^EY8&5TGAl>wmnY67k9t+s znYOkC_6_tJWVCp2vIZ{;?s@C?wD(~%$FII{(q%I6Yq}6Iy<}X;!Sr)TE^+6mzR+a iL9g7k<^pakVXJ~(HS}uW#um0Z=(PY!nL=w=2mk<1Fgh;) diff --git a/crates/nargo_cli/tests/execution_success/brillig_slices/target/brillig_slices.json b/crates/nargo_cli/tests/execution_success/brillig_slices/target/brillig_slices.json index e14ecc59178..0d08cd94aae 100644 --- a/crates/nargo_cli/tests/execution_success/brillig_slices/target/brillig_slices.json +++ b/crates/nargo_cli/tests/execution_success/brillig_slices/target/brillig_slices.json @@ -1 +1 @@ -{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/82dSZBV1RnH7+v7oPv1Q8AGHBBtBwSZuwEFFeXGMWrUaCJGHHCMJmI0OEUTUUaFRIxGDIMKiUYMg0YURVAX2WWTSlU2qUpVNlmksskqq2ySfNf75/34+kIllXPiOVXW+874/f7/e89957ZUd55lWSP7vOT//q8rG1rUX1SfA/9bGWyEW2sgJmdXJE4rTzc//2xVvpO/VXMdhiMuAjEND+/ZwDCwjqziYWFzzDZ/ms6fhqsXiIfBw+4ILMP/C5ZusPSEZSnvsRZyiUt52ujPMaYVlqPc3z1Ov+rk+09Zu75g1hbaml8wS9sxqE3jdH/11jC3qnavox1Bh/Jo3V6wiq+F2PO1wDciLN9scjSRU3ly9E+sPo+pxh2DeeIclQ31dHRY5tJT5dG6qo+GjyOreBRYjg3LMs/W7Iugb7TTJy19NV6rHO1ZOxoejAnLO2B5x2L9AjlGon1cBJ/GQnsDOdSeIz4v65RxiHUfi9nunb6acYxHuTlt9PdF1jwGHAXqymV7bxbG9NVwjwS3+rU3WmjjPg5835Ra+pwW1elr07GTmfvdM5uOsTU6Yt6HWlf1ceCTprE1fGPAd1xYvjnkaCKn8uTov6r61DP+eMwT84nZUE/Hh2UuPVUerav6eHh6QhWfGI+lPEueBJbjaziUn+NOgk/qz/Gp/kXVpzyfgHlWzPNTXJvp7A+rs/RcebSu6v3QenIVnxKRxdY4FSwTajiUn+NOhU/q15k5R/8d1ac8Pw3zrJjnZ7g20zkxsM4G8mhd1SdC6+lVfAZYYpwFJ4JFnowAh2eLcabi+k3kVJ4c/Q9Un7qOZ2KeFbuOk12bMZ8Vlrm8jsqjdVU/C/5NquLJYAn9vDLNU6q1JtX4oHK08+IU8E0LzGd5p2P9AjmYd0bYvIPMq/Oicqg9R7wy65QZiHWPidmu69SacYwnuzlt9E+NrHkaOArUlcv2xeNVbPeJ7tcpmDe1Rst4aFF/F9aZgvWlb2oEfVOcvimOmWfIyWjTOO5Pz2w6ptXomB5Bx5Gu03TwSdM0sIT+7jXN/t5sOT4rR3t+zADfrLB85fNjAOsXyMG8g4F9YV49P5RD7TnibVmnDCLWPSZmu64za8YxnubmtNE/M7JmvksWqCuX7YuXq9juE92vfP7NrNHSDy3qz7EOn0/SNzOCvhlO3wzHzOdH3fOb+9Mzm45ZNToGIug40nUaAJ80zQJL6HNkrGeSv99bTrOVoz2TBqF5Tli+8pk0F+sXyMG8Zwf2hXn1TFIOteeIP8065WzEum/FbPfK7JpxjGe5OW30z46seQ44CtSVy/ba3iq2+0R7gM/U2TVaRkCL+vuxDp950jc7gr5Bp2/QMfOZVPedwD3vmU3HnBodcyPoONJ1mgs+aZoDlhg/w5kLFnnCn+F4NsZN9PPnCer/XfWp91Deh1bM83muzXTOD6uz9Fx5tK7q86H1nCqeB5YYP8OZDxZ5wp/heDbGTfTz52bq/2P1Kc/PxTwr5vn5rs10Lgiss4E8Wlf1BdCq//9wPlhi/AxnAVjkCX+G49liXfsF8F45lSdH/1+qT13HCzDPil3Hha5tOFhDMTeQR+sudDmM78IqXgiW0NexDQ7+P/+FETRnTnPm9JElT4ilmRDLsIRYhifE0p0QS09CLK2EWHoTYmknxDIiIZZjEmIZmRDLqIRYRifEcmxCLH0JsYxJiGVsQizjEmI5LiGW4xNiOSEhlhMTYhmfEMtJCbFMSIjl5IRYTkmIpT8hllMTYjktIZbTE2I5IyGWiQmxnJkQy6SEWCYnxHJWQixTEmKZmhDLtIRYpifEMiMhlpkJscxKiGUgIZbBhFhmJ8QyJyGWuQmxnJ0QyzkJscxLiGV+QiznJsRyXkIs5yfEsiAhlgsSYrkwIZbGF8zSyob+m1X+e5cL0Kb5F6LtS1U8Am1dNTlyx8DfG6I17N8w3NMcytCFORdVcV7DsLCG9aKaubE9Z54CdeXqBcNFCbBcmBDLBQmxLEiI5fyEWM5LiOXchFjmJ8QyLyGWcxJiOTshlrkJscxJiGV2QiyDCbEMJMQyKyGWmQmxzEiIZXpCLNMSYpmaEMuUhFjOSohlckIskxJiOTMhlokJsZyREMvpCbGclhDLqQmx9CfEckpCLCcnxDIhIZaTEmIZnxDLiQmxnJAQy/EJsRyXEMu4hFjGJsQyJiGWvoRYjk2IZXRCLKMSYhmZEMsxCbGMSIilnRBLb0IsrYRYehJi6U6IZXhCLMMSYmkmxJInxNLlWI70+1sujsCnPFpXdeXi7836Etq8V701zKbjkhodl0bQoTxaV/VLwSdNl9TwXQy+y8LyzSVHEzmVJ0f/U9XNoN/tcznmifmKbKinV0bwVHm0rupXwtMvV/EVYInxu8iuBIs84e8i82zGEeN3RV0J75WTf/tF/evcdbwK86zYdbzatRnzNWGZy+uoPFpX9Wvg31eq+Gqw9AdmYc4MnvSDw7MxbqJfz8wc/S87z6/FPCvm+XWuzXReH1hnA3m0rurXQ+tXq/g6sMS4Z68Hizzh7zfzbIyb6OfvlFP/Nuf51zDPinl+g2sznYvC6iw9vyHrlAL1RdD69Sq+ASwx/n7IIrDIk+PA4dli7bdF8F45lSdH/y53HW/EPCt2HW9ybca8ODBzA3m0ruqL4d83qvgmsNwSgeXmai2d35T3FviyODu8NFy9QHwzeG+NwHuLy6vreCvy3hY2b/m7fJdg/QI5qPf2CHqXwPMGcqg9R/xrfWlgXAbPxNwLvziO8WI3p43+WyNrvg0cBerKZfvzo64OQ+B9MUCNVm50Ppp/NzkvWujn8+P/sQducSx8p1mMNo3jPRvj+5g+yCeeIdX/W/dMvhXz5OmSGk9vD8t82D7Tuqorl/HpPlxSw3cb+GJ8394OH5STf69L/X9wnt6BeWK+Kxvq6d1hmUtPlUfrqn43PL2ziu8CS4z3q7vBIk/4fuXZGDfRz3O5+v/sPL8H86yY5/e6NtN5X1idpef3Zp1SoH4ftH6ziu8FS4yz2X1gkSd8F/JsjJvo57lc/X9znn8L86yY5/e7NtO5NLDOBvJoXdWXQuu3q/h+sMR49i4Fizzhu5Bni3Xtl8J75eS5XP3/cNfxAcyzYtfxQddmzA8FZm4gj9ZV/SH4950qfhAsyyKwKKfO5cq7rMaXDGMzpyFzGoz34bC85fn4EaxfIAfzPhrBp0egvYEcas8Rj9KDBOOs6J4Ts13nZTXjGD/o5rTRvyyy5ofBUaCuXLZPmtC6LBuqlff0d924FmLuucD3TallmdOiOn0Vw4NoW+Z0xHqO0Qf5xOeY+sdXfus59jDmydNHs6GePhbB00edp6orl/FpTzxaw8e9HOM76jH4oJx8P1D/ROfp45gn5ieyoZ4+GcFT5dG6qj8JT79XxU+AJcZZ9kmwyBOeZT0b4yb6eZZV/yzn+fcxz4p5/pRrM53Lw+osPX8q65QC9eXQ+oMqfgosMZ4Dy8EiT3iW9WyMm+jnWVb95znPn8Y8K+b5CtdmOlcG1tlAHq2r+kpofaaKV4AltOcxnj225qoInq10nj1Txatqrp/K0c5qK+Hr6rC85VltDdYvkKMf7Wsj+LQG2hvIofYc8XU4v6zthIf2hpjtflxVM47xCjenjf5VkTWvBkeBunLZfr4s7/iyyo2XXl2bujVXuDGmZQ36Y2vhdWVsY56pYXs2LFt5Tz+H9Qvk4L2+LoInz0FvAznUniO+E/f0uk546JqL2e7ptTXjGK92c9roXxtZ87PgKFBXLrunb4TWNRjv79U2+vk7a9ZgLWkJ/Cw87JmkdVXns6Lp2MnM70XPbDpW1eiI8Zzxzw3/TOyFplU1fKvBF+Pn13zeKSd/fq3+h91Z6FnME/O6bKin6yN4us55qvp6eKq9vQ4sMc7868EiT3jm92yMm+jnmV/9y53nP8Q8K+b5867NdG4Iq7P0/PmsUwrUN0Drj6r4ebDEOPNvAIs84Znfs8V6X94A75WT78vqX++u4wuYZ8Wu44uuzZhfCuxdA3m0ruovwb8fV/GLkf17CSwvOP96a9gYN9HPdzf1b3Se/wTzrJjnG12b6XwlrM7S841ZpxSovwKt+rvcG8ES491tUwR90qGzpbRsqvE6w9jM+ZI5X4x3c1je8ky6BesXyMGz8NYIPm2B9gZyqD1HvAvntK2d8NB9LGa7dzbVjGO80c1po39TZM2bwVGgrly297bjPWuTGy+9vDaB74nBurybnGd1WjY6Nn+NbczLNfyx760C9a3I+2rYvOVeeg3rF8jBPfZ6BL2vQW8DOdSeI/4Me+n1TnjoGou5F35xHOPNbk4b/Vsja34VHAXqymV76X1o3YLxfh+Z1p+6cS3E/E6Msd+2OC2q8xklho1o0zh+R8Q4m9AH+cSznfp/484ZmzFPnm7NhnoaeC8O8vtE66rO+9t/V5BvU2RPX4UPW2s8Vf/vnaevYZ6Yt2VDPd0elrn0VHm0rurb4an23zawxHjX3A4WecJ3Tc/GuIl+vmuq/0/O859hnhXz/A3XZjrfDKuz9Fx5tK7qb0Lrz6v4DbDEeNd8EyzyhM9Qz8a4iX6+o6j/r87zX2CeFfN8h2sznW8H1tlAHq2r+tvQ+lYV7wBLjHeUnRH0SYfOR9Kys8brDGMz50vmfDHeXWF5y3PVbqxfIAfPkXsi+LQb2hvIofYc8T9x1tjTCQ/dx2K2e2dnzTjGO9ycNvp3Rta8CxwF6sple+/veEfZ6cZLL69N4HtisC7vTudZnZYdjs1fYxvzVg1/7HurQH0P8r4TNm+5l97F+gVycI/9KoLed6G3gRxqzxH36QGPcVZ0jcXcC784jvEuN6eN/j2RNb8DjgJ15TKZ3dC6G+P9PjKtv3TjWoj5nRhjv+12WlTnM0oMO9CmcW9nQ3U2oYlnAvVPqBbUmWAX5kn/nhr9gffNIJ/9Wld13ov+uU4+PrdjnM3egQ/KyX8DqP5JztN3MU/M72VDPd0bwVPl0bqq74Wn2ivvgSXG+8ResMgTvk94NsZN9PN9Qv2DzvP3Mc+Keb7PtZnOD8PqLD3fl3VKgfqH0PpBFe8DS2jPbc39EfRJh75XpWV/jdcZxmbOl8z5YrwfB/bA8h7A+gVy8O+DH4zg0wFobyCH2nPEl+M76mAnPHQfi9nunf014xjvc3Pa6N8fWfPH4ChQVy6TuaDZ8WW/Gy+9vDaB74nBurz7nWd1WvY5Nn+NbcwHNfyx760C9YPI+0nYvOVe+hTrF8jBPfZZBL2fQm8DOdSeI16MvfRZJzx0jcXcC784jvHHbk4b/Qcja/4EHAXqymUyr4XWAxjv95Fp/ahm3AGspX5+v6p/Cb5fW/CFz+4YZ4b94PPP7Rz9d4Ovu+LpDstTXpPhWacUWedMrVzmzbDs8HK0777h+OyJwNvt8oqtB3lbYfOWz4lerF8gR472dgS9vfC8gRy9yK/4cewd/u0/3f8tzO2pGce4281po78nsuYWOArHYMVkLm12GALviwFqtDLMedJGP8/j3W58y3mlti63Hv9uYQ/6/D4LZrIAGoBh+Rd8r+TlIbgAAA==","proving_key":null,"verification_key":null} \ No newline at end of file +{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"field"},"visibility":"private"},{"name":"y","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/82dWbBVxRWG97n7wOXcg4AMDoheB2Qe7mUQlGnHIYkmajSRRARxjBoxKIKJGo3MahTjgIigmIAiQRRUJAxqpfKQt7wkb6lK3lKVylOq8piHZB33z/lYbKik0o3dVdRZPa7vX927d/fl1rl5lmW17IuU/+dfR3Z8Un1Rfvb8f6m3Fm6snpicHZE4LW2tf/HZKONO/kbFPPSFXQRi6hs+Zj19wDqgtPuE9THF4lN38am5fAG7D2LYGYGl7//A0gmWfmFZWmusAV/ikp8m6nO0aYTlaD3f/Zx+5cn337J2fMmsDZTVv2SWpmNQmdppfXVVMDfKcq+jGUGH/GjcLrCKrwH7VLDUy3EbjsX89g/rdwrHr4NBfnLUX1x+nla2Ow39spJ3oCsz5kERYiU/Gld5+TK+AaU9ECynh2WZYWMOjqBvkNMnLYMrYq10sv18EGIwJCxvj/kdivEL+BiA8mER4jQU2mvwofIc9qysnYbB1joWs62dwRXtaA90fZqoHxxZ8xBwFMjLlz17PWAIvD5b8z3YMSg/AOVDKuI1GPFSvZ7JBuq5fwRer70n4+d81h17E+24z3hm0zG0QkfM9a9xlR8GPmkaeopY9P7y69L8nhHW71SOXweD/OSov7781PvrTPSzZPN2tisz5uERYiU/Gld5+TK+s0r77HgsrW3iHLCcWcEh/2x3DuKk+hyfql9QfirmI9DPksX8PFdmOrvD6mzFXH40rvLd0HpuaZ8XkcXGOB8sIyo45J/tzkecVK87R476u8tPxfwC9LNkMb/IlZnOkYF11uBH4yo/ElovLO2LwBLjnDsSLIpJf3B4thjnRY5fh0/5yVH/UPmpebwY/SzZPI52ZcY8Jixzax7lR+MqPwbxG1Xao8ESer8yzWPLsUZVxEHpZGfhseAbH5jP/E7A+AV80O/EsH576VdnYflQeQ57XdZOE2FrjYnZ5nVcRTvao12fJurHRdY8HhwF8vJlz8XjpW3rROt1LPqNq9AyHFpU34FxxmJ86RsXQd9Yp2+sY+Y5dTTK1I7Pp2c2HeMrdEyIoONE8zQBfNI0Hiyh372m2a/NhuOzdLL9YyL4Jofla+0fvLsV8EG/vYHjQr/aP+RD5Tns7Vk79cLWGhOzzeukina0x7s+TdRPiqx5MjgK5OXLnovXStvWidYr979JFVq6oUX1Ocbh/iR9kyLom+j0TXTM3D+q9m8+n57ZdEyu0NETQceJ5qkHfNI0GSyhz5Gx9iS/3htOs6WT7Um90Dw1LF9rT5qG8Qv4oN/pgeNCv9qT5EPlOezfZO00HbbWrZhtrUypaEd7suvTRP2UyJqngqNAXr7sWfuktG2d6BngnjqlQkt/aFF9N8bhnid9UyLo63X6eh0z96SqdwKfec9sOqZW6JgWQceJ5mka+KRpKlhi/AxnGlgUE/4Mx7PRrqOeP09Q/R/LT91DuQ4tWcxnuDLTOTOszlbM5UfjKj8TWi8p7RlgifEznJlgUUz4MxzPRruOev7cTPV/KT8V80vRz5LFfJYrM52zA+usZcf+v0mB/Gxovay0Z4Elxs9wZoNFMeHPcDxbrLmfjdjLp/zkqP97+al5nIN+lmwe57myvmANxVyDH407z/kwvrmlPQ8soeexCQ7+zsS8CJozpzlz+siSJ8RST4ilT0IsfRNi6UyIpV9CLI2EWLoSYmkmxNI/IZbTEmIZkBDLwIRYBiXEcnpCLIMTYhmSEMvQhFiGJcRyRkIsZybEclZCLGcnxDI8IZZzEmIZkRDLuQmxnJcQS3dCLOcnxHJBQiwXJsRyUUIsIxNiuTghllEJsYxOiGVMQixjE2IZlxDL+IRYJiTEMjEhlkkJsUxOiKUnIZbehFimJMQyNSGWaQmxTE+I5ZKEWGYkxDIzIZZLE2K5LCGWWQmxzE6IZU5CLHMTYql9ySyN7PjfWeXvu8xBmfrPRdlXSrs/yjoqfOSOgd+7ojHsdxhW1Y9n6ECfy0s7r2CYV8F6eUXf2DGnnwJ5+eoCw+UJsMxNiGVOQiyzE2KZlRDLZQmxXJoQy8yEWGYkxHJJQizTE2KZlhDL1IRYpiTE0psQS09CLJMTYpmUEMvEhFgmJMQyPiGWcQmxjE2IZUxCLKMTYhmVEMvFCbGMTIjlooRYLkyI5YKEWM5PiKU7IZbzEmI5NyGWEQmxnJMQy/CEWM5OiOWshFjOTIjljIRYhiXEMjQhliEJsQxOiOX0hFgGJcQyMCGWAQmxnJYQS/+EWJoJsXQlxNJIiKVfQiydCbH0TYilT0Is9YRY8oRYOhzLib6/5YoIfPKjcZWXL35v1ldQ5mPVVcFsOq6s0HFVBB3yo3GVvwp80nTlKWLRd9Zf4VjM71fD+p3G8etgkJ8c9avKBafvD/oa+lmyebvalRnzNRFiJT8aV3n5Mr6vl/bVYInxfWfXgEUx4fedeTbjiPF9VNcg9vLJv52j+g1uHr+BfpZsHq91ZcZ8XVjm1jzKj8ZV/jrE75ulfS1YugOz0GeGmHSDw7PRrqNe+3KO+s0u5tejnyWL+Q2uzHTeGFhnDX40rvI3Quu3SvsGsMRYszeCRTHhd6h5Ntp11PN761S/w8X82+hnyWJ+kysznfPD6mzF/KasnQrk50Prd0r7JrDE+Bsl88GimJwBDs8W63mbj9jLp/zkqN/r5vG76GfJ5vFmV2bMCwIz1+BH4yq/APH7XmnfDJaFEVhuKcfSGVF+FyIuC7JjU83lC9i3gHdRBN6Fzq/mcRH83hrWb+v7ghdj/AI+qPe2CHoXI+Y1+FB5Dvt3emmgXYaYibkL8WI72gtcnybqF0XWfCs4CuTly57PIx1thsDrrCdzDH6NWfxudvGx52Qh+CKxVT4DCx0f700LUKZ2XLMx3seMg+LEM6Tq/+D25EXop5gurojpbWGZj3nONK7y8mV8muvFp4hFdzi//mO902+DXzHw746p/s9u3m5HP0s2b3e6MmO+K0Ks5EfjKi9fxndHad8Jlhh3uLvAopjwDufZaNdRz7O/6v/mYn43+lmymN/jykznvWF1tmJ+T9ZOBfL3Quv3S/sesMQ4/90LFsWE9y3PRruOep79Vf9PF/P70M+Sxfx+V2Y6lwTWWYMfjav8Emj9QWnfD5YY+/sSsCgmvG95tlhzvwSxl0+e/Y9ylpOreXwA/SzZPC51Zcb8YGDmGvxoXOUfRPx+WNpLwbIsAot86uwvv8sq4pKhbeY0ZE6D8T4clrd1Bl+O8Qv4oN8VEeK0HNpr8KHyHPYwbSRoZ0lrTsw2z8sq2tFe6vo0Ub8ssuaHwVEgL1+tv62dtxkCr8/WfC9zDMo/iHJyPuBiYzF+yLVroJ7PeuD12nsyfs6nGJaizOuMtX8yDooT90/VX+j2z4fRTzFdkR0f00cixHSFi6ny8mV8ehZXnCIWndOXO5ZY799H4FcMvF+pfqKbtx+hnyWbt0ddmTE/FiFW8qNxlZcv4/txaT8Klhjn9MfAopjwnO7ZaNdRz3O66me6mD+OfpYs5k+4MtP5ZFidrZg/kbVTgfyT0PqT0n4CLDH2mifBopjwnO7ZaNdRz3O66q9wMf8p+lmymK90ZaZzVWCdNfjRuMqvgtanSnslWELH3MZcHUGfxuwox1W+G1pi/I26NRG0aE407lOlLV9cN0onO/+uQgzWhuVtnYfWYfwCPlajfH2EOK2D9hp8qDyHvRDn3/Vt8+gzKWZ7DtZUtKO90vVpon5NZM1rwVEgL1+t/zfM23FZ49pLr+amasyVro1pWYf62Fo4r7StzVMVbE+HZWut6WcwfgEfXOvPRojJM9Bbgw+V57AfwJp+tm0enXMx25peX9GO9lrXp4n69ZE1Pw2OAnn5sjV9B+50gZ+rHu4dGlf51Sgn50oXmybq+T1Kq6FB/DGepdWOX/l14Ks79iba8RzgmU3H2godMd59J9oT1oBPmtaeIhbdo9Y5llj/37EGfsXA/+9Q/Up3vuQ7wJLN2zOuLPa+pXGVly/j0/PBvTXGPYr7mmLCe5Rno11HPe9Rqn/Oxfxn6GfJYv68KzOdG8LqbMX8+aydCuQ3QOtzpf08WGLcozaARTHhPcqzxfoZxAbEXj75MwjVv+bm8QX0s2Tz+KIrM+aXAseuBj8aV/mXEL+fl/aLkeP3ElhecPHrqmCjXUc978Oq3+5i/jL6WbKYb3RlpvPVsDpbMd+YtVOB/KvQ+kppbwRLjPvwpgj6NKbuw8rzPrw5gl/FT+d1xVC+OMcZ2mZuPjI3H8b7elje1rlvC8Yv4GMTyrdGiNMWaK/Bh8pz2Idxzt/aNo8+P2K2Nbu5oh3tja5PE/WbI2t+HRwF8vJlz/xe3F03u/bSy7kJvCZ6q/xudjGr0rLRsfk5tjavVPDHXlsF8lvh942wflvP0psYv4APPmPbIuh9E3pr8KHyHPbv8Sxta5tH51jMXYgX29F+3fVpon5rZM1vgKNAXr7sWfot7syB11kP9yyNq/wmlJPzZRcbi/Frrl0D/XkG2BIhhpscv/LyxTvzRpSpHd9NMc5ijIPixLOs6v/kzlVb0E8x3VwR0xh7z4n2Ts65npvY7xtqLrLj3zex5o3vMzFw3lT/Vzdvb6CfJZu3ba7MmN+KECvuawXy8mV82kO3gSXG/f0tsCgmvL97Ntp11PP+rvp/uJj/Av0sWcy3uzLTuSOszlbM5UfjKr8DWn9Z2tvBEuP+vgMsignv756Ndh31vPep/l8u5m+jnyWL+U5XZjrfDayzBj8aV/l3ofWd0t4Jlhj3vl0R9GlM3fuU571vdwS/ip/OnIqhfHGOM7TN3Hxkbj6M972wvK2zyx6MX8DHLpS/HyFOe6C9Bh8qz2EP1cOAdpb0/IjZ1uzuina0d7o+TdTvjqz5PXAUyMuXyWzU23HZ7dpLL+cm8JrorfK728WsSstOx+bn2Nq8U8Efe20VyL8Pvx+E9dt6lvZi/AI++Izti6B3L/TW4EPlOezReJb2tc2jcyzmLsSL7Wi/5/o0Uf9+ZM0fgKNAXr5M5oh6myHwOuvhnqVxld+FcnK+7WJjMf6Va9dAf54B9kSI4S7Hr7x88d63E2Vq9y76k1maeAZS/dRyQJ2B9qCf9O+u0B9jnzjRPsf50RqP/W6g5iI7/t0Q67zLd48Y+DvGqp/r5u0D9LNk87bPlRnzhxFixT2oQF6+jE/73T6wxLijfQgWxYR3NM9Gu4563tFUf7WL+UfoZ8livt+Vmc5PwupsxXx/1k4F8p9A68elvR8soWNuYx6IoO8A5qFAfji0HIzgV/HTWUUxlC/OcYa2mZuPzM2H8R4Ky9t65x3G+AV8HED5kQhxOgztNfhQeQ77dpxxjrTNo8+PmG3NHqxoR3u/69NE/cHImg+Bo0BevkzmfNwXDrr20su5Cbwmeqv8HnQxq9Ky37H5ObY2H1fwx15bBfJH4PfTsH5bz9JnGL+ADz5jn0fQ+xn01uBD5Tns5XiWPm+bR+dYzF2IF9vRPuT6NFF/JLLmT8FRIC9fJvM+3BcCr7Me7lkaV/kDKCfnRy42FuNfV7Q7AA2q53lC9Y/jPBFrLzgMFhtX7yP5inUOOwS/YhiOGKh+JWLQWfJ0RohD36ydiqx9F5Ive6/3yY5NJ3uv98Vnvwi8nc6v2PrBbyOs39Yz0YXxC/jIUd6MoLcLMa/BRxf8y34FeyD/3q2esQb69qtoR7vT9Wmivl9kzQ1wFI7BUut3PrEHBl5nPZlj8GusiXrecTpd+4aLlco0H4xx7nxYnX/OggVZADXAMP0bd1Cx+FXAAAA=","proving_key":null,"verification_key":null} \ No newline at end of file