@aztec/ivc-integration 3.0.3 → 4.0.0-devnet.1-patch.0

This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
@@ -1,6 +1,6 @@
1
1
  {
2
- "noir_version": "1.0.0-beta.15+1a930357477fc0c210dc5a8960680282d4cfa24e",
3
- "hash": "2415095598661936560",
2
+ "noir_version": "1.0.0-beta.18+f1db9754dd26736a9bdbfd41c5ce15fe5d62ba6b",
3
+ "hash": "11158233537122872776",
4
4
  "abi": {
5
5
  "parameters": [
6
6
  {
@@ -30,7 +30,7 @@
30
30
  "name": "proof",
31
31
  "type": {
32
32
  "kind": "array",
33
- "length": 531,
33
+ "length": 519,
34
34
  "type": {
35
35
  "kind": "field"
36
36
  }
@@ -92,7 +92,7 @@
92
92
  "name": "proof",
93
93
  "type": {
94
94
  "kind": "array",
95
- "length": 531,
95
+ "length": 519,
96
96
  "type": {
97
97
  "kind": "field"
98
98
  }
@@ -152,11 +152,11 @@
152
152
  }
153
153
  }
154
154
  },
155
- "bytecode": "H4sIAAAAAAAA/7XbZYwW5rpG4W8GBtdSN6BUoAqljru7u7u7u7s7xd3d3d3d3d2d08W3SCXnR/dO9iT0SimQSZuh7XOvNyQQ/AivNcpUqRk7LBCI6J+H/PEtnPIR7x/f1zn0z++L+se3en/5eW+GBn1L39Z39F19T9/XD/RD/Ug/1rgaT+PrJ5pAP9XP9HP9QhNqIv1Sv9Kv9Rv9Vr/TxJpEv9ek+oP+qD/pz/qL/qq/aTJNrik0pabS1JpG02o6Ta8ZNKNm0syaRbNqNs2uOTSn5tLcmkfzaj7NrwW0oBbSwlpEi2oxLa4ltKSW0tJaRstqOS2vFbSiVtLKWkWrajWtrjW0ptbS2lpH62o9ra8NtKE20sbaRJtqM22uLbSlttLW2kbbajttrx204x/GCf3z6/P1t9DA37+mw2uYRtCIGkkja5TAn1//GE2jawyNqbE0tr6hcfRNfUvf1nf0XX1P39cP9EP9SD/WuBpP4+snmkA/1c/0c/1CE2oi/VK/0q/1G/1Wv9PEmkS/16T6g/6oP+nP+ov+qr9pMk2uKTSlptLUmkbTajpNrxk0o2bSzJpFs2o2za45NKfm0tyaR/NqPs2vBbSgFtLCWkSLajEtriW0pJbS0lpGy2o5La8VtKJW0spaRatqNa2uNbSm1tLaWkfraj2trw20oTbSxtpEm2ozba4ttKW20tbaRttqO22vHbSjdtLO2kW7ajftrj20p/bS3tpH+2o/7a8DdKAO0sE6RIfqMB2uv+sIHamjdLSO0bE6TsfrBJ2ok3SyTtGpOk2n6wydqbN0ts7RuTpP5+sCXaiLdLEu0aW6TJfrCl2pq3S1rtG1uk7X6wbdqJt0s27RrbpNt+sO3am7dLfu0b26T/frAT2oh/SwHtGjekyP6wk9qaf0tJ7Rs3pOz+sFvaiX9LJe0at6Ta/rDb2pt/S23tG7ek/v6wN9qI/0sT7Rp/pMn+sLfan8AUM0VMNpeA3TCBpRI2lkjaJRNZpG1xgaU2NpbH1D4+ib+pa+re/ou/qevq8f6If6kX6scTWextdPNIF+qp/p5/qFJtRE+qV+pV/rN/qtfqeJNYl+r0n1B/1Rf9Kf9Rf9VX/TZJpcU2hKTaWpNY2m1XSaXjNoRs2kmTWLZtVsml1zaE7Npbk1j+bVfJpfC2hBLaSFtYgW1WJaXEtoSS2lpbWMltVyWl4raEWtpJW1ilbValpda2hNraW1tY7W1XpaXxtoQ22kjbWJNtVm2lxbaEttpa21jbbVdtpeO2hH7aSdtYt21W7aXXtoT+2lvbWP9tV+2l8H6EAdpIN1iA7VYTpcf9cROlJH6Wgdo2N1nI7XCTpRJ+lknaJTdZpO1xk6U2fpbJ2jc3WeztcFulAX6WJdokt1mS7XFbpSV+lqXaNrdZ2u1w26UTfpZt2iW3WbbtcdulN36W7do3t1n+7XA3pQD+lhPaJH9Zge1xN6Uk/paT2jZ/WcntcLelEv6WW9olf1ml7XG3pTb+ltvaN39Z7e1wf6UB/pY32iT/WZPtcX+lID3gNCNFTDaXgN0wgaUSNpZI2iUTWaRtcYGlNjaWx9Q+MoH3+1U+if98l4gX/1EfLq8wn8/R45PLy/L+gIHamjdLSO0bE6TsfrBJ2ok3SyTtGpOk2n6wydqbN0ts7RuTpP5+sCXaiLdLEu0aW6TJfrCl2pq3S1rtG1uk7X6wbdqJt0s27RrbpNt+sO3am7dLfu0b26T/frAT2oh/SwHtGjekyP6wk9qaf0tJ7Rs3pOz+sFvaiX9LJe0at6Ta/rDb2pt/S23tG7ek/v6wN9qI/0sT7Rp/pMn+sLfakc/F79vqChGk7Da5hG0IgaSSNrFI2q0TS6xgj7+z2yi1//XbWbdtce2lN7aW/to321n/bXATpQB+lgHaJDdZgO1991hI7UUTpax+hYHafjdYJO1Ek6WafoVJ2m03WGztRZOlvn6Fydp/N1gS7URbpYl+hSXabLdYWu1FW6WtfoWl2n63WDbtRNulm36Fbdptt1h+7UXbpb9+he3af79YAe1EN6WI/oUT2mx/WEntRTelrP6Fk9p+f1gl7US3pZr+hVvabX9Ybe1Ft6W+/oXb2n9/WBPtRH+lif6FN9ps/1hb58/e/rcEFDNFTDaXgN0wgaUSNpZI2iUTWaRtcYGlNjaWx9Q+Pom/qWvq3v6Lv6nr6vH+iH+pF+rHE1nsbXTzSBfqqf6ef6hSbURPqlfqVf6zf6rX6niTWJfq9J9Qf9UX/Sn/UX/VV/02SaXFNoSk2lqTWNptV0ml4zaEbNpJk1i2bVbJpdc2hOzaW5NY/m1XyaXwtoQS2khbWIFtViWlxLaEktpaW1jJbVclpeK2hFraSVtYpW1WpaXWtoTa2ltbWO1tV6Wl8baENtpI21iTbVZtpcW2hLbaWttY221XbaXjtoR+2knbWLdtVu2l17aE/tpb21j/bVftpfB+hAHaSDdYgO1WE6XH/XETpSR+loHaNjdZyO1wk6USfpZJ2iU3WaTtcZOlNn6Wydo3N1ns7XBbpQF+liXaJLdZku1xW6Ulfpal2ja3WdrtcNulE36Wbdolt1m27XHbpTd+lu3aN7dZ/u1wN6UA/pYT2iR/WYHtcTelJP6Wk9o2f1nJ7XC3pRL+llvaJX9Zpe1xt6U2/pbb2jd/We3tcH+lAf6WN9ok/1mT7XF/pSA/7/Q4iGajgNr2EaQSNqJI2sUTSqRtPoGkNjaiyNrW9oHH1T39K39R19V9/T9/UD/VA/0o81rsbT+PqJJtBP9TP9XL/QhJpIv9Sv9Gv9Rr/V7zSxJtHvNan+oD/qT/qz/qK/6m+aTJNrCk2pqTS1ptG0mk7TawbNqJk0s2bRrJpNs2sOzam5NLfm0byaT/NrAS2ohbSwFtGiWkyLawktqaW0tJbRslpOy2sFraiVtLJW0apaTatrDa2ptbS21tG6Wk/rawNtqI20sTbRptpMm2sLbamttLW20bbaTttrB+2onbSzdtGu2k27aw/tqb20t/bRvtpP++sAHaiDdLAO0aE6TPl49Xm+vmOG/ef3yL/+Sbj/4uf+2x/7usfkI3H5nHVPJxmVaFHuDAvatClcImHSS5mbLK7dJ93p+/3YoOk8/+Wv++qTCKf/38/zjPOvP89YYf+bz5Nf96+fc6ifN/+8+Eu0bHRsNGz0a7Rr3Ilp1ujVaNXo1GjU6NNo0+jSaNLo0WjR6NBo0OjPaM/ozmjO6M1ozeL69yF+INiWJQgEmzJ6MloyOjIaMvox2jG6MZoxejFaMToxGjH6MNowujCaMHowWjA6MBow+i/aL7ovmi96L1ovOq/UgWDflTYQ7LrSB4I9Fy0XHRcNF/0W7RbdFs0WvRatFp0WjRZ9Fm0WXRZNFj0WLRYdFg0W/RXtFd0VzRW9Fa0VnVXpQLCvKhsIdlXlA8GeipaKjoqGin6KdopuimaKXopWik6KRoo+ijaKGz5NFD0ULRQdFA0U/RPtE90TzRO9E60TnVPrQLBvahsIdk3tA8GeiZaJjomGiX6JdoluiWaJXolWiU6JRok+iTaJLokmiR6JFokOiQaJ/oj2iO6I5ojeiNaIzmhUINgXjQkEu6JxgWBPREtER0RDRD9EO0Q3RDNEL0QrRCdEI0QfRBtEF0QTRA9EC0QHRANE/0P7Q/dD80PvQ+tD57MqEOx71gSCXc+6QLDnoeWh46Hhod+h3aHbodmh16HVodOh0aHPoc2hy6HJocehxaHDocGhv6G9obuhuaG3obWhszkVCPY1ZwLBruZcINjT0NLQ0dDQ0M/QztDN0MzQy9DK0MnwdU8fQxtDF0MTQw9DC0MHQwND/0L7QvdC80LvQutC58IXPyMQbQtdC00LPQstCx0LDQv9Cu0K3QrNCr0KrQqdCo0KfQptCl0KTQo9Ci0KHQoNCv0J7QndCc0JvQmtCZ1JvJBgX0JbQldCU0JPQktCR0JDQj9CO0I3QjNCL0IrQidCI0IfQhtCF0ITQg9CC0IHQgNC/0H7QfdB80HvQetB55E6JNh30HbQddB00HPQctBx0HDQb9Bu0G3QbNBr0GrQadBo0GfQZtBl0GTQY9Bi0GHQYNBf0F7QXdBc0FvQWtBZlA4J9hW0FXQVNBX0FLQUdBQ0FPQTtBN0EzQT9BK0EnQSNBL0EbQRdBE0EfQQtBB0EDQQ9A+0D3QPNA/0DrQOdA6tQ4J9A20DXQNNAz0DLQMdAw0D/QLtAt0CzQK9Aq0CnQKNAn0CbQJdAk0CPQItAh0CDQL9Ae0B3QHNAb0BrQGdwaiQYF9AW0BXQFNAT0BLQEdAQ0A/QDtAN0AzQC9AK0AnQCNAH0AbQBdAE0APQAtAB0ADwP7P9s/uz+bP3s/Wz86/KiS477Pts+uz6bPns+Wz47Phs9+z3bPbs9mz17PVs9Oz0bPPs82zy7PJs8ezxbPDs8Gzv7O9s7uzubO3s7Wzs58KCe7rbOvs6mzq7Ols6ezobOjs52zn7OZs5uzlbOXs5Gzk7ONs4+zibOLs4Wzh7OBs4OzfbN/s3mze7N1s3ezcrzbu0OC2za7Nps2ezZbNjs2GzX7Nds1uzWbNXs1WzU7NRs0+zTbNRsVbFt6x8IaF9yu8XeHdCm9WeK/CWxXeqfBGhfcpvE3hXQpvUniPwlsU3qHwBoX3J7w94d0Jb054b8JbE96Z8MaE9yW8LeFdCW9KeE/CWxLekfCGhPcjvB3h3QhvRngvwlsR3onwRoT3IbwN4V0Ib0J4D8JbEN6B8AaE9x+8/eDdB28+eO/BWw/eefDGg/cdvO3gXQdvOnjPwVsO3nHwhoP3G7zd4N0GbzZ4r8FbDd5p8EaD9xm8zeBdBm8yeI/BWwzeYfAGg/cXvL3g3QVvLnhvwVsL3lnwxoL3Fbyt4F0Fbyp4T8FbCt5R8IaC9xO8neDdBG8meC/BWwneSfBGgvcRvI3gXQRvIngPwVsI3kHwBoKegP9OZm9ka2RnZGNkX2RbZFdkU2RPZEtkR2RDZD9kO2Q3ZDNkL2QrZCdkI2QfZBtkF2QTZA9kC2QHZANk/2P7Y/dj82PvY+tj52PjY99j22PXY9Njz2PLY8djw2O/Y7tjt2OzY69jq2OnY6Njn2ObY5djk2OPY4tjh2ODY39je2N3Y3Njb2NrY2djY2NfY1tjV2NTY09jS2NHY0NjP2M7YzdjM2MvYytjJ2MjYx9jG2MXYxNjD2MLYwdjA2P/Yvti92LzYu9i62LnYuNi32LbYtdi02LPYstix2LDYr9iu2K3YrNir2KrYqdio2KfYptil3q1SYULblHsUGxQ7E9sT+xObE7sTWxN7ExsTOxLbEvsSmxK7ElsSexIbEjsR2xH7EZsRuxFbEXsRGxE7ENsQ+xCbELsQWxB7EBsQOw/bD/sPmw+7D1sPew8bDzsO2w77DpsOuw5bDnsOGw47DdsN+w2bDbsNWw17DRsNOwzbDPsMmwy7DFsMewwbDDsL2wv7C5sLuwtbC3sLGws7CtsK+wqbCrsKWwp7ChsKOwnbCfsJmwm7CVsJewkbCTsI2wj7CJsIuwhbCHsIGwg7B9sH+webB7sHWwd7BxsHOwbbBvsGmwa7BlsGewYbBjsF2wX7BZsFuwVbBXsFGwU7BNsE+wSbBLsEWwR7BBsEOwPbA/sDmwO7A1sDewMbAzsC2wL7ApsCuwJbAnsCGwI7AdsB+wGbAbsBWwF7ARsBOwDbAPsAmwC7AFsAewAbADc/7n9c/fn5s+9n1s/d35u/Nz3ue1z1+emzz2fWz53fG743O+53XO352bPvZ5bPXd6bvTc57nNc5fnJs89nls8d3hu8Nzfub1zd+fmzr2dWzt3dm7s3Ne5rXNX56bOPZ1bOnd0bujcz7mdczfnZs69nFs5d3Ju5NzHuY1zF+cmzj2cWzh3cG7g3L+5fXP35ubNvZtbN3dubtzct7ltc9fmps09m1s2d2xu2NyvuV1zt+Zmzb2aWzV3am7U3Ke5TXOXfnWTDh+8RXOH5gbN/ZnbM3dnbs7cm7k1c2fmxsx9mdsyd2VuytyTuSVzR+aGzP2Y2zF3Y27G3Iu5FXMn5kbMfZjbMHdhbsLcg7kFcwfmBsz9l9svd19uvtx7ufVy5+XGy32X2y53XW663HO55XLH5YbL/ZbbLXdbbrbca7nVcqflRst9ltssd1lustxjucVyh+UGy/2V2yt3V26u3Fu5tXJn5cbKfZXbKndVbqrcU7mlckflhsr9lNspd1NuptxLuZVyJ+VGyn2U2yh3UW6i3EO5hXIH5QbK/ZPbJ3dPbp7cO7l1cufkxsl9k9smd01umtwzuWVyx+SGyf2S2yV3S26W3Cu5VXKn5EbJfZLbJHdJbpLcI7lFcofkBsn9kdsjd0dujtwbuTVyZ+TGyH2R2yJ3RW6K3BO5JXJH5IbI/ZDbIXdDbobcC7kVciekLaQrpCmkJ6QlpCOkIaQfpB2kG6QZpBekFaQTpBGkD6QNpAukCaQHpAWkA6QBpP+j/aP7o/mj96P1o/Oj8aPvo+2j66Ppo+ej5aPjo+Gj36Pdo9uj2aPXo9Wj06PRo8+jzaPLo8mjx6PFo8OjwaO/o72ju6O5o7ejtaOzo7Gjr6Oto6ujqaOno6Wjo6Oho5+jnaObo5mjl6OVo5OjkaOPo42ji6OJo4ejhaODo4Gjf6N9o3ujeaN3o3Wjc6Nxo2+jbaNro2mjZ3vVsoUFGzb6Ndo1ujWaNXo1WjU6NRo1+jTaNLo0mrSY/7gh8hEr7O9H3Nc/pHelDVvvXY24K/CPj/8DzioHcFg/AAA=",
156
- "debug_symbols": "tVTbioUgFP0Xn3vIu/YrwxBWdhDEwlMDQ/TvY5FdHowDMU9b3a21XS33nkCjq/FVGtd2b1B8TaDyxlrzKm1Xq8F0LpxOcwbithy81uEInPIB1Suv3QAKN1qbgR9lx/Wjd6/cGgflQzbPgHZNiIGwNVYvqzk70HkaCgndwJDiHU7hBQ/TeMII3wgIE/JgQBcGdHMDJnG8AqdkZ4BhfabANxSSikghOTwoBP9YB89R1CF5UgdNM2Akog6MGdsZEPrYC8b2H0FSXvDHXojnXsjnXvDHXkD4r2aIKANBmGyMm0dJMIqtRTCDFxXfYadq4y/TACBQhAeAA22QT5bezABdwrxU8UZVVm9jox1dfZoiw28fM3HO9L6rdTN6vdRYc6HqHw==",
155
+ "bytecode": "H4sIAAAAAAAA/62bVdAeVJZFcwRod+/G3d3d3d0JECBIgCS4BndCgru7u7tzD+7u7u49+yl3TdXUDDM1eVqp+vLnTx722XftJEYdccyZWw0cPKTym2NGXLrQlgM32mKhrXdcbLshGy08cMstR5y10oLLLb7oqBHnrD54+JBBw4YNmOAnfKh81//qY1euNGij7YYOG7z9oAU33XTooE0HDh+89ZCjnx8wDL/wZ+Cfg38B/iX4V+Bfg38D/i34d+Dfg/8A/iP4T+A/g/8C/iv4b+C/g/8B/if4X+BxweOBxwdPAJ4QPBF4YvAk4EnBk4EnB08BnhI8FXhq8DTgacHTgacHzwCeETwTeGbwLOBZwbOBZwfPAZ4TPBd4bvA84HnB84HnBy8AXhC8EHhh8CLgRcGLgRcHLwFeErwUeGnwMuBlwcuBlwevAF4RvBJ4ZfAq4FXBq4FXB68BXhO8Fnht8DrgdcHrgdcHbwAeCN4QvBF4Y/Ag8CbgTcGbgQeDNwdvAd4SvBV4CHhr8DbgbcFDwczD4eDtwNuDdwDvCN4JvPPzPs6Yn9oY8jEUYyjH0FhjaOwx1L9Kj+oe1D2me0j3iO4B3eO5h3OP5h7MPZZ7KPdI7oHc47iHcY/iHsQ9hnsI9wjuAdzjt4dvj94evD12e+j2yO2B2+O2h22P2h60PWZ7yPaI7QHb47WHa4/WHqw9Vnuo9kjtgdrjtIdpj9IepD1Ge4j2CO0B2uOzh2ePzh6cPTZ7aPbI7IHZ47KHZY/KHpQ9JntI9ojsAdnjsYdjj8YejD0Weyj2SOyB2OOwh2GPwh6EPQZ7CPYI7AHY46+HX4++Hnw99nro9cjrgdfjroddj7oedD3mesj1iOsB1+Oth1uPth5sPdZ6qPVI64HW46yHWY+yHmQ7j6FdxtCuY2i3MbT7GNpjDLU9O47ouFfHvTvu03Hfjvt13L/jAR0P7HhQx4M7HtLx0I6HdTy848iOR3TsNbuN7nhkx6M6Ht3xmI7Hdjyu4/EdT+h4YseTOp7c8ZSOp3Y8rePpHc/oeGbHszqe3fGcjud2PK/j+R0v6Hhhx4s6Xtzxko6Xdrys4+Udr+h4ZcerOl7d8ZqO13a8ruP1HW/oeGPHmzre3PGWjrd2vK3j7R3v6Hhnx7s63t3xno73dryv4/0dH+jYOlbHBzs+1PHhjo90fLTjYx0f7/hExyc7PtXx6Y7PdHy243Mdn+/4QscXO77U8eWOr3R8teNrHV/v+EbHNzu+1fHtju90fLfjex3f7/hBxw87ftTx446fdPy042cdP+/4RccvO37V8euO33T8tuN3Hb/v+EPHHzv+ewyWDQAb2MEBTvBY4LHB44AhDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sAgDwzywCAPDPLAIA8M8sB2Bu8C3hW8G3h38B7gPcEjwHuB9wbvA94XvB94f/AB4APBB4EPBh8CPhR8GPhw8EjwEWCYbxsNPhJ8FPho8DHgY8HHgY8HnwA+EXwS+GTwKeBTwaeBTwefAT4TfBb4bPA54HPB54HPB18AvhB8Efhi8CXgS8GXgS8HXwG+EnwV+GrwNeBrwdeBrwffAL4RfBP4ZvAt4FvBt4FvB98BvhN8F/hu8D3ge8H3ge8HPwBu4AI/CH4I/DD4EfCj4MfAj4OfAD8Jfgr8NPgZ8LPg58DPg18Avwh+Cfwy+BXwq+DXwK+D3wC/CX4L/Db4HfC74PfA74M/AH8I/gj8MfgT8Kfgz8Cfg78Afwn+Cvw1+Bvwt+DvwN+DfwD/CEb/d/R/R/939H9H/3f0f0f/d/R/H6cHMb/8Ljni3IW3HjJs+MAhw++cYMB//8P+b2Nl4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5T4j4l7lPiPiXuU+I+Je5TfsmxshxPC8fTwvG0cDwtHE8Lx9PC8bRwRLcjuh3R7YhuR3Q7otsR3Y7odkS3I7od0e2Ibkd0O6Lb+Y9qEN2O6HZEtyO6HdHtiG5HdDui2xHdjuh2RLcjuh3R7YhuR3Q7otsR3Y7odkS3I7od0e2Ibkd0O6LbEd2O6HZEtyO6HdHtiG5HdDui2xHdjuh2RLcjuh3R7YhuR3Q7otsR3Y7odkS3I7od0e2Ibkd0O6LbEd2O6HZEtyO6HdHtiG5HdDui2xHdjuh2RLcjuh3R7YhuR3Q7otsR3Y7odkS3I7od0e2Ibkd0O6LbEd2O6HZEtyO6HdHtiG5HdDui2xHdjuh2RLcjuh3R7YhuR3Q7otsR3Y7odkS3I7od0e2Ibkd0O6LbEd2O6HZEt+Np4XhaOJ4WjqeF42nheFo4nhaOp4XjaeF4WgS6f+BpEXhaBJ4WgadF4GkReFoEblBgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpITAtBKaFwLQQmBYC00JgWghMC4FpIaA+AtNCYFoITAuBaSEwLQSmhcC0EJgWAtNCoP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/B/p/oP8H+n+g/wf6f6D/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/ov8n+n+i/yf6f6L/J/p/cvpE/0/0/0T/T/T/RP9P9P9E/0/0/0T/T/T/RP9P9P9E/0/0/0T/z70p1vkbfPW/G4vPX3DYsEFDh681aOjWo0eOHvU//4oBP+Ez+o70qRk2Xm7oKzOeOuW1Kyx69YgRa6w7xcxvL7HTddscsfArX4z+WB+r/OZ//FIDfsr/0M1vJvjPf45RP+V7zK//v77H5/PrAeaRY409zs9+/otf/urXv/nt737/hz/+6c9/+evf/v6Pf/5r3PHGn2DCiSaeZNLJJp9iyqmmnmba6aafYcaZZp5l1tlmn2POueaeZ9755l9gwYUWXmTRxRZfYsmlll5m2eWWX2HFlVZeZdXVVl9jzbXWXmfd9dbfYOCGG208aJNNNxu8+RZbbjVk6222HTps+Hbb77DjTjvvsutuu+/R9mwj2l5t77ZP27ft1/ZvB7QD20Ht4HZIO7Qd1g5vI9sRbVQb3Y5sR7Wj2zHt2HZcO76d0E5sJ7WT2ynt1HZaO72d0c5sZ7Wz2znt3HZeO79d0C5sF7WL2yXt0nZZu7xd0a5sV7Wr2zXt2nZdu77d0G5sN7Wb2y3t1nZbu73d0e5sd7W72z3t3nZfu7890Fqr9mB7qD3cHmmPtsfa4+2J9mR7qj3dnmnPtufa8+2F9mJ7qb3cXmmvttfa6+2N9mZ7q73d3mnvtvfa++2D9mH7qH3cPmmfts/a5+2L9mX7qn3dvmnftu/a9+2H9mP7d9mAMivzsijLsrHKxi4bp+xnZT8v+0XZL8t+Vfbrst+U/bbsd2W/L/tD2R/L/lT257K/lP217G9lfy/7R9k/y/5VNm7ZeGXjl01QNmHZRGUTl01SNmnZZGWTl01RNmXZVGVTl01TNm3ZdGXTl81QNmPZTGUzl81SNmvZbGWzl81RNmfZXGVzl81TNm/ZfGXzly1QtmDZQmULly1StmjZYmWLly1RtmTZUmVLly1TtmzZcmXLl61QtmLZSmUrl61StmrZamWrl61RtmbZWmVrl61Ttm7ZemXrl21QNrBsw7KNyjYuG1S2SdmmZZuVDS7bvGyLsi3LtiobUrZ12TZl25YNLRtWNrxsu7Lty3Yo27Fsp7Kdy3Yp27Vst7Ldy/Yo27NsRNleZXuX7VO2b9l+ZfuXHVB2YNlBZQeXHVJ2aNlhZYeXjSw7omxU2eiyI8uOKju67JiyY8uOKzu+7ISyE8tOKju57JSyU8tOKzu97IyyM8vOKju77Jyyc8vOKzu/7IKyC8suKru47JKyS8suK7u87IqyK8uuKru67Jqya8uuK7u+7IayG8tuKru57JayW8tuK7u97I6yO8vuKru77J6ye8vuK7u/7IGyVlZlD5Y9VPZw2SNlj5Y9VvZ42RNlT5Y9VfZ02TNlz5Y9V/Z82QtlL5a9VPZy2Stlr5a9VvZ62Rtlb5a9VfZ22Ttl75a9V/Z+2QdlH5Z9VPZx2Sdln5Z9VvZ52RdlX5Z9VfZ12Tdl35Z9V/Z92Q9lP5b9u3xAuXLXy6M8y8cqH7t8nPKflf+8/Bflvyz/Vfmvy39T/tvy35X/vvwP5X8s/1P5n8v/Uv7X8r+V/738H+X/LP9X+bjl45WPXz5B+YTlE5VPXD5J+aTlk5VPXj5F+ZTlU5VPXT5N+bTl05VPXz5D+YzlM5XPXD5L+azls5XPXj5H+Zzlc5XPXT5P+bzl85XPX75A+YLlC5UvXL5I+aLli5UvXr5E+ZLlS5UvXb5M+bLly5UvX75C+YrlK5WvXL5K+arlq5WvXr5G+Zrla5WvXb5O+brl65WvX75B+cDyDcs3Kt+4fFD5JuWblm9WPrh88/Ityrcs36p8SPnW5duUb1s+tFz3dXj5duXbl+9QvmP5TuU7l++iK6c9XzO+1nuN9trqNdFrmdcgrx1e87tWd43t2tg1rWtR15Cu/VyzudZyjeTaxjWJl4/WAK7dW3O3Vm6N29q0NWVrwdZwrb1aM7XWaY3S2qI1QWt51uCsnVnzslZljcnakDUdazHWUKx9WLOw1mCNwNp+Nflq6dXAq11Xc65WXI232mw11Wqh1TCrPVYzrNZXja7aWjWxalnVoKodVfOpVlONpdpINY1qEdUQqv1Ts6fWTo2c2jY1aWrJ1ICp3VJzpVZKjZPaJDVFaoHU8Ki9UTOj1kWNitoSNSFqOdRgqJ1Q86BWQY2B2gA1/Wnx09CnfU+zntY8jXja7jTZaanTQKddTnOcVjiNb9rcNLVpYdOwpj1NM5rWM41m2so0kWkZ0yCmHUzzl1YvjV3auDRtadHSkKX9SrOV1iqNVNqmNElpidIApd1Jc5NWJo1L2pQ0JWlB0nCkvUgzkdYhjULagjQBafnR4KOdR/OOVh2NOdpwNN1osdFQo31Gs4zWGI0w2l40uWhp0cCiXUVzilYUjSfaTDSVaCHRMKI9RDOI1g+NHto6NHFo2dCgoR1D84VWC40V2ig0TWiR0BCh/UGzg9YGjQzaFjQpaEnQgKDdQHOBVgKNA9oENAVoAZD4l++X5pfdl9SXy5fCl7mXsJenl56XlZeMl4OXepdxl2iXX5dWl02XRJc7lzKXKZcglxeXDpcFl/yW85bqluGW2JbPlsaWvZa0lquWopaZlpCWh5Z+lnWWbJZjllqWUZZIlj+WNpYtliSWG5YSlgmWAJb3le6V5ZXcldOVypXBlbiVr5WmlZ2VlJWLlYKVeZVwlWeVXpVVlUyVQ5U6lTGVKJUflRaVDZUElfuU8qy4QoJTXlM6UxZT8lLOUqpShlJiUj5SGlL2UdJRrlGKUWZRQlEeUfpQ1lCyUI5QalBGUCJQ/k/aT7ZPkk9uT0pPJk8CT95Ouk6WTnJOTk4qTgZO4k2+TZpNdk1STS5NCk3mTMJMnkx6TFZMMkwOTOpLxkuiS35LWks2SxJL7krKSqZKgkpeSjpKFkrySc5JqkmGSWJJPkkaSfZI0kiuSIpIZkhCSB5I+kfWR7JHjkdqR0ZHIkf+RtpGtkaSRm5GSkYmRgJG3kW6RZZFckVORSpFBkXiRL5EmkR2RFJELkQKROZDwkOeQ3pDVkMyQw5D6kLGQqJCfkJaQjZCEkLuQcpBpkGCQV5BOkEWQfJAzkCqQIZAYkA+QBpAr389+vXW1xNfL3s96PWO1/Ndr3Y91vVG19NcL3I9xPX+1rNbr209svW21pNaL2k9oPVu1nNZr2Q9jvUm1lNYL2A9fPXe1TNXr1s9avWW1RNWL1c9WPVO1fNUr1I9RvUG1dNTL049NPW+1LNSr0k9IvV21JNRL0U9EPUu1HNQr0A9/vTm01NPLzw97PSe0zNOrzc92vRW0xNNL7PKfSr3rdyvcv/KAyoPrDyo8uDKQyoPrTys8vDKkZVHVI6qHF15ZOVRlUdXHlN5bOVxlcdXnlB5YuVJlSdXnlJ5auVpladXnlF5ZuVZlWdXnlN5buV5ledXXlB5YeVFlRdXXlJ5aeVllZdXXlF5ZeVVlVdXXlN5beV1lddX3lB5Y+VNlTdX3lJ5a+VtlbdX3lF5Z+VdlXdX3lN5b+V9lfdXPlDZKqvywcqHKh+ufKTy0crHKh+vfKLyycqnKp+ufKby2crnKp+vfKHyxcqXKl+ufKXy1crXKl+vfKPyzcq3Kt+ufKfy3cr3Kt+v/KDyw8qPKj+u/KTy08rPKj+v/KLySz1uR+rv7OsjRo04c8GNBg8da9RDD4/z3ucP3L3pyJEj/wPIZs3M/UkAAA==",
156
+ "debug_symbols": "tZRLisMwDIbv4nUWlvxKepVhKG7qFoNxgpsMDKV3H7vUeSwcAmFWiq3ok2T96Emu5jLez9bfugc5fT3JJVjn7P3sulYPtvPx9vmqSD6eh2BMvCILf4zqdTB+ICc/OleRH+3G90+PXvu3HXSIXloR46/RRuDNOpO+XtUcTcuhwMUnGASbwgWs4qEczyVXHwCXdTMTcEXADQIylgmMwkRA2qwQrIxgSmYEqxkWEXyjCqrqXAVtFlUA7EdIMSGUKiJkGYEsjxLFog3A3eNQFHMNjSqOo954SxR5oIzxWVGIuyUlZZaU4kVJ0cOaAjguKsDjqgJ2XFbbjH26AnFYWPSwskD9q7Tq/Jqp+ZK0mo0uYg2TLiSsuviOJ93asFrRBMkp8ljKXRGepl8RkcwrZQlWX5z57PLb6NvFah9+++zJy78PXWuuYzApx9sXs/4B",
157
157
  "file_map": {
158
158
  "22": {
159
- "source": "pub mod hash;\npub mod aes128;\npub mod array;\npub mod slice;\npub mod ecdsa_secp256k1;\npub mod ecdsa_secp256r1;\npub mod embedded_curve_ops;\npub mod field;\npub mod collections;\npub mod compat;\npub mod convert;\npub mod option;\npub mod string;\npub mod test;\npub mod cmp;\npub mod ops;\npub mod default;\npub mod prelude;\npub mod runtime;\npub mod meta;\npub mod append;\npub mod mem;\npub mod panic;\npub mod hint;\n\nmod primitive_docs;\n\nuse convert::AsPrimitive;\n\n// Oracle calls are required to be wrapped in an unconstrained function\n// Thus, the only argument to the `println` oracle is expected to always be an ident\n#[oracle(print)]\nunconstrained fn print_oracle<T>(with_newline: bool, input: T) {}\n\nunconstrained fn print_unconstrained<T>(with_newline: bool, input: T) {\n print_oracle(with_newline, input);\n}\n\npub fn println<T>(input: T) {\n // Safety: a print statement cannot be constrained\n unsafe {\n print_unconstrained(true, input);\n }\n}\n\npub fn print<T>(input: T) {\n // Safety: a print statement cannot be constrained\n unsafe {\n print_unconstrained(false, input);\n }\n}\n\n/// Asserts the validity of the provided proof and public inputs against the provided verification key and hash.\n///\n/// The ACVM cannot determine whether the provided proof is valid during execution as this requires knowledge of\n/// the backend against which the program is being proven. However if an invalid proof if submitted, the program may\n/// fail to prove or the backend may generate a proof which will subsequently fail to verify.\n///\n/// # Important Note\n///\n/// If you are not developing your own backend such as [Barretenberg](https://github.com/AztecProtocol/barretenberg)\n/// you probably shouldn't need to interact with this function directly. It's easier and safer to use a verification\n/// library which is published by the developers of the backend which will document or enforce any safety requirements.\n///\n/// If you use this directly, you're liable to introduce underconstrainedness bugs and *your circuit will be insecure*.\n///\n/// # Arguments\n/// - verification_key: The verification key of the circuit to be verified.\n/// - proof: The proof to be verified.\n/// - public_inputs: The public inputs associated with `proof`\n/// - key_hash: The hash of `verification_key` of the form expected by the backend.\n/// - proof_type: An identifier for the proving scheme used to generate the proof to be verified. This allows\n/// for a single backend to support verifying multiple proving schemes.\n///\n/// # Constraining `key_hash`\n///\n/// The Noir compiler does not by itself constrain that `key_hash` is a valid hash of `verification_key`.\n/// This is because different backends may differ in how they hash their verification keys.\n/// It is then the responsibility of either the noir developer (by explicitly hashing the verification key\n/// in the correct manner) or by the proving system itself internally asserting the correctness of `key_hash`.\npub fn verify_proof_with_type<let N: u32, let M: u32, let K: u32>(\n verification_key: [Field; N],\n proof: [Field; M],\n public_inputs: [Field; K],\n key_hash: Field,\n proof_type: u32,\n) {\n if !crate::runtime::is_unconstrained() {\n crate::assert_constant(proof_type);\n }\n verify_proof_internal(verification_key, proof, public_inputs, key_hash, proof_type);\n}\n\n#[foreign(recursive_aggregation)]\nfn verify_proof_internal<let N: u32, let M: u32, let K: u32>(\n verification_key: [Field; N],\n proof: [Field; M],\n public_inputs: [Field; K],\n key_hash: Field,\n proof_type: u32,\n) {}\n\n// Asserts that the given value is known at compile-time.\n// Useful for debugging for-loop bounds.\n#[builtin(assert_constant)]\npub fn assert_constant<T>(x: T) {}\n\n// Asserts that the given value is both true and known at compile-time.\n// The message can be a string, a format string, or any value, as long as it is known at compile-time\n#[builtin(static_assert)]\npub fn static_assert<T>(predicate: bool, message: T) {}\n\n#[deprecated(\"wrapping operations should be done with the Wrapping traits. E.g: x.wrapping_add(y)\")]\npub fn wrapping_add<T>(x: T, y: T) -> T\nwhere\n T: AsPrimitive<Field>,\n Field: AsPrimitive<T>,\n{\n AsPrimitive::as_(x.as_() + y.as_())\n}\n#[deprecated(\"wrapping operations should be done with the Wrapping traits. E.g: x.wrapping_sub(y)\")]\npub fn wrapping_sub<T>(x: T, y: T) -> T\nwhere\n T: AsPrimitive<Field>,\n Field: AsPrimitive<T>,\n{\n //340282366920938463463374607431768211456 is 2^128, it is used to avoid underflow\n AsPrimitive::as_(x.as_() + 340282366920938463463374607431768211456 - y.as_())\n}\n#[deprecated(\"wrapping operations should be done with the Wrapping traits. E.g: x.wrapping_mul(y)\")]\npub fn wrapping_mul<T>(x: T, y: T) -> T\nwhere\n T: AsPrimitive<Field>,\n Field: AsPrimitive<T>,\n{\n AsPrimitive::as_(x.as_() * y.as_())\n}\n\n#[builtin(as_witness)]\npub fn as_witness(x: Field) {}\n",
159
+ "source": "pub mod hash;\npub mod aes128;\npub mod array;\npub mod vector;\npub mod ecdsa_secp256k1;\npub mod ecdsa_secp256r1;\npub mod embedded_curve_ops;\npub mod field;\npub mod collections;\npub mod compat;\npub mod convert;\npub mod option;\npub mod string;\npub mod test;\npub mod cmp;\npub mod ops;\npub mod default;\npub mod prelude;\npub mod runtime;\npub mod meta;\npub mod append;\npub mod mem;\npub mod panic;\npub mod hint;\n\nmod primitive_docs;\n\n// Oracle calls are required to be wrapped in an unconstrained function\n// Thus, the only argument to the `println` oracle is expected to always be an ident\n#[oracle(print)]\nunconstrained fn print_oracle<T>(with_newline: bool, input: T) {}\n\nunconstrained fn print_unconstrained<T>(with_newline: bool, input: T) {\n print_oracle(with_newline, input);\n}\n\npub fn println<T>(input: T) {\n // Safety: a print statement cannot be constrained\n unsafe {\n print_unconstrained(true, input);\n }\n}\n\npub fn print<T>(input: T) {\n // Safety: a print statement cannot be constrained\n unsafe {\n print_unconstrained(false, input);\n }\n}\n\n/// Asserts the validity of the provided proof and public inputs against the provided verification key and hash.\n///\n/// The ACVM cannot determine whether the provided proof is valid during execution as this requires knowledge of\n/// the backend against which the program is being proven. However if an invalid proof if submitted, the program may\n/// fail to prove or the backend may generate a proof which will subsequently fail to verify.\n///\n/// # Important Note\n///\n/// If you are not developing your own backend such as [Barretenberg](https://github.com/AztecProtocol/barretenberg)\n/// you probably shouldn't need to interact with this function directly. It's easier and safer to use a verification\n/// library which is published by the developers of the backend which will document or enforce any safety requirements.\n///\n/// If you use this directly, you're liable to introduce underconstrainedness bugs and *your circuit will be insecure*.\n///\n/// # Arguments\n/// - verification_key: The verification key of the circuit to be verified.\n/// - proof: The proof to be verified.\n/// - public_inputs: The public inputs associated with `proof`\n/// - key_hash: The hash of `verification_key` of the form expected by the backend.\n/// - proof_type: An identifier for the proving scheme used to generate the proof to be verified. This allows\n/// for a single backend to support verifying multiple proving schemes.\n///\n/// # Constraining `key_hash`\n///\n/// The Noir compiler does not by itself constrain that `key_hash` is a valid hash of `verification_key`.\n/// This is because different backends may differ in how they hash their verification keys.\n/// It is then the responsibility of either the noir developer (by explicitly hashing the verification key\n/// in the correct manner) or by the proving system itself internally asserting the correctness of `key_hash`.\npub fn verify_proof_with_type<let N: u32, let M: u32, let K: u32>(\n verification_key: [Field; N],\n proof: [Field; M],\n public_inputs: [Field; K],\n key_hash: Field,\n proof_type: u32,\n) {\n if !crate::runtime::is_unconstrained() {\n crate::assert_constant(proof_type);\n }\n verify_proof_internal(verification_key, proof, public_inputs, key_hash, proof_type);\n}\n\n#[foreign(recursive_aggregation)]\nfn verify_proof_internal<let N: u32, let M: u32, let K: u32>(\n verification_key: [Field; N],\n proof: [Field; M],\n public_inputs: [Field; K],\n key_hash: Field,\n proof_type: u32,\n) {}\n\n// Asserts that the given value is known at compile-time.\n// Useful for debugging for-loop bounds.\n#[builtin(assert_constant)]\npub fn assert_constant<T>(x: T) {}\n\n// Asserts that the given value is both true and known at compile-time.\n// The message can be a string, a format string, or any value, as long as it is known at compile-time\n#[builtin(static_assert)]\npub fn static_assert<T>(predicate: bool, message: T) {}\n\n#[builtin(as_witness)]\npub fn as_witness(x: Field) {}\n",
160
160
  "path": "std/lib.nr"
161
161
  },
162
162
  "51": {
@@ -168,105 +168,100 @@
168
168
  "path": "/home/aztec-dev/aztec-packages/noir-projects/mock-protocol-circuits/crates/mock-types/src/lib.nr"
169
169
  }
170
170
  },
171
- "expression_width": {
172
- "Bounded": {
173
- "width": 4
174
- }
175
- },
176
171
  "verificationKey": {
177
- "bytes": "0000000000000000000000000000000000000000000000000000000000000015000000000000000000000000000000000000000000000000000000000000001b0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000b77f24fb23bf7e8d870a51d9f8d5ad54ba00000000000000000000000000000000002840d40d573bdd8981c2a8b03770ce0000000000000000000000000000009457c4e81dfb6d5b8662300f053168e11200000000000000000000000000000000001da8102ff72a5478d3176b793708800000000000000000000000000000006781b5168dd340f1938282731b5587a00300000000000000000000000000000000002f469cddf4eb23635cd26caaf123b80000000000000000000000000000004be53a4a37c34255beddef8fd1dfd92cec000000000000000000000000000000000027f39dcc3deb499447f6f3f52872c2000000000000000000000000000000673aa14cee858a9b4671918eff245e206400000000000000000000000000000000002326f1739771bea5c8ab5d4df6f45b000000000000000000000000000000b7439d1fbce5842f0a3c43ad9ad96597cd000000000000000000000000000000000008fa9173a8f1c4ad7893886de9fd700000000000000000000000000000002e4b2385733ba9559d6916ac3ccbe376bd00000000000000000000000000000000000eefdd51a223ac4f479c3f0be979ba00000000000000000000000000000056c9c3b0a437e2de9be2b7eca0563293d4000000000000000000000000000000000009ffeb6be2bbfe5d3d12f43f0bb799000000000000000000000000000000fe8d8edab4be17ffb8d5ba1acb9671309c000000000000000000000000000000000024239b22e656b45192c0868f996174000000000000000000000000000000c34dccf2bea61621044b2b87ebe72d12ba00000000000000000000000000000000000cd2e78409dab204c838f4caced4830000000000000000000000000000000b176bdc826e3fbc7cad86f2d50b15088b000000000000000000000000000000000000a4a38d56ee24c022b3c50381878800000000000000000000000000000093ae5c35847588b23e2b843f831e158c36000000000000000000000000000000000005c4a94414c648cf655a4cf5b63f03000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db000000000000000000000000000000000025043141e7a515687c6d80d0853b760000000000000000000000000000003447e05ab4400999c9704862944ef03bb300000000000000000000000000000000000d8d5f85133d06d56249c6463ac023000000000000000000000000000000c6d348d5e3a1cab5099d21a479fee918ad00000000000000000000000000000000002615ae5917d736d8177b771d6dad44000000000000000000000000000000cb8cdf0dc425ed1af8f4d2118cbd8d07400000000000000000000000000000000000277292dec03a1c18baedeb3d26a141000000000000000000000000000000afb5d8b2d8546bf7b155de65eec547f62200000000000000000000000000000000000b976ec7780fb768c5a4799e82c530000000000000000000000000000000d8de06c26db5ae08d53950e9fd9510631d00000000000000000000000000000000001a6e4efdf4ea0417ec205a87d91dc2000000000000000000000000000000aef62132d4c557bcd642c3f5c7599be45c00000000000000000000000000000000001ced8c9fc6f73a605aa5ff6bf942540000000000000000000000000000002ab25b7a4bd84f43e496fdac0c55e9649c000000000000000000000000000000000009a8772e337657ab62432f025ab24b000000000000000000000000000000afb1e0cbcbf797d2981ed59022faf8a413000000000000000000000000000000000024bebb90e113c01c829dc2089c5d5e000000000000000000000000000000554d4e858d2d80a422b9d36b5ecacf0218000000000000000000000000000000000026185529e409d87a578b86b9a5c71b000000000000000000000000000000c97a0ddc1c9e0aadeb7202eba4aae372a20000000000000000000000000000000000019c9ddcdb888f400cf8a4d59c7c52000000000000000000000000000000f6e42e82242bad9d188381fcc3a4e5628800000000000000000000000000000000000d98afdb09a0bf8c87ec24164a22df0000000000000000000000000000001a87aa2bc2896acb03bd97482284e54590000000000000000000000000000000000025ec9db01643c318797e2f045691ad000000000000000000000000000000e053357045d9f06887fed000a4872e021e000000000000000000000000000000000010b6b728ee05f887eb5072a0d96efa0000000000000000000000000000002ad027826e33f3cd6f661b4a3a8054a5cf000000000000000000000000000000000025e041cf65357e4da1a8f7a78723e70000000000000000000000000000005828ab5bb716c709a95ce9872ec78ef38400000000000000000000000000000000001003c5c1c014e3564823da1f1990d5000000000000000000000000000000428015de51a6a1785811b10fd2ba8018eb0000000000000000000000000000000000001dcd22b7ff9f9938565a3f18a558000000000000000000000000000000b3feb6324cbc86f459804db9cdff1357db000000000000000000000000000000000001774b64a9096d9c5060fd05b65b9b0000000000000000000000000000009b9354027a3f3aa1298e8e620fc47b002a00000000000000000000000000000000000802351ab025b6622a7a89f389503f00000000000000000000000000000034ebacff8354deeae58ae787022327032a00000000000000000000000000000000002f828ebfd934af58b1f2166591a119000000000000000000000000000000e744b7f75276dd7ac3e83b6cd5e6d127670000000000000000000000000000000000026482ecd6284aef2632045fad1b48000000000000000000000000000000d857dd6fce19d490ad6a79332f67b5321d00000000000000000000000000000000001dbbca1ec0b4b824ae113ee906322e000000000000000000000000000000f572432f69e1a5ee1c25ddac40e450fbc100000000000000000000000000000000002c2acd918620eb7a60e91c933e8a0300000000000000000000000000000066f9daeff9dab0868d6569930d5e164a3800000000000000000000000000000000000f48ccc86e68136b261120839c92b3000000000000000000000000000000901dbe4b0e9deb4f34905d648d5665bea700000000000000000000000000000000002b6a1ac195674350c55f5f8f6927be000000000000000000000000000000224125cf1646a3f41e191cd86e2a1c200200000000000000000000000000000000001a49b12a1c50f0f85a225e515827fb0000000000000000000000000000005db45f416a28870c4d090c9b43f6b7e5da00000000000000000000000000000000001840f0c92cee9940b4612bfdd195b800000000000000000000000000000068807fe32b1017e18e2e2121fa61842f98000000000000000000000000000000000026406050dc8daa136942f1d65e890b000000000000000000000000000000dc92a2337a297ba82fae6cbc8aa1a8c53a00000000000000000000000000000000002225ebfa6719bff729fe364aa69cf10000000000000000000000000000001d0199850c9c7b308ef12040484e4f385d00000000000000000000000000000000000eb4c3eef76c169425dfaecba414cf00000000000000000000000000000079e5404fb35948a456a06644371a0e7a750000000000000000000000000000000000075c7e2f16c8f92382c55185752a8c000000000000000000000000000000132966c049b1da20d29197884304f529ae000000000000000000000000000000000003efc785799abd312be0f99f0718b000000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d260000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b30000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f00000000000000000000000000000000000015b8d2515d76e2ccec99dcd19459000000000000000000000000000000222b888108dc25d1aa450e0b4bc212c37e00000000000000000000000000000000001b917517920bad3d8bc01c9595092a000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d190000000000000000000000000000000000305e8992b148eedb22e6e992077a8400000000000000000000000000000038ed8da2375186b518c7345c60b1134b2d0000000000000000000000000000000000061f64497996e8915722501e9e36790000000000000000000000000000002ad3d7cb59792e11c0d2691f317fd50e6e00000000000000000000000000000000001b84d38339321f405ebaf6a2f8308400000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff9673619494000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000069e61f9fa7248fed15af7d41e54155aea900000000000000000000000000000000002101cd91dd232436b8e574dc1953d0000000000000000000000000000000ad4ea4b8484ff1367b73e33136f148792e00000000000000000000000000000000002e7ca4beeac24ad9d91b4121c31395",
172
+ "bytes": "0000000000000000000000000000000000000000000000000000000000000015000000000000000000000000000000000000000000000000000000000000000f00000000000000000000000000000000000000000000000000000000000000010000000000000000000000000000001c5b8b2b9c1e6ffd07118869c84e1d80e40000000000000000000000000000000000106c627f496780d778688f362b18580000000000000000000000000000007255ca282ddc029732d4584a84dec3296c00000000000000000000000000000000001de3699a86fef0fcefad662c4502d5000000000000000000000000000000c15c784be46271a937fa1dbc65d528872800000000000000000000000000000000001aaf7c322ecee3af0e3b53e3373c350000000000000000000000000000005da63247f97cfa93773ca7c45a60950c4f00000000000000000000000000000000002b69c13a229af0a65c93601cdc7e770000000000000000000000000000006017c8641161dbd377cbea6686ed9f237200000000000000000000000000000000001cacbd75194cba544500c7226dad760000000000000000000000000000009b26e4ef30f2175c077107abbe964e193a00000000000000000000000000000000000b7955c58a605fb00bb6b17df1ec070000000000000000000000000000001b285b03e9e2589f483a7c92482afb2f1a00000000000000000000000000000000002ab8d47bdacfaf7f2a7ecbdb0f14ce000000000000000000000000000000367a69db03cab91a8783efc91c3faa1b2b000000000000000000000000000000000005648f15dea81ee849942691e617ee000000000000000000000000000000d0a7a31d8c4703faff421ef9dcf625e70300000000000000000000000000000000000ab67089e164c32adb3e5dcd75dff700000000000000000000000000000058cc3191b4ab0264e10f5c5bde57dbffcf0000000000000000000000000000000000291a345de8d5d670e2d040cd45ede700000000000000000000000000000051d84d5a7eedb3e5ecd0bb159b331ffcf80000000000000000000000000000000000277a0e911335d6ab269e114f83d87700000000000000000000000000000068ee9de49555458d692fc69de694d0fbb200000000000000000000000000000000001b227be6f07ec4507b0590ebeca3af000000000000000000000000000000f45b112ec313618ac61a190b1313984c4100000000000000000000000000000000001dd04a8b68480307aebfa87e81eb08000000000000000000000000000000334494a7def076d517537a97baa29dc9b50000000000000000000000000000000000246a2b5e4a48922abc23f807bbc3ae000000000000000000000000000000df13e2df788014f674b7501f9b02d6076d000000000000000000000000000000000022b24c80a83d1a71519b9e63d9dc9c00000000000000000000000000000003076c9565ee0174698ac56c91007f407f000000000000000000000000000000000005884fc7611912e87f42637742ee53000000000000000000000000000000568f3ad70037695c6149304fda0b57d12100000000000000000000000000000000000c25347677d17bb51e4e075504c54b0000000000000000000000000000003438ea34320d9330a011dd82d4e36ec6b500000000000000000000000000000000002f1484deecf12866bfc047aaca07c30000000000000000000000000000000c1d76b6c7821fbb550edb3ca71328302700000000000000000000000000000000000172c0891e41d3c5497d469ff1ed0b0000000000000000000000000000009541ade823492d3a7463efeaf6164aead1000000000000000000000000000000000016b6423bb2146789c2c8ecc9679348000000000000000000000000000000b91f50b55263490c8d1bf5a990bf6c953f000000000000000000000000000000000019d7b39e5f5fc1948a6d2efe90407800000000000000000000000000000033b402dd24576c7b417ca20fca1e905983000000000000000000000000000000000014e3e57c68109a69e3872a3fb8c935000000000000000000000000000000f60e26581f34340274e29e96c7075f5e1000000000000000000000000000000000000aa90c9d427820a50493bf0b91e4890000000000000000000000000000000b863e47058aefe7fe82cb61855f9527cf00000000000000000000000000000000002a1c70ca00187f301ca104b09a8e92000000000000000000000000000000dd3a6909ca146eeacb6c6f11bc7b0a14ce00000000000000000000000000000000001a1a5cbc1d464aca9eae0f8e7be5d2000000000000000000000000000000807c7f0ec401fcd1fc255a12c558bd1bc4000000000000000000000000000000000018c1b1d0bf4478dc82f7b93401373700000000000000000000000000000071392c7c1e1523d5e83da58dc48a5aa20500000000000000000000000000000000001850a21f06bd0d3c325a762d8f953c000000000000000000000000000000d4993169a0b7dc96ab8b5127158f905a2000000000000000000000000000000000001974d69a4cc058118db81e0c4c047e00000000000000000000000000000035e6e63d2904cf1697b303e54a68820d3700000000000000000000000000000000001fc654b134da4dcae73d0c3ac6e9170000000000000000000000000000003d6701793efb1d78ab877a711af43cbb2300000000000000000000000000000000001795e035e381beec34a556ade6e07400000000000000000000000000000065bac28ae0b76d017acb1b5ae9c869e6ad00000000000000000000000000000000000690719effcc1b88ed8f234b6f5b1c000000000000000000000000000000665b615aa68235638c3bb4812fcb91acc1000000000000000000000000000000000020e6dca9dd4b1bc781eecd54fec9af000000000000000000000000000000ac69cc1ad2c51c5d649c90b8a01f29086a000000000000000000000000000000000025c6a724688e716610433cd19ec43c000000000000000000000000000000ea8c2464de3259acb1f6a34c995b2cfce000000000000000000000000000000000001b5783ea5a9c062796045ab34a85450000000000000000000000000000006670ebc98fec71c31b42a5972b199bd1f0000000000000000000000000000000000024c1c1a3e886ca35e63e2de3ba02290000000000000000000000000000009b5578915d7ff6a9ff31b12b5f286e8f0d0000000000000000000000000000000000036743af846d918c096ca4188360620000000000000000000000000000009cb2c95b29501b10667f3f087b9c24c56400000000000000000000000000000000001c5e48ed705627d888cff6856f71830000000000000000000000000000006e435e7105caff2327daf4d58cf09f1f0100000000000000000000000000000000000c2fcf8c1faba7d3538717e40caadc0000000000000000000000000000006c794bd4a90548625075315437e5a2e02000000000000000000000000000000000000a09707de33919a77f02ef0d0a20b7000000000000000000000000000000b4b886089c8acc3edb4a9df58698c12b40000000000000000000000000000000000002f97886b523824a86ec659179d5b10000000000000000000000000000008491f93d67fc15114731392beefba0bbd4000000000000000000000000000000000017b13623a85675a15a9955d6bd0277000000000000000000000000000000776346bdcf2c3d9f25e063818ab5e392ad00000000000000000000000000000000000ed5d3212e65094fb548d0673751e20000000000000000000000000000001a42c5ca2e0ae19bb1230d1de243bed86f0000000000000000000000000000000000007d6bfd3f1dc279f3c1dc6eac07d3000000000000000000000000000000de16cf967ff3bba4cd7263da9e2391b833000000000000000000000000000000000006120f1c0a194a88184abf6cb4542f00000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d260000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b30000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f00000000000000000000000000000000000015b8d2515d76e2ccec99dcd19459000000000000000000000000000000222b888108dc25d1aa450e0b4bc212c37e00000000000000000000000000000000001b917517920bad3d8bc01c9595092a000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d190000000000000000000000000000000000305e8992b148eedb22e6e992077a840000000000000000000000000000007c86847618681dc29d8a9363ab7c40e1c3000000000000000000000000000000000016465a5ccbb550cd2c63bd58116fe4000000000000000000000000000000439973ac12d7ca796d6fe98ca40e6ca6b700000000000000000000000000000000002e24d420fbf9508ed31de692db477b00000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff96736194940000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000e1e57b34aeca45ec93ad9170c3ddfeb27e00000000000000000000000000000000002b8ebebba13122437a6ecbf6c10bee000000000000000000000000000000f747e7e40c2cd2698e1dc72a33a75822cc00000000000000000000000000000000001ab2bcd285528f951e783b5c569236",
178
173
  "fields": [
179
174
  "0x0000000000000000000000000000000000000000000000000000000000000015",
180
- "0x000000000000000000000000000000000000000000000000000000000000001b",
175
+ "0x000000000000000000000000000000000000000000000000000000000000000f",
181
176
  "0x0000000000000000000000000000000000000000000000000000000000000001",
182
- "0x000000000000000000000000000000b77f24fb23bf7e8d870a51d9f8d5ad54ba",
183
- "0x00000000000000000000000000000000002840d40d573bdd8981c2a8b03770ce",
184
- "0x0000000000000000000000000000009457c4e81dfb6d5b8662300f053168e112",
185
- "0x00000000000000000000000000000000001da8102ff72a5478d3176b79370880",
186
- "0x0000000000000000000000000000006781b5168dd340f1938282731b5587a003",
187
- "0x00000000000000000000000000000000002f469cddf4eb23635cd26caaf123b8",
188
- "0x0000000000000000000000000000004be53a4a37c34255beddef8fd1dfd92cec",
189
- "0x000000000000000000000000000000000027f39dcc3deb499447f6f3f52872c2",
190
- "0x000000000000000000000000000000673aa14cee858a9b4671918eff245e2064",
191
- "0x00000000000000000000000000000000002326f1739771bea5c8ab5d4df6f45b",
192
- "0x000000000000000000000000000000b7439d1fbce5842f0a3c43ad9ad96597cd",
193
- "0x000000000000000000000000000000000008fa9173a8f1c4ad7893886de9fd70",
194
- "0x0000000000000000000000000000002e4b2385733ba9559d6916ac3ccbe376bd",
195
- "0x00000000000000000000000000000000000eefdd51a223ac4f479c3f0be979ba",
196
- "0x00000000000000000000000000000056c9c3b0a437e2de9be2b7eca0563293d4",
197
- "0x000000000000000000000000000000000009ffeb6be2bbfe5d3d12f43f0bb799",
198
- "0x000000000000000000000000000000fe8d8edab4be17ffb8d5ba1acb9671309c",
199
- "0x000000000000000000000000000000000024239b22e656b45192c0868f996174",
200
- "0x000000000000000000000000000000c34dccf2bea61621044b2b87ebe72d12ba",
201
- "0x00000000000000000000000000000000000cd2e78409dab204c838f4caced483",
202
- "0x0000000000000000000000000000000b176bdc826e3fbc7cad86f2d50b15088b",
203
- "0x000000000000000000000000000000000000a4a38d56ee24c022b3c503818788",
204
- "0x00000000000000000000000000000093ae5c35847588b23e2b843f831e158c36",
205
- "0x000000000000000000000000000000000005c4a94414c648cf655a4cf5b63f03",
206
- "0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db",
207
- "0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76",
208
- "0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3",
209
- "0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023",
210
- "0x000000000000000000000000000000c6d348d5e3a1cab5099d21a479fee918ad",
211
- "0x00000000000000000000000000000000002615ae5917d736d8177b771d6dad44",
212
- "0x000000000000000000000000000000cb8cdf0dc425ed1af8f4d2118cbd8d0740",
213
- "0x0000000000000000000000000000000000277292dec03a1c18baedeb3d26a141",
214
- "0x000000000000000000000000000000afb5d8b2d8546bf7b155de65eec547f622",
215
- "0x00000000000000000000000000000000000b976ec7780fb768c5a4799e82c530",
216
- "0x000000000000000000000000000000d8de06c26db5ae08d53950e9fd9510631d",
217
- "0x00000000000000000000000000000000001a6e4efdf4ea0417ec205a87d91dc2",
218
- "0x000000000000000000000000000000aef62132d4c557bcd642c3f5c7599be45c",
219
- "0x00000000000000000000000000000000001ced8c9fc6f73a605aa5ff6bf94254",
220
- "0x0000000000000000000000000000002ab25b7a4bd84f43e496fdac0c55e9649c",
221
- "0x000000000000000000000000000000000009a8772e337657ab62432f025ab24b",
222
- "0x000000000000000000000000000000afb1e0cbcbf797d2981ed59022faf8a413",
223
- "0x000000000000000000000000000000000024bebb90e113c01c829dc2089c5d5e",
224
- "0x000000000000000000000000000000554d4e858d2d80a422b9d36b5ecacf0218",
225
- "0x000000000000000000000000000000000026185529e409d87a578b86b9a5c71b",
226
- "0x000000000000000000000000000000c97a0ddc1c9e0aadeb7202eba4aae372a2",
227
- "0x0000000000000000000000000000000000019c9ddcdb888f400cf8a4d59c7c52",
228
- "0x000000000000000000000000000000f6e42e82242bad9d188381fcc3a4e56288",
229
- "0x00000000000000000000000000000000000d98afdb09a0bf8c87ec24164a22df",
230
- "0x0000000000000000000000000000001a87aa2bc2896acb03bd97482284e54590",
231
- "0x000000000000000000000000000000000025ec9db01643c318797e2f045691ad",
232
- "0x000000000000000000000000000000e053357045d9f06887fed000a4872e021e",
233
- "0x000000000000000000000000000000000010b6b728ee05f887eb5072a0d96efa",
234
- "0x0000000000000000000000000000002ad027826e33f3cd6f661b4a3a8054a5cf",
235
- "0x000000000000000000000000000000000025e041cf65357e4da1a8f7a78723e7",
236
- "0x0000000000000000000000000000005828ab5bb716c709a95ce9872ec78ef384",
237
- "0x00000000000000000000000000000000001003c5c1c014e3564823da1f1990d5",
238
- "0x000000000000000000000000000000428015de51a6a1785811b10fd2ba8018eb",
239
- "0x0000000000000000000000000000000000001dcd22b7ff9f9938565a3f18a558",
240
- "0x000000000000000000000000000000b3feb6324cbc86f459804db9cdff1357db",
241
- "0x000000000000000000000000000000000001774b64a9096d9c5060fd05b65b9b",
242
- "0x0000000000000000000000000000009b9354027a3f3aa1298e8e620fc47b002a",
243
- "0x00000000000000000000000000000000000802351ab025b6622a7a89f389503f",
244
- "0x00000000000000000000000000000034ebacff8354deeae58ae787022327032a",
245
- "0x00000000000000000000000000000000002f828ebfd934af58b1f2166591a119",
246
- "0x000000000000000000000000000000e744b7f75276dd7ac3e83b6cd5e6d12767",
247
- "0x0000000000000000000000000000000000026482ecd6284aef2632045fad1b48",
248
- "0x000000000000000000000000000000d857dd6fce19d490ad6a79332f67b5321d",
249
- "0x00000000000000000000000000000000001dbbca1ec0b4b824ae113ee906322e",
250
- "0x000000000000000000000000000000f572432f69e1a5ee1c25ddac40e450fbc1",
251
- "0x00000000000000000000000000000000002c2acd918620eb7a60e91c933e8a03",
252
- "0x00000000000000000000000000000066f9daeff9dab0868d6569930d5e164a38",
253
- "0x00000000000000000000000000000000000f48ccc86e68136b261120839c92b3",
254
- "0x000000000000000000000000000000901dbe4b0e9deb4f34905d648d5665bea7",
255
- "0x00000000000000000000000000000000002b6a1ac195674350c55f5f8f6927be",
256
- "0x000000000000000000000000000000224125cf1646a3f41e191cd86e2a1c2002",
257
- "0x00000000000000000000000000000000001a49b12a1c50f0f85a225e515827fb",
258
- "0x0000000000000000000000000000005db45f416a28870c4d090c9b43f6b7e5da",
259
- "0x00000000000000000000000000000000001840f0c92cee9940b4612bfdd195b8",
260
- "0x00000000000000000000000000000068807fe32b1017e18e2e2121fa61842f98",
261
- "0x000000000000000000000000000000000026406050dc8daa136942f1d65e890b",
262
- "0x000000000000000000000000000000dc92a2337a297ba82fae6cbc8aa1a8c53a",
263
- "0x00000000000000000000000000000000002225ebfa6719bff729fe364aa69cf1",
264
- "0x0000000000000000000000000000001d0199850c9c7b308ef12040484e4f385d",
265
- "0x00000000000000000000000000000000000eb4c3eef76c169425dfaecba414cf",
266
- "0x00000000000000000000000000000079e5404fb35948a456a06644371a0e7a75",
267
- "0x0000000000000000000000000000000000075c7e2f16c8f92382c55185752a8c",
268
- "0x000000000000000000000000000000132966c049b1da20d29197884304f529ae",
269
- "0x000000000000000000000000000000000003efc785799abd312be0f99f0718b0",
177
+ "0x0000000000000000000000000000001c5b8b2b9c1e6ffd07118869c84e1d80e4",
178
+ "0x0000000000000000000000000000000000106c627f496780d778688f362b1858",
179
+ "0x0000000000000000000000000000007255ca282ddc029732d4584a84dec3296c",
180
+ "0x00000000000000000000000000000000001de3699a86fef0fcefad662c4502d5",
181
+ "0x000000000000000000000000000000c15c784be46271a937fa1dbc65d5288728",
182
+ "0x00000000000000000000000000000000001aaf7c322ecee3af0e3b53e3373c35",
183
+ "0x0000000000000000000000000000005da63247f97cfa93773ca7c45a60950c4f",
184
+ "0x00000000000000000000000000000000002b69c13a229af0a65c93601cdc7e77",
185
+ "0x0000000000000000000000000000006017c8641161dbd377cbea6686ed9f2372",
186
+ "0x00000000000000000000000000000000001cacbd75194cba544500c7226dad76",
187
+ "0x0000000000000000000000000000009b26e4ef30f2175c077107abbe964e193a",
188
+ "0x00000000000000000000000000000000000b7955c58a605fb00bb6b17df1ec07",
189
+ "0x0000000000000000000000000000001b285b03e9e2589f483a7c92482afb2f1a",
190
+ "0x00000000000000000000000000000000002ab8d47bdacfaf7f2a7ecbdb0f14ce",
191
+ "0x000000000000000000000000000000367a69db03cab91a8783efc91c3faa1b2b",
192
+ "0x000000000000000000000000000000000005648f15dea81ee849942691e617ee",
193
+ "0x000000000000000000000000000000d0a7a31d8c4703faff421ef9dcf625e703",
194
+ "0x00000000000000000000000000000000000ab67089e164c32adb3e5dcd75dff7",
195
+ "0x00000000000000000000000000000058cc3191b4ab0264e10f5c5bde57dbffcf",
196
+ "0x0000000000000000000000000000000000291a345de8d5d670e2d040cd45ede7",
197
+ "0x00000000000000000000000000000051d84d5a7eedb3e5ecd0bb159b331ffcf8",
198
+ "0x0000000000000000000000000000000000277a0e911335d6ab269e114f83d877",
199
+ "0x00000000000000000000000000000068ee9de49555458d692fc69de694d0fbb2",
200
+ "0x00000000000000000000000000000000001b227be6f07ec4507b0590ebeca3af",
201
+ "0x000000000000000000000000000000f45b112ec313618ac61a190b1313984c41",
202
+ "0x00000000000000000000000000000000001dd04a8b68480307aebfa87e81eb08",
203
+ "0x000000000000000000000000000000334494a7def076d517537a97baa29dc9b5",
204
+ "0x0000000000000000000000000000000000246a2b5e4a48922abc23f807bbc3ae",
205
+ "0x000000000000000000000000000000df13e2df788014f674b7501f9b02d6076d",
206
+ "0x000000000000000000000000000000000022b24c80a83d1a71519b9e63d9dc9c",
207
+ "0x00000000000000000000000000000003076c9565ee0174698ac56c91007f407f",
208
+ "0x000000000000000000000000000000000005884fc7611912e87f42637742ee53",
209
+ "0x000000000000000000000000000000568f3ad70037695c6149304fda0b57d121",
210
+ "0x00000000000000000000000000000000000c25347677d17bb51e4e075504c54b",
211
+ "0x0000000000000000000000000000003438ea34320d9330a011dd82d4e36ec6b5",
212
+ "0x00000000000000000000000000000000002f1484deecf12866bfc047aaca07c3",
213
+ "0x0000000000000000000000000000000c1d76b6c7821fbb550edb3ca713283027",
214
+ "0x00000000000000000000000000000000000172c0891e41d3c5497d469ff1ed0b",
215
+ "0x0000000000000000000000000000009541ade823492d3a7463efeaf6164aead1",
216
+ "0x000000000000000000000000000000000016b6423bb2146789c2c8ecc9679348",
217
+ "0x000000000000000000000000000000b91f50b55263490c8d1bf5a990bf6c953f",
218
+ "0x000000000000000000000000000000000019d7b39e5f5fc1948a6d2efe904078",
219
+ "0x00000000000000000000000000000033b402dd24576c7b417ca20fca1e905983",
220
+ "0x000000000000000000000000000000000014e3e57c68109a69e3872a3fb8c935",
221
+ "0x000000000000000000000000000000f60e26581f34340274e29e96c7075f5e10",
222
+ "0x00000000000000000000000000000000000aa90c9d427820a50493bf0b91e489",
223
+ "0x0000000000000000000000000000000b863e47058aefe7fe82cb61855f9527cf",
224
+ "0x00000000000000000000000000000000002a1c70ca00187f301ca104b09a8e92",
225
+ "0x000000000000000000000000000000dd3a6909ca146eeacb6c6f11bc7b0a14ce",
226
+ "0x00000000000000000000000000000000001a1a5cbc1d464aca9eae0f8e7be5d2",
227
+ "0x000000000000000000000000000000807c7f0ec401fcd1fc255a12c558bd1bc4",
228
+ "0x000000000000000000000000000000000018c1b1d0bf4478dc82f7b934013737",
229
+ "0x00000000000000000000000000000071392c7c1e1523d5e83da58dc48a5aa205",
230
+ "0x00000000000000000000000000000000001850a21f06bd0d3c325a762d8f953c",
231
+ "0x000000000000000000000000000000d4993169a0b7dc96ab8b5127158f905a20",
232
+ "0x00000000000000000000000000000000001974d69a4cc058118db81e0c4c047e",
233
+ "0x00000000000000000000000000000035e6e63d2904cf1697b303e54a68820d37",
234
+ "0x00000000000000000000000000000000001fc654b134da4dcae73d0c3ac6e917",
235
+ "0x0000000000000000000000000000003d6701793efb1d78ab877a711af43cbb23",
236
+ "0x00000000000000000000000000000000001795e035e381beec34a556ade6e074",
237
+ "0x00000000000000000000000000000065bac28ae0b76d017acb1b5ae9c869e6ad",
238
+ "0x00000000000000000000000000000000000690719effcc1b88ed8f234b6f5b1c",
239
+ "0x000000000000000000000000000000665b615aa68235638c3bb4812fcb91acc1",
240
+ "0x000000000000000000000000000000000020e6dca9dd4b1bc781eecd54fec9af",
241
+ "0x000000000000000000000000000000ac69cc1ad2c51c5d649c90b8a01f29086a",
242
+ "0x000000000000000000000000000000000025c6a724688e716610433cd19ec43c",
243
+ "0x000000000000000000000000000000ea8c2464de3259acb1f6a34c995b2cfce0",
244
+ "0x00000000000000000000000000000000001b5783ea5a9c062796045ab34a8545",
245
+ "0x0000000000000000000000000000006670ebc98fec71c31b42a5972b199bd1f0",
246
+ "0x000000000000000000000000000000000024c1c1a3e886ca35e63e2de3ba0229",
247
+ "0x0000000000000000000000000000009b5578915d7ff6a9ff31b12b5f286e8f0d",
248
+ "0x0000000000000000000000000000000000036743af846d918c096ca418836062",
249
+ "0x0000000000000000000000000000009cb2c95b29501b10667f3f087b9c24c564",
250
+ "0x00000000000000000000000000000000001c5e48ed705627d888cff6856f7183",
251
+ "0x0000000000000000000000000000006e435e7105caff2327daf4d58cf09f1f01",
252
+ "0x00000000000000000000000000000000000c2fcf8c1faba7d3538717e40caadc",
253
+ "0x0000000000000000000000000000006c794bd4a90548625075315437e5a2e020",
254
+ "0x00000000000000000000000000000000000a09707de33919a77f02ef0d0a20b7",
255
+ "0x000000000000000000000000000000b4b886089c8acc3edb4a9df58698c12b40",
256
+ "0x000000000000000000000000000000000002f97886b523824a86ec659179d5b1",
257
+ "0x0000000000000000000000000000008491f93d67fc15114731392beefba0bbd4",
258
+ "0x000000000000000000000000000000000017b13623a85675a15a9955d6bd0277",
259
+ "0x000000000000000000000000000000776346bdcf2c3d9f25e063818ab5e392ad",
260
+ "0x00000000000000000000000000000000000ed5d3212e65094fb548d0673751e2",
261
+ "0x0000000000000000000000000000001a42c5ca2e0ae19bb1230d1de243bed86f",
262
+ "0x0000000000000000000000000000000000007d6bfd3f1dc279f3c1dc6eac07d3",
263
+ "0x000000000000000000000000000000de16cf967ff3bba4cd7263da9e2391b833",
264
+ "0x000000000000000000000000000000000006120f1c0a194a88184abf6cb4542f",
270
265
  "0x00000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d26",
271
266
  "0x0000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b3",
272
267
  "0x0000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f",
@@ -275,10 +270,10 @@
275
270
  "0x00000000000000000000000000000000001b917517920bad3d8bc01c9595092a",
276
271
  "0x000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d19",
277
272
  "0x0000000000000000000000000000000000305e8992b148eedb22e6e992077a84",
278
- "0x00000000000000000000000000000038ed8da2375186b518c7345c60b1134b2d",
279
- "0x0000000000000000000000000000000000061f64497996e8915722501e9e3679",
280
- "0x0000000000000000000000000000002ad3d7cb59792e11c0d2691f317fd50e6e",
281
- "0x00000000000000000000000000000000001b84d38339321f405ebaf6a2f83084",
273
+ "0x0000000000000000000000000000007c86847618681dc29d8a9363ab7c40e1c3",
274
+ "0x000000000000000000000000000000000016465a5ccbb550cd2c63bd58116fe4",
275
+ "0x000000000000000000000000000000439973ac12d7ca796d6fe98ca40e6ca6b7",
276
+ "0x00000000000000000000000000000000002e24d420fbf9508ed31de692db477b",
282
277
  "0x00000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce",
283
278
  "0x0000000000000000000000000000000000043d063b130adfb37342af45d0155a",
284
279
  "0x0000000000000000000000000000009330952ae74c573d1686d9cb4a00733854",
@@ -287,11 +282,11 @@
287
282
  "0x0000000000000000000000000000000000000000000000000000000000000000",
288
283
  "0x0000000000000000000000000000000000000000000000000000000000000002",
289
284
  "0x0000000000000000000000000000000000000000000000000000000000000000",
290
- "0x00000000000000000000000000000069e61f9fa7248fed15af7d41e54155aea9",
291
- "0x00000000000000000000000000000000002101cd91dd232436b8e574dc1953d0",
292
- "0x000000000000000000000000000000ad4ea4b8484ff1367b73e33136f148792e",
293
- "0x00000000000000000000000000000000002e7ca4beeac24ad9d91b4121c31395"
285
+ "0x000000000000000000000000000000e1e57b34aeca45ec93ad9170c3ddfeb27e",
286
+ "0x00000000000000000000000000000000002b8ebebba13122437a6ecbf6c10bee",
287
+ "0x000000000000000000000000000000f747e7e40c2cd2698e1dc72a33a75822cc",
288
+ "0x00000000000000000000000000000000001ab2bcd285528f951e783b5c569236"
294
289
  ],
295
- "hash": "128c563d43103aa0d81abdd3625a05dc5e22ce94270e1e78234fcc2c25333288"
290
+ "hash": "1dda10302a47d5e291d8d748d656581060c43491b6b248ea708fb4d56f458481"
296
291
  }
297
292
  }
@@ -4,13 +4,11 @@ import type { Logger } from '@aztec/foundation/log';
4
4
  import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm';
5
5
  import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
6
6
  import { RecursiveProof } from '@aztec/stdlib/proofs';
7
- import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
8
7
  export declare function proofBytesToRecursiveProof(proofAsFields: Uint8Array[], vkBytes: Uint8Array): Promise<RecursiveProof<typeof CHONK_PROOF_LENGTH>>;
9
- export declare function proveRollupHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<531>>;
10
- export declare function proveKeccakHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<457>>;
11
- export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, workingDirectory: string, logger: Logger, skipPublicInputsValidation?: boolean): Promise<{
12
- vk: VerificationKeyAsFields;
8
+ export declare function proveRollupHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<519>>;
9
+ export declare function proveKeccakHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<449>>;
10
+ export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, workingDirectory: string, logger: Logger): Promise<{
13
11
  proof: Fr[];
14
12
  publicInputs: AvmCircuitPublicInputs;
15
13
  }>;
16
- //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVfbmF0aXZlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVfbmF0aXZlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVlBLE9BQU8sRUFHTCxrQkFBa0IsRUFJbkIsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUVsRixPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQzlELE9BQU8sRUFBUyxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUU3RCxPQUFPLEVBQUUsdUJBQXVCLEVBQXVCLE1BQU0sbUJBQW1CLENBQUM7QUFLakYsd0JBQXNCLDBCQUEwQixDQUM5QyxhQUFhLEVBQUUsVUFBVSxFQUFFLEVBQzNCLE9BQU8sRUFBRSxVQUFVLEdBQ2xCLE9BQU8sQ0FBQyxjQUFjLENBQUMsT0FBTyxrQkFBa0IsQ0FBQyxDQUFDLENBZXBEO0FBNERELHdCQUFnQixlQUFlLENBQzdCLElBQUksRUFBRSxNQUFNLEVBQ1osUUFBUSxFQUFFLE1BQU0sRUFDaEIsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixPQUFPLEVBQUUsbUJBQW1CLEVBQzVCLE9BQU8sRUFBRSxVQUFVLEVBQ25CLE1BQU0sRUFBRSxNQUFNLG1GQVlmO0FBRUQsd0JBQWdCLGVBQWUsQ0FDN0IsSUFBSSxFQUFFLE1BQU0sRUFDWixRQUFRLEVBQUUsTUFBTSxFQUNoQixnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLE9BQU8sRUFBRSxtQkFBbUIsRUFDNUIsT0FBTyxFQUFFLFVBQVUsRUFDbkIsTUFBTSxFQUFFLE1BQU0sbUZBWWY7QUFFRCx3QkFBc0IsUUFBUSxDQUM1QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixNQUFNLEVBQUUsTUFBTSxFQUNkLDBCQUEwQixHQUFFLE9BQWUsR0FDMUMsT0FBTyxDQUFDO0lBQ1QsRUFBRSxFQUFFLHVCQUF1QixDQUFDO0lBQzVCLEtBQUssRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNaLFlBQVksRUFBRSxzQkFBc0IsQ0FBQztDQUN0QyxDQUFDLENBc0VEIn0=
14
+ //# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVfbmF0aXZlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVfbmF0aXZlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVlBLE9BQU8sRUFFTCxrQkFBa0IsRUFJbkIsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUVsRixPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQzlELE9BQU8sRUFBUyxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQU03RCx3QkFBc0IsMEJBQTBCLENBQzlDLGFBQWEsRUFBRSxVQUFVLEVBQUUsRUFDM0IsT0FBTyxFQUFFLFVBQVUsR0FDbEIsT0FBTyxDQUFDLGNBQWMsQ0FBQyxPQUFPLGtCQUFrQixDQUFDLENBQUMsQ0FlcEQ7QUE0REQsd0JBQWdCLGVBQWUsQ0FDN0IsSUFBSSxFQUFFLE1BQU0sRUFDWixRQUFRLEVBQUUsTUFBTSxFQUNoQixnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLE9BQU8sRUFBRSxtQkFBbUIsRUFDNUIsT0FBTyxFQUFFLFVBQVUsRUFDbkIsTUFBTSxFQUFFLE1BQU0sbUZBWWY7QUFFRCx3QkFBZ0IsZUFBZSxDQUM3QixJQUFJLEVBQUUsTUFBTSxFQUNaLFFBQVEsRUFBRSxNQUFNLEVBQ2hCLGdCQUFnQixFQUFFLE1BQU0sRUFDeEIsT0FBTyxFQUFFLG1CQUFtQixFQUM1QixPQUFPLEVBQUUsVUFBVSxFQUNuQixNQUFNLEVBQUUsTUFBTSxtRkFZZjtBQUVELHdCQUFzQixRQUFRLENBQzVCLGdCQUFnQixFQUFFLGdCQUFnQixFQUNsQyxnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLE1BQU0sRUFBRSxNQUFNLEdBQ2IsT0FBTyxDQUFDO0lBQ1QsS0FBSyxFQUFFLEVBQUUsRUFBRSxDQUFDO0lBQ1osWUFBWSxFQUFFLHNCQUFzQixDQUFDO0NBQ3RDLENBQUMsQ0ErQ0QifQ==
@@ -1 +1 @@
1
- {"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"AAYA,OAAO,EAGL,kBAAkB,EAInB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAElF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAS,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAE7D,OAAO,EAAE,uBAAuB,EAAuB,MAAM,mBAAmB,CAAC;AAKjF,wBAAsB,0BAA0B,CAC9C,aAAa,EAAE,UAAU,EAAE,EAC3B,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,cAAc,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAepD;AA4DD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAsB,QAAQ,CAC5B,gBAAgB,EAAE,gBAAgB,EAClC,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,MAAM,EACd,0BAA0B,GAAE,OAAe,GAC1C,OAAO,CAAC;IACT,EAAE,EAAE,uBAAuB,CAAC;IAC5B,KAAK,EAAE,EAAE,EAAE,CAAC;IACZ,YAAY,EAAE,sBAAsB,CAAC;CACtC,CAAC,CAsED"}
1
+ {"version":3,"file":"prove_native.d.ts","sourceRoot":"","sources":["../src/prove_native.ts"],"names":[],"mappings":"AAYA,OAAO,EAEL,kBAAkB,EAInB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,mBAAmB,CAAC;AAElF,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAC9D,OAAO,EAAS,cAAc,EAAE,MAAM,sBAAsB,CAAC;AAM7D,wBAAsB,0BAA0B,CAC9C,aAAa,EAAE,UAAU,EAAE,EAC3B,OAAO,EAAE,UAAU,GAClB,OAAO,CAAC,cAAc,CAAC,OAAO,kBAAkB,CAAC,CAAC,CAepD;AA4DD,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAgB,eAAe,CAC7B,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,OAAO,EAAE,mBAAmB,EAC5B,OAAO,EAAE,UAAU,EACnB,MAAM,EAAE,MAAM,mFAYf;AAED,wBAAsB,QAAQ,CAC5B,gBAAgB,EAAE,gBAAgB,EAClC,gBAAgB,EAAE,MAAM,EACxB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC;IACT,KAAK,EAAE,EAAE,EAAE,CAAC;IACZ,YAAY,EAAE,sBAAsB,CAAC;CACtC,CAAC,CA+CD"}
@@ -1,10 +1,9 @@
1
1
  import { BB_RESULT, PROOF_FILENAME, PUBLIC_INPUTS_FILENAME, VK_FILENAME, generateAvmProof, generateProof, readProofsFromOutputDirectory, verifyAvmProof, verifyProof } from '@aztec/bb-prover';
2
- import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED, CHONK_PROOF_LENGTH, HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE, NESTED_RECURSIVE_PROOF_LENGTH, RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
2
+ import { AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED, CHONK_PROOF_LENGTH, HIDING_KERNEL_IO_PUBLIC_INPUTS_SIZE, NESTED_RECURSIVE_PROOF_LENGTH, RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
3
3
  import { Fr } from '@aztec/foundation/curves/bn254';
4
4
  import { BufferReader } from '@aztec/foundation/serialize';
5
5
  import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
6
6
  import { Proof, RecursiveProof } from '@aztec/stdlib/proofs';
7
- import { enhanceProofWithPiValidationFlag } from '@aztec/stdlib/rollup';
8
7
  import { VerificationKeyAsFields, VerificationKeyData } from '@aztec/stdlib/vks';
9
8
  import * as fs from 'fs/promises';
10
9
  import * as path from 'path';
@@ -53,7 +52,7 @@ export function proveRollupHonk(name, pathToBB, workingDirectory, circuit, witne
53
52
  export function proveKeccakHonk(name, pathToBB, workingDirectory, circuit, witness, logger) {
54
53
  return proveRollupCircuit(name, pathToBB, workingDirectory, circuit, witness, logger, 'ultra_keccak_honk', NESTED_RECURSIVE_PROOF_LENGTH);
55
54
  }
56
- export async function proveAvm(avmCircuitInputs, workingDirectory, logger, skipPublicInputsValidation = false) {
55
+ export async function proveAvm(avmCircuitInputs, workingDirectory, logger) {
57
56
  // The paths for the barretenberg binary and the write path are hardcoded for now.
58
57
  const bbPath = path.resolve('../../barretenberg/cpp/build/bin/bb-avm');
59
58
  // Then we prove.
@@ -64,10 +63,7 @@ export async function proveAvm(avmCircuitInputs, workingDirectory, logger, skipP
64
63
  throw new Error(`AVM V2 proof already exists`);
65
64
  }
66
65
  const avmProofPath = proofRes.proofPath;
67
- const avmVkDirectoryPath = proofRes.vkDirectoryPath;
68
66
  expect(avmProofPath).toBeDefined();
69
- expect(avmVkDirectoryPath).toBeDefined();
70
- const avmVkPath = path.join(proofRes.vkDirectoryPath, VK_FILENAME);
71
67
  // Read the binary proof
72
68
  const avmProofBuffer = await fs.readFile(avmProofPath);
73
69
  const reader = BufferReader.asReader(avmProofBuffer);
@@ -81,28 +77,12 @@ export async function proveAvm(avmCircuitInputs, workingDirectory, logger, skipP
81
77
  while(proof.length < AVM_V2_PROOF_LENGTH_IN_FIELDS_PADDED){
82
78
  proof.push(new Fr(0));
83
79
  }
84
- // Read the key
85
- const vkBuffer = await fs.readFile(avmVkPath);
86
- const vkReader = BufferReader.asReader(vkBuffer);
87
- const vk = [];
88
- while(!vkReader.isEmpty()){
89
- vk.push(Fr.fromBuffer(vkReader));
90
- }
91
- // We extend to a fixed-size padded vk as during development any new AVM circuit precomputed
92
- // column changes the vk length and we do not have a mechanism to feedback a cpp constant to noir/TS.
93
- // TODO(#13390): Revive a non-padded vk proof
94
- while(vk.length < AVM_V2_VERIFICATION_KEY_LENGTH_IN_FIELDS_PADDED){
95
- vk.push(new Fr(0));
96
- }
97
- const verificationResult = await verifyAvmProof(bbPath, workingDirectory, proofRes.proofPath, avmCircuitInputs.publicInputs, path.join(proofRes.vkDirectoryPath, VK_FILENAME), logger);
80
+ const verificationResult = await verifyAvmProof(bbPath, workingDirectory, proofRes.proofPath, avmCircuitInputs.publicInputs, logger);
98
81
  if (verificationResult.status === BB_RESULT.FAILURE) {
99
82
  throw new Error(`AVM V2 proof verification failed: ${verificationResult.reason}`);
100
83
  }
101
- // TODO(#14234)[Unconditional PIs validation]: Remove next lines and return proof instead of proofWithPublicInputsValidationFlag
102
- const proofWithPublicInputsValidationFlag = enhanceProofWithPiValidationFlag(proof, skipPublicInputsValidation);
103
84
  return {
104
- proof: proofWithPublicInputsValidationFlag,
105
- vk: await VerificationKeyAsFields.fromKey(vk),
85
+ proof,
106
86
  publicInputs: avmCircuitInputs.publicInputs
107
87
  };
108
88
  }
@@ -28,7 +28,7 @@ export type PrivateKernelPublicInputs = {
28
28
  };
29
29
  export type ChonkProofData = {
30
30
  public_inputs: KernelPublicInputs;
31
- proof: FixedLengthArray<Field, 1963>;
31
+ proof: FixedLengthArray<Field, 1935>;
32
32
  vk_data: VerificationKey<127>;
33
33
  };
34
34
  export type AvmCircuitPublicInputs = {
@@ -153,7 +153,7 @@ export type RollupPublicInputs = {
153
153
  };
154
154
  export type PreviousRollupData = {
155
155
  base_or_merge_public_inputs: RollupPublicInputs;
156
- proof: FixedLengthArray<Field, 531>;
156
+ proof: FixedLengthArray<Field, 519>;
157
157
  vk: VerificationKey<115>;
158
158
  };
159
159
  export type AppCreatorInputType = {
@@ -202,11 +202,11 @@ export type MockPrivateKernelTailReturnType = KernelPublicInputs;
202
202
  export declare function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<127>, MockPrivateKernelTail_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<KernelPublicInputs>;
203
203
  export type MockRollupTxBasePublicInputType = {
204
204
  chonk_proof_data: ChonkProofData;
205
- proof: FixedLengthArray<Field, 20000>;
205
+ proof: FixedLengthArray<Field, 16200>;
206
206
  public_inputs: AvmCircuitPublicInputs;
207
207
  };
208
208
  export type MockRollupTxBasePublicReturnType = RollupPublicInputs;
209
- export declare function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 20000>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
209
+ export declare function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 16200>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
210
210
  export type MockRollupTxBasePrivateInputType = {
211
211
  chonk_proof_data: ChonkProofData;
212
212
  };
package/package.json CHANGED
@@ -1,6 +1,6 @@
1
1
  {
2
2
  "name": "@aztec/ivc-integration",
3
- "version": "3.0.3",
3
+ "version": "4.0.0-devnet.1-patch.0",
4
4
  "type": "module",
5
5
  "exports": {
6
6
  ".": "./dest/index.js",
@@ -11,7 +11,7 @@
11
11
  "./package.local.json"
12
12
  ],
13
13
  "scripts": {
14
- "build": "yarn clean && yarn generate && tsgo -b && webpack",
14
+ "build": "yarn clean && yarn generate && ../scripts/tsc.sh && webpack",
15
15
  "clean": "rm -rf ./dest ./dist .tsbuildinfo src/types artifacts",
16
16
  "formatting:fix:types": "NODE_OPTIONS='--max-old-space-size=8096' run -T eslint --fix ./src/types && run -T prettier -w ./src/types",
17
17
  "generate": "yarn generate:noir-circuits",
@@ -59,14 +59,14 @@
59
59
  ]
60
60
  },
61
61
  "dependencies": {
62
- "@aztec/bb.js": "3.0.3",
63
- "@aztec/constants": "3.0.3",
64
- "@aztec/foundation": "3.0.3",
65
- "@aztec/noir-noir_codegen": "3.0.3",
66
- "@aztec/noir-noir_js": "3.0.3",
67
- "@aztec/noir-noirc_abi": "3.0.3",
68
- "@aztec/noir-types": "3.0.3",
69
- "@aztec/stdlib": "3.0.3",
62
+ "@aztec/bb.js": "4.0.0-devnet.1-patch.0",
63
+ "@aztec/constants": "4.0.0-devnet.1-patch.0",
64
+ "@aztec/foundation": "4.0.0-devnet.1-patch.0",
65
+ "@aztec/noir-noir_codegen": "4.0.0-devnet.1-patch.0",
66
+ "@aztec/noir-noir_js": "4.0.0-devnet.1-patch.0",
67
+ "@aztec/noir-noirc_abi": "4.0.0-devnet.1-patch.0",
68
+ "@aztec/noir-types": "4.0.0-devnet.1-patch.0",
69
+ "@aztec/stdlib": "4.0.0-devnet.1-patch.0",
70
70
  "change-case": "^5.4.4",
71
71
  "pako": "^2.1.0",
72
72
  "playwright": "1.49.0",
@@ -74,19 +74,19 @@
74
74
  "tslib": "^2.4.0"
75
75
  },
76
76
  "devDependencies": {
77
- "@aztec/bb-prover": "3.0.3",
78
- "@aztec/kv-store": "3.0.3",
79
- "@aztec/noir-protocol-circuits-types": "3.0.3",
80
- "@aztec/noir-test-contracts.js": "3.0.3",
81
- "@aztec/simulator": "3.0.3",
82
- "@aztec/telemetry-client": "3.0.3",
83
- "@aztec/world-state": "3.0.3",
77
+ "@aztec/bb-prover": "4.0.0-devnet.1-patch.0",
78
+ "@aztec/kv-store": "4.0.0-devnet.1-patch.0",
79
+ "@aztec/noir-protocol-circuits-types": "4.0.0-devnet.1-patch.0",
80
+ "@aztec/noir-test-contracts.js": "4.0.0-devnet.1-patch.0",
81
+ "@aztec/simulator": "4.0.0-devnet.1-patch.0",
82
+ "@aztec/telemetry-client": "4.0.0-devnet.1-patch.0",
83
+ "@aztec/world-state": "4.0.0-devnet.1-patch.0",
84
84
  "@jest/globals": "^30.0.0",
85
85
  "@playwright/test": "1.49.0",
86
86
  "@types/jest": "^30.0.0",
87
87
  "@types/node": "^22.15.17",
88
88
  "@types/pako": "^2.0.3",
89
- "@typescript/native-preview": "7.0.0-dev.20251126.1",
89
+ "@typescript/native-preview": "7.0.0-dev.20260113.1",
90
90
  "copy-webpack-plugin": "^12.0.2",
91
91
  "html-webpack-plugin": "^5.6.0",
92
92
  "jest": "^30.0.0",