Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

chore: fix double verify proof #2556

Merged
merged 2 commits into from
Sep 4, 2023
Merged

chore: fix double verify proof #2556

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
1a3dfd2
fix double-verify-proof
kevaundray Sep 4, 2023
20ec497
push changes
kevaundray Sep 4, 2023
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
2 changes: 1 addition & 1 deletion crates/nargo_cli/tests/execution_success/assert_statement/target/assert_statement.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/62PsQ2AMAwEnbCQHduJ3bEKEc7+I9AEKRJ0cM13p78NABI8yXP3ufgNSouLsYpEK0FMBxbvpijaq5GRmp7FmMPEmndv6CQcNNR5TFn+7xfenWlpfuMCqYDedygBAAA=
H4sIAAAAAAAA/62QMQ4CMQwEk+MN9HmCHdsXu+Mric5XoUMgkOD3NEGKBB03zXSr3T2EEGL4Zuo+dcN/YByyCGZmL9mRsEK2pgIsbVZUFJUlK5Era7FmBQyZHFcxWnvYtF8v+OyMw+aRX98cu5+pbkt6pXrztF3uya+Pen4DcIb8xVEBAAA=
2 changes: 1 addition & 1 deletion ...i/tests/execution_success/brillig_acir_as_brillig/target/brillig_acir_as_brillig.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/+2bXY7bIBDHx+CPONVurxD1oVLfTJxsnDffo1WrRnGu0qfeuesutP9gnN2NmTUbgRRBDMz8gMDAmJRE9JGeQvL4ETpePX6kTtvBPGt1XE0LKvEnq0JeAemdjkvreR9ySLeeOHL//VRlwFo62nmv81OG8ZGgbwU6U+DJdNqU/eBgzOl/G1qPfOQYQwJdyCIDYkkDYskCYklmZilpuPaVkJ/BM2HV7fMU5Bc6LRxyCkc5bPuCoe2op4XvRtcSGIoAWLKAWNKAWGRALMJiKSEf55Sw6hYUls166RwvyLE3aj3Bo0zfmy0BsurqYbPpdutO1epntd4fmm212R4eGtWobbM9rpu67ppNs9sf9rtqrzZ1p07bfd2dnsIlzmtlnzSonC5rrWWpt9rISn+yzjayqSONm1jc0PhuE1l67H68J+aJwDFIKYPcjPz9+LnanfkfowpEsvZpNTFIOrcIXMweT7PKgTtVtjIJBtn/dODiZO90+2BOr4KGlhUtdz9PP9FwrBJIC11GXiiTjMjBU7Spb07R5LdPWDwCrIuvcQfl0Jn9934gV5ZOyaDbyJpq/XPytzAX5HdBtl1RREEvSKyLfcHE2YejjksaLhS34hLsF4MxlxvH8YocfUSga8zlNjdLMjPLmGvJ3tmPHU9dx1iTn0H8A/Jzh+zCIRtdgDbXc64qDjfdmOvB6BpzVc3FIgNisV0yCZ27NlY0/H1JKPNZx3cjde3fK9b9AnXja4D4GuBaFu559BqW9/RKwrhX0UYIhzwzBxYgA+0GHtTMs6VOS4e+0sG1dNTFvjR1Wh1X08LfvkQ9rcVgmBKLb06WIiCWLCCWNCAWGRCLsFgSyDf22cxJtM+mzFcd343UzaGOXfc71C3ofI/o2kvi2vGSvSvrq5X3fqdlAenfjo41Id5puRjinRZGlriZjXda7HLxTku80xLvtEznjjaLhyXarNu0Wd8gP9qsaSzRZkWbdQ13tFk8LNFm3abN+gX50WZNY4k2K9qsa7jjfwccshcga+J/B46JxegKfwDeDjZ9nToAAA==
H4sIAAAAAAAA/+1Y227CMAx1m15hYk97R/uCpBdI3/orq2j//xNGRTxMyNC02tNAWKpqnHJyYjeO3RIAXuEk0fGK3X17vJTTfUFb7+56mZiID0tTvjHRcY2lZ58lI3rPxCPj95NOCdcysM6NG08E4qPIfFsyZ0L4pE5XxK8SXDKPSxrgkhMOaCucnhMbroOOXb3zPRN5ism9iWKCVetd04z7ajS1+dBVN9hWN+2ws8aa1raHytb1aBu774ZurzvT1KOZ2q4ep5Pc4vlb7MkRVcuxKodl/ipBKZBJUElAp8mJbiTuNYE3j+/HDQhvBIkgJQK4KfC9/FLrTvljpAmkqE/1QlFweTpJcWasUkyA7lJsg4oA9tccNDnhyZoTG1YlMZwTWUbigXGa9+k7XMcqInrsnlE3nom+waHVEf4fqyPg9YlIpSeafLHMz4gz599zILfenEpgbsRaevpnwJeYc+BNyH6LAfCvE5Joss+FeAJclvJ+oniUVm8Dwm3Jvff5BdHf4LGC/+zzz1x+0udLcSk8LnmAC8aqEOay8riUAS5rp6+I7cXpa2LD+OLY3X7/KIDt+8ch8jiG5BMn8sUJORUAAA==
2 changes: 1 addition & 1 deletion crates/nargo_cli/tests/execution_success/brillig_arrays/target/brillig_arrays.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/+1Zy1LCQBCckAjkqQjcPeotQFHlMTdv3vQD/P+P0MXtSmezwMEZSkumitqEXaZ7mpndCWQiksq33fgR98nXa+LvU3+P97FG6D1nnR/bn9km0fPVWnGc/AGOqQFH2JMfc58nbFO67nTwd1N9fVqX88j7xvPOlDGEMIS0Ak4h4xqcSq9hp8Njw/4zwgROSvOVH2tDTWZyWhNwmRHPXJfHzvmby9CS4L6j65y4FLpcWqvvvCT+c9IXcyXFhLFU5pEQJvwyByPcvfNRnYm/ivCoLhh/ZYa7+XA+6jPx1xEe9QXjZ35FhOsNzc2CdVY5A/8ZYQInpflHisGtC/cO1YP82oANOf73Buzdj9cG7KRtnT7H6iXUSAg/l/FDkcUhnciwQexk2Ag6K4nDxI7LroxgF5fR4dAAzXR97n9b06h8WLUOlw/ujjAY1+JAryj2RMaNRErXD9IbH/jIK3AuJN4YxJqYksaaPm8ZMzfTHd0Dy+0da1oTa2i4pjGPvM+l/9641pQfNg6x5DKMJQ84854zt+Ny2HNC7OKIDtp7DuIU0l9kuPfFHlS09yn2n8k4L1KaRyNQ+3XcmIKfdu47H430Fua944Fab4jHrS6PLfvPCPOWNMD8c6BTQ2ss+S2ktybg53jc+esF8bjX5bFj/xlh3pMGiwATP/ZY1NhSeuP+BZqAy5LmLHJ4SZosKG5ogvmXQBMLLisZa8L1BC4r0sQiX1ekCTC5njD/GmhiwWUd0YRrB1zWpIlF7axJE2By7WD+jTQx/wFAZPivzDH7BHJLlrbWGQAA
H4sIAAAAAAAA/+1Yy1LDMAxUGjcP59EbV070xkxK6YlLBv6E//8ISNFOto5pD1idAaqZjuIosdYbydnUiUguX7ZWj3H2+VvpONcxzuMaoXOTjeqHn9kuSzfXYIVx9Qsw5gYYYVv1tdYJW0HHY5r8+yI9P8NU86j7XnG7xDmEcghxhTxelj1YyMzhmAbHjud3lBN5coq36juNV4mf5VQzpZxaFoxHOq4Ia50Wy2DFtSf8WCuwNxQvyPvEODLKiXkx9nZ5D1jjufU3ERzNFdffmOXdvU9ztBfW30ZwtFdcP+OrI1ixP0zPZx1cZ1UzmN9RTk94EH9Q3ynecO9I+gK9CZ9TjP9d+Lyp/2vCJ0+cw0BMHQxe1kcxwgJN5LwY4Rd2YmE08IZd6LxVJK+lUMj0hxw4zxvwnczGQgf9UFGsjFzHx+vgHhZHpfGaK8IxBrgncxIXMow7J9wl3QfcqfvqEg4vc60wf6l7UYL1FnQMPIjfqzf6oDgK7jrCSawODUXME8/vZFn73EPbgBMLLE2EE08+JoYTi9A9z+9kKUBzij8GnFj0TiezrQgDOGkIAzixqNeOOEHOivAg/hxwYoGllyUn3DvA0hMnFvXaEycd5QcniL8EnFhg2ciSE+4dYNkQJxa9syFOkJN7B/FX4sT8o0jk9B/i7+wD2XE35mIWAAA=
2 changes: 1 addition & 1 deletion crates/nargo_cli/tests/execution_success/brillig_assert/target/brillig_assert.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/9VXS26EMAw1CZ/SqpzFITCE3VylqOH+F6haoXGEYehssEcabxwlYL/44ZfwBgAfcG8Z+St5j5eui0MbnXdf2I5T6LHrp0twwfWh/26D9zF0YRinccDRdT66uR/9jDczArHifDPL8D3CjOfMGblYyPFaNs7Jm4P1UmFPsMuzr2NzMCeaXIMkqxA3B7mPX2vfuTxHyEKq1hRPmoVtI2lhzpRqK8xbqxjbcXEqyJdsriZvYBWykvGReFr4/4V7rjI2NvSMffBM9k+cms2l95sd1it5PGkK4oyq4ptRcRcCfyiRge0psy+eZO4U6+zpX4CcMJcgK0jPuJVIYuZ4KzZuyNewvZkAvE4zFQwrFwbD9ris58L8cMErYO0zYLn44fVO/pPwSPdeDato2wNe01oFyje/ZNK/FpUweQDHjZzsD7K1a8szDQAA
H4sIAAAAAAAA/9VXwW6DMAw1CdCxqRz2Bf2EhEAJt/5K0YI0abde9vPTJlRHGEp7wZ42XxwlwX7xS17CEwC8wK0l6E/onTnWdWirYJ09m6rrfWPqpj96623jm7fKOxd87duu71rT2doFOzSdG8zVFEOsMFxNE3yPMJttZhVfLEPxatJO0auV8VxgTbDIs6xjudLHmlyCJC0QNwW+zS+17pSfI0NCitbUbDQN84MkhTkRqi0zb5VgbEvFKUOfk74CvYJJyHLCR+Rp5P8bbrlKSFvhHP1gTnInTkH64vflAusJvdloAuJsRMU3weKOBH5hIgXzW2ZZPM7cMdbW2z8DPmHOgVeQfuNVwomZ4t2R9iv6AuYvE4D/c5gygpUKQ1xPFIaUmR8qeBlM5wxILnp5PaPf/xE85QIPtxYUMF0imvCjCMbRdiD8Eo3G/auzYyYPYF1YFBkrSCFHi5vq8/B+OQznj0ugs/Z3Z/0ArjFDHw8OAAA=
2 changes: 1 addition & 1 deletion ...nargo_cli/tests/execution_success/brillig_calls_array/target/brillig_calls_array.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/+2bS27bMBCGR0+bejrOritvu5MsO5F3PkHv0KAOuuuuu/ZmvUxP0lDVIL/HtNuiJEwjIhDI4ms+/qIkcjRJiGhGv1Pw8heOxxWch+I8Gs+TsV0k2kfjXwD5XIcgT6f9eGz+L7WBvb4aV4zhDTBGFhkDuN4x/P4wHtU4XzCl8Htvh6NL7evUJMCqgJnHU7385YZ83SayfM1QZ+yXwBayBFdmUcBAkBcJrXB+cJnW/T2Ux4Y2XDc21MOxJw7Gjnb2cM62MmCIPWAJDSypXZbhWcXvGILrkwIHM82gbG5ZE92HMnDMgYPtK9AO26wMrGpsi+00f2GXf637KA38BfDzfV4Cfyn4mTUH5kq003n1+LuCPJ4vNWigxxrbHeswZ5JX7JN5mtHxM4HIydwd7qNE6Cfnr6LXuYAsyjILj1tqokATnMsuNcmEJnOwx0y5gaW0yzLcExWdalKCbb4/KseaVEKTAuyxJrWB5c4uS6ftLOg4XXov3wHL0i7LcB/fgy3mYjs5lOOz/94ux3B9lmL8fI58f8ua3xBrfWVWBXkLyAsFs77+cp5afXhysr1piqGvrnnYbA6P60PbtR+b9e6p3zab7dND3/bttt9+Wvddd+g3/ePuaffY7NpNd2ift7vu8Dykfto4nzK+tY0zifRzPN76hpkXRxW9nUWjPq7odNEYQR1eKJRj+cwyj+6DF2ioywx0YRZcyFlewK4D6J91YbsKdOE690KXzDKP7sPkpMngyCz4wre8sesC6J91YbsF6MJ13gldbM/fc46r3LKdS4vSXBxZA19YYo9YEo9YUo9YZh6xzD1iUR6xZB6xFB6xBFdmOeekx/cg54WirX4efYdydsaEhn5KQz0ce+Vg7GhnD+dsC530pQcshUcsmUcsyiOWuUcsM49YUo9YEo9YYo9YIo9YQgNLbZflAZ31vN/i9xHbiqDOZ2By5bdAh73Jb8EsC9DFhd9iIXTBDxWsC9f5InRx4bfgjxOoC/otmAU/YrjwW9wJXdCRzbpwna9CFxd+i6VBF/RbMMsSdHHht1gKXdgu+i24zjfQxdGH4w4DQDhdWu86DMJouF8CLQjs5FCOfhbXH7H3dOwzIMPvidUO6zlfmouAHxIsZNBFauYDi+tAqH9hcR0g9ieWc/tuGWyL+2781vADyuU9gP2khno4dtvv8kDY2cM5vs8DwXdNltgjlsgjltDAYjlYb3h3YuCd/D5lCtZzsNYa1qAmXzuutdh+Dtphm5WBVR8L0c7BvmtYK9YGftxz8V6rBv5a8EsfFAYZ1ZDH6z9ToAeXTUGDU9DgiqagwYCmoEFT0n1MQYPXZZ2CBsegLqLj/2w7l34ByXcQwUo3AAA=
H4sIAAAAAAAA/+2bS5LaMBCG20+Qn/PYZcU2OxvDYHacIHcIFaayyCKL5Ga5TG6TkeOu+WkESSpSIWqsKkrWsz+1ZVstNQkRzeh3CF5+4RgvIB2KdDSmk7FdJNpH4y+AfK5DkKfDboyb/wttYK+vxhVjeAOMkUXGAO53DNcfxliN8wVDCtc7Oxxdal9PTQKsCph5PNXLLzfk6zaR5XuGesZ+CWQhS3BlFgUMBHmR0BXODy7Ten8P5bGhDdeNDfVw7ImDsaOcHaRZVgYMsQcsoYEltcsyvKv4G0Nwf1LgYKYZlM0t60T3oQwcc+Bg+Qp0h20WBlY1tsV2mr+wy7/UfZQG/gL4+Tkvgb8U/MyaA3Ml2um8eryuII/nSw060GON7Y51mDPJK/bJPM3o+J1A5GTuDs9RIvQn56+i17mALMoyC49b6kSBTnAuu9RJJnQyB3nMlBtYSrsswzNR0alOSpDNz0flWCeV0EkB8lgntYHl3i5Lp+Xc0XG49F2+B5YHuyzDc/wIspiL5eRQju/+R7scw/15EOPnNPL9LWt+Q6z1lVkV5N1BXiiY9f2X89Tqy5ODbaMphr665mm1OmyWh7ZrPzbL7b5fN6v1/qlv+3bdrz8t+6479Kt+s91vN822XXWH9nm97Q7PQ+gnw/mU8a0ZziTCzzG+dYOZF0cVvZ1Fo44XdLpojKAOLxTKsXxmmUf3wQs01MsM9MIsuJCzvIBdBtA/64XlKtAL13kUesks8+g+TJs0GcTMgh98y4ZdF0D/rBeWW4BeuM47oRfb8/fcxlVuWc6lRWkuYtaBLyyxRyyJRyypRywzj1jmHrEoj1gyj1gKj1iCK7Oc26TH7yDnhaKtfh99h3LejAkN/ZSGejj2ysHYUc4O0iwLN+lLD1gKj1gyj1iURyxzj1hmHrGkHrEkHrHEHrFEHrGEBpbaLssTbtazvcXfI5YVQZ3PwOT68ODSfgHX+SJ4XNjpksdkp3Odr4LHhX0seUz2Mdf5BjyODig7dDTgcGld5fCwv+F+CXRBICeHcrTnXR+W7ujYNiXD9cRqh/Xcno0LxxISLGTQi9SZDyyuHW7+hcW1I9KfWM7Zd9KpE+073NP+AeXyGcB+UkM9HLvtve5AyNlBGve7A8F3TZbYI5bII5bQwGLZKWz4dqKDlzwHMTmFOTiLGM5oTHu6eBbB8nPQHbZZGFh1XIh2Dtb3w1lKbeDHtT2v6WvgrwW/3OtAZ5Ya8thpxeRQwGWTc9rknLagyTktoMk5zRR0H5Nz2nVZJ+e00XmI6PgfVOfCL7KKaoeyNQAA
2 changes: 1 addition & 1 deletion ...o_cli/tests/execution_success/brillig_fns_as_values/target/brillig_fns_as_values.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/+2d7W7bNhSGjyRLtmzHbvqxfq2tuzYDhmGA/JHG+WdgV7JgyY9htzjs1hYlYnLIUPYIHcqnwEsgME06hw9JiyITP8nPRPQ73afk9ittHhe3X1nzvC3tmseqW1rxmIls7GUiF6tKGCcfl4umomzGjPejpKdjWMiPYVXIj12V38YYsn64fZ/dfk085TXLQJZlyceexyXWFmfJFLEkR2YpGQOxMlOfsrK8yWesLPXEM/U5ezz7n7EHntfxMSqcvlTd0t0Y8XZ27Llpa8wYBgpYMkUsvvk39TkrS53vHTb5XJZ7xVkGrF3+3jX1/7LX/cL4hrJMa95vzjRkTKb+b/a63xhTKcu0qWOMPEwlYzL1y+bxhNrX9JEs3961y7TVtqYfm2WgiCVXxFIoYhkqYikVsSRHZmnbj5h6397D1N3tM9h+e9yUp544Y3r6Ot73SYS+83Z27PmEMSUO3zFZSkUsQ0UshSKWXBHLQBFLpogldVhKVs/3YH+x+qkTp67/xykjsvdgJxH6x9OO5U88LJkiloEillwRS6GIZaiIZaSIpVTEMlbEMlHEMlXEkhyZpW3Pbup9e3ZTV6+Nv7I9+6wpTz1xZvT0dbzv8wh95+3s2HPTFt+zzxSwTBWxTBSxjBWxlIpYRopYhopYCkUsuSKWgSKWTBFL6rDwM5y5f/EzXMm+f8rqf2puJm1nvGcR+sfTjuVNW21nvGOzDBSx5IpYCkUsQ0UsI0UspSKWsSKWiSKWqSKWE0UsM0Usc0UsyZFZ2s7hpt53Djd19f1ryc7hp0156olzSk9fx/v+PELfeTs79ty0xc/hpwpY5opYZopYThSxTBWxTBSxjBWxlIpYRopYhopYCkUsuSKWgSKWTBFL6rDwn4WYPQb/WUjJvn/Ovid1YpvPlMb4HDX/7P6C/J979X0+OuSzsDG5CdwWt7tPFoPnMRMn9rr6ttlcX6yul+vlH9Xq8mp7Xm3Or75tl9vl+fb8z9V2vb7ebrYXl1eXF9XlcrO+Xt6cX65vmuBZ91irJtYy8w0CyUs2mVwsS7IZePIpK+M/qJTuEzntuOM4o8hvsBiTNIgQNye5N3+sfufyc1SxkFHHtOqYMrJX2ljMCcW5+ITmbWkyEWI/tMEXJ34nMsmcdFJ6esfid8S7nRE9nauE5dPmNdme1yQtcUpWxn/DVpD4mEQxE6MuvkkzuAUbzPp5PZELp80sQtsmVte7f0FyC/OQ4lzcqfD4pTr7XPWkUq95TMULvLXLG7E8VGq7PNbRizzjRgSV+hALVGqo1F1YfPMPldpKUKnDE1RqIRao1FCpQ1iSI7NApbb5oFJDpd7HApUaKrXpH1TqxwSVGip1CAtUaqjUISxQqaFS1wkqdTsLVGqo1CEsUKmhUoewQKWGSq2FBSo1VOoQFqjUUKlDWKBSQ6U+xAKV2uaDSg2Veh8LVGqo1CEsUKmhUoewQKWGSg2VWie3u08Wg+cxEyd2V4Gn7B6rd5W6lItlSTZjlodK3TGm+RSkdNwJyb35Y/V7Ij9HUVXqiSAnVOr7mCYTIfZDG3xxcn8zVCeo1DIxe1Gpp2Sr1PVELpw2NavUU5JbmE8ozsWdCo/fSGef+1KpNzym4gXe2uXNWB4qtV0e6+hFnnEjgkp9iAUqNVTqLiy++YdKbSWo1OEJKrUQC1RqqNQhLMmRWaBS23xQqaFS72OBSg2V2vQPKvVjgkoNlTqEBSo1VOoQFqjUUKnrBJW6nQUqNVTqEBao1FCpQ1igUkOl1sIClRoqdQgLVGqo1CEsUKmhUh9igUpt80Glhkq9jwUqNVTqEBao1FCpQ1igUkOlhkqtk9vdJ4vB85iJE7urwDPvHqt3lXouF8uSbJ6xPFTqjjHnzYBKxz0luTd/rH6fys9RVJX6VJDze1Kpb5rkwe0au3eV2uxYXrAyqNQyMXtRqZ+TrVLXE7lw2tSsUj8nuYX5BcW5uFPh8Zsp67NJPanUKx5T4wJvEr94X7I8VGq7PNbRizzjRgSV+hALVGqo1F1YfPMPldpKUKnDE1RqIRao1FCpQ1iSI7NApbb5oFJDpd7HApUaKrXpH1TqxwSVGip1CAtUaqjUISxQqaFS1wkqdTsLVGqo1CEsUKmhUoewQKWGSq2FBSo1VOoQFqjUUKlDWKBSQ6U+xAKV2uaDSg2Veh8LVGqo1CEsUKmhUoewQKWGSg2VWie3u08Wg+cxEyd2V4HnVfdYvavUr+RiWZLNDywPlbpjzFfNgErHfU1yb/5Y/X4tP0dRVerXgpz4r9T3MU0mQuyHNvji9KZ5fMvKoFLLxOxFpX5DtkpdT+TCaVOzSv2G5BbmtxTn4k6Fx++lzj7jv1I7iV+871geKrVdHuvoRZ5xI4JKfYgFKjVU6i4svvmHSm0lqNThCSq1EAtUaqjUISzJkVmgUtt8UKmhUu9jgUoNldr0Dyr1Y4JKDZU6hAUqNVTqEBao1FCp6wSVup0FKjVU6hAWqNRQqUNYoFJDpdbCApUaKnUIC1RqqNQhLFCpoVIfYoFKbfNBpYZKvY8FKjVU6hAWqNRQqUNYoFJDpYZKrZPb3SeLwfOYiRO7q8Dzvnus3lXq93KxLMnmR5aHSt0x5vtmQKXjfiC5N3+sfn+Qn6OoKvUHQU78V+p7PpOJEPuhDb44fWweP7EyqNQyMXtRqT+SrVLXE7lw2tSsUn8kuYX5E8W5uFPh8XunrM8m9bUTSyjOTmzB8uZHat+72lywfpjEf8WPY48Dz2NKH3s+k9zC19fF9pniXGz8jo1jT8eYn5sBlY77hXQfe+p+f5Gfo6jHni8ke8fFX5Dq/9jztXk8Y2U49sjE7OXY85XsY089kQunTc3Hnq8ktzCfUZyLW/rYs9DZ54pfkG3pPy0kOtuuPwEA
H4sIAAAAAAAA/+2cXVPjNhSGFTsfmHwRWAq7FNYUttfOB0u4Y6a3ven0F5Qp/MTO9KpX/V/FRYLXirMTjY/M2ZlXMzsRdnL0HMmSLfIsPxtjfjEvpfP8L7Gv+fO/1P68rdzb16JZWWDMjmzseUcuVtEBTuyXf+1rZvsM88jMZh/25fuw6Mv3XdF7jjGAPPzcJzaXnmy7/18PXRurC+25dlI4/zu8bwj9O5BlWrq4PtMAmNz5X+F9U2DKZJlWZYy9GqYMmNz5I/s6hn4y8Jk+vPdehm+O8wXjIjeypIpYuopYeopY+opYBopYMkUsnXdmyYAB+8edT+FY4n22vNb/hvP7tp7UxNmveR/mPoyQO7ZzDz8Pganj8b0nS6aIZaCIpa+IpaeIpauIJVXEkngsGZzHZ7DfgHUcgXVk3koOfTQGromtj2pYJzWs5fmpl3N5/i/vmDHV58WDCPlhuYf6QQ1Lqoilq4ilp4ilr4hloIhlTxFLpohlXxHLUBHLSBHLWBHLRBHLVBFL551Ztu0B3fm6PaA7V96//oHzM1tPauLMat6HuR9GyB3buYefXVu4B5wpYJkqYpkoYhkrYhkpYhkqYtlXxJIpYtlTxDJQxNJXxNJTxNJVxJIqYkk8FvxdiHvGwN+FZPD5KRxLvNgDm1c3Ql74HXMObXeBB78rdcfc3OjVcPdb5DaRuP3nTTF4jOl/yb4svq5Wj7eLx/ly/kexuHtY3xSrm4ev6/l6frO++XOxXi4f16v17d3D3W1xN18tH+dPN3fLJxs8bR5rYWPN07pOMPJSRSoXqyJVdGvqCRzDX/hJ52S8dvx+nJjIF1iMQepGiNszchd/rLx78mNUQMiofVo0LKmprrSxmDsmzuQTGre5q0SI/doGLk54J3LF7RgSs3nHwjtiOU9/Mptj1YF6Yt+TfuM9nS1x0N5yn3f2lpHtkygmWtTF12mPfejM8udyIHOvzTRC2y5W07t/38gtzAMTZ3Inwv2X6My5aEmdXWJMxQt85SlvD+pUZ0XbpTq7W6E6G5GF6izV2RAWqrNUZx0T1VmqsyEsVGepzu7KSnX2rVCdpTobwkJ1lupsCAvVWaqzISxUZ6nOloXq7HYWqrNUZ0NYqM5SnQ1hoTpLdTaEJfFYqM5Snd2Ax5jS6mzWPFbr6mwmF6siVexDnepsw5juWzHpuEMjd/HHynsoP0ZR1dmhICfV2ZeYrhIh9msbuDi5HdwYjlGdlYnZijo7MlV1thzI3GtTszo7MnIL89jEmdyJcP/t6cy5LXV2hTEVL/CVp7wJ1KnOirZLdXa3QnU2IgvVWaqzISxUZ6nOOiaqs1RnQ1iozlKd3ZWV6uxboTpLdTaEheos1dkQFqqzVGdDWKjOUp0tC9XZ7SxUZ6nOhrBQnaU6G8JCdZbqbAhL4rFQnaU6uwGPMaXV2WnzWK2rs1O5WBWp4gDqVGcbxpzaDpWOOzNyF3+svGfyYxRVnZ0Jcn5P6uyTLTW4TWO3rs66O/8RHKM6KxOzFXX20FTV2XIgc69NzersoZFbmI9MnMmdCPffRFnOrrSkzi4wpsYF3hWcvB+gTnVWtF2qs7sVqrMRWajOUp0NYaE6S3XWMVGdpTobwkJ1lursrqxUZ98K1VmqsyEsVGepzoawUJ2lOhvCQnWW6mxZqM5uZ6E6S3U2hIXqLNXZEBaqs1RnQ1gSj4XqLNXZDXiMKa3OHjeP1bo6eywXqyJV/AB1qrMNYx7bDpWOe2LkLv5YeZ/Ij1FUdfZEkJN/dfYlpqtEiP3aBi5Op/b1IxyjOisTsxV19tRU1dlyIHOvTc3q7KmRW5g/mjiTOxHuvw86c+ZfnfUKTt5PUKc6K9ou1dndCtXZiCxUZ6nOhrBQnaU665iozlKdDWGhOkt1dldWqrNvheos1dkQFqqzVGdDWKjOUp0NYaE6S3W2LFRnt7NQnaU6G8JCdZbqbAgL1VmqsyEsicdCdZbq7AY8xpRWZ8+ax2pdnT2Ti1WRKn6EOtXZhjHPbIdKxz03chd/rLzP5ccoqjp7LsjJvzr7wucqEWK/toGL04V9/QzHqM7KxGxFnb0wVXW2HMjca1OzOnth5BbmzybO5E6E+++TspxdaetJrGPiPInlUMevkRMvn+9JZe1DHq64fNxiyG0PwGNM6W3PpZFb+NqabJcmzmTDOza3PQ1jXtoOlY57ZXRve8q8r+THKOq258rI3nH5Pwbb3/Zc29cvcIzbHpmYrWx7rk1121MOZO61qXnbc23kFuYvJs7klt725DpzLnBCbiv/ASSJ4ade5QAA
2 changes: 1 addition & 1 deletion ...o_cli/tests/execution_success/brillig_nested_arrays/target/brillig_nested_arrays.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/+2cW3bbNhCGobso6n5xkrpxUzfts0jq+qatxK2yhi6sG2pX0gNW0/NrPKRlayZCe4gXgQICfPNzAEMAJk3nXMP9k/xn3T1PtdPn4fS5vC4lNb22lpacdSNOnx5OsBHoT/yR8B7akD8oMbX1NVu2gHV4yrd0+9h4fZpMnxp7PkC+BRq2DTTs6LaZ+Ta6wN8Efp9iKO9AWVeXIx+n3O/ouQv9Rrr9ppE7t9+nsvcbAUtPlyV/v7Gyrr6NPvCTrcQeQ3kMtvWVOWrQJ7VLz327flPfxuAF+wcCx+Ab2o98WEcaiz1mh4Eflo7Fnp1GWeTO7fepbCwOgGWoy2I2FkfAT7YSewzlOBZHyhw16JPapecR9GsxFi+1vx+A/RZ/ay+1v3Nj+x2rI81FQ2aHwTgsnYuGdv1uuBaS/SOBw+JdFdmPvjrW7TdfF6H9PpXNxWNgmeiy5HPxVLfNlW9jBvxkK7HHUD4F22a6HPn7nbhzTel5Ztfv2rcxf8H+ucAx/4b2Ix/WkcbihNlh4IelY3Fi1++r10XIovy+zNZFC+AnW4k9hnJcFy2UOWru3OcO8LyAfi3WRZfa3w/Afot10aX2d25sv2N1pLlozuywmjeL5iLUjVIdWJT3pZKyuagtsDQCYmkGxGK4d/hqlk5ALN2AWKKAWHoBscQBsfQDYhkExDIMiGUUEMs4IJZJQCzTgFhmAbHUbswSuee//yIob8J3tBasw3e0lm3Ad3WhDyqfw3fUNrXh1yx/XdjfXKhnrSX2c4BnPM+oMb5bsswCYpkGxDIJiGUcEMsoIJZhQCyDgFj6AbHEAbH0AmKJAmLpBsTSCYilFRBLMyCWRkAsdYHlTpflC/bp3wOtL6mfBpT/efr0fw86Ntrk+9fkm3V3vr9JCe+YkUYt0K3D6vl/q3zXLeEc1H8E30l7xnhnqsfqWZ2HSPuieI9tKHDGwDkQ6kl3L5rwLN0BsfCVEXDz8wOfJoJtI+Acs3pWvjIRtENfmQmcE+CcsnpWviKd46OvLATOGXBKZzx3kCc7GvBvFkI9zA9Zm1a+9A7skuadD+657e/AjvesnpUvIQf1j750L3B+AM7vWD0rX7oXONGXPgqc98D5vVAP8+Qj78EOC794AEZpjvkk2PEAdvzA6ln5BXJQ/+gXjwLnJ+D8kdWz8otHgRP94rPA+QicPwn1foY8leMc81moh/mPrE2v2y+sHu7tUZlfa/D9Q7WX2nDnQSZ9Jyel/jIrO4zaTSvePFm9t41RuyujdtdG7f6n/aEKAryeEyf4BuT/OH3iYQ4e1twoQPDXtr6eFgFzm4jZj1pxTZwzDZpbGizKcv/Gy6bSJgBuXDghj4eIPmHgEl5y0l5QGmic4OVb0qIsmAsvCCkHSOWX8vl66pYBUsrBDrnvjYGfB8jgAQbWwzzpg4FUY8iTHtqBGgYaJ0V6jN6gx7BED56n8duFspi1ZzDWMoM5IX3t+MUNWGUfyS/y44YksTjGQskwwCcfv9qBOr6NKfCTpmN4Jj/CepgnfTAQZQp50kM7uMNA46RIj8kb9Bi/oId2AJiBxmmRHtr+wfPSeiRm7RnMPRuLOZJ0olRntr1mfYbzu7Q+U2bfGmi8umZ+twiaxEMTYnGMhRJePFUOcMznd+WgwXx+x+AX0nQKz/yCCc/z4EYMmMH5TDvQ0kDjpEiP2Rv0mJbowfNl85nhoeDeYE5YX/P7StlH8vUZ/q0hFsdYKBkGxubjVznALR+/eEjJL2ChvxYdbJI+GJB5B3nSQzs4z0DjpEiPxRv0mL+ghzJ7aqBxWqSHtn/wfNnvTWpPuqTu1yq/Qzklqkf/KVh14ee8/+rCT3Xhh6Xqwg/kqws/V6Xqwg/kqws//6bqwg/k/zcXfrBN7QPxBrSVLTer1XGbHpMs+bJM90+79XK1ftrskl2y3q1/S3dZdtytdtv903673Cer7Jh8Xe+z49c8bfHHZd0Vp78B7OOqnKZYAAA=
H4sIAAAAAAAA/+2cW5LaOhCGhQ0YY3MzZmYb2Ob6NlvJnEPWkJVki8kyUlLoqh9F9jDQHTpV6AXZUlpf/5Y0stVK3xgTm9/J/kbmz9Q7/76df9f3parHZ2styRkJcdo0PMOmoD/xp4HnMIT8GxPTkF+z9QBYp+f8gLeNndWn7+nT867fID8ADYcCGia8NhtrYwT8feC3KYPyBMpGvBxunPr9jq5H0G7K226dmkv/bep6vimwjHlZ3PPNmHW1NnLgJ1+JPYPyDHzLmTl60CbZpetcrt3a2ph84P8kwDH5i/4jH9YJjcWx54dAP+wci2M5jZrUXPpvU9dYnADLlJdFbCzOgJ98JfYMynEszpg5etAm2aXrGbQrMRav9T9X4L/E39pr/U8e7L/x6oTmoqnnh8A47JyLpnLt7nwtQv7PAhwSz6rNf+yrc9523boI/bepay6eA8uCl8XNxQWvzY21sQR+8pXYMygvwLclL4d7vgtzqSldL+Xa3Vob5Qf+lwGO8i/6j3xYJzQWF54fAv2wcywu5DRy6yL036ausVgCy4qXRWxd9AL85CuxZ1CO66IXZo4etEl26foF2pVYF13rf67Af4l10bX+Jw/233h1QnPRyvNDYBx2zkWoG6UIWJi/S1Vdc9EwwBIrYukrYhH8dvhplkQRy0gRS6qIZayIJVPEkitimShimSpimSlimStiWShiKRSxLBWxlIpYeg9mSc2f76IplPfhHq1LI7hH6+oY7kWBNqh8BffINtmw66efV7a3CtST1hLbeYNr3FvpeXyPZCkVsSwVsRSKWBaKWOaKWGaKWKaKWCaKWHJFLJkilrEillQRy0gRS6KIZaCIpa+IJVbEEgVYXnlZvmCb9jnQWpfaiaH8x/nX/j1IZLRx3/Wpb0bm8rsvJYy9I40GoFvi1bP/ljkGsPI5qP0U7oW+pWMs2ThQD+PuqLwP15lXT+oZ5MDt71dI6TkJ6IB6YmwB6TkBbULxONwxDj4Hcc7hXhHgnAHnIlAP4wrIjxj+TRGoh/ksYLMM1E3gXmj/DNsM7WO9BOzje/GrVw/fzV+BwX//Z+tIsbkMWM9NODG110j5IWS3fvK6JPXcdkJ2N0J2t0J2/+n+8DxQdD8nTvAx5L+ff/FjLH5sfdBho/+G/HpKHL7ZpZ7/qJWviTGiB3DWAgtB178xoD+0cMbFvgnkcRPAJjwEgQET3ItYAY0rPOBAWnQdDMFgA+bDFi7A119PPfKwBXPgtOt7uJD3g+3xBQzrYZ70wUMZc8iTHtxB3wIaV216zG7QY9qhh5+n8TuCstCLL/NYawTmhPqz4xc/WjD3ERcUjAc0iMV4LJQEX6Td+OUO+rc28AWYNJ3DdehFGfOkDwa1F5AnPbgDxQU0rtr0WNygx/wDPbg/tAhoXLfpwd0//HxoPZJ59gTmnp3EHEk6UYo83z6zPsP5PbQ+Y2bfC2i8uWd+lziA9ZlDHxjExnxYys3vzAeQ3PyOHzVJ0wKuaVxhvdChIGLDQ0s4n3Ef2hLQuGrTY3mDHkWHHn6+az7DYETmsXYUmBO297xfMfcRtz7DvzXEYjwWSoKH7Nz45T4IZm3gBgJpWsI19aO2TQc/kKrtoBf34RkBjas2PVY36FF+oAczey2gcd2mB3f/8PNd75tkLxRkatcq36CcEtWj/2DouUl+2f5zk/x2PZ+b5L/Tc5P8zo5EiXsTKQZbzXq32Zz29alqqi/r+vh+2K432/fdoTpU28P2//rQNKfD5rA/vh/362O1aU7V1+2xOX11aY8Lssi0p1+wjw6ZJlAAAA==
2 changes: 1 addition & 1 deletion ...o_cli/tests/execution_success/brillig_nested_slices/target/brillig_nested_slices.bytecode
View file
Open in desktop

