chore: refresh ACIR test artifacts

crates/nargo_cli/tests/test_data/1_mul/target/main.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/9WYTW6DMBSEJwESGhrapNsuOIKNIZhdr1JUcv8jFFQ7UCu7zEPBEjKW4P3MvI8FHwA+8bc2w7V1ezE7b4Nz5M7+2Y17/8vt6rGlfR5w4yoE68G42t/EQ4xkpgO78JsgcWBE4s4QNCGMa9Slqvqm7LXR36psO1urqu4uVltd2/qntMb0trJN27WNanVlen2tW3N1gXeQMTTi1Fm6OnVM7Dkh+sLUTwrgxM0mmQMxgPdDjBQLADwmKjABnEIOYG8CG+AXrAPgPbHnlOgLUz8pgFM3m2QOxAA+DDEyLADwmKjABHAGOYC9CWyAX7EOgA/EnjOiL0z9pADO3GySORAD+DjEyLEAwGOiAhPAOeQA9iawAX7DOgA+EnvOib48uX63niNizzmxrneifhHuQA8+i8ya5/WeZvex27d3ZmIn0BOCPKGOoh9UKZNOAnHP4A2/VN9nvkf/Pk7PrGk0q9H/YAzXLy9W07upFAAA","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/9WYTW6DMBSEJ+EvhAZVVdVuuuAIGEMwu16lqOT+RyiodiBWdpmHgiVkLMH7mXkfCz4BfOF/7cZrb/dicd5758Ce3bM7+/633cvHlnJ5wI1bwlsPxlXuJhxjRAsd2IVfBQk9IyJ7hqAJflxdnut6aKtBafVTVl1vmrJu+rNRRjWm+a2M1oOpTdv1XVt2qtaDujSdvtjAr5AxNODUWdk6VUjsOSL6wtRPCuDIziaZAzGA4zFGghUAnhIVmAFOIAewM4EN8Bu2AXBM7Dkh+sLUTwrgxM4mmQMxgA9jjBQrADwlKjADnEIOYGcCG+B3bAPgA7HnlOgLUz8pgFM7m2QOxAA+jjEyrADwlKjADHAGOYCdCWyAP7ANgI/EnjOiL0+u37XngNhzRqzrhahfgDvQg88is+ZlvafFfWj3/Z2ZiAV6gpfH1zGH4AdVyqSTQNwcvOGX6jvne3TzcXpmTYNFje4Ho7/+AAxbTEGpFAAA","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data/2_div/target/main.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1Y7U7CMBQ9bAMB5UNAYowm++ffdh+w/fNVJI73fwTX2Empxpjs3GUk3IRsTeD09NzbnlteALziKwb1J7DP2BkH3ji04+a7cH5v4s0+VbvQAx6WkuIYEDlGNcbQ05QuqCEceQkd2rEboaBQqdplWbVPKp3qd5WUhyJXWX7YFbrQeZF/JEWaVkVW7MtDuVelztJKH/MyPVqwIRFrRMRq9Bw5ekoUXPQLblvuj+BvNok6Yub+hshLSr+ArN+gn/qpq5lwzWRcY0zQgZmYiWKczGSCyzKTCRFrCr6ZTCFrJmPwzeQJuAgzYeb+lshLSr8+mwlRvz9rpi3PkKjfmMjrjqifWeMP4wD//GFydvnOnPcI57Xv1sRIYE3w5vF1nEPQlKWSNBPAnYNX/FLrnvNzdHY49VnTpiNnczSbIhDWlYCrm5dFjbFEB520mSjGqZNeQrbzC8Hv/O7RaxdPLE+9IK55ScwLU78A50Xb5+6PoOH3hoUXLNxVjbFGBwfBCqeTN7CTxt6c7KuQVDLbYj3jMg6UFXHNa2JeCfrp/+in2gX1f901EWtDrL+urlVMzi7fB+f9eq1qibmxgrJxt+j3tcqse8vPkei1iqlp6HBsunA/PgHqZfGSlh8AAA==","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"z","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2],"z":[3]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1Yy07DMBDcOn2ktE1bKoQQHHLhbufROjd+hYj0/z+BRNjEWEVC8myUiq5U2Zaa8e7seuLNCxG90pdN2p8wY+qshbeOzNr+l5znO3szowwzNcFhSS4fBdDHaYsx8ziFE9o5PPUSOjNr1yJGonJ5LIrmlDUqV+8yq2pdyqKsj1ppVeryI9N53uhCn6q6OslKFXmjzmWVnw3YDIg1B2JZPucOn37Bhe5h84fGfSD8YeOoowlTHckwU0j+bsKKFdZFixHTAMLabZRSL6wxXZewxkCsJeGFdUm8wrpgwH2k/yesMdCvofgLjTkCxrwA+nUH5C+iCyJKePFH+uz6u3LmUzOKCzUxZ4iJvH18HhNifEFxJWnFgLsmXPFzxb3G5+iHOI2ZU3s7RfvYHQrBzCsAV9nJhpgPrb31dBul1N8qE/r9FiTDTNnvO+hb0BON+i2eGT/VBhhzAswLkj+/vRQMdTsiDr8PLHmGwt22GDsaQAi21CuvMJum3p5jbgsSINYzXYegbIEx74B5BfCn/sKfDDOF/Na7A2LtgfU3VFuF9Nn1996Z39qqQMy9IRSNe6Bxt1Vd3Ad8jljbKiSnkeOjvYX79gnryeDFrh0AAA==","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data/5_over/target/main.json

