From 39ffa7510709b5e5b28337c272c4a9850348056b Mon Sep 17 00:00:00 2001 From: Tom French Date: Sat, 5 Aug 2023 02:09:17 +0100 Subject: [PATCH 1/7] feat: execute brillig opcodes with constant inputs at compile-time --- .../array_dynamic/target/array_dynamic.json | 2 +- .../test_data/array_dynamic/target/witness.tr | Bin 581 -> 511 bytes .../target/brillig_calls_conditionals.json | 2 +- .../brillig_cast/target/brillig_cast.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 +- .../test_data/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 .../target/brillig_to_bits.json | 2 +- .../target/unconstrained_empty.json | 2 +- .../src/ssa/acir_gen/acir_ir/acir_variable.rs | 157 ++++++++++++++++++ 17 files changed, 167 insertions(+), 10 deletions(-) diff --git a/crates/nargo_cli/tests/test_data/array_dynamic/target/array_dynamic.json b/crates/nargo_cli/tests/test_data/array_dynamic/target/array_dynamic.json index 687a56bcafd..23fd96f294a 100644 --- a/crates/nargo_cli/tests/test_data/array_dynamic/target/array_dynamic.json +++ b/crates/nargo_cli/tests/test_data/array_dynamic/target/array_dynamic.json @@ -1 +1 @@ -{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"array","length":5,"type":{"kind":"integer","sign":"unsigned","width":32}},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"t","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"index","type":{"kind":"array","length":5,"type":{"kind":"field"}},"visibility":"private"},{"name":"index2","type":{"kind":"array","length":5,"type":{"kind":"field"}},"visibility":"private"},{"name":"offset","type":{"kind":"field"},"visibility":"private"},{"name":"sublen","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"index":[8,9,10,11,12],"index2":[13,14,15,16,17],"offset":[18],"sublen":[19],"t":[7],"x":[1,2,3,4,5],"z":[6]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1daZMURRB9Ozu7sNzIuXKNq4gIaPfM7O4MggIiKCKCyCFesLDjfZ/IKQIShkSgH/Bv+Iv8KzjJVi/VvTMQRL3smAy6Ijq6p5nNepX56mVVTXXzD4B/MVX62kfJnSve51Lmc3/mcznzecB9HnB2BzL2+93fDHj3BjM2Znk2+jwbs9vHUPuY0z7mto957t9K3nfmt48F7WNh+1jUPha7Ovsxs/S58w53jsLK6CyeragD3FDbsaLt6TpKns2l7rzMuzfkzgm3pAx68UjiJBzZiZmx6vOuS+47/ff5Tl8XO0PeveTvF3hYwPNJNAg616IFnk024DjpiBLACu51zGXuMzo4j1R3qhPVorF6fXK8OhnX4lNRtTnRGI3qoxNjjbgRjzZGz1Qbtdpko94Yb040x6NmXK9Nxq3RZrXl2rE03FbN2YqW8doYdROkEjmOg73Vfk0Byl3clrvzCu/ew4jbiPd33cRtBA8Wt052CnHrXqbFbbnnTPksgaxk6iSLm1qHDLX1B6+N0f38Fyroy4ltXkGMK8F/0wKW02g1ZrS/NVUmOsA1J+gr3XnYu1cIOsdmLoK+EmlBl0BWMnWyBd3vRKHithI8cRsGr3OX0bmE2k9KYo8tcMPofYyPK2CUUlLEGcrNVQRbk3ep2az2o4OwKMRpFc9W5ONd7V2XM7GTkuiVgijHyNST9aOqaGsFabWC3TXgkV+r3Wv4MUoJSq/7NCls4Rsm4lwLlvC1Jq0m5bUGMK4DTCTldURuVmjcbJ7OKylXoJOUn/Cui6QcaLPiHMq2O4LeTsrS7hF+jFSTMtun3XCG2n6S6E+riZTpAy2MTyEf3ofyaT2xzVb5tN4Axqdhg08beDirVvm0wQDGZ2CDTxt5OGtW+bTRAMZnYYNPm3g461b5tMkAxs1EjLJBUiaUyUZJGZtJPhUNFN5uRrr08kLaFoKtZCHNbzO7nz3H89/deUqnbQGs+HTzQRRW4i3o/X5mKE6P9K+lzytglFJSxBmqIRFYWpffr6URz1ZqYdZfHS0WZgNtRs6hbLtV9PbCrBit8mOkujDL9mk3nKG2a8Q2W02kNQMY60SMeSUVJmYf76h3XSSVQJt151C23TH0dlKRdo/xY6SaVJg+zWvTusYsBby45b5pfdydG969h9m0fgczY5XdtH4HD9603slOsWm9e5netC4B/A/3Nq1LICuZOtmb1glLcdOb1sfBE5EGuKOSPASJgdlttB/rANecIDXdeat3r3iKhmMzF0FqIv0UjQSykqmTLUh+JwoVpCZ4grQVvM5drAvrYXwB9hIHA3Orw29YJF7lnji2ufN2716RODg2c0kc25BOHBLISqZOduLwO1Fo4tgGXuLYDp3OzV6vfZEXC7M/fDJ9oIXxJQWMGnzaQWyzVT7tMIBxJ2zwaRcPZ9Uqn3YZwPgybPBpNw9nzSqfdhvA+Aps8GkPD2fdKp/2GMC4l4hRNtAmbzCVImMzyaeigcLbve7fy3qxVNusaWGxZztsaMOrRJxWtYHpAy2Mr8EGn/YR22yVT/sMYHwdNvi0n4fT7NxqvwGMb8AGnw7wcJqdWx0wgPFN2ODTQR5Os3OrgwYwHiJilDlVckiRsZnkU9FA4e0hpAubc28R2+LPERU490jPAZlxgiKfDoOrYYprCmqxOmwA49uwwacjZD4p6pNarI4YwHgUOnwqkfnE3Cx3DNzcxo6JtPUo+H3yT3KsNbTtmEK7b0KH4/1knMeJviTGOr5JaKN7sLue1zN4RF+mnsF7x7sunsELtHncOZRt9wR4nVKr3Sf4MVJ9Bo/t0244Q22/S2tz+jEXNs73aDibLU2c79NwVlXj/gEN54Qqzg9pOKOGTIok0SSTI+G+8EpiJv6QuspI7/5Gpj1RYOnmpyisxLMNYDypgFGDc6dgQxMnYEMTT8OGJp6BDU2cBFcT5X9mTTRRuC+8kpiJP6SusvtOtpAwqOnNkAGMLQWMGpz7CDY08WPY0MRPYEMTP4UNTfwMXE2U8VSiicJ94ZXETPwhdZXdd7KFhEFNb+YYwPi5AkYNzn0BG5r4JWxo4lewoYlfw4YmfgOuJsp4KtFE4b7wSmIm/pC6ykg/UY1Me6LA0s1PUViJ5xrA+K0CRg3OfQcbmvg9bGjiD7ChiT/Chib+BK4myngq0UThvvBKYib+kLrK7jvZQsKgpjfzDGD8WQGjFPbLLE4SbbWIfeGWEf8R5wOpPBrqv7+M+I/YT+JbRP/9nZP/QnGeJfqPyJmY6b+8NpoQfZnaaPKLd11sNAm0edY5lG33HHp7o4m0+xw/RqoD2nPgikAer8hbouRbUtxyf0XeeXe+4N0rXvbMsZnLK/IkgP7LniWQlUyd7FGd34lCX5F3HjxBuoD8BakHMCeiUesA15wgXXTnS9694p2dHJu5CNJFpN/ZKYGsZOpkT5MugCdIF4m4LkGnc5fIsXuM2ObLPFx3n9nvNDUk2VdbHrxsAOOvChilsPv2IqU2h+K6Au5gI48lECZmH+9v3nWxBBJo84pzKNvuVfT2Eoi0+yo/RqoPuzIHC9d6nJcSm2vgz4BuI59EFIUV6sDwOhHXbSKuvBIRsf2pRPS7d10kokCb151D2XZvoLcTkbT7Bj9Gqg99Mn26xMMonUfInLzZQzqOPJAhG5BlOUQ2mMgmNtm0MR9TJF/YPmTUvrh9yMxyCWaW/wH2zFEhKKwAAA==","proving_key":null,"verification_key":null} \ No newline at end of file +{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"array","length":5,"type":{"kind":"integer","sign":"unsigned","width":32}},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"t","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"index","type":{"kind":"array","length":5,"type":{"kind":"field"}},"visibility":"private"},{"name":"index2","type":{"kind":"array","length":5,"type":{"kind":"field"}},"visibility":"private"},{"name":"offset","type":{"kind":"field"},"visibility":"private"},{"name":"sublen","type":{"kind":"field"},"visibility":"private"}],"param_witnesses":{"index":[8,9,10,11,12],"index2":[13,14,15,16,17],"offset":[18],"sublen":[19],"t":[7],"x":[1,2,3,4,5],"z":[6]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1d6XITRxBuS7LBHAZibOxwbUziAAG8q8OWCAkYCDnIfd8BgWRsCAFCpUIVyQ/yFnm4vArZxrNidr0yRc3XU9vFTtXUHpZ7vj7m69lxa/0PEf1L620k7hVzDKzrSua6mrmuZa5HzfWokTuakV81vzNq3RvLyNhiyRixZGyN+3jct8V9e9x3mJ9VrM/sjPtE3HfFfXfc95gxq7SxjZjjOXMM3VprC05WmAPXVXYkKHswRsWSudccp6x74+aYxBa3McsfiZ84RpZpo69GrPOK+Ux1k8+MDJEzbt1Lfn/CwkI4m4RjBI+1cMKSiQYcJRORHRjQ04k5Za4px3igsVOTqBEuNpu9pXovakRXw3qn226FzVZ3sR21o1a7db3ebjR67WZ7qdPtLIWdqNnoRf1Wp943eux1l9UwssIpnI7hMEKqgP04Viz9JQnIO7lNm+M+697zkNuc9XvDyG2Onk1ueXJKchveBuQ2bRmTr9mRQWZMMLmJTUhXWX/gdAw3s58roU8Ddd4H9CvAfgMC87RajRD699dbNweuOkKfMcdZ615J6BiZXgh9htKEzo4MMmOiCd2eRK7kNkM4cpsl3OSuUX5zlZ+0RB6a4Gap+BhfFsDIrSKI0zU29wNk9Z6EZqdepRxiEfDTfpys0MZ7wDqvZXzHLeErAVKOKDNO1o6ipC3lpAMCcg8SLvil9D6I91GKUIpu06ShiW8WiPMQoYiv39OalA8pwHiYSEVSPgyMzQAWm51rvpJyQDJJ+RXrvEzKjjIDY1C03DkqdlJmvefwPhJNymibJq3ISfkI4ZLyZr5xxfkqzn6h8OIhkorPI1T8xYMiP73QOy+vCWDkVhHE6coh84TiOn87L/Mks8h73TovF3mOMueNQdFyj1KxF3ms91G8j0QXeWibDsPpKvsYUGetifSYAozHgRh9JRUkZhvvG9Z5mVQcZR43BkXLPUHFTiqs9wm8j0STCtKmvgpgJJ5SCOc37wUwJ83xlHXveQpgHtNGX2ULYB7Tswtg8uSUBTDD26AAhh34Hz0tgGFHBpkx0QUwgK24QQHMScKRyCnCrkp8EBICsynaWcyBq46QFhKZ1r2yIg8j0wshLVC6Io8dGWTGRBOSPYlcCWmBcIQUEm5yl/vCchgj0pc4EJj7OX/DAsWV98RRN8eGda9MHBiZXhJHndKJgx0ZZMZEJw57ErkmjjrhEkeDZCY3er+2ifOF2j98Im0ghbElgFEinhaBOmuNp0UFGJdIRzy1cTjrWuOprQBjh3TE02kczobWeDqtAOObpCOezuBwNrXG0xkFGN8CYuS3FvFzTPL2Il6bcT5lDuS45bFqlL+JgNJHyk4aNnsapIMb3gbi1Fr8qyGekH4iwXg6S9hcI8hPYr46qwDjOdIRT8vgeCKF8bSsAON5komnCjiekH94u0DY3Ib2Cet6nvBz8k+wryW47YKA3g9IJsarYJwXgbYE+jp6ANDRfEmk6aueF2jLVD3vO9Z5Wc/rKPOiMSha7iXCTUopvS/hfSRaz4u26TCcrrLfhemcLplD43wPhrPTl8T5PgxnXdTvH8BwdkVxXobhDNu8SZi8Op0bxz7HFfuM7XHZ/DzvAQqEQezBZKsCjB8KYJSIuY9IByd+TDo48RPSwYmfkg5O/IywnJh0bhz7HFfsM7YHj2Vzpt1AGMT4ZlwBxs8FMErE3BekgxO/JB2c+BXp4MSvSQcnfkNYTuQNiYTzOPY5rthnbA8eq0bpimPK6BM6tmF2Ct1atE0Bxm8FMErE3HekgxO/Jx2c+APp4MQfSQcn/kRYTuT/LJRwIsc+xxX7jO3BY9XMZ7INhEGMb7YrwPizAEaJmPuFdHDiFdLBiVdJByd2SQcnXiMsJ/K+W8KJHPtX4s4+Y3vwWDXzmWwDYRDjmx0KMF4XwMgN/cU44L5nar/AdS48VGI/4PNAKo+62u8vJfYDzpPoIdB+f3uynyvOHtB+wJiJkPbzVWgCtGWq0MRehJWFJo4ye8agaLkrVOxCE9Z7Be8j0QXtCmFJwMfrNiaFbAvym/fXbdwwx1XrXvniOIxML6/bYAfaL45jRwaZMdGrOnsSub5u4wbhCGmV/BNSATAnpNHIgauOkNbM8aZ1r3z/D0amF0Jao/T7f9iRQWZM9GPSKuEIaQ2I6ybJTO4K2HcvAXW+hcP15N0KeY+GIPli24O3FGD8VQAjN/Tc3i2ksyuu24RdbPjYAkFitvH+Zp2XWyCOMm8bg6Ll3qFib4Gw3nfwPhL9sitysXC34HHJvrlL+CegR+QnEYVuDbowvAfE9QiIy1ciAuqfSkS/W+dlInKUec8YFC33PhU7EbHe9/E+Ev3SJ9KmkxZGnjwczMkXMXjicKEdF5bwdggX9XIRGxdt7KT1IN8Vd16174k7P1lO0sb2P98kYSDAlAAA","proving_key":null,"verification_key":null} \ No newline at end of file diff --git a/crates/nargo_cli/tests/test_data/array_dynamic/target/witness.tr b/crates/nargo_cli/tests/test_data/array_dynamic/target/witness.tr index 756e5de17403cefa6c1393de0c6542e7984857ff..e2ef1e6b213ed43b2f7a2fc0919991ee554f44cd 100644 GIT binary patch literal 511 zcmViRxcWtNJ*(tiXyE|=Xi#s6@uO|u1au! zRe|r0YH&}~fUH{3`#O+S51vgLK))J6Rukw~GstQIYitF3s14NB4zfBx?>j+O7g%FA z$m#)W>;-l8f$xrfP?rI)g7|Vxupb4Oqs8gcA<%mpoVO+DR~W2OfoER_oZSb&xnmI2 zH3U8v`Zv7BHIV+ms(V|m5` z=e=44y!4p7V2+!ht}QUfZ7|0jFvnf6#yv2{eK5xZu*O3$ z$0IPuV^G%#nBys!qYLKffqwa5jv8b|DVC5r_`?!f3Cq-4N~M$|wdb0CIO+&fc&=}I zmU4s=Ds~e!qo$`E!}g>M3mI6kpO3b$&%krxImo&IXVFXWym|$)uE81R24vlWHQs@& zdvJd}fUHN5^#rn>LGNF{|9r1tjc?#Lg%65lI`$`~OB-LDF8vL9{{x-Esl1FN005Ey B^~wMM literal 581 zcmV-L0=oSliwFP!00002|E<`?j@(cbgyAqVGc(%PW49fgFf()7c00_>42lv37J1%` zG+AVy&r(ZX{i;({7u?_b^gexie%*iHqyKucyq{yG{T-_s09gYas~N;tNjaFYqV^ES ziiSE?Jj}7eaK}nUI9At4==~_@{b=a@80h_2=>0h8*LdjH1lWm*ZqEsmpkI?6tC#|H zO@;lM2G5S^uoE*NYbNx57G%wacau5Luep#l5BfD9>RJHrmIi(n@f!~K2EPFKAFdcP6g0lJ}Io8XL_;T>QLJZrbYJHR%mYdhR0cEI(x6Lw-3?EP-o z`#o^Ry|DNDV88am-XDOv4#M6ag1tWsJ8=Zgcod##$Dpp`(61A4ZJ&g?PC?dbIO7?{ zYO=G8RW#=qD@5lRtBfu<@AHe$`!-~iFvkk!Si>AUFvkY^bqVHp8S1(MbG!<3yasc; z4rjapbG!+2yai{x4RgE$bG!?6-Ge#ahdDlgIX;AbJ%TwthO8%w6|(y2KdeyaA&Kic z%kn%gvbt=?RjX5kIF#)wEt9+mdB}TSI&mj1^CC*iENg|VNus1otNIzd7e0rq7w}v3 zCA_b`f~?o@8|DpUy@fNrgRJ+kUmqarBV>Jotk2N% diff --git a/crates/nargo_cli/tests/test_data/brillig_calls_conditionals/target/brillig_calls_conditionals.json b/crates/nargo_cli/tests/test_data/brillig_calls_conditionals/target/brillig_calls_conditionals.json index 323ec175852..59f1cb780ea 100644 --- a/crates/nargo_cli/tests/test_data/brillig_calls_conditionals/target/brillig_calls_conditionals.json +++ b/crates/nargo_cli/tests/test_data/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/test_data/brillig_cast/target/brillig_cast.json b/crates/nargo_cli/tests/test_data/brillig_cast/target/brillig_cast.json index 7c2348cceb4..4c3bb072cb3 100644 --- a/crates/nargo_cli/tests/test_data/brillig_cast/target/brillig_cast.json +++ b/crates/nargo_cli/tests/test_data/brillig_cast/target/brillig_cast.json @@ -1 +1 @@ -{"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 +{"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/test_data/brillig_field_binary_operations/target/brillig_field_binary_operations.json b/crates/nargo_cli/tests/test_data/brillig_field_binary_operations/target/brillig_field_binary_operations.json index e08b7dc3b1d..811f409701c 100644 --- a/crates/nargo_cli/tests/test_data/brillig_field_binary_operations/target/brillig_field_binary_operations.json +++ b/crates/nargo_cli/tests/test_data/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/test_data/brillig_field_binary_operations/target/witness.tr b/crates/nargo_cli/tests/test_data/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/test_data/brillig_integer_binary_operations/target/brillig_integer_binary_operations.json b/crates/nargo_cli/tests/test_data/brillig_integer_binary_operations/target/brillig_integer_binary_operations.json index e9ea0637f20..a14b18de661 100644 --- a/crates/nargo_cli/tests/test_data/brillig_integer_binary_operations/target/brillig_integer_binary_operations.json +++ b/crates/nargo_cli/tests/test_data/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/test_data/brillig_integer_binary_operations/target/witness.tr b/crates/nargo_cli/tests/test_data/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/test_data/brillig_keccak/target/brillig_keccak.json b/crates/nargo_cli/tests/test_data/brillig_keccak/target/brillig_keccak.json index 2479c628955..9a72d776292 100644 --- a/crates/nargo_cli/tests/test_data/brillig_keccak/target/brillig_keccak.json +++ b/crates/nargo_cli/tests/test_data/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/test_data/brillig_keccak/target/witness.tr b/crates/nargo_cli/tests/test_data/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/test_data/brillig_to_bits/target/brillig_to_bits.json b/crates/nargo_cli/tests/test_data/brillig_to_bits/target/brillig_to_bits.json index 01a973d5190..4c3bb072cb3 100644 --- a/crates/nargo_cli/tests/test_data/brillig_to_bits/target/brillig_to_bits.json +++ b/crates/nargo_cli/tests/test_data/brillig_to_bits/target/brillig_to_bits.json @@ -1 +1 @@ -{"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 +{"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/test_data/unconstrained_empty/target/unconstrained_empty.json b/crates/nargo_cli/tests/test_data/unconstrained_empty/target/unconstrained_empty.json index d6e9953cd42..4c3bb072cb3 100644 --- a/crates/nargo_cli/tests/test_data/unconstrained_empty/target/unconstrained_empty.json +++ b/crates/nargo_cli/tests/test_data/unconstrained_empty/target/unconstrained_empty.json @@ -1 +1 @@ -{"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 +{"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/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 779aaa559ed..d490bbe4124 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; @@ -893,6 +895,13 @@ impl AcirContext { } })?; + // Optimistically try executing the brillig now, if we can complete execution they just return the results. + 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(_) => { @@ -979,6 +988,65 @@ 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 mut mem_ptr = register_value.to_usize(); + self.brillig_constant_array_output(element_types, *size, &memory, &mut 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( + &mut self, + element_types: &[AcirType], + size: usize, + memory: &[Value], + mem_ptr: &mut usize, + ) -> 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, + mem_ptr, + ); + array_values.push_back(nested_acir_value); + } + AcirType::NumericType(_) => { + let var = self.add_data(AcirVarData::Const(memory[*mem_ptr].to_field())); + array_values.push_back(AcirValue::Var(var, element_type.clone())); + + // Advance pointer + *mem_ptr += 1; + } + } + } + } + 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 @@ -1148,3 +1216,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 + } + } +} From ccc2a9b07558ba2923471ea8264de8b0fcc8fcd8 Mon Sep 17 00:00:00 2001 From: Tom French Date: Sun, 6 Aug 2023 22:44:09 +0100 Subject: [PATCH 2/7] chore: use iterator to read from memory --- .../src/ssa/acir_gen/acir_ir/acir_variable.rs | 21 ++++++++++--------- 1 file changed, 11 insertions(+), 10 deletions(-) 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 d490bbe4124..95a74e05751 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 @@ -1004,8 +1004,12 @@ impl AcirContext { AcirValue::Var(var, output.clone()) } AcirType::Array(element_types, size) => { - let mut mem_ptr = register_value.to_usize(); - self.brillig_constant_array_output(element_types, *size, &memory, &mut mem_ptr) + let mem_ptr = register_value.to_usize(); + self.brillig_constant_array_output( + element_types, + *size, + &mut memory.iter().skip(mem_ptr).copied(), + ) } } }); @@ -1018,8 +1022,7 @@ impl AcirContext { &mut self, element_types: &[AcirType], size: usize, - memory: &[Value], - mem_ptr: &mut usize, + memory_iter: &mut impl Iterator, ) -> AcirValue { let mut array_values = im::Vector::new(); for _ in 0..size { @@ -1029,17 +1032,15 @@ impl AcirContext { let nested_acir_value = self.brillig_constant_array_output( nested_element_types, *nested_size, - memory, - mem_ptr, + memory_iter, ); array_values.push_back(nested_acir_value); } AcirType::NumericType(_) => { - let var = self.add_data(AcirVarData::Const(memory[*mem_ptr].to_field())); + 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())); - - // Advance pointer - *mem_ptr += 1; } } } From 937dbfbe82f7f0615be7f9edae59f79738116112 Mon Sep 17 00:00:00 2001 From: Tom French Date: Sun, 6 Aug 2023 22:46:06 +0100 Subject: [PATCH 3/7] chore: remove copy when reading from memory --- .../src/ssa/acir_gen/acir_ir/acir_variable.rs | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) 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 95a74e05751..213e8216471 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 @@ -1008,7 +1008,7 @@ impl AcirContext { self.brillig_constant_array_output( element_types, *size, - &mut memory.iter().skip(mem_ptr).copied(), + &mut memory.iter().skip(mem_ptr), ) } } @@ -1018,11 +1018,11 @@ impl AcirContext { } /// 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( + fn brillig_constant_array_output<'a>( &mut self, element_types: &[AcirType], size: usize, - memory_iter: &mut impl Iterator, + memory_iter: &mut impl Iterator, ) -> AcirValue { let mut array_values = im::Vector::new(); for _ in 0..size { From 1d9567443b94d7221bdf3371307022b5499e4375 Mon Sep 17 00:00:00 2001 From: Tom French Date: Mon, 7 Aug 2023 16:00:42 +0100 Subject: [PATCH 4/7] chore: update artifacts --- .../target/brillig_calls_conditionals.json | 2 +- .../brillig_field_binary_operations.json | 2 +- .../target/witness.tr | Bin 77 -> 96 bytes .../brillig_integer_binary_operations.json | 2 +- .../target/witness.tr | Bin 127 -> 170 bytes .../brillig_keccak/target/brillig_keccak.json | 2 +- .../brillig_keccak/target/witness.tr | Bin 2893 -> 3315 bytes .../brillig_loop/target/brillig_loop.json | 2 +- .../brillig_loop/target/witness.tr | Bin 66 -> 73 bytes .../brillig_modulo/target/brillig_modulo.json | 2 +- .../brillig_modulo/target/witness.tr | Bin 102 -> 128 bytes 11 files changed, 6 insertions(+), 6 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 59f1cb780ea..323ec175852 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/+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 +{"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 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 811f409701c..e08b7dc3b1d 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/+2UQQ6DIBBFp0K1WttVDwICCrtepaZ4/yM0piwmVrthSDBxNkxYfN78If8GAA/4rVM4n+FUotfaD52XSr5E50ZrhDZjb6WVxpp3Z5XyVtvBjW4QTmrl5WScmsS3TkhLRBZDfP+YRVxJSmbMW6Cer9yxcJYJZoLFO0sf7yt3pI+nWFKRQJcB3edPNTej35FAktl7usUZq81hf2FFyYx5z6g/wipSkwdDqXVLyDusePggxDtKGlbUnm5xxmpXsL+womTGvBfUH2EVqVkFQ6l1a8g7rOa5a/odJQ0rak+3OGO1G9hfWFEyY94r6o+witRsgqHUui3kHVbz3C39jpKGFbWna/UBXDJMO9gSAAA=","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/+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 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 3e291a6c8c535690a992b66843c5236fe4bda514..908ac53760e9cb08f3e2171afce2431192f01391 100644 GIT binary patch literal 96 zcmV-m0H6OKiwFP!00002|E>AwMA6yDT|-e1;?ex0QqT9{tIV*o)#vil<*q7w2s=$mIv<%pn1^>%|89itPu&)k242R^%1ONb{ CWhun~ literal 77 zcmb2|=3oE;rvGdEZ*npy@EqN9o^P@Aj{hNCWzEkV7se|Jet&*n_V4sU#uV4St->#+ gI)*VyYrnYa5XLUe{=(F8T0^gRZJU|a3}yxf0C)5qO#lD@ 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 a14b18de661..e9ea0637f20 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/+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 +{"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 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 89624134b2180534e97a1cbcd5282685db63e7a3..ce15e1dc0ec4b448db220d1ef48b6143e33f294c 100644 GIT binary patch literal 170 zcmV;b09F4ViwFP!00002|Esm=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_ literal 127 zcmV-_0D%7=iwFP!00002|EtaxR{&WdY>c2+3|R?mOrci>SvhPh hpjQc56>O}bR|8osZ0w*{4_O0jTmW_*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_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) 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 5fccad8581f..9810a0ceca1 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/+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 +{"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 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 c366b559bbe3a6f3a6dd237478a4c6cce6abc9e4..2c6ad2a37f523c53b346cea0e77d24caf55b39c9 100644 GIT binary patch literal 73 zcmb2|=3oE;rvGa%oaAIs;Bg5o_cj0c=;puGK^|5o<}X;!Sr)TE^+6mz(~%$FII{(q%I6Yq}6IyR+a iL9g7k<^pakVXJ~(HS}uW#um0Z=(PY!nL=w=2mk<1Fgh;) literal 102 zcmb2|=3oE;rvGctpX6+C5MT}bUVHtdv$4Vd6(T0hmGV-*LPA=fME| Date: Mon, 7 Aug 2023 19:56:01 +0100 Subject: [PATCH 5/7] 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 From f1fa7b59510f5ade6c577bf93b4dd620c5954ad0 Mon Sep 17 00:00:00 2001 From: Tom French Date: Fri, 11 Aug 2023 06:27:29 +0100 Subject: [PATCH 6/7] chore: remove unnecessary Prover.tomls --- crates/nargo_cli/tests/compile_success/brillig_cast/Prover.toml | 0 crates/nargo_cli/tests/compile_success/let_stmt/Prover.toml | 0 .../nargo_cli/tests/compile_success/numeric_generics/Prover.toml | 0 .../tests/compile_success/unconstrained_empty/Prover.toml | 1 - 4 files changed, 1 deletion(-) delete mode 100644 crates/nargo_cli/tests/compile_success/brillig_cast/Prover.toml delete mode 100644 crates/nargo_cli/tests/compile_success/let_stmt/Prover.toml delete mode 100644 crates/nargo_cli/tests/compile_success/numeric_generics/Prover.toml delete mode 100644 crates/nargo_cli/tests/compile_success/unconstrained_empty/Prover.toml diff --git a/crates/nargo_cli/tests/compile_success/brillig_cast/Prover.toml b/crates/nargo_cli/tests/compile_success/brillig_cast/Prover.toml deleted file mode 100644 index e69de29bb2d..00000000000 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/compile_success/unconstrained_empty/Prover.toml b/crates/nargo_cli/tests/compile_success/unconstrained_empty/Prover.toml deleted file mode 100644 index 11497a473bc..00000000000 --- a/crates/nargo_cli/tests/compile_success/unconstrained_empty/Prover.toml +++ /dev/null @@ -1 +0,0 @@ -x = "0" From 357655261f7f838dfa0f9965b212fe1e9b07e89f Mon Sep 17 00:00:00 2001 From: Tom French <15848336+TomAFrench@users.noreply.github.com> Date: Fri, 11 Aug 2023 14:10:07 +0100 Subject: [PATCH 7/7] Update crates/noirc_evaluator/src/ssa/acir_gen/acir_ir/acir_variable.rs --- crates/noirc_evaluator/src/ssa/acir_gen/acir_ir/acir_variable.rs | 1 + 1 file changed, 1 insertion(+) 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 6e4d6c7da0c..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 @@ -868,6 +868,7 @@ 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); }