Large diffs are not rendered by default.

2 changes: 1 addition & 1 deletion crates/nargo_cli/tests/execution_success/brillig_oracle/target/brillig_oracle.bytecode
View file
Open in desktop
Original file line number Diff line number Diff line change
@@ -1 +1 @@
H4sIAAAAAAAA/7WWTU/CQBCGl5YWWgEFxA842ItnS+TgxaSJB38GiWbjSRJB/P2yMpM+rtXE0E5CZrs7+77vfLQhMMa0zN5CrKusEJ8fZPOFj/soPtn9Au8srp0/z2PkWRdmtMOIBGsgubS9XLq731jWL/Z9udq+Ptn1cmPftnb1bJl6KD4AjMKzRUHFHtPivQS4uhebssRFPaWYt8DTFtwQfOo79fLmCfA74B+AM6mVc37rcu0CP4MG5QoRcwddI8Qdme/m4meydqOyth92vbF/jUwqPgBcT/x/R6YHaam359Lre3fyw+xrZFKUpsBzH7xNjIzic2Rm4GxiZDiSGTRwZDQmg64raHU4x7/g8HUb1qp/36sTwYo8HUPwa8y1eNWmY6858SzFvRFyaKIHit+S2iWeFvc89rS42FPoyhCTYr+Jmk8EK/J0sOYac+PlcmZK028DdU8q4nTteqQ9mYBLzxfgcrmfN5A7dWWmzEu5kopc+R47jAtZ+5/ppt+VS8GKPB3sm8bco5bOpqa0NnQ6S3FvijpMvTiDOrQr7oQ4fwB/U72cQVcGnexlXKFbv4c//qEWNYqrJIB9ArIxHqMvCwAA
H4sIAAAAAAAA/72cS4xeYxjH3zM9qnNU0boUxVFUaTEzrXbq1lHUrW5FtdqadqZfL3qf6fQuEQuxYMNGxEJsWLARCxEbNizEQiwkbFh1IRYSiYSFvtPz8/493jSSnud7k+Y75n3m+f/f3/ePmfm+5zs9IYQinFpT5Dq3hprHvjNa/Ytt32U9px57T/7rMXtTW9fv65sq52yr51kne5zV9JrRnKU0Z5l28t+s5npb58DwnondI52x4fHO/onOntGOHn1K89gjbWivT1FP5mt6LP2+XunL16aGhHioHRT9heiUTd8posfj2e3q9hWmfy0aqt/rcN5pwlV99Io+NRc0j+c6cYg9qpAW+UGnEi+VcDnH0UcpmucIE/ZnGybT2/Uy+RzpWWvR8M7GuU0vsoEPzQY1VzpziD1mhLTIBjqVeJkhXM5z9FGK5nnChP3rDJPz2/UyUJiz1qLhnQ3+X0A28KHZoGaBM4fYY2ZIi2ygU4mXmcJllqOPUjRnCRP2BwyTC9v1sqgwZ61FwzsbFzW9yAY+NBvUDDpziD0uDmmRDXQq8XKxcLnE0UcpmpcIE/aXGyaz2/WyuDBnrUXDOxuXNr3IBj40G9Tc58wh9rgspEU20KnEy2XC5XJHH6VoXi5M2F9lmMxp18uthTlrLRre2bii6UU28KHZoGa1M4fYg99peF6C6FTi5UrhcpWjj1I0rxIm7K8zTOp2vSwpzFlr0fDOxtVNL7KBD80GNcPOHGKPuSEtsoFOJV7mCpdrHH2UonmNMGF/q2FybbtelhbmrLVoeGeD37PJBj40G9TscuYQe8wLaZENdCrxMk+4XO/ooxTN64UJ++OGyfx2vQwW5qy1aHhn44amF9nAh2aDmiPOHGKPG0NaZAOdSrzcKFwWOPooRXOBMGH/RcNkYbtelhXmrLVoeGfjpqYX2cCHZoOal505xB43h7TIBjqVeLlZuNzi6KMUzVuECfuvGSZ97XrZXJiz1qLhnY3+phfZwIdmg5o3nDnEHrxewPMSRKcSLwPCZZGjj1I0FwkT9t8yTBa362WkMGetRcM7G7c2vcgGPjQb1LzjzCH2WBLSIhvoVOJliXBZ6uijFM2lwoT99wyTwXa9jBbmrLVoeGdjWdOLbOBDs0HNh84cYo/bQlpkA51KvNwmXG539FGK5u3ChP2PDZM72vWypTBnrUXDOxt3Nr3IBj40G9R86swh9rgrpEU20KnEy13CZbmjj1I0lwsT9j83TIba9dIpzFlr6e2djbubXmQDH5oNar505hB7rAhplaZ/JV5WCJd7HH2UonmPMGH/G8Pk3na9bC3MWWvR8M4Gr4OTDXxoNqj5zplD7LEypEU20KnEy0rhcr+jj1I07xcm7P9gmDzQqpf+yfkNPWstGt7ZeLDpRTbwodmg5idnDrHHQyEtsoFOJV4eEi4PO/ooRfNhYcL+CcNkVbteJp8jPWstGt7ZeKTpRTbwodmg5ldnDrHHoyEtsoFOJV4eFS6POfooRfMxYcL+74bJ4+16mZzf0LPWouGdjSeaXmQDH5oNav505hB78H4ez0sQnUq8rBYuTzr6KEXzSWHCfk+RmERmT4V/rzgzxvu3cWRyrHOwMzbeOd3o5D+tpd3TzWMhdf9ndJLv65W+fC2iW2O+p+/M1mSkFN2Q/Pca0fWIMv1PN8JIzXR52mLdM6366V9UmPPWorHamcNaw2FNhgM1M505xB68HR0XeUanEi9ax7WOXa4V/+zPNv49eK4zPHPjj9TMMX48flSgZX9UeOfqWcNhXYYDNXOdOcQe60Na5Ep/VOBF67jWkc1nxT/787uQq/WGZ250kpqFxo/Hr6do2V9PvXO1wXBYn+FAzYAzh9hjY0iLXOmvp3jROq513HOD+Gd/sAu52mh45sYuqbnD+PH4kxgt+yexd66eMxw2ZjhQs8KZQ+zBOFJc5Er/JMaL1nGto6LPiX/2H+hCroYNz9zIJjWrjB+Pl+HQsi/Deedqk+EwnOFAzWpnDrHH5pAWudKX4TY111rHtY6ZbhL/7K/tQq42G565cU9qNhg/Q+366agf+9K/d65GDIfNGQ7UjDhziD1GQ1pPmf6VeNE6rnVEdUT8s7+9C7kaNTxzo6LU7DJ+PN5uRMu+3eidqy2Gw2iGAzVjzhxij05Ii1zp24140Tqudbx1i/hn/3AXctUxPHNjptQcN348RhzQsiMO3rnaajh0MhyoecmZQ+yxLaRFrnTEAS9ax7WOxm4V/+y/0oVcbTM852V4UvOq8eMxVoWWHavyztV2w2FbhgM1rztziD12hLTIlY5V4UXruNax2u3in/03u5CrHYZnbryVmreNH49RTrTsKKd3rp43HHZkOFDzrjOH2GNnSItc6SgnXrSOax3JfV78s/9+F3K10/DMjcZS84Hx4zE+jpYdH/fO1S7DYWeGAzUfOXOIPXaHtMiVjo/jReu41nHeXeKf/U+6kKvdhmdurJaaz4wfj4+soEWu0PDO1R7DYXeGAzVfOHOIPfaGtMiVfmQFL1rHtY4C7xH/7H/VhVztNTxzI7nUfG38XNuun6Xqh1yh4Z2rfYbD3gwHar515hB77A9pkSv9mBxetI5rHSPeJ/7Z/74LudpveObGean50fip2/WzRP3QHw3vXI0ZDvszHKj52ZlD7MHHGeMiV+hU4kXruNYR5DHxz/6JLuRq3PDMjQJT84vx43E7ALR4vtDwztUBw2E8w4Ga35w5xB4TIS1ypbcDwIvWca3jywfEP/t/dCFXE4ZnboyYmr+MH49bkKBFrtDwztVBw2Eiw4Ganh5fDrHHoZAWudJbkOBF67jW0eeD4p/9aca/B89DhufKDE9qphs/Hrc9QotcoeGdq8OGw6EMB2pmOnOIPfg4e1zkSm97hBet41rHpg+Lf/ZndyFXRwzP3PgyNXOMH49braFFrtDwztVRw+FIhgM1c505xB7HQlrkSm+1hhet41pHro+Kf/bndyFXxwzP3OgzNQuNH4/bO6JFrtDwztVxw+FYhgM1A84cYo8XQlrkSm/viBet41rHtY+Lf/YHxf/ZIXO34KGWDkLj/wjI+hsxhXfJu1gAAA==
Loading