@@ -1 +1 @@
-{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/81X226EIBCdBbsX3fatj036CYyIwlt/pab4/59QbTHLkn3zjNlJDBDNmcs5wPhKRO/0b4f5UWn8zNYqrdd3h/T9VxrNNuMcE4hrqLCNuLxO9IxRFTHDC7IUWxdEVGlNgiSUuNb0XReHNrLlb9OG0TvTubH37Nl599N6a6Pv/BDGMJjAnY08uWCnBPxCMoRqTJxtipM1MOcKyMte9TPbjJVQ/bZiHYH10/Rg0xN+LyJjzuM9ZfMqjeqBJo4COVHhp6zjGwkeqFIknQRwz4QTv1TeZzxHd4fTM9dU0b1Q0bECLw90B7Sav8wYNe3QAS2OPujWAS1OdeETfZMhbp84/Vm4AIVX43IUFzEw1p6ERNzMGFfaQcQN3VprlZxKi7gGirgBivgqJAz0b0tD2M1GGf+l/QIoZZmihA8AAA==","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"},{"name":"y","type":{"kind":"integer","sign":"unsigned","width":32},"visibility":"private"}],"param_witnesses":{"x":[1],"y":[2]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/81XUW6DMAx1E9YWqvVvn5N2hJgQSP52laGF+x9hsAY1jfrHM6ollESgZ/v5JTFXIvqgmx3mR6XxK1urtF7fHdL332k024xzTCCuocI24vI60TNGVcQMJ2QhWxeFqNKaBItQ4lrTd10c2siWf0wbRu9M58bes2fn3W/rrY2+80MYw2ACdzby5IKdEvA7yRRUY+JsU5ysgTlXwLrsxZ/ZZqyE+NuK9QbkT9OTTU/4vYiMOY/3mM2rNKonmjgK5ESFn5LHKwkeqFJFkiDqRDjxS+V9wtfo4XB6ZU4VPQoVHSvw8kB3QKv584xR0w4d0OLok+4d0OJUFz7RNxni9onTv4UzUHg1LkdxEQNj7UlIxM2McaEdRNzQvbVWyam0iGugiBugiC9CwkD/tjSE3WyU1b+0P+cFO+aEDwAA","proving_key":null,"verification_key":null}

