diff --git a/crates/nargo_cli/tests/execution_success/brillig_cast/Nargo.toml b/crates/nargo_cli/tests/compile_success/brillig_cast/Nargo.toml similarity index 100% rename from crates/nargo_cli/tests/execution_success/brillig_cast/Nargo.toml rename to crates/nargo_cli/tests/compile_success/brillig_cast/Nargo.toml diff --git a/crates/nargo_cli/tests/execution_success/brillig_cast/src/main.nr b/crates/nargo_cli/tests/compile_success/brillig_cast/src/main.nr similarity index 100% rename from crates/nargo_cli/tests/execution_success/brillig_cast/src/main.nr rename to crates/nargo_cli/tests/compile_success/brillig_cast/src/main.nr diff --git a/crates/nargo_cli/tests/execution_success/brillig_to_bits/Nargo.toml b/crates/nargo_cli/tests/compile_success/brillig_to_bits/Nargo.toml similarity index 100% rename from crates/nargo_cli/tests/execution_success/brillig_to_bits/Nargo.toml rename to crates/nargo_cli/tests/compile_success/brillig_to_bits/Nargo.toml diff --git a/crates/nargo_cli/tests/execution_success/brillig_to_bits/src/main.nr b/crates/nargo_cli/tests/compile_success/brillig_to_bits/src/main.nr similarity index 100% rename from crates/nargo_cli/tests/execution_success/brillig_to_bits/src/main.nr rename to crates/nargo_cli/tests/compile_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 deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/crates/nargo_cli/tests/compile_success/numeric_generics/Prover.toml b/crates/nargo_cli/tests/compile_success/numeric_generics/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 diff --git a/crates/nargo_cli/tests/execution_success/regression_2099/Nargo.toml b/crates/nargo_cli/tests/compile_success/regression_2099/Nargo.toml similarity index 100% rename from crates/nargo_cli/tests/execution_success/regression_2099/Nargo.toml rename to crates/nargo_cli/tests/compile_success/regression_2099/Nargo.toml diff --git a/crates/nargo_cli/tests/execution_success/regression_2099/src/main.nr b/crates/nargo_cli/tests/compile_success/regression_2099/src/main.nr similarity index 100% rename from crates/nargo_cli/tests/execution_success/regression_2099/src/main.nr rename to crates/nargo_cli/tests/compile_success/regression_2099/src/main.nr diff --git a/crates/nargo_cli/tests/execution_success/unconstrained_empty/Nargo.toml b/crates/nargo_cli/tests/compile_success/unconstrained_empty/Nargo.toml similarity index 100% rename from crates/nargo_cli/tests/execution_success/unconstrained_empty/Nargo.toml rename to crates/nargo_cli/tests/compile_success/unconstrained_empty/Nargo.toml diff --git a/crates/nargo_cli/tests/execution_success/unconstrained_empty/src/main.nr b/crates/nargo_cli/tests/compile_success/unconstrained_empty/src/main.nr similarity index 100% rename from crates/nargo_cli/tests/execution_success/unconstrained_empty/src/main.nr rename to crates/nargo_cli/tests/compile_success/unconstrained_empty/src/main.nr 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_cast/Prover.toml b/crates/nargo_cli/tests/execution_success/brillig_cast/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 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 deleted file mode 100644 index 7c2348cceb4..00000000000 --- a/crates/nargo_cli/tests/execution_success/brillig_cast/target/brillig_cast.json +++ /dev/null @@ -1 +0,0 @@ -{"backend":"acvm-backend-barretenberg","abi":{"parameters":[],"param_witnesses":{},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2WzW7CMBCEHYeQXwgh5FRVolVvvZCCeu67tOr7P0LrxiNGbuiB7gYhsRJysFY7u1+seCJjTGKGiM3pQM6c9t78uvtnuJqRcE3X78zXWn7/UtKQHqC/gTsvbuDOjD/B7a8cnNOIRTVeD3PSkOrbcbDE2FLfM3oHiYIu6ide19J/4/tATunXhSLbVGFGPr8z6jsltpms7iGi+jiX6CMjtshZT8C2kJ3xh21ujsF9F7RXiur2765mpTBLEcyCvivaWyjoon4UaBS0v/TPic/Jg95iyrn3q+ZZWonWHDjU5hgZ9b0i/o3wLBHVT7wu+miILXKeJmDbitYc2OL7ErJtldm2Adv1CFvkPE/AthOtObDdmHG2nTLbLmC7GWGLnBdiezFD+UhAhHWv1lC6D7mlF+YiJ11LzKS1HS8YPbduSTemFTmhARQ2ax8KRuyXAbTUd0a8M+KMVdgw9WyYwBu6BfFGThvwFjY9n1qGBucEvCuaA7zxXBLvWraXfWictqRbE2/k3AW8ZT/au97NDSPR0NzCF37PFz4uB+i2NDdyHmhu1cvBnIgvzUgn0D0UAAA=","proving_key":null,"verification_key":null} \ No newline at end of file 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 deleted file mode 100644 index 4e90289d5e1..00000000000 Binary files a/crates/nargo_cli/tests/execution_success/brillig_cast/target/witness.tr and /dev/null differ 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 908ac53760e..3e291a6c8c5 100644 Binary files a/crates/nargo_cli/tests/execution_success/brillig_field_binary_operations/target/witness.tr and b/crates/nargo_cli/tests/execution_success/brillig_field_binary_operations/target/witness.tr differ 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 cb58e907a68..5a9a1494b04 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/+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} \ No newline at end of file +{"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} \ 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 95ca3d20bb4..a52e8a76601 100644 Binary files a/crates/nargo_cli/tests/execution_success/brillig_integer_binary_operations/target/witness.tr and b/crates/nargo_cli/tests/execution_success/brillig_integer_binary_operations/target/witness.tr differ 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 e681896f1c8..6543a668e28 100644 Binary files a/crates/nargo_cli/tests/execution_success/brillig_keccak/target/witness.tr and b/crates/nargo_cli/tests/execution_success/brillig_keccak/target/witness.tr differ diff --git a/crates/nargo_cli/tests/execution_success/brillig_loop/target/brillig_loop.json b/crates/nargo_cli/tests/execution_success/brillig_loop/target/brillig_loop.json index 9810a0ceca1..5fccad8581f 100644 --- a/crates/nargo_cli/tests/execution_success/brillig_loop/target/brillig_loop.json +++ b/crates/nargo_cli/tests/execution_success/brillig_loop/target/brillig_loop.json @@ -1 +1 @@ -{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"sum","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"sum":[1]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1Xy26DMBA0GJMASQ6t1ENP3HK1eSRw41calfz/JzSktpg4DpXKOonUroS8ONbO7IMwpIyxNfu24HSFes1PF9f+Lev0KudZhRgh+Fu9Jtb+YDE9DxlDvlQxBXBNHHlu9O8RLW4xYHF2aXYvO/AjqKug5SITNtaAA86CFkcF7HouzL3ByoCD8Mglc2D7rq2AXr5qP7DwczgfQk/MmXeI8ab99HQt4exgCRvneQl7Ifgm9xTuOfBK2Wg5nMHnJQMOZm9lxRrOm/+wTq9ynp1naQX8Org3WDhLmUcumQP7HjnnbOzFGupv9sxZe94urCMihzG5FbuUu6rq90WvSvUhi/bQ1LKqD7tGNapu6s+iKcu+qZp9e2j3slVV2atj3ZZHHTwg5BkS8uJ0vOStlznxC09Rcka+kcMPHTPh4SV+NXt2HTfM8+D7aFLkIa5gdMPvK29B3yMJIZ+6ptzBczBUTVvHXkdUJ18K2/R0SmFzWtzC9VUypbDxD4pY7Z9VoLDyjtnYQyKcs0Kwnx9U0YNlwCHyyCVzYPuubQTrC2ASfz1UgZVTDhwMFoczP6l2VOW/Ue3m9ynVjs/glGrH+XyUag/B98XlkapdWLg4w6jazQz/edUeE/Ja0PG6m2qn5Ix8l+D/q/aZMRe6oNRxE/bcqn3IO6HvkVfVTlnTwOKI9gW5/dAvwBcAAA==","proving_key":null,"verification_key":null} \ No newline at end of file +{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"sum","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"sum":[1]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1UbQrCMAxN9ykInsEjJGu7pf+8isPu/kdQWYWs+G8pTPBBSWjhJS8p7wQAZ1hhXqdK8QpbVCneUrQ4OhenIZKlOw5hZo/OzyMTk2f/GNjayI6nMIcJAzkbafHBLrjCKHJVggv3YayT/hwm04/7QIo9o+y3FnmT7U6+dwU0QVYnn+Ply51q8RJLqgvwNqD3+UvpbvR3hILy8DP94MjG18LvGZ9izxvj60T+N76dnG2hQfVwbON76+71d1TU+DRnarIeJZ6CTQW3KgoAAA==","proving_key":null,"verification_key":null} \ No newline at end of file diff --git a/crates/nargo_cli/tests/execution_success/brillig_loop/target/witness.tr b/crates/nargo_cli/tests/execution_success/brillig_loop/target/witness.tr index 2c6ad2a37f5..c366b559bbe 100644 Binary files a/crates/nargo_cli/tests/execution_success/brillig_loop/target/witness.tr and b/crates/nargo_cli/tests/execution_success/brillig_loop/target/witness.tr differ diff --git a/crates/nargo_cli/tests/execution_success/brillig_modulo/target/brillig_modulo.json b/crates/nargo_cli/tests/execution_success/brillig_modulo/target/brillig_modulo.json index 28c1c1c791a..cf6aa51a479 100644 --- a/crates/nargo_cli/tests/execution_success/brillig_modulo/target/brillig_modulo.json +++ b/crates/nargo_cli/tests/execution_success/brillig_modulo/target/brillig_modulo.json @@ -1 +1 @@ -{"backend":"acvm-backend-barretenberg","abi":{"parameters":[],"param_witnesses":{},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+2X306zQBDFjy2ltp/l06pVqyZee7X8s3Dnq9hI3/8RLGGbDAbjxZ5poO4khGmBA3NmJ7/sM4BXNDHeHyP8HO/2bJwi2elpm/RMaMp8Yc8zW6e8PuuoO+R/mwnFO1mak73GVNRxiEM9kX3nxP4O9seLuC69CMWzL+IZeU8gcqkTim8IxbsO/32/b4p2f5imxOgwgqV9JrRS85Zl1Sap4jT+MEm5LXKT5du3Ii7ivMg/kyJNqyIrNuW23JgyztIq3uVlurNiI4JWtWti3GUo6AsuHvG0jPzesciDb72T1xWGqLVeunyMoLxYNZo0VtANwFv8WnUH/B4ZIdlrT49DcJMoarcIPhG5J3gTnuCO2hPwBi7E8AgeQofgU5F7gjtqhmhPGEv3HP0meF33Ob9HqgRnenokgueK2i2CS6J5gjdR1x7gd4IH+J3gUufPEHwG3sDNMTyCz6FD8H8i9wR31JxbQ9m6F+g3weu6L/g9UiU409NT24MvOnJPcE9wJ+0FeAMXYXgEj6BD8P8i9wR31IysoWzdS/Sb4HXdl/weqRKc6ekJ7ME/5aBdidwTvAlPcEftK/AGbonhEXwJHYJfi9wT3FFzaQ1l696g3wSv677h90iV4ExPj0TwraJ2aw9+K3JP8CY8wR21b8EbuBVoBE+PRfAVdAh+J3JPcEfNlTWUrXuPfhO8rvue3yNVgjM9PQGCt/bgDyL3BG/CE9xR+wG8gVtjeARfQ4fgjyL3BHfUXFtD2bpP6DfB67qf+D1SJTjb0674AuvcvRByNgAA","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/+2UTW6DMBCFJ4EmTZq/Jk0v0AvYGILZ9SpFJfc/QoXqxYjgbOZZsiV7g8Xi8c0b9H0S0Rc9noV7frunUbe6Htpq0Eb/qKrrbaPqpr9ZbXVjm9/KGjPY2rZd37Wq07UZ9L3pzF39nwXLUsJTML5nzEp2NJKZ8y7ZvZx5V7jnKsBMNPnOtMfDzDvox0MsaRkgtyDczx9q7gK/I8Uio+/UxynNLik9WSGZOe8Lu2dZCTNLVyg6d0Vxy6p0Pwh4R0Flhe7UxynNXlN6skIyc95Xds+yEmauXaHo3A3FLatx7g1+R0Flhe7UxynN3lJ6skIyc943ds+yEmZuXaHo3B3FLatx7h1+R0Flhe7UxynN3lN6skIyc94Du2dZCTP3E2hU7pHiltU49xG/o6CyQnfq45Rmnyg9WSGZOe87u2dZCTNPrlB07pniltU49xm/o6CyQnfq45RmXyg9WSGZOe8Hu2dZCTMvrlB07pXiltU49xW/o6CyQnc6d/4A6Mmsp98gAAA=","proving_key":null,"verification_key":null} \ No newline at end of file diff --git a/crates/nargo_cli/tests/execution_success/brillig_modulo/target/witness.tr b/crates/nargo_cli/tests/execution_success/brillig_modulo/target/witness.tr index 1c2eb70c848..43dd343e821 100644 Binary files a/crates/nargo_cli/tests/execution_success/brillig_modulo/target/witness.tr and b/crates/nargo_cli/tests/execution_success/brillig_modulo/target/witness.tr differ diff --git a/crates/nargo_cli/tests/execution_success/brillig_to_bits/target/brillig_to_bits.json b/crates/nargo_cli/tests/execution_success/brillig_to_bits/target/brillig_to_bits.json deleted file mode 100644 index 01a973d5190..00000000000 --- a/crates/nargo_cli/tests/execution_success/brillig_to_bits/target/brillig_to_bits.json +++ /dev/null @@ -1 +0,0 @@ -{"backend":"acvm-backend-barretenberg","abi":{"parameters":[],"param_witnesses":{},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+3W7U4bRxQG4LN8+iNOgqEpIYE64W9/2GovYPujt9LbyK13jXfK8YiISB23RHlGWs0OHs57np3FoouILnbjOL4+/rzazWfpZ/04r//lOEs9tKp5OtQ4GWu9Hvs+bpwxHWocVc9um3kej8/qtGnm5uFZTRo7uupcvyTXJFkOkXte5Z5WuV08nuPZuKf0ep6efdmznj2ew5v0e4c4+0nKL5nLlDlrm/n7tuaisWP7fOexfwbFtUiWQ+S+qnJnVe52zzT18CX1+io9+7LnQzqHm/H+fPzdNy373+zO/3Xsj65a9+k+v4tvW/ay3n1/XjSuua2xTP0Xa+l9nj6/SLZl2z42Xcosdcs6/6396P7Wudsal8/4L5/o4/I/9F/y/5N7iPf/W/0X/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/MHPz8/Pz8/Pz8/Pz8/Pz8/Pz8/P3zSXP/j5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fl7fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn7+4Ofn5+fn5+fn5+fn5+fn5+fn5+dvmssf/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/D0/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/P3/w8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8zfN5Q9+fn5+/pfuj2pP6XUyzrPhWlT7DtDrb7l+l+pPUua7lpmb9Xo61Pgp9kdXrft0/y718nPLXoaxrblsW3OzrXGd+i/W0vs8fb5MtuvGfXQps9Qt6+uU+6P7D/E99K3+C35+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fv7g5+fn5+fn5+fn5+fn5+fn5+fn52+ayx/8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8PT8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/f/Dz8/Pz8/Pz8/Pz8/Pz8/Pz8/PzN83lD35+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fv6en5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn58/+Pn5+fn5+fn5+fn5+fn5+fn5+fmb5vIHPz8/Pz8//0v2R7Wn9Pp2nGfDdVXty3VPx/ViXJe9x2nPr7PdvBid7xs7a89knEvONP2s7DsZruV4v+3pY8ueNuv1NvND7I+uWvfp/mPq5bZlL8M41Dt+l/ov1tL7PH2e3/G7tn08vOO3sf9My/ou5fI3zeUPfv7vx79snJvrP+df8vPz84fvf+f///j9/9M0lz/4+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5e35+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+/uDn5+fn5+fn5+fn5+fn5+fn5+fnb5rLH/z8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pw9Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz8/Pz9/8PPz8/Pz8/Pz8/Pz8/Pz8/Pz8/M3zeUPfn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+/p6fn5+fn5+fn5+fn5+fn5+fn5+fn5+f/2uDP/j5+fn5+fmf8ke1p/R6NM6z4bqp9h2g179y/S7VP0qZn1pmbtbr6VBjFfujq9Z9uv+UevncspdhHOo9vE/9r8a59D5Pn+f38L5tHw/v4efYf6ZlfZ9y+Zvmfnf+ZePcXP85//IF+J1/29xc/zn/Szh/fn5+3/+Ncv3/E/z8/Pz8/Pwrfn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn7+4Ofn5+fn5+fn5+fn5+fn5+fn5+dvmssf/Pz8/Pz8/Ct+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fv7g5+fn5+fn5+fn5+fn5+fn5+fn52+ayx/8/Pz8/Pz8K35+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fn5+fv6nBn/w8/Pz8/Pz8/PX/qj2rMb5dpxnw/VLtS/XPR3XN+O67D1Oe/642s2L0fm+sbP2HI1zyZmmn5V9J8N1njx7o2/Y2FPjb5Xg/QstDAQA","proving_key":null,"verification_key":null} \ No newline at end of file diff --git a/crates/nargo_cli/tests/execution_success/brillig_to_bits/target/witness.tr b/crates/nargo_cli/tests/execution_success/brillig_to_bits/target/witness.tr deleted file mode 100644 index 4e90289d5e1..00000000000 Binary files a/crates/nargo_cli/tests/execution_success/brillig_to_bits/target/witness.tr and /dev/null differ diff --git a/crates/nargo_cli/tests/execution_success/regression_2099/target/regression_2099.json b/crates/nargo_cli/tests/execution_success/regression_2099/target/regression_2099.json deleted file mode 100644 index 4c3bb072cb3..00000000000 --- a/crates/nargo_cli/tests/execution_success/regression_2099/target/regression_2099.json +++ /dev/null @@ -1 +0,0 @@ -{"backend":"acvm-backend-barretenberg","abi":{"parameters":[],"param_witnesses":{},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/2NkIAwAQGbG/yQAAAA=","proving_key":null,"verification_key":null} \ No newline at end of file diff --git a/crates/nargo_cli/tests/execution_success/regression_2099/target/witness.tr b/crates/nargo_cli/tests/execution_success/regression_2099/target/witness.tr deleted file mode 100644 index 4e90289d5e1..00000000000 Binary files a/crates/nargo_cli/tests/execution_success/regression_2099/target/witness.tr and /dev/null differ diff --git a/crates/nargo_cli/tests/execution_success/unconstrained_empty/Prover.toml b/crates/nargo_cli/tests/execution_success/unconstrained_empty/Prover.toml deleted file mode 100644 index 11497a473bc..00000000000 --- a/crates/nargo_cli/tests/execution_success/unconstrained_empty/Prover.toml +++ /dev/null @@ -1 +0,0 @@ -x = "0" diff --git a/crates/nargo_cli/tests/execution_success/unconstrained_empty/target/unconstrained_empty.json b/crates/nargo_cli/tests/execution_success/unconstrained_empty/target/unconstrained_empty.json deleted file mode 100644 index d6e9953cd42..00000000000 --- a/crates/nargo_cli/tests/execution_success/unconstrained_empty/target/unconstrained_empty.json +++ /dev/null @@ -1 +0,0 @@ -{"backend":"acvm-backend-barretenberg","abi":{"parameters":[],"param_witnesses":{},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/62Puw0AIAhEj6jYOYtu4P5TqZHiGip4CbmE4j4CQPAp8GmmSr9tOoModcjyfH2reY17nTKyByw4HCZCYW5dAQAA","proving_key":null,"verification_key":null} \ No newline at end of file diff --git a/crates/nargo_cli/tests/execution_success/unconstrained_empty/target/witness.tr b/crates/nargo_cli/tests/execution_success/unconstrained_empty/target/witness.tr deleted file mode 100644 index 4e90289d5e1..00000000000 Binary files a/crates/nargo_cli/tests/execution_success/unconstrained_empty/target/witness.tr and /dev/null differ diff --git a/crates/noirc_evaluator/src/ssa/acir_gen/acir_ir/acir_variable.rs b/crates/noirc_evaluator/src/ssa/acir_gen/acir_ir/acir_variable.rs index 03dc414f3fb..cf4c4160e9b 100644 --- a/crates/noirc_evaluator/src/ssa/acir_gen/acir_ir/acir_variable.rs +++ b/crates/noirc_evaluator/src/ssa/acir_gen/acir_ir/acir_variable.rs @@ -10,6 +10,7 @@ use acvm::acir::{ brillig::Opcode as BrilligOpcode, circuit::brillig::{BrilligInputs, BrilligOutputs}, }; +use acvm::brillig_vm::{brillig::Value, Registers, VMStatus, VM}; use acvm::{ acir::{ circuit::opcodes::FunctionInput, @@ -18,6 +19,7 @@ use acvm::{ }, FieldElement, }; +use acvm::{BlackBoxFunctionSolver, BlackBoxResolutionError}; use iter_extended::{try_vecmap, vecmap}; use noirc_errors::Location; use std::collections::HashMap; @@ -865,6 +867,14 @@ impl AcirContext { } })?; + // Optimistically try executing the brillig now, if we can complete execution they just return the results. + // This is a temporary measure pending SSA optimizations being applied to Brillig which would remove constant-input opcodes (See #2066) + if let Some(brillig_outputs) = self.execute_brillig(code.clone(), &b_inputs, &outputs) { + return Ok(brillig_outputs); + } + + // Otherwise we must generate ACIR for it and execute at runtime. + let mut b_outputs = Vec::new(); let outputs_var = vecmap(outputs, |output| match output { AcirType::NumericType(_) => { @@ -951,6 +961,66 @@ impl AcirContext { (AcirValue::Array(array_values), witnesses) } + fn execute_brillig( + &mut self, + code: Vec, + inputs: &[BrilligInputs], + outputs_types: &[AcirType], + ) -> Option> { + let (registers, memory) = execute_brillig(code, inputs)?; + + let outputs_var = vecmap(outputs_types.iter().enumerate(), |(index, output)| { + let register_value = registers.get(index.into()); + match output { + AcirType::NumericType(_) => { + let var = self.add_data(AcirVarData::Const(register_value.to_field())); + AcirValue::Var(var, output.clone()) + } + AcirType::Array(element_types, size) => { + let mem_ptr = register_value.to_usize(); + self.brillig_constant_array_output( + element_types, + *size, + &mut memory.iter().skip(mem_ptr), + ) + } + } + }); + + Some(outputs_var) + } + + /// Recursively create [`AcirValue`]s for returned arrays. This is necessary because a brillig returned array can have nested arrays as elements. + fn brillig_constant_array_output<'a>( + &mut self, + element_types: &[AcirType], + size: usize, + memory_iter: &mut impl Iterator, + ) -> AcirValue { + let mut array_values = im::Vector::new(); + for _ in 0..size { + for element_type in element_types { + match element_type { + AcirType::Array(nested_element_types, nested_size) => { + let nested_acir_value = self.brillig_constant_array_output( + nested_element_types, + *nested_size, + memory_iter, + ); + array_values.push_back(nested_acir_value); + } + AcirType::NumericType(_) => { + let memory_value = + memory_iter.next().expect("ICE: Unexpected end of memory"); + let var = self.add_data(AcirVarData::Const(memory_value.to_field())); + array_values.push_back(AcirValue::Var(var, element_type.clone())); + } + } + } + } + AcirValue::Array(array_values) + } + /// Generate output variables that are constrained to be the sorted inputs /// The outputs are the sorted inputs iff /// outputs are sorted and @@ -1112,3 +1182,92 @@ impl AcirVarData { /// A Reference to an `AcirVarData` #[derive(Debug, Copy, Clone, PartialEq, Eq, Hash)] pub(crate) struct AcirVar(usize); + +/// Attempts to execute the provided [`Brillig`][`acvm::acir::brillig`] bytecode +/// +/// Returns the finished state of the Brillig VM if execution can complete. +/// +/// Returns `None` if complete execution of the Brillig bytecode is not possible. +fn execute_brillig( + code: Vec, + inputs: &[BrilligInputs], +) -> Option<(Registers, Vec)> { + struct NullBbSolver; + + impl BlackBoxFunctionSolver for NullBbSolver { + fn schnorr_verify( + &self, + _public_key_x: &FieldElement, + _public_key_y: &FieldElement, + _signature: &[u8], + _message: &[u8], + ) -> Result { + Err(BlackBoxResolutionError::Unsupported(BlackBoxFunc::SchnorrVerify)) + } + fn pedersen( + &self, + _inputs: &[FieldElement], + _domain_separator: u32, + ) -> Result<(FieldElement, FieldElement), BlackBoxResolutionError> { + Err(BlackBoxResolutionError::Unsupported(BlackBoxFunc::Pedersen)) + } + fn fixed_base_scalar_mul( + &self, + _input: &FieldElement, + ) -> Result<(FieldElement, FieldElement), BlackBoxResolutionError> { + Err(BlackBoxResolutionError::Unsupported(BlackBoxFunc::FixedBaseScalarMul)) + } + } + + // Set input values + let mut input_register_values: Vec = Vec::with_capacity(inputs.len()); + let mut input_memory: Vec = Vec::new(); + // Each input represents a constant or array of constants. + // Iterate over each input and push it into registers and/or memory. + for input in inputs { + match input { + BrilligInputs::Single(expr) => { + input_register_values.push(expr.to_const()?.into()); + } + BrilligInputs::Array(expr_arr) => { + // Attempt to fetch all array input values + let memory_pointer = input_memory.len(); + for expr in expr_arr.iter() { + input_memory.push(expr.to_const()?.into()); + } + + // Push value of the array pointer as a register + input_register_values.push(Value::from(memory_pointer)); + } + } + } + + // Instantiate a Brillig VM given the solved input registers and memory, along with the Brillig bytecode. + let input_registers = Registers::load(input_register_values); + let mut vm = VM::new(input_registers, input_memory, code, Vec::new(), &NullBbSolver); + + // Run the Brillig VM on these inputs, bytecode, etc! + let vm_status = vm.process_opcodes(); + + // Check the status of the Brillig VM. + // It may be finished, in-progress, failed, or may be waiting for results of a foreign call. + // If it's finished then we can omit the opcode and just write in the return values. + match vm_status { + VMStatus::Finished => Some((vm.get_registers().clone(), vm.get_memory().clone())), + VMStatus::InProgress => unreachable!("Brillig VM has not completed execution"), + VMStatus::Failure { .. } => { + // TODO: Return an error stating that the brillig function failed. + None + } + VMStatus::ForeignCallWait { .. } => { + // If execution can't complete then keep the opcode + + // TODO: We could bake in all the execution up to this point by replacing the inputs + // such that they initialize the registers/memory to the current values and then discard + // any opcodes prior to the one which performed this foreign call. + // + // Seems overkill for now however. + None + } + } +}