@aztec/ivc-integration 3.0.0-rc.5 → 4.0.0-nightly.20260107

package/artifacts/mock_rollup_tx_merge.json

@@ -1,6 +1,6 @@
 {
-  "noir_version": "1.0.0-beta.15+1a930357477fc0c210dc5a8960680282d4cfa24e",
-  "hash": "2415095598661936560",
+  "noir_version": "1.0.0-beta.16+084ed530b4bddd6733d03f9d965669aa9a87fae7",
+  "hash": "10774750293199273454",
   "abi": {
     "parameters": [
       {
@@ -153,7 +153,7 @@
     }
   },
   "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=",
-  "debug_symbols": "tVTbioUgFP0Xn3vIu/YrwxBWdhDEwlMDQ/TvY5FdHowDMU9b3a21XS33nkCjq/FVGtd2b1B8TaDyxlrzKm1Xq8F0LpxOcwbithy81uEInPIB1Suv3QAKN1qbgR9lx/Wjd6/cGgflQzbPgHZNiIGwNVYvqzk70HkaCgndwJDiHU7hBQ/TeMII3wgIE/JgQBcGdHMDJnG8AqdkZ4BhfabANxSSikghOTwoBP9YB89R1CF5UgdNM2Akog6MGdsZEPrYC8b2H0FSXvDHXojnXsjnXvDHXkD4r2aIKANBmGyMm0dJMIqtRTCDFxXfYadq4y/TACBQhAeAA22QT5bezABdwrxU8UZVVm9jox1dfZoiw28fM3HO9L6rdTN6vdRYc6HqHw==",
+  "debug_symbols": "tVRdq4QgEP0vPveQ39pfuVzCyhZBLNy6cIn++1pkbQ/GQuzTpNM54/E4M4FGV+OjNK7tnqD4mUDljbXmUdquVoPpXNid5gzEZTl4rcMWeMsHVK+8dgMo3GhtBv6UHdefnr1yaxyUD9k8A9o1IQbC1li9fM3Zgc7TUEjoBoYU73AKT3iYxhNG+EZAmJAHAzoxoIsTMInjETglOwOk9ESBLygkFZFCcnhQCPGxDp6jqEPypA6aZsBIRB0YM7YzIPSxF4ztF0FSXvDbXoj7Xsj7XvDbXkD4VTNElIEgTDbGxaMkGMXWIpjBk4rfsFK18adpABAowgPAgTbIJ0tvZoAuYV6qeKMqq7ex0Y6ufpsiw38fM3HO9L6rdTN6vdRYc6HqCw==",
   "file_map": {
     "22": {
       "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",
@@ -174,99 +174,99 @@
     }
   },
   "verificationKey": {
-    "bytes": "0000000000000000000000000000000000000000000000000000000000000015000000000000000000000000000000000000000000000000000000000000001b0000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000b77f24fb23bf7e8d870a51d9f8d5ad54ba00000000000000000000000000000000002840d40d573bdd8981c2a8b03770ce0000000000000000000000000000009457c4e81dfb6d5b8662300f053168e11200000000000000000000000000000000001da8102ff72a5478d3176b793708800000000000000000000000000000006781b5168dd340f1938282731b5587a00300000000000000000000000000000000002f469cddf4eb23635cd26caaf123b80000000000000000000000000000004be53a4a37c34255beddef8fd1dfd92cec000000000000000000000000000000000027f39dcc3deb499447f6f3f52872c2000000000000000000000000000000673aa14cee858a9b4671918eff245e206400000000000000000000000000000000002326f1739771bea5c8ab5d4df6f45b000000000000000000000000000000b7439d1fbce5842f0a3c43ad9ad96597cd000000000000000000000000000000000008fa9173a8f1c4ad7893886de9fd700000000000000000000000000000002e4b2385733ba9559d6916ac3ccbe376bd00000000000000000000000000000000000eefdd51a223ac4f479c3f0be979ba00000000000000000000000000000056c9c3b0a437e2de9be2b7eca0563293d4000000000000000000000000000000000009ffeb6be2bbfe5d3d12f43f0bb799000000000000000000000000000000fe8d8edab4be17ffb8d5ba1acb9671309c000000000000000000000000000000000024239b22e656b45192c0868f996174000000000000000000000000000000c34dccf2bea61621044b2b87ebe72d12ba00000000000000000000000000000000000cd2e78409dab204c838f4caced4830000000000000000000000000000000b176bdc826e3fbc7cad86f2d50b15088b000000000000000000000000000000000000a4a38d56ee24c022b3c50381878800000000000000000000000000000093ae5c35847588b23e2b843f831e158c36000000000000000000000000000000000005c4a94414c648cf655a4cf5b63f03000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db000000000000000000000000000000000025043141e7a515687c6d80d0853b760000000000000000000000000000003447e05ab4400999c9704862944ef03bb300000000000000000000000000000000000d8d5f85133d06d56249c6463ac023000000000000000000000000000000c6d348d5e3a1cab5099d21a479fee918ad00000000000000000000000000000000002615ae5917d736d8177b771d6dad44000000000000000000000000000000cb8cdf0dc425ed1af8f4d2118cbd8d07400000000000000000000000000000000000277292dec03a1c18baedeb3d26a141000000000000000000000000000000afb5d8b2d8546bf7b155de65eec547f62200000000000000000000000000000000000b976ec7780fb768c5a4799e82c530000000000000000000000000000000d8de06c26db5ae08d53950e9fd9510631d00000000000000000000000000000000001a6e4efdf4ea0417ec205a87d91dc2000000000000000000000000000000aef62132d4c557bcd642c3f5c7599be45c00000000000000000000000000000000001ced8c9fc6f73a605aa5ff6bf942540000000000000000000000000000002ab25b7a4bd84f43e496fdac0c55e9649c000000000000000000000000000000000009a8772e337657ab62432f025ab24b000000000000000000000000000000afb1e0cbcbf797d2981ed59022faf8a413000000000000000000000000000000000024bebb90e113c01c829dc2089c5d5e000000000000000000000000000000554d4e858d2d80a422b9d36b5ecacf0218000000000000000000000000000000000026185529e409d87a578b86b9a5c71b000000000000000000000000000000c97a0ddc1c9e0aadeb7202eba4aae372a20000000000000000000000000000000000019c9ddcdb888f400cf8a4d59c7c52000000000000000000000000000000f6e42e82242bad9d188381fcc3a4e5628800000000000000000000000000000000000d98afdb09a0bf8c87ec24164a22df0000000000000000000000000000001a87aa2bc2896acb03bd97482284e54590000000000000000000000000000000000025ec9db01643c318797e2f045691ad000000000000000000000000000000e053357045d9f06887fed000a4872e021e000000000000000000000000000000000010b6b728ee05f887eb5072a0d96efa0000000000000000000000000000002ad027826e33f3cd6f661b4a3a8054a5cf000000000000000000000000000000000025e041cf65357e4da1a8f7a78723e70000000000000000000000000000005828ab5bb716c709a95ce9872ec78ef38400000000000000000000000000000000001003c5c1c014e3564823da1f1990d5000000000000000000000000000000428015de51a6a1785811b10fd2ba8018eb0000000000000000000000000000000000001dcd22b7ff9f9938565a3f18a558000000000000000000000000000000b3feb6324cbc86f459804db9cdff1357db000000000000000000000000000000000001774b64a9096d9c5060fd05b65b9b0000000000000000000000000000009b9354027a3f3aa1298e8e620fc47b002a00000000000000000000000000000000000802351ab025b6622a7a89f389503f00000000000000000000000000000034ebacff8354deeae58ae787022327032a00000000000000000000000000000000002f828ebfd934af58b1f2166591a119000000000000000000000000000000e744b7f75276dd7ac3e83b6cd5e6d127670000000000000000000000000000000000026482ecd6284aef2632045fad1b48000000000000000000000000000000d857dd6fce19d490ad6a79332f67b5321d00000000000000000000000000000000001dbbca1ec0b4b824ae113ee906322e000000000000000000000000000000f572432f69e1a5ee1c25ddac40e450fbc100000000000000000000000000000000002c2acd918620eb7a60e91c933e8a0300000000000000000000000000000066f9daeff9dab0868d6569930d5e164a3800000000000000000000000000000000000f48ccc86e68136b261120839c92b3000000000000000000000000000000901dbe4b0e9deb4f34905d648d5665bea700000000000000000000000000000000002b6a1ac195674350c55f5f8f6927be000000000000000000000000000000224125cf1646a3f41e191cd86e2a1c200200000000000000000000000000000000001a49b12a1c50f0f85a225e515827fb0000000000000000000000000000005db45f416a28870c4d090c9b43f6b7e5da00000000000000000000000000000000001840f0c92cee9940b4612bfdd195b800000000000000000000000000000068807fe32b1017e18e2e2121fa61842f98000000000000000000000000000000000026406050dc8daa136942f1d65e890b000000000000000000000000000000dc92a2337a297ba82fae6cbc8aa1a8c53a00000000000000000000000000000000002225ebfa6719bff729fe364aa69cf10000000000000000000000000000001d0199850c9c7b308ef12040484e4f385d00000000000000000000000000000000000eb4c3eef76c169425dfaecba414cf00000000000000000000000000000079e5404fb35948a456a06644371a0e7a750000000000000000000000000000000000075c7e2f16c8f92382c55185752a8c000000000000000000000000000000132966c049b1da20d29197884304f529ae000000000000000000000000000000000003efc785799abd312be0f99f0718b000000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d260000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b30000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f00000000000000000000000000000000000015b8d2515d76e2ccec99dcd19459000000000000000000000000000000222b888108dc25d1aa450e0b4bc212c37e00000000000000000000000000000000001b917517920bad3d8bc01c9595092a000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d190000000000000000000000000000000000305e8992b148eedb22e6e992077a8400000000000000000000000000000038ed8da2375186b518c7345c60b1134b2d0000000000000000000000000000000000061f64497996e8915722501e9e36790000000000000000000000000000002ad3d7cb59792e11c0d2691f317fd50e6e00000000000000000000000000000000001b84d38339321f405ebaf6a2f8308400000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff9673619494000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000002000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000069e61f9fa7248fed15af7d41e54155aea900000000000000000000000000000000002101cd91dd232436b8e574dc1953d0000000000000000000000000000000ad4ea4b8484ff1367b73e33136f148792e00000000000000000000000000000000002e7ca4beeac24ad9d91b4121c31395",
+    "bytes": "0000000000000000000000000000000000000000000000000000000000000015000000000000000000000000000000000000000000000000000000000000001b000000000000000000000000000000000000000000000000000000000000000100000000000000000000000000000070864f7537352ab5874e206444242ea594000000000000000000000000000000000005b70edbc06e23f854b7e32c82074a00000000000000000000000000000059ba2f049ed55b39cfa2ffe3b03760148d00000000000000000000000000000000001c15d7f51948ff081b338622fcc8dc0000000000000000000000000000004250c2dd91a6aef9a3a3440387532ca4db000000000000000000000000000000000024c9406c5ed075f8b52e23c9acc02700000000000000000000000000000048e1dc61bea3acb90e5f7b109fe448942e00000000000000000000000000000000000bfc21c7b72aa081db485e62bb31d6000000000000000000000000000000e572901047413ccd9fd298592fad5ce036000000000000000000000000000000000019807a98b5ba2254da54b86b0648cf0000000000000000000000000000009913fe76d80f0536769c9d74fec70c24f400000000000000000000000000000000001d361847aeea8473b21701fcc0d7cd0000000000000000000000000000001f5bafa73f95e6c5f98c6294b91a5cf0b5000000000000000000000000000000000004d7ba6abe95970a75d35227f8c18e0000000000000000000000000000009994914d41dc01bdad60d6dd73d4d64d9f00000000000000000000000000000000000482eaad3f885bc7f481d08b1c044b000000000000000000000000000000f838b1939ee69e94b36db05698250f8a9300000000000000000000000000000000001cfa5eac0691cc880a42d4544bacce000000000000000000000000000000eb0a657d0b305baee30250c6691fdf74f500000000000000000000000000000000000d2c824bd79f172692adadddc0af8e000000000000000000000000000000d777acb41a64088ea785134b05ec311a3800000000000000000000000000000000000e4a422538c19ff7e76702230be5e2000000000000000000000000000000d2a7f76497b1d41ee91fbb31433b9abe6f00000000000000000000000000000000001b4493c57ce2c34f7daf54573d2c1b000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db000000000000000000000000000000000025043141e7a515687c6d80d0853b760000000000000000000000000000003447e05ab4400999c9704862944ef03bb300000000000000000000000000000000000d8d5f85133d06d56249c6463ac023000000000000000000000000000000b272b162732e4562534390a7710c46c4c200000000000000000000000000000000000280f151c49933d0d4095b29d3393b00000000000000000000000000000068460c31a16603d700555c1cde49e859640000000000000000000000000000000000230bd8128c475828547d170fc88f4f0000000000000000000000000000009a7a2831cadddc0cda7e53f4d42e2d286d0000000000000000000000000000000000093e9f63b2e170a8702fd7935cf98900000000000000000000000000000006203665123b1e5a2a762be18650a57ddd000000000000000000000000000000000015e4e873f7fc5f1b93fb506bc21c50000000000000000000000000000000ff230404cc898ce05bc333a12df353b3a9000000000000000000000000000000000015ad3f4806e9f8aebd2ceab50c25e8000000000000000000000000000000ab1acace541edf9e910d69801483540601000000000000000000000000000000000008e7b65e5ca7493982739864f34ae7000000000000000000000000000000f6d2b1f18cd098ac5c0f4c3d116da2419800000000000000000000000000000000000e4d3bfe0c7c630dada2f9f7415a63000000000000000000000000000000bb3991a0ad8061f23d85a74a74bbfe2b3300000000000000000000000000000000002428cc5aedbf7ef345678adfdd11570000000000000000000000000000000b43c80f233407f6b8efe26e296cf286730000000000000000000000000000000000110abd4987b208c254d83e988e5e7b0000000000000000000000000000009f3cb93253e3c56f2301b72a12bb8842e600000000000000000000000000000000000b6dc9e26e3eb27f6a6c9653bd5c6e0000000000000000000000000000004cc606a50f577fb7a1e8540fcc85a2b71d00000000000000000000000000000000002f117a55c822f81cad2458a2219a21000000000000000000000000000000ce262f9439c8878e4351da26f65395660300000000000000000000000000000000002150e93a64a624576d35e4db791af500000000000000000000000000000011c6a49db4e0aa3ec87dc1afb8906701e8000000000000000000000000000000000020616cba98816ea6e44e4c1772c85300000000000000000000000000000087947c6a0acc89c3abc1e3c0016488b23900000000000000000000000000000000000e60bbe11e3e68e3b2f322b06d8b72000000000000000000000000000000aaf14df7787b25576bfe4e8b5169e4410800000000000000000000000000000000000def30507dc777d6ba9ceddbb137bb000000000000000000000000000000cc7ea99e70fe842cd91ce32782427bcc37000000000000000000000000000000000020fe30a408b200ef579d293ae8cbc9000000000000000000000000000000fc50473266e9b9cf4d80722e018df1c60d000000000000000000000000000000000006c29cd041e5d0a7362fcc8303a837000000000000000000000000000000e1076677f6c16a6f006c5d05b023d271ac00000000000000000000000000000000002783a46bcfb7841ce1e3d8135547800000000000000000000000000000006f7c93a9e7ebb823f4f213e480bc9846ce0000000000000000000000000000000000013bd196b54b89b5028f41d31bf032000000000000000000000000000000674feabb17e636ae397652d9d5afe1d75100000000000000000000000000000000000ec50fc6e0b80d2a40d93b87ae7f8200000000000000000000000000000080188f13821ae84157358f606eae766d6700000000000000000000000000000000000ddbc171fbbf41145cb5e8fe42ddec00000000000000000000000000000098a0f5dd62e503a1a9860a74c69421d8c3000000000000000000000000000000000019215a0442ccb501a1165f5969cb350000000000000000000000000000004d04ca2b17a31e6065af152686e9ce697900000000000000000000000000000000002a11f8e3f25d21e18addc9c7a0837b000000000000000000000000000000f50fc9a9a2cebe49dfed0b7a28ec1f22da0000000000000000000000000000000000290354bc9b127b5e631840c834b7a30000000000000000000000000000002efa21ee9f3f3b8f9a8c8a80df3e9c3309000000000000000000000000000000000013f814d165c90b3394d630e5d84e520000000000000000000000000000005a3a3f9cb311248b3ed1906bf4f604d5de00000000000000000000000000000000001cd1a810d2d5a5d2350a1a0824daf6000000000000000000000000000000fdcf78c324242f5343ea10ea213ff33bf100000000000000000000000000000000002f8703ce6b9bad238b8c0a81d4ecd40000000000000000000000000000001c24a25237d359454233c2ed954a17863f00000000000000000000000000000000002332cfe99ed37a0d24008bae7c67f500000000000000000000000000000040792f374e4f77017d485987ab7594a03f00000000000000000000000000000000002e53e667ade759d2ea9104d95be6520000000000000000000000000000009854f130f9949af06ed36f7387a12a301b00000000000000000000000000000000000af3cce3608070e7f4e2fcbb60f8f000000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d260000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b30000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f00000000000000000000000000000000000015b8d2515d76e2ccec99dcd19459000000000000000000000000000000222b888108dc25d1aa450e0b4bc212c37e00000000000000000000000000000000001b917517920bad3d8bc01c9595092a000000000000000000000000000000482141c7ebe42000a1d58ccb74381f6d190000000000000000000000000000000000305e8992b148eedb22e6e992077a8400000000000000000000000000000038ed8da2375186b518c7345c60b1134b2d0000000000000000000000000000000000061f64497996e8915722501e9e36790000000000000000000000000000002ad3d7cb59792e11c0d2691f317fd50e6e00000000000000000000000000000000001b84d38339321f405ebaf6a2f8308400000000000000000000000000000028edd1a7e46c840d9c943fdf45521c64ce0000000000000000000000000000000000043d063b130adfb37342af45d0155a0000000000000000000000000000009330952ae74c573d1686d9cb4a007338540000000000000000000000000000000000261522c4089330646aff96736194940000000000000000000000000000000000000000000000000000000000000001000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000020000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000ff33863f40f720cc0a32e6db68c4e68a7c00000000000000000000000000000000000ac08f4d633da9978b7ac7adcc42f80000000000000000000000000000006eddb5f23ee76290d4d4c0e91735a90aaf00000000000000000000000000000000002c8281bdf813c653f305f46a200e19",
     "fields": [
       "0x0000000000000000000000000000000000000000000000000000000000000015",
       "0x000000000000000000000000000000000000000000000000000000000000001b",
       "0x0000000000000000000000000000000000000000000000000000000000000001",
-      "0x000000000000000000000000000000b77f24fb23bf7e8d870a51d9f8d5ad54ba",
-      "0x00000000000000000000000000000000002840d40d573bdd8981c2a8b03770ce",
-      "0x0000000000000000000000000000009457c4e81dfb6d5b8662300f053168e112",
-      "0x00000000000000000000000000000000001da8102ff72a5478d3176b79370880",
-      "0x0000000000000000000000000000006781b5168dd340f1938282731b5587a003",
-      "0x00000000000000000000000000000000002f469cddf4eb23635cd26caaf123b8",
-      "0x0000000000000000000000000000004be53a4a37c34255beddef8fd1dfd92cec",
-      "0x000000000000000000000000000000000027f39dcc3deb499447f6f3f52872c2",
-      "0x000000000000000000000000000000673aa14cee858a9b4671918eff245e2064",
-      "0x00000000000000000000000000000000002326f1739771bea5c8ab5d4df6f45b",
-      "0x000000000000000000000000000000b7439d1fbce5842f0a3c43ad9ad96597cd",
-      "0x000000000000000000000000000000000008fa9173a8f1c4ad7893886de9fd70",
-      "0x0000000000000000000000000000002e4b2385733ba9559d6916ac3ccbe376bd",
-      "0x00000000000000000000000000000000000eefdd51a223ac4f479c3f0be979ba",
-      "0x00000000000000000000000000000056c9c3b0a437e2de9be2b7eca0563293d4",
-      "0x000000000000000000000000000000000009ffeb6be2bbfe5d3d12f43f0bb799",
-      "0x000000000000000000000000000000fe8d8edab4be17ffb8d5ba1acb9671309c",
-      "0x000000000000000000000000000000000024239b22e656b45192c0868f996174",
-      "0x000000000000000000000000000000c34dccf2bea61621044b2b87ebe72d12ba",
-      "0x00000000000000000000000000000000000cd2e78409dab204c838f4caced483",
-      "0x0000000000000000000000000000000b176bdc826e3fbc7cad86f2d50b15088b",
-      "0x000000000000000000000000000000000000a4a38d56ee24c022b3c503818788",
-      "0x00000000000000000000000000000093ae5c35847588b23e2b843f831e158c36",
-      "0x000000000000000000000000000000000005c4a94414c648cf655a4cf5b63f03",
+      "0x00000000000000000000000000000070864f7537352ab5874e206444242ea594",
+      "0x000000000000000000000000000000000005b70edbc06e23f854b7e32c82074a",
+      "0x00000000000000000000000000000059ba2f049ed55b39cfa2ffe3b03760148d",
+      "0x00000000000000000000000000000000001c15d7f51948ff081b338622fcc8dc",
+      "0x0000000000000000000000000000004250c2dd91a6aef9a3a3440387532ca4db",
+      "0x000000000000000000000000000000000024c9406c5ed075f8b52e23c9acc027",
+      "0x00000000000000000000000000000048e1dc61bea3acb90e5f7b109fe448942e",
+      "0x00000000000000000000000000000000000bfc21c7b72aa081db485e62bb31d6",
+      "0x000000000000000000000000000000e572901047413ccd9fd298592fad5ce036",
+      "0x000000000000000000000000000000000019807a98b5ba2254da54b86b0648cf",
+      "0x0000000000000000000000000000009913fe76d80f0536769c9d74fec70c24f4",
+      "0x00000000000000000000000000000000001d361847aeea8473b21701fcc0d7cd",
+      "0x0000000000000000000000000000001f5bafa73f95e6c5f98c6294b91a5cf0b5",
+      "0x000000000000000000000000000000000004d7ba6abe95970a75d35227f8c18e",
+      "0x0000000000000000000000000000009994914d41dc01bdad60d6dd73d4d64d9f",
+      "0x00000000000000000000000000000000000482eaad3f885bc7f481d08b1c044b",
+      "0x000000000000000000000000000000f838b1939ee69e94b36db05698250f8a93",
+      "0x00000000000000000000000000000000001cfa5eac0691cc880a42d4544bacce",
+      "0x000000000000000000000000000000eb0a657d0b305baee30250c6691fdf74f5",
+      "0x00000000000000000000000000000000000d2c824bd79f172692adadddc0af8e",
+      "0x000000000000000000000000000000d777acb41a64088ea785134b05ec311a38",
+      "0x00000000000000000000000000000000000e4a422538c19ff7e76702230be5e2",
+      "0x000000000000000000000000000000d2a7f76497b1d41ee91fbb31433b9abe6f",
+      "0x00000000000000000000000000000000001b4493c57ce2c34f7daf54573d2c1b",
       "0x000000000000000000000000000000d9ad8b5943ead2741efdeb311b8305c9db",
       "0x000000000000000000000000000000000025043141e7a515687c6d80d0853b76",
       "0x0000000000000000000000000000003447e05ab4400999c9704862944ef03bb3",
       "0x00000000000000000000000000000000000d8d5f85133d06d56249c6463ac023",
-      "0x000000000000000000000000000000c6d348d5e3a1cab5099d21a479fee918ad",
-      "0x00000000000000000000000000000000002615ae5917d736d8177b771d6dad44",
-      "0x000000000000000000000000000000cb8cdf0dc425ed1af8f4d2118cbd8d0740",
-      "0x0000000000000000000000000000000000277292dec03a1c18baedeb3d26a141",
-      "0x000000000000000000000000000000afb5d8b2d8546bf7b155de65eec547f622",
-      "0x00000000000000000000000000000000000b976ec7780fb768c5a4799e82c530",
-      "0x000000000000000000000000000000d8de06c26db5ae08d53950e9fd9510631d",
-      "0x00000000000000000000000000000000001a6e4efdf4ea0417ec205a87d91dc2",
-      "0x000000000000000000000000000000aef62132d4c557bcd642c3f5c7599be45c",
-      "0x00000000000000000000000000000000001ced8c9fc6f73a605aa5ff6bf94254",
-      "0x0000000000000000000000000000002ab25b7a4bd84f43e496fdac0c55e9649c",
-      "0x000000000000000000000000000000000009a8772e337657ab62432f025ab24b",
-      "0x000000000000000000000000000000afb1e0cbcbf797d2981ed59022faf8a413",
-      "0x000000000000000000000000000000000024bebb90e113c01c829dc2089c5d5e",
-      "0x000000000000000000000000000000554d4e858d2d80a422b9d36b5ecacf0218",
-      "0x000000000000000000000000000000000026185529e409d87a578b86b9a5c71b",
-      "0x000000000000000000000000000000c97a0ddc1c9e0aadeb7202eba4aae372a2",
-      "0x0000000000000000000000000000000000019c9ddcdb888f400cf8a4d59c7c52",
-      "0x000000000000000000000000000000f6e42e82242bad9d188381fcc3a4e56288",
-      "0x00000000000000000000000000000000000d98afdb09a0bf8c87ec24164a22df",
-      "0x0000000000000000000000000000001a87aa2bc2896acb03bd97482284e54590",
-      "0x000000000000000000000000000000000025ec9db01643c318797e2f045691ad",
-      "0x000000000000000000000000000000e053357045d9f06887fed000a4872e021e",
-      "0x000000000000000000000000000000000010b6b728ee05f887eb5072a0d96efa",
-      "0x0000000000000000000000000000002ad027826e33f3cd6f661b4a3a8054a5cf",
-      "0x000000000000000000000000000000000025e041cf65357e4da1a8f7a78723e7",
-      "0x0000000000000000000000000000005828ab5bb716c709a95ce9872ec78ef384",
-      "0x00000000000000000000000000000000001003c5c1c014e3564823da1f1990d5",
-      "0x000000000000000000000000000000428015de51a6a1785811b10fd2ba8018eb",
-      "0x0000000000000000000000000000000000001dcd22b7ff9f9938565a3f18a558",
-      "0x000000000000000000000000000000b3feb6324cbc86f459804db9cdff1357db",
-      "0x000000000000000000000000000000000001774b64a9096d9c5060fd05b65b9b",
-      "0x0000000000000000000000000000009b9354027a3f3aa1298e8e620fc47b002a",
-      "0x00000000000000000000000000000000000802351ab025b6622a7a89f389503f",
-      "0x00000000000000000000000000000034ebacff8354deeae58ae787022327032a",
-      "0x00000000000000000000000000000000002f828ebfd934af58b1f2166591a119",
-      "0x000000000000000000000000000000e744b7f75276dd7ac3e83b6cd5e6d12767",
-      "0x0000000000000000000000000000000000026482ecd6284aef2632045fad1b48",
-      "0x000000000000000000000000000000d857dd6fce19d490ad6a79332f67b5321d",
-      "0x00000000000000000000000000000000001dbbca1ec0b4b824ae113ee906322e",
-      "0x000000000000000000000000000000f572432f69e1a5ee1c25ddac40e450fbc1",
-      "0x00000000000000000000000000000000002c2acd918620eb7a60e91c933e8a03",
-      "0x00000000000000000000000000000066f9daeff9dab0868d6569930d5e164a38",
-      "0x00000000000000000000000000000000000f48ccc86e68136b261120839c92b3",
-      "0x000000000000000000000000000000901dbe4b0e9deb4f34905d648d5665bea7",
-      "0x00000000000000000000000000000000002b6a1ac195674350c55f5f8f6927be",
-      "0x000000000000000000000000000000224125cf1646a3f41e191cd86e2a1c2002",
-      "0x00000000000000000000000000000000001a49b12a1c50f0f85a225e515827fb",
-      "0x0000000000000000000000000000005db45f416a28870c4d090c9b43f6b7e5da",
-      "0x00000000000000000000000000000000001840f0c92cee9940b4612bfdd195b8",
-      "0x00000000000000000000000000000068807fe32b1017e18e2e2121fa61842f98",
-      "0x000000000000000000000000000000000026406050dc8daa136942f1d65e890b",
-      "0x000000000000000000000000000000dc92a2337a297ba82fae6cbc8aa1a8c53a",
-      "0x00000000000000000000000000000000002225ebfa6719bff729fe364aa69cf1",
-      "0x0000000000000000000000000000001d0199850c9c7b308ef12040484e4f385d",
-      "0x00000000000000000000000000000000000eb4c3eef76c169425dfaecba414cf",
-      "0x00000000000000000000000000000079e5404fb35948a456a06644371a0e7a75",
-      "0x0000000000000000000000000000000000075c7e2f16c8f92382c55185752a8c",
-      "0x000000000000000000000000000000132966c049b1da20d29197884304f529ae",
-      "0x000000000000000000000000000000000003efc785799abd312be0f99f0718b0",
+      "0x000000000000000000000000000000b272b162732e4562534390a7710c46c4c2",
+      "0x00000000000000000000000000000000000280f151c49933d0d4095b29d3393b",
+      "0x00000000000000000000000000000068460c31a16603d700555c1cde49e85964",
+      "0x0000000000000000000000000000000000230bd8128c475828547d170fc88f4f",
+      "0x0000000000000000000000000000009a7a2831cadddc0cda7e53f4d42e2d286d",
+      "0x0000000000000000000000000000000000093e9f63b2e170a8702fd7935cf989",
+      "0x00000000000000000000000000000006203665123b1e5a2a762be18650a57ddd",
+      "0x000000000000000000000000000000000015e4e873f7fc5f1b93fb506bc21c50",
+      "0x000000000000000000000000000000ff230404cc898ce05bc333a12df353b3a9",
+      "0x000000000000000000000000000000000015ad3f4806e9f8aebd2ceab50c25e8",
+      "0x000000000000000000000000000000ab1acace541edf9e910d69801483540601",
+      "0x000000000000000000000000000000000008e7b65e5ca7493982739864f34ae7",
+      "0x000000000000000000000000000000f6d2b1f18cd098ac5c0f4c3d116da24198",
+      "0x00000000000000000000000000000000000e4d3bfe0c7c630dada2f9f7415a63",
+      "0x000000000000000000000000000000bb3991a0ad8061f23d85a74a74bbfe2b33",
+      "0x00000000000000000000000000000000002428cc5aedbf7ef345678adfdd1157",
+      "0x0000000000000000000000000000000b43c80f233407f6b8efe26e296cf28673",
+      "0x0000000000000000000000000000000000110abd4987b208c254d83e988e5e7b",
+      "0x0000000000000000000000000000009f3cb93253e3c56f2301b72a12bb8842e6",
+      "0x00000000000000000000000000000000000b6dc9e26e3eb27f6a6c9653bd5c6e",
+      "0x0000000000000000000000000000004cc606a50f577fb7a1e8540fcc85a2b71d",
+      "0x00000000000000000000000000000000002f117a55c822f81cad2458a2219a21",
+      "0x000000000000000000000000000000ce262f9439c8878e4351da26f653956603",
+      "0x00000000000000000000000000000000002150e93a64a624576d35e4db791af5",
+      "0x00000000000000000000000000000011c6a49db4e0aa3ec87dc1afb8906701e8",
+      "0x000000000000000000000000000000000020616cba98816ea6e44e4c1772c853",
+      "0x00000000000000000000000000000087947c6a0acc89c3abc1e3c0016488b239",
+      "0x00000000000000000000000000000000000e60bbe11e3e68e3b2f322b06d8b72",
+      "0x000000000000000000000000000000aaf14df7787b25576bfe4e8b5169e44108",
+      "0x00000000000000000000000000000000000def30507dc777d6ba9ceddbb137bb",
+      "0x000000000000000000000000000000cc7ea99e70fe842cd91ce32782427bcc37",
+      "0x000000000000000000000000000000000020fe30a408b200ef579d293ae8cbc9",
+      "0x000000000000000000000000000000fc50473266e9b9cf4d80722e018df1c60d",
+      "0x000000000000000000000000000000000006c29cd041e5d0a7362fcc8303a837",
+      "0x000000000000000000000000000000e1076677f6c16a6f006c5d05b023d271ac",
+      "0x00000000000000000000000000000000002783a46bcfb7841ce1e3d813554780",
+      "0x0000000000000000000000000000006f7c93a9e7ebb823f4f213e480bc9846ce",
+      "0x0000000000000000000000000000000000013bd196b54b89b5028f41d31bf032",
+      "0x000000000000000000000000000000674feabb17e636ae397652d9d5afe1d751",
+      "0x00000000000000000000000000000000000ec50fc6e0b80d2a40d93b87ae7f82",
+      "0x00000000000000000000000000000080188f13821ae84157358f606eae766d67",
+      "0x00000000000000000000000000000000000ddbc171fbbf41145cb5e8fe42ddec",
+      "0x00000000000000000000000000000098a0f5dd62e503a1a9860a74c69421d8c3",
+      "0x000000000000000000000000000000000019215a0442ccb501a1165f5969cb35",
+      "0x0000000000000000000000000000004d04ca2b17a31e6065af152686e9ce6979",
+      "0x00000000000000000000000000000000002a11f8e3f25d21e18addc9c7a0837b",
+      "0x000000000000000000000000000000f50fc9a9a2cebe49dfed0b7a28ec1f22da",
+      "0x0000000000000000000000000000000000290354bc9b127b5e631840c834b7a3",
+      "0x0000000000000000000000000000002efa21ee9f3f3b8f9a8c8a80df3e9c3309",
+      "0x000000000000000000000000000000000013f814d165c90b3394d630e5d84e52",
+      "0x0000000000000000000000000000005a3a3f9cb311248b3ed1906bf4f604d5de",
+      "0x00000000000000000000000000000000001cd1a810d2d5a5d2350a1a0824daf6",
+      "0x000000000000000000000000000000fdcf78c324242f5343ea10ea213ff33bf1",
+      "0x00000000000000000000000000000000002f8703ce6b9bad238b8c0a81d4ecd4",
+      "0x0000000000000000000000000000001c24a25237d359454233c2ed954a17863f",
+      "0x00000000000000000000000000000000002332cfe99ed37a0d24008bae7c67f5",
+      "0x00000000000000000000000000000040792f374e4f77017d485987ab7594a03f",
+      "0x00000000000000000000000000000000002e53e667ade759d2ea9104d95be652",
+      "0x0000000000000000000000000000009854f130f9949af06ed36f7387a12a301b",
+      "0x00000000000000000000000000000000000af3cce3608070e7f4e2fcbb60f8f0",
       "0x00000000000000000000000000000095b5d8b7b4a63b05df652b0d10ef146d26",
       "0x0000000000000000000000000000000000099e3bd5a0a00ab7fe18040105b9b3",
       "0x0000000000000000000000000000002129af3a637f5a622a32440f860d1e2a7f",
@@ -287,11 +287,11 @@
       "0x0000000000000000000000000000000000000000000000000000000000000000",
       "0x0000000000000000000000000000000000000000000000000000000000000002",
       "0x0000000000000000000000000000000000000000000000000000000000000000",
-      "0x00000000000000000000000000000069e61f9fa7248fed15af7d41e54155aea9",
-      "0x00000000000000000000000000000000002101cd91dd232436b8e574dc1953d0",
-      "0x000000000000000000000000000000ad4ea4b8484ff1367b73e33136f148792e",
-      "0x00000000000000000000000000000000002e7ca4beeac24ad9d91b4121c31395"
+      "0x000000000000000000000000000000ff33863f40f720cc0a32e6db68c4e68a7c",
+      "0x00000000000000000000000000000000000ac08f4d633da9978b7ac7adcc42f8",
+      "0x0000000000000000000000000000006eddb5f23ee76290d4d4c0e91735a90aaf",
+      "0x00000000000000000000000000000000002c8281bdf813c653f305f46a200e19"
     ],
-    "hash": "128c563d43103aa0d81abdd3625a05dc5e22ce94270e1e78234fcc2c25333288"
+    "hash": "1424f6aecb0065d0ab057627c272a7a702f19cb3189290be7f579847189817d2"
   }
 }

package/dest/prove_native.d.ts

@@ -8,9 +8,9 @@ import { VerificationKeyAsFields } from '@aztec/stdlib/vks';
 export declare function proofBytesToRecursiveProof(proofAsFields: Uint8Array[], vkBytes: Uint8Array): Promise<RecursiveProof<typeof CHONK_PROOF_LENGTH>>;
 export declare function proveRollupHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<531>>;
 export declare function proveKeccakHonk(name: string, pathToBB: string, workingDirectory: string, circuit: NoirCompiledCircuit, witness: Uint8Array, logger: Logger): Promise<import("@aztec/stdlib/interfaces/server").ProofAndVerificationKey<457>>;
-export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, workingDirectory: string, logger: Logger, skipPublicInputsValidation?: boolean): Promise<{
+export declare function proveAvm(avmCircuitInputs: AvmCircuitInputs, workingDirectory: string, logger: Logger): Promise<{
     vk: VerificationKeyAsFields;
     proof: Fr[];
     publicInputs: AvmCircuitPublicInputs;
 }>;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVfbmF0aXZlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVfbmF0aXZlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVlBLE9BQU8sRUFHTCxrQkFBa0IsRUFJbkIsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUVsRixPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQzlELE9BQU8sRUFBUyxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUU3RCxPQUFPLEVBQUUsdUJBQXVCLEVBQXVCLE1BQU0sbUJBQW1CLENBQUM7QUFLakYsd0JBQXNCLDBCQUEwQixDQUM5QyxhQUFhLEVBQUUsVUFBVSxFQUFFLEVBQzNCLE9BQU8sRUFBRSxVQUFVLEdBQ2xCLE9BQU8sQ0FBQyxjQUFjLENBQUMsT0FBTyxrQkFBa0IsQ0FBQyxDQUFDLENBZXBEO0FBNERELHdCQUFnQixlQUFlLENBQzdCLElBQUksRUFBRSxNQUFNLEVBQ1osUUFBUSxFQUFFLE1BQU0sRUFDaEIsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixPQUFPLEVBQUUsbUJBQW1CLEVBQzVCLE9BQU8sRUFBRSxVQUFVLEVBQ25CLE1BQU0sRUFBRSxNQUFNLG1GQVlmO0FBRUQsd0JBQWdCLGVBQWUsQ0FDN0IsSUFBSSxFQUFFLE1BQU0sRUFDWixRQUFRLEVBQUUsTUFBTSxFQUNoQixnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLE9BQU8sRUFBRSxtQkFBbUIsRUFDNUIsT0FBTyxFQUFFLFVBQVUsRUFDbkIsTUFBTSxFQUFFLE1BQU0sbUZBWWY7QUFFRCx3QkFBc0IsUUFBUSxDQUM1QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixNQUFNLEVBQUUsTUFBTSxFQUNkLDBCQUEwQixHQUFFLE9BQWUsR0FDMUMsT0FBTyxDQUFDO0lBQ1QsRUFBRSxFQUFFLHVCQUF1QixDQUFDO0lBQzVCLEtBQUssRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNaLFlBQVksRUFBRSxzQkFBc0IsQ0FBQztDQUN0QyxDQUFDLENBc0VEIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHJvdmVfbmF0aXZlLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvcHJvdmVfbmF0aXZlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVlBLE9BQU8sRUFHTCxrQkFBa0IsRUFJbkIsTUFBTSxrQkFBa0IsQ0FBQztBQUMxQixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsc0JBQXNCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUVsRixPQUFPLEtBQUssRUFBRSxtQkFBbUIsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQzlELE9BQU8sRUFBUyxjQUFjLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM3RCxPQUFPLEVBQUUsdUJBQXVCLEVBQXVCLE1BQU0sbUJBQW1CLENBQUM7QUFLakYsd0JBQXNCLDBCQUEwQixDQUM5QyxhQUFhLEVBQUUsVUFBVSxFQUFFLEVBQzNCLE9BQU8sRUFBRSxVQUFVLEdBQ2xCLE9BQU8sQ0FBQyxjQUFjLENBQUMsT0FBTyxrQkFBa0IsQ0FBQyxDQUFDLENBZXBEO0FBNERELHdCQUFnQixlQUFlLENBQzdCLElBQUksRUFBRSxNQUFNLEVBQ1osUUFBUSxFQUFFLE1BQU0sRUFDaEIsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixPQUFPLEVBQUUsbUJBQW1CLEVBQzVCLE9BQU8sRUFBRSxVQUFVLEVBQ25CLE1BQU0sRUFBRSxNQUFNLG1GQVlmO0FBRUQsd0JBQWdCLGVBQWUsQ0FDN0IsSUFBSSxFQUFFLE1BQU0sRUFDWixRQUFRLEVBQUUsTUFBTSxFQUNoQixnQkFBZ0IsRUFBRSxNQUFNLEVBQ3hCLE9BQU8sRUFBRSxtQkFBbUIsRUFDNUIsT0FBTyxFQUFFLFVBQVUsRUFDbkIsTUFBTSxFQUFFLE1BQU0sbUZBWWY7QUFFRCx3QkFBc0IsUUFBUSxDQUM1QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsZ0JBQWdCLEVBQUUsTUFBTSxFQUN4QixNQUFNLEVBQUUsTUFBTSxHQUNiLE9BQU8sQ0FBQztJQUNULEVBQUUsRUFBRSx1QkFBdUIsQ0FBQztJQUM1QixLQUFLLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDWixZQUFZLEVBQUUsc0JBQXNCLENBQUM7Q0FDdEMsQ0FBQyxDQW1FRCJ9

package/dest/prove_native.d.ts.map

@@ -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"}
+{"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;AAC7D,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,GACb,OAAO,CAAC;IACT,EAAE,EAAE,uBAAuB,CAAC;IAC5B,KAAK,EAAE,EAAE,EAAE,CAAC;IACZ,YAAY,EAAE,sBAAsB,CAAC;CACtC,CAAC,CAmED"}

package/dest/prove_native.js

@@ -4,7 +4,6 @@ import { Fr } from '@aztec/foundation/curves/bn254';
 import { BufferReader } from '@aztec/foundation/serialize';
 import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
 import { Proof, RecursiveProof } from '@aztec/stdlib/proofs';
-import { enhanceProofWithPiValidationFlag } from '@aztec/stdlib/rollup';
 import { VerificationKeyAsFields, VerificationKeyData } from '@aztec/stdlib/vks';
 import * as fs from 'fs/promises';
 import * as path from 'path';
@@ -53,7 +52,7 @@ export function proveRollupHonk(name, pathToBB, workingDirectory, circuit, witne
 export function proveKeccakHonk(name, pathToBB, workingDirectory, circuit, witness, logger) {
     return proveRollupCircuit(name, pathToBB, workingDirectory, circuit, witness, logger, 'ultra_keccak_honk', NESTED_RECURSIVE_PROOF_LENGTH);
 }
-export async function proveAvm(avmCircuitInputs, workingDirectory, logger, skipPublicInputsValidation = false) {
+export async function proveAvm(avmCircuitInputs, workingDirectory, logger) {
     // The paths for the barretenberg binary and the write path are hardcoded for now.
     const bbPath = path.resolve('../../barretenberg/cpp/build/bin/bb-avm');
     // Then we prove.
@@ -98,10 +97,8 @@ export async function proveAvm(avmCircuitInputs, workingDirectory, logger, skipP
     if (verificationResult.status === BB_RESULT.FAILURE) {
         throw new Error(`AVM V2 proof verification failed: ${verificationResult.reason}`);
     }
-    // TODO(#14234)[Unconditional PIs validation]: Remove next lines and return proof instead of proofWithPublicInputsValidationFlag
-    const proofWithPublicInputsValidationFlag = enhanceProofWithPiValidationFlag(proof, skipPublicInputsValidation);
     return {
-        proof: proofWithPublicInputsValidationFlag,
+        proof,
         vk: await VerificationKeyAsFields.fromKey(vk),
         publicInputs: avmCircuitInputs.publicInputs
     };

package/dest/types/index.d.ts

@@ -202,11 +202,11 @@ export type MockPrivateKernelTailReturnType = KernelPublicInputs;
 export declare function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKernelPublicInputs, kernel_vk: VerificationKey<127>, MockPrivateKernelTail_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<KernelPublicInputs>;
 export type MockRollupTxBasePublicInputType = {
     chonk_proof_data: ChonkProofData;
-    proof: FixedLengthArray<Field, 20000>;
+    proof: FixedLengthArray<Field, 16200>;
     public_inputs: AvmCircuitPublicInputs;
 };
 export type MockRollupTxBasePublicReturnType = RollupPublicInputs;
-export declare function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 20000>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
+export declare function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 16200>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs>;
 export type MockRollupTxBasePrivateInputType = {
     chonk_proof_data: ChonkProofData;
 };

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/ivc-integration",
-  "version": "3.0.0-rc.5",
+  "version": "4.0.0-nightly.20260107",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -59,14 +59,14 @@
     ]
   },
   "dependencies": {
-    "@aztec/bb.js": "3.0.0-rc.5",
-    "@aztec/constants": "3.0.0-rc.5",
-    "@aztec/foundation": "3.0.0-rc.5",
-    "@aztec/noir-noir_codegen": "3.0.0-rc.5",
-    "@aztec/noir-noir_js": "3.0.0-rc.5",
-    "@aztec/noir-noirc_abi": "3.0.0-rc.5",
-    "@aztec/noir-types": "3.0.0-rc.5",
-    "@aztec/stdlib": "3.0.0-rc.5",
+    "@aztec/bb.js": "4.0.0-nightly.20260107",
+    "@aztec/constants": "4.0.0-nightly.20260107",
+    "@aztec/foundation": "4.0.0-nightly.20260107",
+    "@aztec/noir-noir_codegen": "4.0.0-nightly.20260107",
+    "@aztec/noir-noir_js": "4.0.0-nightly.20260107",
+    "@aztec/noir-noirc_abi": "4.0.0-nightly.20260107",
+    "@aztec/noir-types": "4.0.0-nightly.20260107",
+    "@aztec/stdlib": "4.0.0-nightly.20260107",
     "change-case": "^5.4.4",
     "pako": "^2.1.0",
     "playwright": "1.49.0",
@@ -74,13 +74,13 @@
     "tslib": "^2.4.0"
   },
   "devDependencies": {
-    "@aztec/bb-prover": "3.0.0-rc.5",
-    "@aztec/kv-store": "3.0.0-rc.5",
-    "@aztec/noir-protocol-circuits-types": "3.0.0-rc.5",
-    "@aztec/noir-test-contracts.js": "3.0.0-rc.5",
-    "@aztec/simulator": "3.0.0-rc.5",
-    "@aztec/telemetry-client": "3.0.0-rc.5",
-    "@aztec/world-state": "3.0.0-rc.5",
+    "@aztec/bb-prover": "4.0.0-nightly.20260107",
+    "@aztec/kv-store": "4.0.0-nightly.20260107",
+    "@aztec/noir-protocol-circuits-types": "4.0.0-nightly.20260107",
+    "@aztec/noir-test-contracts.js": "4.0.0-nightly.20260107",
+    "@aztec/simulator": "4.0.0-nightly.20260107",
+    "@aztec/telemetry-client": "4.0.0-nightly.20260107",
+    "@aztec/world-state": "4.0.0-nightly.20260107",
     "@jest/globals": "^30.0.0",
     "@playwright/test": "1.49.0",
     "@types/jest": "^30.0.0",

package/src/prove_native.ts

@@ -25,7 +25,6 @@ import type { AvmCircuitInputs, AvmCircuitPublicInputs } from '@aztec/stdlib/avm
 import { makeProofAndVerificationKey } from '@aztec/stdlib/interfaces/server';
 import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
 import { Proof, RecursiveProof } from '@aztec/stdlib/proofs';
-import { enhanceProofWithPiValidationFlag } from '@aztec/stdlib/rollup';
 import { VerificationKeyAsFields, VerificationKeyData } from '@aztec/stdlib/vks';
 
 import * as fs from 'fs/promises';
@@ -153,7 +152,6 @@ export async function proveAvm(
   avmCircuitInputs: AvmCircuitInputs,
   workingDirectory: string,
   logger: Logger,
-  skipPublicInputsValidation: boolean = false,
 ): Promise<{
   vk: VerificationKeyAsFields;
   proof: Fr[];
@@ -220,11 +218,8 @@ export async function proveAvm(
     throw new Error(`AVM V2 proof verification failed: ${verificationResult.reason}`);
   }
 
-  // TODO(#14234)[Unconditional PIs validation]: Remove next lines and return proof instead of proofWithPublicInputsValidationFlag
-  const proofWithPublicInputsValidationFlag = enhanceProofWithPiValidationFlag(proof, skipPublicInputsValidation);
-
   return {
-    proof: proofWithPublicInputsValidationFlag,
+    proof,
     vk: await VerificationKeyAsFields.fromKey(vk),
     publicInputs: avmCircuitInputs.publicInputs,
   };

package/src/types/index.ts

@@ -293,14 +293,14 @@ export async function MockPrivateKernelTail(prev_kernel_public_inputs: PrivateKe
 }
 export type MockRollupTxBasePublicInputType = {
   chonk_proof_data: ChonkProofData;
-  proof: FixedLengthArray<Field, 20000>;
+  proof: FixedLengthArray<Field, 16200>;
   public_inputs: AvmCircuitPublicInputs;
 }
 
 export type MockRollupTxBasePublicReturnType = RollupPublicInputs;
 
 
-export async function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 20000>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs> {
+export async function MockRollupTxBasePublic(chonk_proof_data: ChonkProofData, proof: FixedLengthArray<Field, 16200>, public_inputs: AvmCircuitPublicInputs, MockRollupTxBasePublic_circuit: CompiledCircuit, foreignCallHandler?: ForeignCallHandler): Promise<RollupPublicInputs> {
   const program = new Noir(MockRollupTxBasePublic_circuit);
   const args: InputMap = { chonk_proof_data, proof, public_inputs };
   const { returnValue } = await program.execute(args, foreignCallHandler);