crates/nargo_cli/tests/test_data/6_array/target/main.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":"y","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"}],"param_witnesses":{"t":[12],"x":[1,2,3,4,5],"y":[6,7,8,9,10],"z":[11]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1da5Re0xl+5pvJzGRyqUukUaFbhVKRzjeXZBKkEUEqCEqpa0VmXEupW0kRcSkioqg7oe7Xut8qKKWUUkoppZRSSimNUsreyzlzztksfuzn3eu8y/nWsuZ81srz7vd93uc5795n5vumNwCL7H/u5X7Ukp8m977mvW/03jd57wck7wd8DNv/M//vm5L/n/6/Zg+jxXvf6r0f6L1vy8VsyMVsTrBak3/Tlvs3gzyMwcn7tAZJWTAp+dke9qq3JfHBxW2H9wrEracXQyzG0Fwd2Auvp4Uf4hExNHkPQRJ83M72sV1dveM6euud9R3aO8bP6Olu7+qeMban3lPv7ume2dHT2dnb09UzbvyM8ePax9e7Onvrfd3jO/sS4C9BhtBGzjo7knXWhxBzHkrkhVk/KQE3J71J1oGYgBezGIsjgoBdIINMwItDTsApCWwBLwEdAl6MmPPiRF6Y9auh2LQ1cg+1lauG/YKF92LhLmkxhiGCESyJzHlrSVDjxWxUQmYo1mINOgxlSWLOw4i8EurXLwCpiWBY0uNkPYkZwVIWYzgiGIELZJAZwXDITQQpCeyJ4MvQIeCliDkPJ/LCrJ+UgFuS3iTrQEzAIyzG0oggYBfIIBPw0pATcEoCW8BfgQ4BjyDmvDSRF2b9pEf6YeWqofhIv4zFGIkIRrAMiiO9C2q8mOyRXorM4DMCJSP9MsScRxJ5XULBSD8y6XGynsSMYFmLsRwiGIELZJAZwXKQmwhSEtgTwVehQ8DLEnNejsgLs35SAm5NepOsAzEBG4uxPCII2KAo4OUhJ+CUBLaAvwYdAjbEnJcn8sKsn/RIP7JcNRQf6VewGKMQwQhWQHGkd0GNF5M90kuRGXxirWSkX4GY8ygir8MUjPSjkh4n60nMCFa0GCshghG4QAaZEawEuYkgJYE9EXwdOgS8IjHnlYi8MOsnJeCBSW+SdSAm4JUtxiqIIGAXyCAT8CqQE3BKAlvA34AOAa9MzHkVIi/M+kmP9KPKVUPxkX5VizEaEYxgVRRHehfUeDHZI70UmcHPsJWM9KsScx5N5HW4gpF+dNLjZD2JGcFqFmMMIhiBC2SQGcEYyE0EKQnsieCb0CHg1Yg5jyHywqyflIDbkt4k60BMwA64jggCdoEMMgHXIfvHMGPAF3AHdAi4nZhzncgLs37SI/3octVQfKTvtBhdiGAEnSiO9C6o8WKyR3opMkOxRigZ6TuJOXcReR1BHOkb8SnND/7NiZh/e3693bnrpuRn7VN6olkgJ3hx/DqK/rmtFEndArhjwROSVN5j+RwVzKnMNZXaFri6dgnXlYDbb4bjLEYPIkwDLpBBNg30QG5bkJLA3haMh467+Dhizj1EXpj1kxJwQ9KbZB2ICXiCxVgdEQTsAhlkAl4dcgJOSWALeA3oEPAEYs6rE3lh1k9SwM2g60BMwGtajImIIGAXyCAT8ETICvjT9h+hzfwt6BDwmsScJxJ5Ydavhs8+mCuTcRFqKH4w53DWQgQjmITiwZwLaryYJEGIkxn8J7ZKDuYmEXNei8gFoX6feNaevtgn/cwDSWINxQxlssVYGxEMZTKKhuKCGi8m+6RfiszgPzdVYiiTiTmvTeSCWT+pLcbaSY+T9SRmBFMsxjqIYAQukEFmBOtAbouRksDeYqwLHQKeQsx5HSIvzPpJCTjtTbIOxAS8nsWYiggCdoEMMgFPhZyAUxLYAv42dAh4PWLOU4m8MOsnKeAW0HUgJuD1LcY0RBCwC2SQCXgaZAXcAr6AN4AOAa9PzHkakRdm/WqQPeRjGhehhuKHfBtajI0QwQg2RHFP7oIaLyb7kE+KzOBPkFGyJ9+QmPNGRC4I9Yt2yMc8iyDWUMxQpluMjRHBUKajaCguqPFisg/5pMgMFZdRYijTiTlvTOSCWT+pLcbGSY+T9SRmBJtYjE0RwQhcIIPMCDaF3BYjJYG9xfgOdAh4E2LOmxJ5YdZPSsCNSW+SdSAm4M0sxuaIIGAXyCAT8OaQE3BKAlvA34UOAW9GzHlzIi/M+kkKuBV0HYgJeAuLsSUiCNgFMsgEvCVkBdwKvoC/Bx0C3oKY85ZEXpj1+7w9eZmMi1BD8UO+rSzG1ohgBFuhuCd3QY0Xk33IJ0Vm8CfrKtmTb0XMeWsiF4T6RTvkY55FEGsoZijbWIxtEcFQtkHRUFxQ48VkH/JJkRn8KbNKDGUbYs7bErlg1k9qi7Ft0uNkPYkZwXYWY3tEMAIXyCAzgu0ht8VISWBvMb4PHQLejpjz9kRemPWTEnBT0ptkHYgJeAeLMQMRBOwCGWQCngE5ATeh6EqTSM28I3QIeAdizjOIvDDrJynggaDrQEzAMy1GLyII2AUyyATcC1kBDwRfwH3QIeCZxJx7ibww61eD7CEf07gINRQ/5NvJYuyMCEawE4p7chfUeDHZh3xSZAZ/cYSSPflOxJx3JnJBqF+0Qz7mWQSxhmKGsovF2BURDGUXFA3FBTVeTPYhnxSZoeJaWYmh7ELMeVciF8z6SW0xdk16nKwnMSPYzWLsjghG4AIZZEawO+S2GCkJ7C3GD6BDwLsRc96dyAuzflICHpD0JlkHYgLew2LsiQgCdoEMMgHvCTkBpySwBfxD6BDwHsSc9yTywqyfpIDbQNeBmID3shh7I4KAXSCDTMB7Q1bAbeAL+EfQIeC9iDnvTeSFWb/P25OXybgINRQ/5NvHYuyLCEawD4p7chfUeDHZh3xSZAZ/oaaSPfk+xJz3JXJBqF+0Qz7mWQSxhmKGsp/F2B8RDGU/FA3FBTVeTPYhnxSZwV8uqcRQ9iPmvD+RC6n6sc1kf2L9DiBgte84fmb7jjM6Y33j0AE8rMI3Dv04d11941Ag5gFJQdm4B4LX/FJ5H8jnSPQbh5g1lTpb0fYLVAdZjFmIMAG5QAbZBDQL+n6B6ifQMbkcRMx5FpEXZv38rRC7h4h5i4n3YItxCCKI92AUty8uqPFisrcvs8ATxMHgCeIQ6Gli5loh1MSHWozZiNDEh6J4B5oN+SY+hNjEhxKbeDb0NDFzreD2WH8TH2Yx5iBCEx/mNfEcyDfxbGITH0Zs4jnQ08TMtUKoiQ+3GEcgQhMf7jXxEZBv4jnEJj6c2MRHgN/EX/RfGDjSYhyFCI18pNfIR0HfLwz8FDKEsje1RxJzPorIC7N+/l2oRu4hotnUiTUUM4KjLcYxiGAER6O4QXZBjReTfUeTIjNUXGOUPN87mpjzMUQumPUTHms7iHmLmcCxFmMuIpiAC2SQmcBciJtAgYBQQRwLniDmQk8TM9cKoSY+zmLMQ4QmPs5r4nmQb+K5xCY+jtjE86CniZlrhVATH28x5iNCEx/vNfF8yDfxPGITH09s4vmQaQz23mQ+MecTCFi9fX193b0ff+RujF8XOoGHVfh1oZ/lrqtfFwrEPCEpKBv3RPCaXyrvE/kcif66ELOmUierDq9ZuK4E3P47+EkW42REuIO7QAbZHfxkyJ2spiSwT1Z/DhlC2QchJxFzPpnIC7N+0ierbUQsYg3FjOAUi3EqIhjBKSierLqgxovJPlmVIjNUXO1KTlZPIeZ8KpELZv2kDaWBWMNm8IQP78XCPc1inI4IhnIaiobighovJttQpMgMxepQYiinEXM+ncgroX7R/raTaaTEGooZyhkW40xEMJQzUDQUF9R4MdmGIkVmqLi6lBjKGcSczyRy0aVoQqkRa9gCnvDhvVi4Z1mMsxHBUM5C0VBcUOPFZBuKFJmhWGOVGMpZxJzPJvI6VtGEwjRSYg3FDOUci7EAEQzlHBQNxQU1Xky2oUiRGSquHiWGcg4x5wVELnoEJhT2gb7DbQFdT2JGcK7FOA8RjMAFMsiM4DzIPVVJSWA/VfkFdAj4XGLO5xF5YdZPeiJYQMQi1lDMCM63GBcgghGcj+JE4IIaLyZ7IlggRGaouCYomQjOJ+Z8AZGLCQITQfqqzizCcC+0GBchgqFciKKhuKDGi8kWxIVEMi8i1kTTnptpBMQaigniYotxCSII4mIUBXEJ5O+wUmSGimsNJXfYi4k5X0LkYg1Fd9hGYg1bUf477KUW4zJEMJRLUTQUF9R4MdmGIkVmKNZEJYZyKTHny4i8TlQ0oTCNlFhDMUO53GJcgQiGcjmKhuKCGi8m21CkyAwV1yQlhnI5MecriFxMEphQ2AfSjotW0PUkZgRXWoyrEMEIXCCDzAiugtxTgZQE9lOBX0KHgK8k5nwVkRdm/aQnAqZxEWsoZgRXW4xrEMEIrkZxInBBjReTPRFIkRkqrslKJoKriTlfQ+RissBEkL6qM4sw3GstxnWIYCjXomgoLqjxYrIFcS2RzOuINdG052YaAbGGYoK43mLcgAiCuB5FQdwA+TusFJmh4pqi5A57PTHnG4hcTFF0h20i1nAgyn+HvdFi3IQIhnIjiobighovJttQpMgMxVpXiaHcSMz5JiKv6yqaUJhGSqyhmKHcbDFuQQRDuRlFQ3FBjReTbShSZIaKa6oSQ7mZmPMtRC6k6sc2k1uI9buVgOU+em5mR29vrI+eu5WHVfjouV/lrquPngvEvDUpKBv3NvCaXyrv2/gciX70HLOm/iTFXivD8PuSF7xXIG7/9LPQYtyOCNPPQhSnHxfUeDHZ0w/h7tM/CSwkNt7tQo3h371D18nM+Q6U+ybg8O4A//H5+uRJjZ23mxAWCuQ9rdwTPvMTvNJXPc916Lo2UFK/O4n1I/ZMnVm/WLsFYi0Lu4Vf566r3UIg5p1JQdm4d6HcuwWX9118jkR3C+yapq8vyqcY3g19Jspcc369v8ldVyYaiHl3UlA27j0ot4m6vO/hc/SZJhpah3uE1lnmD1pjmui90GeizDXn1/vb3HVlooGY9yYFZePeh3KbqMv7Pj5HoiZ6H3SYKPMXdpkmej/0mShzzfn1/i53XZloIOb9SUHZuA+g3Cbq8n6Az5GoiT4AHSbK/DU+pok+CH0mylxzfr2/z11XJhqI+WBSUDbuQyi3ibq8H+JzJGqiD0GHiQ5AOU30YegzUeaa8+v9Q+66MtFAzIeTgrJxH0G5TdTl/QifI1ETfQQ6TJT5YIn55ROPQp+JMtecX+8fc9eViQZiPpoUlI37GMptoi7vx/gciZroY9BhoswHS0wTfRz6TJS55vx6/5S7rkw0EPPxpKBs3CdQbhN1eT/B50jURJ+ADhNlPlhimuiT0GeizDXn1/vn3HVlooGYTyYFZeM+hXKbqMv7KT5Hoib6FHSYKPPBEtNEn4Y+E2WuOb/ev+SuKxMNxHw6KSgb9xmU20Rd3s/wORI10Wegw0SZD5aYJvos9Jkoc8359f41d12ZaCDms0lB2bjPodwm6vJ+js+RqIk+Bx0mynywxPz+kuehz0SZa86v92+568pEAzGfTwrKxn0B5TZRl/cLfI5ETfQF6DBR5oMlpom+CH0mylxzfr1/z11XJhqI+WJSUDbuSyi3ibq8X+JzJGqiL0GHiZb1m/Rehj4TZa45v95/5K4rEw3EfDkpKBv3FZTbRF3er/A5EjXRV6DDRJkPlpgm+ir0mShzzfn1/jN3XZloIOarSUHZuK+h3Cbq8n6Nz5Goib4GHSbKfLDENNHXoc9EmWvOr/dfuevKRAMxX08KysZ9A+U2UZf3G3yORE30DegwUeaDJeZX4LwJfSbKXHN+vf/OXVcmGoj5ZlJQNu5bKLeJurzf4nMkaqJvQYeJMh8sMU30begzUeaa8+v9T+66MtFAzLeTgrJxF6HcJuryXsTnSNREF0GHiTIfLDFN9B3oM1HmmvPr/W/uujLRQMx3koKycd9FuU3U5f0unyNRE30XOky0rN9o+x70mShzzfn1/i93XZloIOZ7SUHZuO+j3Cbq8n6fz5Goib4PHSbKfLDENNEPoM9EmWvOr/f/uevKRAMxP0gKysb9EOU2UZf3h3yORE30Q+gwUeaDpTZmHzXoM1HmmvPrbci9qUw0FLPh44KycWsN5TZRB1hroHMkaqK1Bh0mynywxDTRRoUm2ihkok2ViXJJahIw0QElN1GX9wBlJjpAiYkyHywxTbRZoYk2C5loS2WiXJJaBEy0teQm6vJuVWairUpMlPlgiWmiAxWa6EAhE22rTJRLUpuAiQ4quYm6vAcpM9FBSkyU+WCJaaKDFZroYCETHVKZKJekIQImOrTkJuryHqrMRIcSBTU4t8Za0sxOTM4AnXDc53i6P7l0T8edkQ2y/w3GJ18fAQdgKZyHqwEA","proving_key":null,"verification_key":null}
+{"backend":"acvm-backend-barretenberg","abi":{"parameters":[{"name":"x","type":{"kind":"array","length":5,"type":{"kind":"integer","sign":"unsigned","width":32}},"visibility":"private"},{"name":"y","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"}],"param_witnesses":{"t":[12],"x":[1,2,3,4,5],"y":[6,7,8,9,10],"z":[11]},"return_type":null,"return_witnesses":[]},"bytecode":"H4sIAAAAAAAA/+1dC7Be0xX+3Nzc3FwREUFExBERQcT/35ub3BtBRLwiIoiIeIQk90a8I6Le4v1+v18VlFJKKaWUUkoppZRSSimllGqn0+l0Op3uPfa5Z58j0zGzv7XnrHHOjLn7N5Nv7bW+9X1n73P+85/5KwF/M//Zw/5pcH8T73ND4XOvwufGwufe7nPvL2F7/vr/vtH9//T/NRUw+hQ+Nxc+9y18bvFiruTFbHJYze7ftHj/ZuUCRj/3Oa2BKwsmub+1sKPe4uKDi1tD4QjEraeDVQxGf68O7InX08KvUiCiv/sMQRKKuG21cWPHdo1v7aq31Q+stXbO62ivjW2fN66j3lFv72hf0NrR1tbVMbZjfOe8zvG1zvrYtq56d3tnW7cD/jtkCO3FmWerm2d9FWLO/Ym8MOsnJeAm15tkHYgJeFWDMQARBGwDJcgEPAByAk5JYAv4H9Ah4FWJOQ8g8sKsXwPyTdtA7qGWctWwR7AoHCzc1QzGQEQwgtWQOW+DC5oUYvZSQmYo1j+hw1BWI+Y8kMgroX49ApBaEQx0PU7Wk5gRrG4wBiGCEdhACTIjGAS5FUFKAntF8C/oEPDqxJwHEXlh1k9KwH1cb5J1ICbgNQzGmoggYBsoQSbgNSEn4JQEtoD/DR0CXoOY85pEXpj1k17SDyxXDcWX9GsZjMGIYARrIb+kt0GTQkz2kl6KzFCs/0CHoaxFzHkwkVdC/cSX9INdj5P1JGYEaxuMIYhgBDZQgswIhkBuRZCSwF4R/Bc6BLw2MechRF6Y9ZMScLPrTbIOxAS8jsEYiggCtoESZAIeCjkBpySwBWwBSXMUFfA6xJyHEnlh1k96ST+4XDUUX9KvazCGIYIRrIv8kt4GTQox2Ut6KTJDsRqUGMq6xJyHEXkl1E98ST/M9ThZT2JGsB6yEzUzQE+gVPh+oAY3TlwMKRLYK4JGJQJej5hzQuSlUWBFwO6d9Nt+ZB2ICXh9gzEcEQS8PvICHg45AftfuQSxmZuUCHh9Ys7Dibw0CQg4PdhL+mHlqqH4kn4DgzECEYxgA+SX9DZoUojJXtJLkRmK1azEUDYg5jyCyCuhfuJL+hGux8l6EjOCDQ3GSEQwAhsoQWYEIyG3IkhJYK8IWpQIeENiziOJvLQIrAgknsMYCboOxAS8kcEYhQgCtoESZAIeBdmHYUaCL+B+SgS8ETHnUURe+gkIOD3YS/oR5aqh+JJ+Y4OxCSIYwcbIL+lt0KQQk72klyIz+EkzJYayMTHnTYi89icu6XthBc0P/smJmH/Nn++m3rjR/W1YQU80CeSEQpxiHUUft5UiaVMB3NHgCUkq79F8jnLmVOaaSm0LbF03Ea4rAbfHDDczGGMQYTVgAyXIVgNjILctSElgbwsGKDmLb0bMeQyRlwEC2wJ276zkepOsAzEBb24xEEHANlCCTMA1yAk4JYEt4IFKBLw5MecakZeBSgTcBLoOxARsl7WtiCBgGyhBJuBWyAp4RfuP4Mc7lQi4Tsy5lcjLIAEBp0cDmWumcRFqKH5hrs1gjEUEI2hD/sKcDZoUYpIEIU5m8NN1SgyljZjzWCIXhPp95V57erCv9DMvSBJrKGYo7QZjHCIYSjvyhmKDJoWY7Cv9UmQGP26qxFDaiTmPI3IxWMEWY5zrcbKexIxgvMHoQAQjsIESZEbQAbktRkoCe4sxRImAxxNz7iDyMkSBgNPeJOtATMCdBmMCIgjYBkqQCXgC5AScksAW8FAlAu4k5jyByMtQJQLuA7oOxAS8hcGYiAgCtoESZAKeCFkB9wFfwMOUCHgLYs4TibwMExBwejSQuWYaF6GG4hf5tjQYWyGCEWyJ/J7cBk0KMdkX+aTIDH7cVImhbEnMeSsiF4T6RbvIx7wWQayhmKFs7bDEDWVr5A3F4ieFmOyLfFJkBj/tp8RQtibmPInIxXAFWww/XyKumBFsYzAmI4IR2EAJMiOYDLktRkoCe4sxQomAtyHmPJnIywgFAu7lepOsAzEBb2swpiCCgG2gBJmAp0BOwCkJbAGPVCLgbYk5TyHyMlKJgJtB14GYgLczGNsjgoBtoASZgLeHrICbwRfwKCUC3o6Y8/ZEXkYJCDg9GshcM42LUEPxi3w7GIwdEcEIdkB+T26DJoWY7It8UmQGP26qxFB2IOa8I5ELQv2iXeSbRMQi1lDMUHYyGFMRwVB2Qt5QbNCkEJN9kU+KzFBxjVZiKDsRc55K5GK0gi3GVNfjZD2JGcHOBmMaIhiBDZQgM4JpkNtipCSwtxhjlAh4Z2LO04i8jFEg4EbXm2QdiAl4F4MxHREEbAMlyAQ8HXICbkTelSaRmrmmRMC7EHOeTuSlpkTAfUHXgZiAdzUYMxBBwDZQgkzAMyAr4L7gC7hViYB3JeY8g8hLq4CA06OBzDXTuAg1FL/It5vB2B0RjGA35PfkNmhSiMm+yCdFZvCjq0oMZTdizrsTuSDUL9pFPua1CGINxQxlD4MxExEMZQ/kDcUGTQox2Rf5pMgMfnRViaHsQcx5JpGLcQq2GDNdj5P1JGYEexqMWYhgBDZQgswIZkFui5GSwN5idCgR8J7EnGcReelQIODerjfJOhAT8F4GYzYiCNgGSpAJeDbkBJySwBbwBCUC3ouY82wiLxOUCLgFdB2ICXhvgzEHEQRsAyXIBDwHsgJuAV/AE5UIeG9iznOIvEwUEHB6NJC5ZhoXoYbiF/n2MRj7IoIR7IP8ntwGTQox2Rf5pMgMfnRViaHsQ8x5XyIXhPpFu8jHvBZBrKGYoexnMPZHBEPZD3lDsUGTQkz2RT4pMoMfXVViKPsRc96fyIVU/dhmsj+xfnMJWLX5nQtq8+e1xXrj0FweVu6NQwd44+qNQ4GYc11B2bgHgtf8UnkfyOdI9I1DzJpKXVvR9gWqeQZjPiKsgGygBNkKaD7EtlQ9Z/B5xIaZT6yJ5BeJ2A1NzFusiRcYjC5EaOIFyC/ju75GE9fCjhwBoYJYAJ4guqCniZlzhVATdxuMhYjQxN3IO/FCyDdxF7GJu4lNvBB6mpg5Vwg18UEGYxEiNPFBhSZeBPkmXkhs4oOITbwIepqYOVcINfHBBuMQRGjigwtNfAjkm3gRsYkPJjbxIeA38Tf9xvmhBuMwRGjkQwuNfBjkN3eHEpvvMGJNYt5AroUddaLo6sQaignicINxBCII4nDkN4pHQN7ZpcgM/qVDJfd7DifmfASRi8mChkI+Q7YS8xYzgSMNxmJEMAEbKEFmAoshbgI5AkIFcSR4glgMPU3MnCuEmvgog7EEEZr4qEITL4F8Ey8mNvFRxCZeAj1NzJwrhJr4aIOxFBGa+OhCEy+FfBMvITbx0cQmXgqZxmDvTZYScz6GgNXV3d3d3vXlT7DG+PrIMTys3NdHvuWNq6+PBGIe4wrKxj0WvOaXyvtYPkeiXx9h1lTqCqPFaxKuKwG35wx+nME4HhHO4DZQguwMfjzkrzAeR2yY44k1GaToCmMLEYtYQzFBnGAwTkQEQZyA/BXGE7+GIGphhxiZwT+CreQK4wnEnE8kcjFFkaGsRKxhE3jCR+Fg4Z5kME5GBEM5CXlDsUGTQky2oUiRGfxqCCWGchIx55OJvBLqF+2ZN6aREmsoZiinGIxliGAopyBvKDZoUojJNhQpMoNfDaHEUE4h5ryMyMWOilYoDcQa9gFP+CgcLNxTDcZpiGAopyJvKDZoUojJNhQpMoNfDaHEUE4l5nwakdepilYoy4hYxBqKGcrpBuMMRDCU05E3FBs0KcRkG8oyITKDX1WhxFBOJ+Z8BpGLaQIrFPbdBYvbB3Q9iRnBmQbjLEQwAhsoQWYEZ0H+7sKZxEY+i1iTYYqW2kwBE2soJoizDcY5iCCIs5E/M54D+TOjFJnBv76v5Mx4NjHnc4hcTFdkKN+0vfu5BuM8RDCUc5E3FBs0KcRkC+JcIpnnEWuiae/JNAJiDcUEcb7BuAARBHE+8oK4APJnWCkyg1/SpOQMez4x5wuIXMxQdIbtRaxhM8p/hr3QYFyECIZyIfKGYoMmhZhsQ5EiM/glTUoM5UJizhcRed1d0QqFaaTEGooZysUG4xJEMJSLkTcUGzQpxGQbihSZwS9pUmIoFxNzvoTIxUyBFQr76rjlohl0PYkZwaUG4zJEMAIbKEFmBJdBfu9+KbGRLyPWZJSipTZTwMQaignicoNxBSII4nLkz4xXQP7MKEVm8NvPlJwZLyfmfAWRi1nV3r20e/crDcZViGAoVyJvKDZoUojJFsSVRDKvItZE096TaQTEGooJ4mqDcQ0iCOJq5AVxDeTPsFJkBr8YSskZ9mpiztcQuZit6AzbSKxhX5T/DHutwbgOEQzlWuQNxQZNCjHZhiJFZvDrEpUYyrXEnK8j8jpH0QqFaaTEGooZyvUG4wZEMJTrkTcUGzQpxGQbihSZwa9LVGIo1xNzvoHIhVT92GZyA7F+NxKw7E9yLWjt6or1k1w38rByP8n1bW9c/SRXIOaNrqBs3JvAa36pvG/icyT6k1zMmhZXUuy5Mgy/2x0oHIG4Pauf5QbjZkRY/SxHfvVjgyaFmOzVD+Hs07MSWE5svJuFGqN49g6dJzPnW1Duk4DFu2UFuMHv8SWv1Nh52xXCcoG855Z7hc/8Raf0qPtch87rACX1u5VYP2LP1Jn1i7VbINYyt1v4jjeudguBmLe6grJxb0O5dws279v4HInuFtg1TY9vyq/a3Q59Jsqcsz/f73rjykQDMW93BWXj3oFym6jN+w4+R//XREPrcIfQPMv8w1tME70T+kyUOWd/vt/zxpWJBmLe6QrKxr0L5TZRm/ddfI5ETfQu6DBR5hd2mSZ6N/SZKHPO/ny/740rEw3EvNsVlI17D8ptojbve/gciZroPdBhosyv8TFN9F7oM1HmnP35/sAbVyYaiHmvKygb9z6U20Rt3vfxORI10fugw0R7o5wmej/0mShzzv58f+iNKxMNxLzfFZSN+wDKbaI27wf4HIma6APQYaLMG0vMlxE8CH0mypyzP98feePKRAMxH3QFZeM+hHKbqM37IT5Hoib6EHSYKPPGEtNEH4Y+E2XO2Z/vj71xZaKBmA+7grJxH0G5TdTm/QifI1ETfQQ6TJR5Y4lpoo9Cn4ky5+zP9yfeuDLRQMxHXUHZuI+h3CZq836Mz5GoiT4GHSbKvLHENNHHoc9EmXP25/tTb1yZaCDm466gbNwnUG4TtXk/wedI1ESfgA4TZd5YYprok9Bnosw5+/P9mTeuTDQQ80lXUDbuUyi3idq8n+JzJGqiT0GHiTJvLDHf4/E09Jkoc87+fH/ujSsTDcR82hWUjfsMym2iNu9n+ByJmugz0GGizBtLTBN9FvpMlDlnf76/8MaViQZiPusKysZ9DuU2UZv3c3yORE30Oegw0bK+Ue556DNR5pz9+f7SG1cmGoj5vCsoG/cFlNtEbd4v8DkSNdEXoMNEmTeWmCb6IvSZKHPO/nx/5Y0rEw3EfNEVlI37Esptojbvl/gciZroS9BhoswbS0wTfRn6TJQ5Z3++v/bGlYkGYr7sCsrGfQXlNlGb9yt8jkRN9BXoMFHmjSXmK3BehT4TZc7Zn+9vvHFlooGYr7qCsnFfQ7lN1Ob9Gp8jURN9DTpMlHljiWmir0OfiTLn7M/3t964MtFAzNddQdm4b6DcJmrzfoPPkaiJvgEdJsq8scQ00Tehz0SZc/bn+ztvXJloIOabrqBs3LdQbhO1eb/F50jURN+CDhMt6xtt34Y+E2XO2Z/v771xZaKBmG+7grJx30G5TdTm/Q6fI1ETfQc6TJR5Y4lpou9Cn4ky5+zP9w/euDLRQMx3XUHZuO+h3CZq836Pz5Goib4HHSbKvLHUQsR6H/pMlDlnf75/9MaViQZivu8Kysb9AOU2UZv3B3yORE30A+gwUeaNJaaJfgh9Jsqcsz/fP3njykQDMT90BWXjfoRym6jN+yM+R6Im+hF0mCjzxhLTRD+GPhNlztmf75+9cWWigZgfu4KycT9BuU3U5v0JnyNRE/0EOkyUeWOJaaKfQp+JMufsz/cv3rgy0UDMT11B2bifodwmavP+jM+RqIl+Bh0myryxxDTRz6HPRJlz9uf7V29cmWgg5ueuoGzcL1BuE7V5f8HnSNREvyDOs583Ryse28xWTNYArXDs73jaRy7t3XFrZCub//rhq8f/AE6xEpevpgEA","proving_key":null,"verification_key":null}