@aztec/protocol-contracts 0.68.1 → 0.68.2

package/artifacts/Router.json

@@ -3,6 +3,116 @@
   "noir_version": "1.0.0-beta.0+8079d640b38957b4",
   "name": "Router",
   "functions": [
+    {
+      "name": "compute_note_hash_and_optionally_a_nullifier",
+      "is_unconstrained": true,
+      "custom_attributes": [],
+      "abi": {
+        "error_types": {
+          "16541607464495309456": {
+            "error_kind": "fmtstring",
+            "item_types": [],
+            "length": 16
+          },
+          "17843811134343075018": {
+            "error_kind": "string",
+            "string": "Stack too deep"
+          }
+        },
+        "parameters": [
+          {
+            "name": "contract_address",
+            "type": {
+              "fields": [
+                {
+                  "name": "inner",
+                  "type": {
+                    "kind": "field"
+                  }
+                }
+              ],
+              "kind": "struct",
+              "path": "aztec::protocol_types::address::aztec_address::AztecAddress"
+            },
+            "visibility": "private"
+          },
+          {
+            "name": "nonce",
+            "type": {
+              "kind": "field"
+            },
+            "visibility": "private"
+          },
+          {
+            "name": "storage_slot",
+            "type": {
+              "kind": "field"
+            },
+            "visibility": "private"
+          },
+          {
+            "name": "note_type_id",
+            "type": {
+              "kind": "field"
+            },
+            "visibility": "private"
+          },
+          {
+            "name": "compute_nullifier",
+            "type": {
+              "kind": "boolean"
+            },
+            "visibility": "private"
+          },
+          {
+            "name": "serialized_note",
+            "type": {
+              "kind": "array",
+              "length": 0,
+              "type": {
+                "kind": "field"
+              }
+            },
+            "visibility": "private"
+          }
+        ],
+        "return_type": {
+          "abi_type": {
+            "kind": "array",
+            "length": 4,
+            "type": {
+              "kind": "field"
+            }
+          },
+          "visibility": "public"
+        }
+      },
+      "bytecode": "H4sIAAAAAAAA/9VZ227aQBBdsI2xiQmFP4jUt1ayCdc3pF7yHSiBL+gH+KEv7VeXFTv2YTypkJipykjRGs/6zNkz4931pufONjz99cJ1HNqB6xr12YW2vM0qRazSkmfvTnj274RndCc8Y0WePYGnb+l9S9z5nUvd+X3sOPFhn+gI/O5vQCzo79Bmoe2DXzExVSYMVgt/Uy5eM3dpyvyfs4CZ2uAvCX9og18S7y91i49jobhRaF/qVssXeMZbEa6xiAmXfH3wfWW+CHzfmA9r+DvzYd0TJ9JtAGNRrKuNdV5obCmMrfdO61yrHd4jrXNnWqMV5TxjfDh/4lNQn7rlM2C+GHwZ8yXgI/19+wT9eO5T6PcZ7vOajFy3hslPOUetLWoqNsA/2ULSneckri9jow91j0HPJ6aPxVqB+ljo7/WZvcOfrr2ltWssYnqiRqTZEPszXwa+uL6Mk4ffMcRBLOKRsP6fwu/H0A7gGXp+IsQfsPgXvIV7qBHHioR71N+/kx/D9cid6+cn9XfdeUpvU71aSHO2Hv66wc9s+B8JP7fBXxH+yAa/2cs8mODPS8IvbPhvCX9sUz/NXvLRhv+B8Ccm+IsDrbsfXGvN/BCup3Bfb+6uqmv2RBg/Z1yt9kRTxofrg+uv980ErhPBx3M4E+LMhDgSVqaI9aCI9fifjnGoiDVSxBorYmnmMVXE0tQrV8QqFLE0615TL8qjtE/ztgtteaNJ+zRF/Erap2l+u5PWVF+xoCGOL2H9fzCdRyY8qzmtOfSuUwyMXRjFvna9pviFwId454LvlkPZw3Jz3G6W29OWrFrNt00+C8aV38NvIpyPsb+09kv7PkWtS+m7fwy6eovBVzBfAj7iKH33j434X6M/xp8IPr7+X5vLqeuuhyM2bjzj2qmMuT3/k87mjeev5bXvJsXPXXe+/lfni6gP30vnAteJ4OP7k1yIkwtx7hGLn9Gjhr6uSae4bv1auVxv2n9w0VyUuMtzf8fiJ6z/r/Abx0btLXP+cb2vjs/74365f3tbvO6nDN9bH3T6A/vRhmkVHwAA",
+      "debug_symbols": "tdfNaoQwFAXgd8k6C29+jPFVShmixiEQokQtFPHdG4dpO8wsh7MRr1y/QMgh3J0Nvtuul5DGaWHtx87i1Ls1TKlU+8FZl0OM4Xp5/Myq82HlrX+ZXTrLZXV5Za3UkjOfhvJWU/l/DNGztpYHf2k14t5pzF+jFscnZ1bhaI2jaxxtcHSDoy2MpqoC2gS0BdCWQFsBbQ20a6BtgHYDtIG5JGAuCZhLAuaSgLkkYC4JmEt6N5f2t7Ns7wtukHiDxC0QFxUSJyQukLhE4gqJaySOTKhAJlQgEypgCT1K9eVycF309+lr3FL/MIyt37N/msvmPPV+2LI/J7T/4ew80lJxpW73fSlICk7SlEXKQj8=",
+      "brillig_names": [
+        "compute_note_hash_and_optionally_a_nullifier"
+      ]
+    },
+    {
+      "name": "sync_notes",
+      "is_unconstrained": true,
+      "custom_attributes": [],
+      "abi": {
+        "error_types": {
+          "17843811134343075018": {
+            "error_kind": "string",
+            "string": "Stack too deep"
+          }
+        },
+        "parameters": [],
+        "return_type": null
+      },
+      "bytecode": "H4sIAAAAAAAA/9VUyw6CMBBseURBOaiJ3kz8gyIYOJJ49x8akKMe8OKNT5eabbqpVRKlJkzSbEs3szNlW0oUKESPvAH9tGnIFdhBDCA6aN/tRgFr9hviQKs7JH/O0iQw+BtQ/5OfWtIvIPktnT+bAM+xVfzYi6w77UaIesKWZ/nPbHpe9fhc/MFnh32k1caghm+uIYci3RuYR4Y8iRlRd9prh/eV5YzJei7w++RVO67va/lrWIeafvmOFV/qrDMe1wmv+YFXVVrypcYv4KBzGnMvbGHe1wvY45yo3mjul/J0vZ0b0gNB8gCVxsvQjgYAAA==",
+      "debug_symbols": "ndLBCoQgEAbgd5lzh9S07FViCSsLQTTMFpbo3deiXdqli10GR/zGw/wLdLKZh1qZ3k5QVgto2wqvrAndsibQOKW1GurzNaRbQWh/P43CbO3khfNQEkoSkKYLJ4aC75WWUDKyPhJAOFqQaJFFCxor8OUfPEP8IDzL2NcUaDf0hmE3TH7DFPGGXG6f07T4GIrzH7OG7imcEo2WR7j62bSnrPnXKP9iNzrbym52cgvgKXuhVihPMA5jw+g3",
+      "brillig_names": [
+        "sync_notes"
+      ]
+    },
     {
       "name": "check_timestamp",
       "is_unconstrained": false,
@@ -1627,7 +1737,7 @@
         }
       },
       "bytecode": "H4sIAAAAAAAA/+XdBXAb59qGYZmSOMxp2nAhnEiWZEthZmZODHKYkzK4zMycYsrMmHKbMnObtkkbZsb/eVvpZK0onfmPVz3nnrMz99iW5NX1rWVZllbfpnj+WmqleTz7U//6PEWlRT/aSQ3iTot9dH6ekeBy5RKcViHBaZUSnFYlwWk1Vae40+onuFyDBKc1THBaowSnNU5wWhNVJu60plGLc0mJfoyd7vdmBwKRnKyIz+/L9WaF80JBbyCYlx3yhXzBULAgK+T3R0KBUE44L5zjDfsC/oivMBj2F3r/WiqlHVyXt0RLVn4ynZX/fac//gSzVVXpDqtth/2On8V+x88g9nnl6GVi31dFX1dV1VT1tIOnx5bUuG3gLdnia+zi9qyR5p7LeZu19TZwbKNUz+EXl64/KyXB9aS4vO2buLcub7KMTZNgLLa4fYN23ghLeoOumaQbdE3HDTr2R8iT5Btbiie5P8iSrjsYyi3Myo14k7kNqqQlZxu47ayR9t/9s4o5UxzrtAdixZb4X+yS/jK6CW/mSc4GdnvMLv7S+ppDxpzq4phbQMac5uKYW/5DY/aWbPG1cnH7Ue7YW3sYTi/E6YM4syBOP8QZgDiDEGc2xJkDcYYgzjDE2QbibAtxtoM420OcHSDOjhBnJ4izM8TZBeLsCnF2gzi7Q5w9IM6eEGcviLM3xNkH4uwLcfaDOPtDnAMgzoEQ5yCIczDEOQTiHApxDoM4h0OcIyDOkRDnKIhzNMQ5BuIcC3GOgzjHQ5wTIM6JEOckiDMX4syDOPMhzgKIMwJxFkKckyHOKRDnVIhzGsQ5HeKcAXHOhDhnQZyzIc45EOdciHMexDkf4lwAcS6EOI+HOE+AOE+EOE+COE+GOE+BOE+FOE+DOE+HOM+AOIsgzjMhzrMgzrMhznMgznMhzvMgzvMhzgsgzgshzosgzoshzksgzkshzssgzsshzisgzishzqsgzqshzmsgzmshzusgzushzhsgzhshzpsgzpshzlsgzlshztsgztshzkUQ5x0Q550Q510Q590Q5z0Q570Q52KI8z6I836I8wGI80GI8yGI82GI8xGI81GI8zGI83GI8wmI80mI8ymI82mI8xmI81mI8zmI83mI8wWI80WI8yWI82WI8xWI81WIcwnE+RrE+TrE+QbE+SbE+RbE+TbE+Q7E+S7E+R7EuRTifB/i/ADi/BDi/Aji/Bji/ATi/BTi/Azi/Bzi/ALi/BLi/Ari/Bri/Abi/Bbi/A7i/B7i/AHi/BHi/Ani/BniXAZx/gJx/gpx/gZxLoc4V0Ccv0Ocf0CcKyHOVRDnaohzDcS5FuJcB3Guhzg3QJwbIc5NEOdmiHMLxLkV4twGcW6HOHdAnDshzl0Q526Icw/EuRfi3Adx7oc4D0CctkKCMwXiTIU40yDOdIgzA+IsBXGWhjjLQJyZEGdZiLMcxFke4qwAcVaEOCtBnJUhzioQZ1WIsxrEWR3irAFx1oQ4a0GcR0CctSHOIyHOoyDOOhBnXYizHsRZH+JsAHE2hDgbQZxHQ5zHQJzHQpzHQZyNIc4mEGdTiLMZxNkc4mwBcbaEOFtBnK0hTi/E6YM4syBOP8QZgDiDEGc2xJkDcYYgzjDE2QbibJskZ2qc0+/NDgQiOVkRn9+X680K54WC3kAwLzvkC/mCoWBBVsjvj4QCoZxwXjjHG/YF/BFfYTDsL4yuO8XFMbf7Hxxze8jtsUNKybefLzcvLxIoDCTT2THFvZ/z392GvCVbfJ1cdNZK+2d+b7wlW3ydXRxzjTTG700XyO93V4izG8TZHeLsAXH2hDh7QZy9Ic4+EGdfiLMfxNkf4hwAcQ6EOAdBnIMhziEQ51CIcxjEORziHAFxjoQ4R0GcoyHOMRDnWIhzHMQ5HuKcAHFOhDgnQZy5EGcexJkPcRZAnBGIsxDinAxxToE4p0Kc0yDO6RDnDIhzJsQ5C+KcDXHOgTjnQpzzIM75EOcCiHMhxHk8xHkCxHkixHkSxHkyxHkKxHkqxHkaxHk6xHkGxFkEcZ4JcZ4FcZ4NcZ4DcZ4LcZ4HcZ4PcV4AcV4IcV4EcV4McV4CcV4KcV4GcV4OcV4BcV4JcV4FcV4NcV4DcV4LcV4HcV4Pcd4Acd4Icd4Ecd4Mcd4Ccd4Kcd4Gcd4OcS6COO+AOO+EOO+COO+GOO+BOO+FOBdDnPdBnPdDnA9AnA9CnA9BnA9DnI9AnI9CnI9BnI9DnE9AnE9CnE9BnE9DnM9AnM9CnM9BnM9DnC9AnC9CnC9BnC9DnK9AnK9CnEsgztcgztchzjcgzjchzrcgzrchzncgznchzvcgzqUQ5/sQ5wcQ54cQ50cQ58cQ5ycQ56cQ52cQ5+cQ5xcQ55cQ51cQ59cQ5zcQ57cQ53cQ5/cQ5w8Q548Q508Q588Q5zKI8xeI81eI8zeIcznEuQLi/B3i/APiXAlxroI4V0OcayDOtRDnOohzPcS5AeLcCHFugjg3Q5xbIM6tEOc2iHM7xLkD4twJce6COHdDnHsgzr0Q5z6Icz/EeQDi9KQynCkQZyrEmQZxpkOcGRBnKYizNMRZBuLMhDjLQpzlIM7yEGcFiLMixFkJ4qwMcVaBOKtCnNUgzuoQZw2IsybEWQviPALirA1xHglxHgVx1oE460Kc9SDO+hBnA4izIcTZCOI8GuI8BuI8FuI8DuJsDHE2gTibQpzNIM7mEGcLiLMlxNkK4mwNcXohTh/EmQVx+iHOAMQZhDizIc4ciDMEcYYhzjYQZ1uIsx3E2R7i7ABxdoQ4O0GcnSHOLhBnV4izG8TZHeLsAXH2hDh7QZy9Ic4+EGdfiLMfxNkf4hwAcQ6EOAdBnIMhziEQ51CIcxjEORziHAFxjoQ4R0GcoyHOMRDnWIhzHMQ5HuKcAHFOhDgnQZy5EGcexJkPcRZAnBGIsxDinAxxToE4p0Kc0yDO6RDnDIhzJsQ5C+KcDXHOgTjnQpzzIM75EOcCiHMhxHk8xHkCxHkixHkSxHkyxHkKxHkqxHkaxHk6xHkGxFkEcZ4JcZ4FcZ4NcZ4DcZ4LcZ4HcZ4PcV4AcV4IcV4EcV4McV4CcV4KcV4GcV4OcV4BcV4JcV4FcV4NcV4DcV4LcV4HcV4Pcd4Acd4Icd4Ecd4Mcd4Ccd4Kcd4Gcd4OcS6COO+AOO+EOO+COO+GOO+BOO+FOBdDnPdBnPdDnA9AnA9CnA9BnA9DnI9AnI9CnI9BnI9DnE9AnE9CnE9BnE9DnM9AnM9CnM9BnM9DnC9AnC9CnC9BnC9DnK9AnK9CnEsgztcgztchzjcgzjchzrcgzrchzncgznchzvcgzqUQ5/sQ5wcQ54cQ50cQ58cQ5ycQ56cQ52cQ5+cQ5xcQ55cQ51cQ59cQ5zcQ57cQ53cQ5/cQ5w8Q548Q508Q588Q5zKI8xeI81eI8zeIcznEuQLi/B3i/APiXAlxrkqSMzXO6fdmBwKRnKyIz+/L9WaF80JBbyCYlx3yhXzBULAgK+T3R0KBUE44L5zjDfsC/oivMBj2F0bX3djFMa/+h8bsLdniW5Pq3varmcb4Oae7uP3WQm7bGS6OeR1kzKVcHPN6yJhLuzjmDZAxl3FxzBshY850ccybIGMu6+KYN0PGXM7FMW+BjLm8i2PeChlzBRfHvA0y5ooujnk7ZMyVXBzzDsiYK7s45p2QMVdxccy7IGOu6uKYd0PGXM3FMe+BjLm6i2PeCxlzDRfHvA8y5poujnk/ZMy1XBzzAciYj3BxzB7Ic4C1XRxzCmTMR7o45lTImI9yccxpkDHXcXHM6ZAx13VxzBmQMddzccylIGOu7+KYS0PG3MDFMZeBjLmhi2POhIy5kYtjLgsZ89EujrkcZMzHuDjm8pAxH+vimCtAxnyci2Ou6OKYtao/9/FZER1wM9VctVAtVSvV2q5H+VSWbQsVUEGVrXJUSIVVG9VWtVPtVQfVMTr2zqqL6qq6qe6qh+qpeqneqo/qq/qp/mqAGqgGqcFqiBqqhqnhaoQaqUap0WqMGqvGqfFqgpqoJqlclafyVYGKqEI1WU1RU9U0NV3NUDPVLDVbzVFz1Tw1Xy1QC9Xx6gR1ojpJnaxOUaeq09Tp6gxVpM5UZ6mz1TnqXHWeOl9doC5UF6mL1SXqUnWZulxdoa5UV6mr1TXqWnWdul7doG5UN6mb1S3qVnWbul0tUneoO9Vd6m51j7pXLVb3qfvVA+pB9ZB6WD2iHlWPqcfVE+pJ9ZR6Wj2jnlXPqefVC+pF9ZJ6Wb2iXlVL1GvqdfWGelO9pd5W76h31XtqqXpffaA+VB+pj9Un6lP1mfpcfaG+VF+pr9U36lv1nfpe/aB+VD+pn9Uy9Yv6Vf2mlqsV6nf1h1qpVqnVao1aq9ap9WqD2qg2qc1qi9qqtqntaofaqXap3WqP2qv2qf3qgLJfshSVqtJUuspQpVRpVUZlqrKqnCqvKqiKqpKqrKqoqqqaqq5qqJqqljpC1VZHqqNUHVVX1VP1VQPVUDVSR6tj1LHqONVYNVFNVTPVXLVQLVUr1Vp5lU9lKb8KqKDKVjkqpMKqjWqr2qn2qoPqqDqpzqqL6qq6qe6qh+qpeqneqo/qq/qp/mqAGqgGqcFqiBqqhqnhaoQaqUap0WqMGqvGqfFqgpqoJqlclafyVYGKqEI1WU1RU9U0NV3NUDPVLDVbzVFz1Tw1Xy1QC9Xx6gR1ojpJnaxOUaeq09Tp6gxVpM5UZ6mz1TnqXHWeOl9doC5UF6mL1SXqUnWZulxdoa5UV6mr1TXqWnWdul7doG5UN6mb1S3qVnWbul0tUneoO9Vd6m51j7pXLVb3qfvVA+pB9ZB6WD2iHlWPqcfVE+pJ9ZR6Wj2jnlXPqefVC+pF9ZJ6Wb2iXlVL1GvqdfWGelO9pd5W76h31XtqqXpffaA+VB+pj9Un6lP1mfpcfaG+VF+pr9U36lv1nfpe/aB+VD+pn9Uy9Yv6Vf2mlqsV6nf1h1qpVqnVao1aq9ap9WqD2qg2qc1qi9qqtqntaofaqXap3WqP2qv2qf3qgLIHFCkqVaWpdJWhSqnSqozKVGVVOVVeVVAVVSVVWVVRVVU1VV3VUDVVLXWEqq2OVEepOqquqqfqqwaqoWqkjlbHqGPVcaqxaqKaqmaquWqhWqpWqrXyKp/KUn4VUEGVrXJUSIVVG9VWtVPtVQfVUXVSnVUX1VV1U91VD9VT9VK9VR/VV/VT/dUANVANUoPVEDVUDVPD1Qg1Uo1So9UYNVaNU+PVBDVRTVK5Kk/lqwIVUYVqspqipqpparqy49XbseDtOOt2DHM7Prgde9uOa23HjLbjMduxju04wnaMXjv+rR1b1o7basdEteON2rE87TiZdgzKImXHTrTjEtox/+x4enasOjsOnB1jzY5fZscGs+Nu2TGt7HhRdiwmO86RHUPIjs9jx76x48rYMVvseCh2rBE7jocdI8OOP2HHdrDjJtgxCWy+f5tL3+aptzngFymbu9zmBbc5t20+a5sr2uZhtjmObf5gm5vX5r21OWVtvlabC9XmGbU5PG1+TJt70uZ1tDkTbT5Cm+vP5tGzOeps/jebW83mLbM5wWy+LZvLyuaJsjmYliibO8jm5bE5b2w+GZurxeZBsTlGbP4OmxvD5p2wOR1svgSbi8De52/vobf3p9t7v+191faeZXs/sL3X1t7Hau8Rtfdf2nsb7X2D9p48e7+bvZfM3qdl74Fapuy9O/a+GHvPib2fwx7z2vsQbB9/23/e9k23fbVtP2jbl9f2bbV9PW3fR9sX0PaNs33FbN8p25fI9q2xfU1s3wvbF8Fem7fXqu21W3st017bs9e67LUfey3EXhuw58rtuWN7LtWeW7Tn2uy5J3suxp6bsP/V7X9X+1/O/rexx/qpfz188Ni+yrY08xxconcttvo/z7d9e21fV9v30/aFtH0DbV8523fM9qWyfYtsXxvb98T2xbB9E+y1envt2l7Ltdc27bU+e+3LXguy10bstQJ77tyeS7bnVu25RnvurYFqqBop+9/d/pe1/+3sfx3bf76Jauo5dEl1fF4t+rHG8s615y5d3N15uZqHOS/2/dnRj5lxp6dEt0en6Nfeki2+TMd63V5/yBvIzvQUX1z2+zMd60zm+tOTs/4/92O2pWtR8fV74q43Le5yib6nQvTzFM+hl4mNIxm3I/2cA0neTlmx9ZdK0s85tt0yHNsuLcGYYtdfwVP8ZxU7P9FHj6f4z9QTd11lPUm9Dfv+bmxOf+y2UTnu8vHb4HDryvh/rus/+TN1bmvnz/TPyxQdPC817rx0x3kZcedlFB06Rvs7Vc9xuUS/g7HLNY3bLsm8T07WfYEt1RL4nddlS+kiz7+W2DZIc5wW25axbVvGefm48zId56UXFb+estGv0x3X41xXzJERd/km0a8rRT+WcnxP7PsrJ7j+UnHXX8yd4LT47ZKZ4PKZCS5vt9mG0c/t8Y/dfryOdR3udu98fBL7vJLn0N/x2Pcm+Xc0K8Vz6P1Q/P2J8/pjj/NsmZObP73zvMkLZ0ZmLZjvvLON/2ZPgkHHzktxnH64P77x35PmuLxzKec5+IAtvaj45TtFT/eWYMkJeb2x64z9EmR4im88T9z1Z8RdPhj9uqxjPM7xdvo3nYU5ub5Cf25hbjC3oCCQn1s1bv0ez8HtaNupbvRz+APc8D/1ADdJv4DB2PpLJ2f9CR/gOscSOz92G+5WdHBbdisqbopdpofjMj0Oc5mejsv0dFzGlr97oBz/R9rpSPSgr3vceemeQ22x85x3yDGT3XFXc7hs6VV00PuvPwyepD6ADyX5HylfNc/fP/ipFf3c7uBrRz+PzJq7MLIwMmhh3oyp+T0WzspfMHX2rK65M2bE39k7b1DOJSPucvHfl+iO3fl1etzXGQnWe7jvjz/tcDc+p5/wB6RO9Ov/9B+Q/wNSLnYsZBsCAA==",
-      "debug_symbols": "7ZXdasMwDIXfxde5kGT5r68yRknbtARCUtJ0MErffXaJk6x1N5aywaA3IbK/Y8nHinMSm2J13C3LetscxOLlJKpmnXdlU/voJFBdxg77vA7hocvbTixQO8hEUW/8qwE4Z2JbVoVYaHnObmCy0vYwWT3CKG2ClgpdT0vl6BsaNauhEs2aB56MSfHGyohbGFcnnYKBdITBqCn8mgnUT2fuOGOeztxxxj7sDINSPczgcNyrwksG99sZCFIZDFGvscBfr48AUg0ewfR0FSd4ZWPtGkdDvbehGHy8GDNYAzhJkC4GHbKJvMNJ8wR7Eo1M0nLsZGKUN3bSv9+B/PMdGD3wzvFVi/po1ZZVVe6Wn35lEB6ctBt92rggkr1qMpYzNDxDo2Zo9E81PsCApr9jf332QqPcqCOv89Fb3pb5qiqCn2HyWK+jvT7s3vdxJh7Avm3WxebYFuEoxlMIhkrIGMKNFepgmyk5lHYZIpmR9Vl95g8=",
+      "debug_symbols": "7ZXdasMwDIXfxde5kGT5r68yRknbtARCUtJ0MErffXaJk6x1N5aywaA3IbK/Y8nHinMSm2J13C3LetscxOLlJKpmnXdlU/voJFBdxg77vA7hocvbTixQO8hEUW/8qwE4Z2JbVoVYaHnObmCy0vYwWT3CKG2ClgpdT0vl6BsaNauhEs2aB55MkjdWRtzCuDrpFAykIwxGTeHXTKB+OnPHGfN05o4z9mFnGJTqYQaH414VXjK4385AkMpgiHqNBf56fQSQavAIpqerOMErG2vXOBrqvQ3F4OPFmMEawEmCdDHokE3kHU6aJ9iTaGSSlmMnE6O8sZP+/Q7kn+/A6IF3jq9a1Eertqyqcrf89CuD8OCk3ejTxgWR7FWTsZyh4RkaNUOjf6rxAQY0/R3767MXGuVGHXmdj97ytsxXVRH8DJPHeh3t9WH3vo8z8QD2bbMuNse2CEcxnkIwVELGEG6sUAfbTMmhtMsQyYysz+ozfwA=",
       "brillig_names": [
         "pack_arguments_oracle_wrapper",
         "enqueue_public_function_call_internal"
@@ -3256,7 +3366,7 @@
         }
       },
       "bytecode": "H4sIAAAAAAAA/+XdBXAb59qGYZmSOMxp2nAhnEiWZEthZmZODHKYkzK4zMycYsrMmHKbMnObtkkbZsb/eVvpZK0onfmPVz3nnrMz99iW5NX1rWVZllbfpnj+WmqleTz7Uv/6PEWlRT/aSQ3iTot9dH6ekeBy5RKcViHBaZUSnFYlwWk1Vae40+onuFyDBKc1THBaowSnNU5wWhNVxlN8SYl+7BT96PdmBwKRnKyIz+/L9WaF80JBbyCYlx3yhXzBULAgK+T3R0KBUE44L5zjDfsC/oivMBj2F3r/WiqlHVyXt0RLVn4ynZX/fac//gSzVVXpDqtth/2O7R77vKnj88rRy8S+r4q+rqqqqeppB0+PLalx28BbssXX2MXtWSPNPZfzNmvrbeDYRqmewy8uXX9WSoLrSXF52zdxb13eZBmbJsFYbHH7Bu28EZb0Bl0zSTfomo4bdOwPjifJN7YUT3J/kCVdd044UuDTTyaZ26BKWnK2gdvOGmn/3T+rmDPFsU570FVsif/FLukvo5vwZp7kbGC3x+ziL62vOWTMqS6OuQVkzGkujrnlPzRmb8kWXysXtx/ljr21h+H0Qpw+iDML4vRDnAGIMwhxZkOcORBnCOIMQ5xtIM62EGc7iLM9xNkB4uwIcXaCODtDnF0gzq4QZzeIszvE2QPi7Alx9oI4e0OcfSDOvhBnP4izP8Q5AOIcCHEOgjgHQ5xDIM6hEOcwiHM4xDkC4hwJcY6COEdDnGMgzrEQ5ziIczzEOQHinAhxToI4cyHOPIgzH+IsgDgjEGchxDkZ4pwCcU6FOKdBnNMhzhkQ50yIcxbEORvinANxzoU450Gc8yHOBRDnQojzeIjzBIjzRIjzJIjzZIjzFIjzVIjzNIjzdIjzDIizCOI8E+I8C+I8G+I8B+I8F+I8D+I8H+K8AOK8EOK8COK8GOK8BOK8FOK8DOK8HOK8AuK8EuK8CuK8GuK8BuK8FuK8DuK8HuK8AeK8EeK8CeK8GeK8BeK8FeK8DeK8HeJcBHHeAXHeCXHeBXHeDXHeA3HeC3EuhjjvgzjvhzgfgDgfhDgfgjgfhjgfgTgfhTgfgzgfhzifgDifhDifgjifhjifgTifhTifgzifhzhfgDhfhDhfgjhfhjhfgThfhTiXQJyvQZyvQ5xvQJxvQpxvQZxvQ5zvQJzvQpzvQZxLIc73Ic4PIM4PIc6PIM6PIc5PIM5PIc7PIM7PIc4vIM4vIc6vIM6vIc5vIM5vIc7vIM7vIc4fIM4fIc6fIM6fIc5lEOcvEOevEOdvEOdyiHMFxPk7xPkHxLkS4lwFca6GONdAnGshznUQ53qIcwPEuRHi3ARxboY4t0CcWyHObRDndohzB8S5E+LcBXHuhjj3QJx7Ic59EOd+iPMAxGkrJDhTIM5UiDMN4kyHODMgzlIQZ2mIswzEmQlxloU4y0Gc5SHOChBnRYizEsRZGeKsAnFWhTirQZzVIc4aEGdNiLMWxHkExFkb4jwS4jwK4qwDcdaFOOtBnPUhzgYQZ0OIsxHEeTTEeQzEeSzEeRzE2RjibAJxNoU4m0GczSHOFhBnS4izFcTZGuL0Qpw+iDML4vRDnAGIMwhxZkOcORBnCOIMQ5xtIM62SXKmxjn93uxAIJKTFfH5fbnerHBeKOgNBPOyQ76QLxgKFmSF/P5IKBDKCeeFc7xhX8Af8RUGw/7C6LpTXBxzu//BMbeH3B47pJR8+/ly8/IigcJAMp0dU9z7Of/dbchbssXXyUVnrbR/5vfGW7LF19nFMddIY/zedIH8fneFOLtBnN0hzh4QZ0+IsxfE2Rvi7ANx9oU4+0Gc/SHOARDnQIhzEMQ5GOIcAnEOhTiHQZzDIc4REOdIiHMUxDka4hwDcY6FOMdBnOMhzgkQ50SIcxLEmQtx5kGc+RBnAcQZgTgLIc7JEOcUiHMqxDkN4pwOcc6AOGdCnLMgztkQ5xyIcy7EOQ/inA9xLoA4F0Kcx0OcJ0CcJ0KcJ0GcJ0Ocp0Ccp0Kcp0Gcp0OcZ0CcRRDnmRDnWRDn2RDnORDnuRDneRDn+RDnBRDnhRDnRRDnxRDnJRDnpRDnZRDn5RDnFRDnlRDnVRDn1RDnNRDntRDndRDn9RDnDRDnjRDnTRDnzRDnLRDnrRDnbRDn7RDnIojzDojzTojzLojzbojzHojzXohzMcR5H8R5P8T5AMT5IMT5EMT5MMT5CMT5KMT5GMT5OMT5BMT5JMT5FMT5NMT5DMT5LMT5HMT5PMT5AsT5IsT5EsT5MsT5CsT5KsS5BOJ8DeJ8HeJ8A+J8E+J8C+J8G+J8B+J8F+J8D+JcCnG+D3F+AHF+CHF+BHF+DHF+AnF+CnF+BnF+DnF+AXF+CXF+BXF+DXF+A3F+C3F+B3F+D3H+AHH+CHH+BHH+DHEugzh/gTh/hTh/gziXQ5wrIM7fIc4/IM6VEOcqiHM1xLkG4lwLca6DONdDnBsgzo0Q5yaIczPEuQXi3ApxboM4t0OcOyDOnRDnLohzN8S5B+LcC3Hugzj3Q5wHIE5PKsOZAnGmQpxpEGc6xJkBcZaCOEtDnGUgzkyIsyzEWQ7iLA9xVoA4K0KclSDOyhBnFYizKsRZDeKsDnHWgDhrQpy1IM4jIM7aEOeREOdREGcdiLMuxFkP4qwPcTaAOBtCnI0gzqMhzmMgzmMhzuMgzsYQZxOIsynE2QzibA5xtoA4W0KcrSDO1hCnF+L0QZxZEKcf4gxAnEGIMxvizIE4QxBnGOJsA3G2hTjbQZztIc4OEGdHiLMTxNkZ4uwCcXaFOLtBnN0hzh4QZ0+IsxfE2Rvi7ANx9oU4+0Gc/SHOARDnQIhzEMQ5GOIcAnEOhTiHQZzDIc4REOdIiHMUxDka4hwDcY6FOMdBnOMhzgkQ50SIcxLEmQtx5kGc+RBnAcQZgTgLIc7JEOcUiHMqxDkN4pwOcc6AOGdCnLMgztkQ5xyIcy7EOQ/inA9xLoA4F0Kcx0OcJ0CcJ0KcJ0GcJ0Ocp0Ccp0Kcp0Gcp0OcZ0CcRRDnmRDnWRDn2RDnORDnuRDneRDn+RDnBRDnhRDnRRDnxRDnJRDnpRDnZRDn5RDnFRDnlRDnVRDn1RDnNRDntRDndRDn9RDnDRDnjRDnTRDnzRDnLRDnrRDnbRDn7RDnIojzDojzTojzLojzbojzHojzXohzMcR5H8R5P8T5AMT5IMT5EMT5MMT5CMT5KMT5GMT5OMT5BMT5JMT5FMT5NMT5DMT5LMT5HMT5PMT5AsT5IsT5EsT5MsT5CsT5KsS5BOJ8DeJ8HeJ8A+J8E+J8C+J8G+J8B+J8F+J8D+JcCnG+D3F+AHF+CHF+BHF+DHF+AnF+CnF+BnF+DnF+AXF+CXF+BXF+DXF+A3F+C3F+B3F+D3H+AHH+CHH+BHH+DHEugzh/gTh/hTh/gziXQ5wrIM7fIc4/IM6VEOeqJDlT45x+b3YgEMnJivj8vlxvVjgvFPQGgnnZIV/IFwwFC7JCfn8kFAjlhPPCOd6wL+CP+AqDYX9hdN2NXRzz6n9ozN6SLb41qe5tv5ppjJ9zuovbby3ktp3h4pjXQcZcysUxr4eMubSLY94AGXMZF8e8ETLmTBfHvAky5rIujnkzZMzlXBzzFsiYy7s45q2QMVdwcczbIGOu6OKYt0PGXMnFMe+AjLmyi2PeCRlzFRfHvAsy5qoujnk3ZMzVXBzzHsiYq7s45r2QMddwccz7IGOu6eKY90PGXMvFMR+AjPkIF8fsgTwHWNvFMadAxnyki2NOhYz5KBfHnAYZcx0Xx5wOGXNdF8ecARlzPRfHXAoy5voujrk0ZMwNXBxzGciYG7o45kzImBu5OOaykDEf7eKYy0HGfIyLYy4PGfOxLo65AmTMx7k45ooujlmr+nMfnxXRATdTzVUL1VK1Uq3tepRPZdm2UAEVVNkqR4VUWLVRbVU71V51UB2jY++suqiuqpvqrnqonqqX6q36qL6qn+qvBqiBapAarIaooWqYGq5GqJFqlBqtxqixapwaryaoiWqSylV5Kl8VqIgqVJPVFDVVTVPT1Qw1U81Ss9UcNVfNU/PVArVQHa9OUCeqk9TJ6hR1qjpNna7OUEXqTHWWOludo85V56nz1QXqQnWRulhdoi5Vl6nL1RXqSnWVulpdo65V16nr1Q3qRnWTulndom5Vt6nb1SJ1h7pT3aXuVveoe9VidZ+6Xz2gHlQPqYfVI+pR9Zh6XD2hnlRPqafVM+pZ9Zx6Xr2gXlQvqZfVK+pVtUS9pl5Xb6g31VvqbfWOele9p5aq99UH6kP1kfpYfaI+VZ+pz9UX6kv1lfpafaO+Vd+p79UP6kf1k/pZLVO/qF/Vb2q5WqF+V3+olWqVWq3WqLVqnVqvNqiNapParLaorWqb2q52qJ1ql9qt9qi9ap/arw4o+yVLUakqTaWrDFVKlVZlVKYqq8qp8qqCqqgqqcqqiqqqqqnqqoaqqWqpI1RtdaQ6StVRdVU9VV81UA1VI3W0OkYdq45TjVUT1VQ1U81VC9VStVKtlVf5VJbyq4AKqmyVo0IqrNqotqqdaq86qI6qk+qsuqiuqpvqrnqonqqX6q36qL6qn+qvBqiBapAarIaooWqYGq5GqJFqlBqtxqixapwaryaoiWqSylV5Kl8VqIgqVJPVFDVVTVPT1Qw1U81Ss9UcNVfNU/PVArVQHa9OUCeqk9TJ6hR1qjpNna7OUEXqTHWWOludo85V56nz1QXqQnWRulhdoi5Vl6nL1RXqSnWVulpdo65V16nr1Q3qRnWTulndom5Vt6nb1SJ1h7pT3aXuVveoe9VidZ+6Xz2gHlQPqYfVI+pR9Zh6XD2hnlRPqafVM+pZ9Zx6Xr2gXlQvqZfVK+pVtUS9pl5Xb6g31VvqbfWOele9p5aq99UH6kP1kfpYfaI+VZ+pz9UX6kv1lfpafaO+Vd+p79UP6kf1k/pZLVO/qF/Vb2q5WqF+V3+olWqVWq3WqLVqnVqvNqiNapParLaorWqb2q52qJ1ql9qt9qi9ap/arw4oe0CRolJVmkpXGaqUKq3KqExVVpVT5VUFVVFVUpVVFVVVVVPVVQ1VU9VSR6ja6kh1lKqj6qp6qr5qoBqqRupodYw6Vh2nGqsmqqlqppqrFqqlaqVaK6/yqSzlVwEVVNkqR4VUWLVRbVU71V51UB1VJ9VZdVFdVTfVXfVQPVUv1Vv1UX1VP9VfDVAD1SA1WA1RQ9UwNVyNUCPVKDVajVFj1Tg1Xk1QE9UklavyVL4qUBFVqCarKWqqmqamKztevR0L3o6zbscwt+OD27G37bjWdsxoOx6zHevYjiNsx+i149/asWXtuK12TFQ73qgdy9OOk2nHoCxSduxEOy6hHfPPjqdnx6qz48DZMdbs+GV2bDA77pYd08qOF2XHYrLjHNkxhOz4PHbsGzuujB2zxY6HYscaseN42DEy7PgTdmwHO26CHZPA5vu3ufRtnnqbA36RsrnLbV5wm3Pb5rO2uaJtHmab49jmD7a5eW3eW5tT1uZrtblQbZ5Rm8PT5se0uSdtXkebM9HmI7S5/mwePZujzuZ/s7nVbN4ymxPM5tuyuaxsniibg2mJsrmDbF4em/PG5pOxuVpsHhSbY8Tm77C5MWzeCZvTweZLsLkI7H3+9h56e3+6vffb3ldt71m29wPbe23tfaz2HlF7/6W9t9HeN2jvybP3u9l7yex9WvYeqGXK3rtj74ux95zY+znsMa+9D8H28bf9523fdNtX2/aDtn15bd9W29fT9n20fQFt3zjbV8z2nbJ9iWzfGtvXxPa9sH0R7LV5e63aXru11zLttT17rcte+7HXQuy1AXuu3J47tudS7blFe67Nnnuy52LsuQn7X93+d7X/5ex/G3usn/rXwweP7atsSzPPwSV612Kr//N827fX9nW1fT9tX0jbN9D2lbN9x2xfKtu3yPa1sX1PbF8M2zfBXqu3167ttVx7bdNe67PXvuy1IHttxF4rsOfO7blke27Vnmu0594aqIaqkbL/3e1/Wfvfzv7Xsf3nm6imnkOXVMfnVaMfayzvXHvu0sXdnZercZjzYt+fHf2YGXd6SnR7dIp+7S3Z4st0rNft9Ye8gexMT/HFZb8/07HOZK4/PTnr/3M/Zlu6FhVfvyfuetPiLpfoeypEP0/xHHqZ2DiScTvSzzmQ5O2UFVt/qST9nGPbLcOx7dISjCl2/RU8xX9WsfMTffR4iv9MPXHXVdaT1Nuw7+/G5vTHbhuV4y4fvw0Ot66M/+e6/pM/U+e2dv5M/7xM0cHzUuPOS3eclxF3XkbRoWO0v1P1HJdL9DsYu1zTuO2SzPvkZN0X2FItgd95XbaULvL8a4ltgzTHabFtGdu2ZZyXjzsv03FeelHx6ykb/TrdcT3OdcUcGXGXbxL9ulL0YynH98S+v3KC6y8Vd/3F3AlOi98umQkun5ng8nabbRj93B7/2O3H61jX4W73zscnsc8reQ79HY99b5J/R7NSPIfeD8XfnzivP/Y4z5Y5ufnTO8+bvHBmZNaC+c472/hv9iQYdOy8FMfph/vjG/89aY7LO5dynoMP2NKLil++U/R0bwmWnJDXG7vO2C9Bhqf4xvPEXX9G3OWD0a/LOsbjHG+nf9NZmJPrK/TnFuYGcwsKAvm5VePW7/Ec3I62nepGP4c/wA3/Uw9wk/QLGIytv3Ry1p/wAa5zLLHzY7fhbkUHt2W3ouKm2GV6OC7T4zCX6em4TE/HZWz5uwfK8X+knY5ED/q6x52X7jnUFjvPeYccM9kddzWHy5ZeRQe9//rD4EnqA/hQkv+R8lXz/P2Dn1rRz+0Ovnb088isuQsjCyODFubNmJrfY+Gs/AVTZ8/qmjtjRvydvfMG5Vwy4i4X/32J7tidX6fHfZ2RYL2H+/740w5343P6CX9A6kS//k//Afk/pAqStFAbAgA=",
-      "debug_symbols": "7ZXdasMwDIXfxde+kGT5r68yxkjbtARCUtJ0MErffXaJk6xzKes2BqM3IbI/WcfHinMU63J52L5Uzabdi8XTUdTtquirtgnRUSCfx/a7oonhvi+6XizQeJCibNbh1QKcpNhUdSkWRp3kJ5iccgNMzkwwKpehlUY/0Ep7ukGjYT0qMWx45MnaHG+dSriDaXUyORjIJBisnsPPUqB+OHPFGfNw5ooz9tvOMGg9wAwep71qPFdwv17BZysom5KQzY0KCKBGGmB+vpozvHZJvcHJ0uBukEPwE3LsaA/grEReDnpkm3iPswaKFmWamZTj1M3EqC4tJfwHe6A/2IM1I+89X7RqiJZdVdfV9uXDLw3ig/NyQ9m0IJK7aDVWd+TwHTn6jhzz1ZwQYETzH1C4RodEq/2URyEvRK9FVxXLuox+xslDs0r2hrB/26WZdAC7rl2V60NXxqOYTiEaqkAyxHsl6mAntRqlnYdISXKhaqj8Dg==",
+      "debug_symbols": "7ZXdasMwDIXfxde+kGT5r68yxkjbtARCUtJ0MErffXaJk6xzKes2BqM3IbI/WcfHinMU63J52L5Uzabdi8XTUdTtquirtgnRUSCfx/a7oonhvi+6XizQeJCibNbh1QKcpNhUdSkWRp3kJ5iccgNMzkwwKpehlUY/0Ep7ukGjYT0qMWx45MlmeetUwh1Mq5PJwUAmwWD1HH6WAvXDmSvOmIczV5yx33aGQesBZvA47VXjuYL79Qo+W0HZlIRsblRAADXSAPPz1ZzhtUvqDU6WBneDHIKfkGNHewBnJfJy0CPbxHucNVC0KNPMpBynbiZGdWkp4T/YA/3BHqwZee/5olVDtOyquq62Lx9+aRAfnJcbyqYFkdxFq7G6I4fvyNF35Jiv5oQAI5r/gMI1OiRa7ac8Cnkhei26qljWZfQzTh6aVbI3hP3bLs2kA9h17apcH7oyHsV0CtFQBZIh3itRBzup1SjtPERKkgtVQ+V3",
       "brillig_names": [
         "pack_arguments_oracle_wrapper",
         "enqueue_public_function_call_internal"
@@ -3264,117 +3374,7 @@
       "verification_key": "AAAAAAAQAAAAAAAAAAAAFAAAAAAAAAAQAAAAAAADKLEBAAAAAAAAAAEAAAACAAAAAwAAAAQAAAAFAAAABgAAAAcAAAAIAAAACQAAAAoAAAALAAAADAAAAA0AAAAOAAAADwAAAAAAAAAAABzK2NvY9tuTVnnt4Jo9EJ3XlNU9FzhpFlgm9/PkRXUdFqA5oJZ0gYycCfDZhPcPBQWUbHSpMlGIzzxqUOGyxPYb4xy/bffIXhU35FXxWJ+rEf2nko/YCtcYXbi1AVF2PwU9zOPcMIfd5VS2jjE8/TwSFvfN14Qbi3haVrMogSiYA/OsRVQNI2491hd4w+dfGdae28CyvNLoYg3saTfKrK4QpOIBkAeX02dBPBHPGHVThW+n+JN5YiR1WhfmKdZeAyc1DC4nZ4P0Yngu2OefuyKN2X2YbTmJoy+tY8kylMWSDj6sId390rdZrwaFPZVxmsJN4l2+J/WDAtbyBtKTVHEXQOy6PJYUVS9nl18WZlYFn3657yQE+zDARTTYo/3iug7rx6bI+JhCXYdcM6+D+TU/GPlKg6dCfa6X7LhoX36QMCAWfReiqFCGf1sLqEwg7kso34PfwYFIdzSCfP/n+qcp01y4RfGv1neVJCkRhLeaQM1/cSIoV7OnToE3F/b7qgRWu3AbWwtGO7zwxP5xkFUjk9CVM+GyAEvYTp+KU6iPA4D05rswR3a/1Psi4gmHdBVkgemj+PCR0w2xADptqrQpjDMR/JFw+S3pQLBCqrmQ1TxqOyYznNprc9+SCDFBWQewX0CKYShHJZAWuSBK5L83U36xlrBcHZj6UQFqm6y7AgJ5uDGE6e12fv/eVTd2mYfJFM3LNPFCqslkYgTweY8TtZLO3uDL1JuKPblswCShKdCMVXTnmQekNmPfBUN5vBBk5OGP7+7IRgR9oiDFlsToE/wiWhSSkZiibzyPihfyCqOfk8FfVNng68Wd+Qvj1y70uFEIsepMZfO+d1Y0nZ0Aph3qx2s3DKT0L3OmZct1qevcWM1L34r35/z/o21bcS5ZeJ8Nnbs/Fa3lOEt4SQ2x2DN5xzvkESPev8iMn8jWK3KtwTdDjKDTNxRFpXqWkOZE9YS6+kVBJM8BrVvgsTkBGeJB7rvr/1x9fyDcbFrRtq943CBtf3eFPwX95+vTciUhm7OfBEBOm+srJhuxDjZuFhm8rZe+rFI541Pfe+1gEXN/ckhVl8pv3Atq51/WX/UgKopjOn0qehIhmzsjGUMWkEghMrFu/3cPzCy3Whw2swnQ9a2zu42o0xCiFGf/jAlrC4dY5jW7nqr303NqdOfb5LuvB7oFYnThkMZ51i2RKNMMww6+2lSIAoDX9GuSQ+C4yZCvwXhVKzGPbSEAlMAY7o1Cp9oW7e8ACrRA4ppbpl06ExgdjoYQ33koVU8cuQNbk94QOcDDrseyKWFx/tDi12eNeZRw3tCMcuEBaVq5ITtO4ckh0XnWd3Qdpdak5uKWuh321T9+y/i0Rp9ZKa8rUwpzra5YGcwinDLUbb1ioGRmnu5VX/PDmw5M0KmLNSt86X27drg3eEavo6HCWdD0O03I4cm3kjgqUwWUA6TkGmUo9tGONP8Tb7ZGeWAB5qVQ7bxBeU3D+P0Tjqda71wLuAkhRQKLtnGE7Hz1Cd4rwNShGUDyE5iwPwdB69E+hRIgL3N/ct32VpuAIe1PrEw3f0ZOE6f22ekX9rjUrT9FKX5URdnp9Eq+cQF/LSopk/C3UeABKQSYIJkJsvgtMUkmH68stF9KdM6nnXGM/RZwK1Mr+7s33GDEzJiWvcLl3BdFxZveLY+egag7Dacj8Y7MDEYJNOCVkOI19Q0JOdQLAq/0hJWAIcqs706Lqxo+MGaAYgTnfsgB1/5rGstyrREherDQHOxMrkTLxB/NQkhLg2fO36lPxaA9BB6Nlgwl6hUnPlwtaRMPqfKytyBBK0tfF7co4YeP4HEvyQV7neu6DHCJvaXkvvmjPb9nsfQlK7jHWc+xM7PkTNJPVbwsdQcK3InEjXW1cWNvW760qAb29FliAjAbauTrDrvq3SAzQAZvKBNXSPEZYxw/4H+p1wADTj4nRU75krS/hLl7qnRxLiV4NVHfUMAE7HzR9N2LO2SmbyrEl5tl5WVoxaMbFO0Y92zwzuzLR5jedBrom2ToJY+ER3wbYlZaVZunuziDLgRwag4jrDKjVmkH+4cjYhWDsXb1meGS1xGTVANEGej5KQRrKZKTywnFkzcutrPm0bmZInk0L86aiDhJaT/NoiotONbUuh5HY6dOzbEcofNGloDCcOVRUVNEWS9ZGI+nZRLbOeiSgmsyYQ7gglHgBfzpF8DV3KAZR3xS9gdTMrYSAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAEAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAAiz1doGZ2WH0DPjaOIjG+BV4Y10TSaSfbnCmOq3SkSAiCkYC3Pqk2HCCxL1v2ukS9e02v7zL1S+MObPoc8RzFTIPy7+dPPQCuqPu2l8Knkm1werJWyZMMC3IVObyLXMw3yg+39qJyUgFl/CzRC6XUt751Y/Ckgg2GUJh97Fj/vuvHViqYcZK1SIEPXnEgCIZ5Vuhl1Gt/mw2Mk0/tsLaCYktfBipPD2uWICfqu7GqGp49LO8YfGdbnBpNZu/R+f5Bw=="
     },
     {
-      "name": "compute_note_hash_and_optionally_a_nullifier",
-      "is_unconstrained": true,
-      "custom_attributes": [],
-      "abi": {
-        "error_types": {
-          "16541607464495309456": {
-            "error_kind": "fmtstring",
-            "item_types": [],
-            "length": 16
-          },
-          "17843811134343075018": {
-            "error_kind": "string",
-            "string": "Stack too deep"
-          }
-        },
-        "parameters": [
-          {
-            "name": "contract_address",
-            "type": {
-              "fields": [
-                {
-                  "name": "inner",
-                  "type": {
-                    "kind": "field"
-                  }
-                }
-              ],
-              "kind": "struct",
-              "path": "aztec::protocol_types::address::aztec_address::AztecAddress"
-            },
-            "visibility": "private"
-          },
-          {
-            "name": "nonce",
-            "type": {
-              "kind": "field"
-            },
-            "visibility": "private"
-          },
-          {
-            "name": "storage_slot",
-            "type": {
-              "kind": "field"
-            },
-            "visibility": "private"
-          },
-          {
-            "name": "note_type_id",
-            "type": {
-              "kind": "field"
-            },
-            "visibility": "private"
-          },
-          {
-            "name": "compute_nullifier",
-            "type": {
-              "kind": "boolean"
-            },
-            "visibility": "private"
-          },
-          {
-            "name": "serialized_note",
-            "type": {
-              "kind": "array",
-              "length": 0,
-              "type": {
-                "kind": "field"
-              }
-            },
-            "visibility": "private"
-          }
-        ],
-        "return_type": {
-          "abi_type": {
-            "kind": "array",
-            "length": 4,
-            "type": {
-              "kind": "field"
-            }
-          },
-          "visibility": "public"
-        }
-      },
-      "bytecode": "H4sIAAAAAAAA/9VZ227aQBBdsI2xiQmFP4jUt1ayCdc3pF7yHSiBL+gH+KEv7VeXFTv2YTypkJipykjRGs/6zNkz4931pufONjz99cJ1HNqB6xr12YW2vM0qRazSkmfvTnj274RndCc8Y0WePYGnb+l9S9z5nUvd+X3sOPFhn+gI/O5vQCzo79Bmoe2DXzExVSYMVgt/Uy5eM3dpyvyfs4CZ2uAvCX9og18S7y91i49jobhRaF/qVssXeMZbEa6xiAmXfH3wfWW+CHzfmA9r+DvzYd0TJ9JtAGNRrKuNdV5obCmMrfdO61yrHd4jrXNnWqMV5TxjfDh/4lNQn7rlM2C+GHwZ8yXgI/19+wT9eO5T6PcZ7vOajFy3hslPOUetLWoqNsA/2ULSneckri9jow91j0HPJ6aPxVqB+ljo7/WZvcOfrr2ltWssYnqiRqTZEPszXwa+uL6Mk4ffMcRBLOKRsP6fwu/H0A7gGXp+IsQfsPgXvIV7qBHHioR71N+/kx/D9cid6+cn9XfdeUpvU71aSHO2Hv66wc9s+B8JP7fBXxH+yAa/2cs8mODPS8IvbPhvCX9sUz/NXvLRhv+B8Ccm+IsDrbsfXGvN/BCup3Bfb+6uqmv2RBg/Z1yt9kRTxofrg+uv980ErhPBx3M4E+LMhDgSVqaI9aCI9fifjnGoiDVSxBorYmnmMVXE0tQrV8QqFLE0615TL8qjtE/ztgtteaNJ+zRF/Erap2l+u5PWVF+xoCGOL2H9fzCdRyY8qzmtOfSuUwyMXRjFvna9pviFwId454LvlkPZw3Jz3G6W29OWrFrNt00+C8aV38NvIpyPsb+09kv7PkWtS+m7fwy6eovBVzBfAj7iKH33j434X6M/xp8IPr7+X5vLqeuuhyM2bjzj2qmMuT3/k87mjeev5bXvJsXPXXe+/lfni6gP30vnAteJ4OP7k1yIkwtx7hGLn9Gjhr6uSae4bv1auVxv2n9w0VyUuMtzf8fiJ6z/r/Abx0btLXP+cb2vjs/74365f3tbvO6nDN9bH3T6A/vRhmkVHwAA",
-      "debug_symbols": "tdfNaoQwFAXgd8k6C29+jPFVShmixiEQokQtFPHdG4dpO8wsh7MRr1y/QMgh3J0Nvtuul5DGaWHtx87i1Ls1TKlU+8FZl0OM4Xp5/Myq82HlrX+ZXTrLZXV5Za3UkjOfhvJWU/l/DNGztpYHf2k14t5pzF+jFscnZ1bhaI2jaxxtcHSDoy2MpqoC2gS0BdCWQFsBbQ20a6BtgHYDtIG5JGAuCZhLAuaSgLkkYC4JmEt6N5f2t7Ns7wtukHiDxC0QFxUSJyQukLhE4gqJaySOTKhAJlQgEypgCT1K9eVycF309+lr3FL/MIyt37N/msvmPPV+2LI/J7T/4ew80lJxpW73fSlICk7SlEXKQj8=",
-      "brillig_names": [
-        "compute_note_hash_and_optionally_a_nullifier"
-      ]
-    },
-    {
-      "name": "sync_notes",
-      "is_unconstrained": true,
-      "custom_attributes": [],
-      "abi": {
-        "error_types": {
-          "17843811134343075018": {
-            "error_kind": "string",
-            "string": "Stack too deep"
-          }
-        },
-        "parameters": [],
-        "return_type": null
-      },
-      "bytecode": "H4sIAAAAAAAA/9VUyw6CMBBseURBOaiJ3kz8gyIYOJJ49x8akKMe8OKNT5eabbqpVRKlJkzSbEs3szNlW0oUKESPvAH9tGnIFdhBDCA6aN/tRgFr9hviQKs7JH/O0iQw+BtQ/5OfWtIvIPktnT+bAM+xVfzYi6w77UaIesKWZ/nPbHpe9fhc/MFnh32k1caghm+uIYci3RuYR4Y8iRlRd9prh/eV5YzJei7w++RVO67va/lrWIeafvmOFV/qrDMe1wmv+YFXVVrypcYv4KBzGnMvbGHe1wvY45yo3mjul/J0vZ0b0gNB8gCVxsvQjgYAAA==",
-      "debug_symbols": "ndLBCoQgEAbgd5lzh9S07FViCSsLQTTMFpbo3deiXdqli10GR/zGw/wLdLKZh1qZ3k5QVgto2wqvrAndsibQOKW1GurzNaRbQWh/P43CbO3khfNQEkoSkKYLJ4aC75WWUDKyPhJAOFqQaJFFCxor8OUfPEP8IDzL2NcUaDf0hmE3TH7DFPGGXG6f07T4GIrzH7OG7imcEo2WR7j62bSnrPnXKP9iNzrbym52cgvgKXuhVihPMA5jw+g3",
-      "brillig_names": [
-        "sync_notes"
-      ]
-    },
-    {
-      "name": "_check_block_number",
+      "name": "_check_timestamp",
       "is_unconstrained": true,
       "custom_attributes": [
         "public",
@@ -3383,9 +3383,13 @@
       ],
       "abi": {
         "error_types": {
-          "10421965853029650238": {
+          "11405868724477732285": {
             "error_kind": "string",
-            "string": "Function _check_block_number can only be called statically"
+            "string": "Function _check_timestamp can only be called internally"
+          },
+          "13418685691864489983": {
+            "error_kind": "string",
+            "string": "Function _check_timestamp can only be called statically"
           },
           "1433889167918961673": {
             "error_kind": "fmtstring",
@@ -3396,13 +3400,9 @@
             "error_kind": "string",
             "string": "Stack too deep"
           },
-          "2242946026394210301": {
-            "error_kind": "string",
-            "string": "Block number mismatch."
-          },
-          "8209322232883590150": {
+          "8443716675528357851": {
             "error_kind": "string",
-            "string": "Function _check_block_number can only be called internally"
+            "string": "Timestamp mismatch."
           }
         },
         "parameters": [
@@ -3418,21 +3418,23 @@
           {
             "name": "value",
             "type": {
-              "kind": "field"
+              "kind": "integer",
+              "sign": "unsigned",
+              "width": 64
             },
             "visibility": "private"
           }
         ],
         "return_type": null
       },
-      "bytecode": "JgACBAEnAAABBIBFJgAABAMmAgMEAiYCBAQAHxgABAADgEMdAIBDgEMCLQiAQwABLQiARAACJAAAAE0nAgABBIBFJgICBAA6DQABAAIkAAADHR4CAAQBHgIABQAKOAQFBiMCAAYAAABuJAAAA0YeAgAECSYCBQABCjgEBQYjAgAGAAAAiiQAAANYHgIABAUKOAQCBQw4BAIGJgICAgEKOAECBCYCAgEBIwIABAAAAwYiAAAAtSYCBwICCjgBBwgWDAUHIwIACAAAAvQiAAAA0CYCCQIDCjgBCQojAgAKAAAC4iIAAADnJgIKAgQKOAEKCyMCAAsAAALLIgAAAP4mAgoCBQo4AQoLFgwGCiMCAAsAAAK0IgAAARkmAgcCBgo4AQcLIwIACwAAAqIiAAABMCYCAQJ0JgIHAnAmAgoCZCYCCwJhJgIMAkkmAg0CciYCDgJvJgIPAmkmAhACdiYCEQJlJgISAiAmAhMCbCYCFAJuLAgBFSYCFgQSABABFgEmAxUEAQAoFQIWLAwWFywODBcAKBcCFywOFBcAKBcCFywOEBcAKBcCFywOCxcAKBcCFywOExcAKBcCFywODxcAKBcCFywOChcAKBcCFywOEhcAKBcCFywODhcAKBcCFywOBxcAKBcCFywOERcAKBcCFywODRcAKBcCFywOCxcAKBcCFywOARcAKBcCFywODxcAKBcCFywODhcAKBcCFywOFBcmAgEEACYCBwEACjgHAgojAgAKAAACmSYCCwQTLAgBDCYCDQQTABABDQEsDAwNKQMADQUT5jKZ5RcUCQAoDQINACgVAg4mAg8EES0EAA6AAy0EAA2ABC0EAA+ABSQAAANqJgIOBBEAOA0ODSwOAQ0AKA0CDTsNDAssDAcGIgAAAqssDAoGIgAAAqssDAYFIgAAAsIEOAoHASwMAQUiAAACwiwMBQkiAAAC2RI4BgUBLAwBCSIAAALZLAwJCCIAAALrLAwGCCIAAALrLAwIBCIAAAL9LAwHBCIAAAL9LAwEAyIAAAMPLAwFAyIAAAMPIwIAAwAAAxwkAAADsCUnAIAEBHgADQAAAIAEgAMjAIADAAADRSkBAAEF96Hzr6Wt1Mo7AQECJSkBAAEFce1fE3G+NAY7AQECJSkBAAEFkKJCubMVTz47AQECJQEAgAOABYAHLQCAA4AILQCABIAJCwCACIAHgAojAIAKAAADry0BgAiABi0CgAaACQEAgAgAAoAIAQCACQACgAkiAAADfiUpAQABBR8gi4cBmc/9OwEBAiUtABjKGMo=",
-      "debug_symbols": "zZrdbuIwEIXfJddc2J5f91VW1Yq2aYWEoKJ0pVXVd9+kS1JK0iJIjuQbhGHMd+bE4xjHb9VDfff69Hu1edy+VDe/3qr19n65X203TevtfVHd7Vbr9erp9/HHVWhfPH3EvzwvN23zZb/c7aubqDksqnrz0Ly1EJpfeFyt6+pG6X0xCGYROgSzaOyDo4aRaE8hHaI9RfsSfbuo3KbrIfdOD2U7pyeSdHqixFM9+VJ/2j52eZ8Y5IpOMUx2S43jIVhNzrrlub96OcqpWzFek0UK13S6hkR0TScf75Ry10k5/2yymHaDTMzyOZNZuwHs7HlgMn+TRYq9IDtz1Sn3JRL8E8D2H+CTAZy0r8H0BTAyBCV0alToqATzmHLVzndSOxqvPhacxLrgZP5zsAfphoEHo2MZrSky3XXm3nXjgeviYIDHyQCJnUVCNgQoGJCnZ2CBD7FG4RSQwvRrINYBNAwBkcAAmm6RUnc/Vx0BKBggDL7IksEAnSED034uogFghko+A1AsgAKjARkMiOgMIjqDhM4goTMgdAaEzoDRGTA6A0FnIOgM0NM1KToDIzTAwQBHZ+DoDDI6g++2FeYCcIhoAHhVwd/th8wHEDQAPFUw+qbPCVxoTIQGoAuNExqALjRBTxWCLjRFTxXoVQWjVxWMXlUwelXBji40R08VGV1oGTxVSAhogKAB4EIT9FaCRHChSSI0AFxoQgkNQBcaRzRgeqE5dzu/bl/3TUfEdE8aj57ySPpQIqEYJcV4osV4ol6KkhlWMHMpsVKUzLAmmktJMZ7MsMqaR4kGLkZJLkVJLMaTWIwnqZT7jlIxtUOlzCfKpcyxysV4IsV4IlqKEi2mdvIMf3+4//nhqQ6bYedce/3qg0NrdvETpLbTxTf+2/em9We5Wy3v1vXhdO3j6+b+6LDt/u9zfXLu9nm3va8fXnd1ewL38/BtqzhqXkTLt+0R0LYptmjwbTN+fKtN0xtqQ/4H",
+      "bytecode": "JgACBAEnAAABBIBFJgAABAMmAgMEAiYCBAQAHxgABAADgEMdAIBDgEMCHQCARIBEBS0IgEMAAS0IgEQAAiQAAABUJwIAAQSARSYCAgQAOg0AAQACJAAAAy4eAgAEAR4CAAUACjgEBQYjAgAGAAAAdSQAAANXHgIABAkmAgUAAQo4BAUGIwIABgAAAJEkAAADaR4CAAQGHAwEBQAcDAIEAAo4BQQCDDgFBAYmAgQCAQo4AQQFJgIEAQEjAgAFAAADFyIAAADGJgIHAgIKOAEHCBYMAgcjAgAIAAADBSIAAADhJgIJAgMKOAEJCiMCAAoAAALzIgAAAPgmAgoCBAo4AQoLIwIACwAAAtwiAAABDyYCCgIFCjgBCgsWDAYKIwIACwAAAsUiAAABKiYCBwIGCjgBBwsjAgALAAACsyIAAAFBJgIBAmUmAgcCICYCCgJsJgILAm4mAgwCdCYCDQJwJgIOAmQmAg8CSSYCEAJhJgIRAnImAhICbyYCEwJpJgIUAnYsCAEVJgIWBBIAEAEWASYDFQQBACgVAhYsDBYXLA4PFwAoFwIXLA4LFwAoFwIXLA4UFwAoFwIXLA4QFwAoFwIXLA4KFwAoFwIXLA4TFwAoFwIXLA4OFwAoFwIXLA4HFwAoFwIXLA4SFwAoFwIXLA4NFwAoFwIXLA4BFwAoFwIXLA4RFwAoFwIXLA4QFwAoFwIXLA4MFwAoFwIXLA4TFwAoFwIXLA4SFwAoFwIXLA4LFyYCAQQAJgIHAQAKOAcECiMCAAoAAAKqJgILBBMsCAEMJgINBBMAEAENASwMDA0pAwANBRPmMpnlFxQJACgNAg0AKBUCDiYCDwQRLQQADoADLQQADYAELQQAD4AFJAAAA3smAg4EEQA4DQ4NLA4BDQAoDQINOw0MCywMBwYiAAACvCwMCgYiAAACvCwMBgIiAAAC0wQ4CgcBLAwBAiIAAALTLAwCCSIAAALqEjgGAgEsDAEJIgAAAuosDAkIIgAAAvwsDAYIIgAAAvwsDAgFIgAAAw4sDAcFIgAAAw4sDAUDIgAAAyAsDAIDIgAAAyAjAgADAAADLSQAAAPBJScAgAQEeAANAAAAgASAAyMAgAMAAANWKQEAAQX3ofOvpa3UyjsBAQIlKQEAAQWeScksjTulvTsBAQIlKQEAAQW6OL+KoDMf/zsBAQIlAQCAA4AFgActAIADgAgtAIAEgAkLAIAIgAeACiMAgAoAAAPALQGACIAGLQKABoAJAQCACAACgAgBAIAJAAKACSIAAAOPJSkBAAEFdS4blGTo99s7AQECJS0AGMoYyg==",
+      "debug_symbols": "zVpbTuMwFN1Lvvtx7fuy2coIoQIFVapaVMpII8TeJ2GaEEimVZscyT8Iw3XPIz6Oa/u9elzdvz3frbdPu9fq5td7tdk9LA/r3bZuvX8sqvv9erNZP9/1/1xR8yPlz/rXl+W2ab4elvtDdRMs06JabR/rX52o/oSn9WZV3Rh/LAbFosrHYlELXXEwGqlOkeKxOsXg36pvF1WW6Xw4pZYPZz/HJ7C2fIKGAZ9L/an7BJIrOoV4TSefbJe5hGOxuZ61K+Xu8eWgP+0K8RoV0a/oxNcgCV3TScc6ZcvHPjnZaYs1x3aMaWY7Z7GytBarxoHFSmfo9Mb8UYGOKggU2+AG4kEnG/eKVLpOWU4L59wlkdKXEPF/ADoZQKJ1UY/fAEYGulLLxpR7Sc9jzK3zk817qUhjxVG9LY6eThcn0nawJXLu02hM8emui3SuuwxcdwUD5DQZQENrkfbG5REgEqMBpitwamudaQAQpz8D9bbWaAjABAaQ6RYZt7OP2RBAGQzgAfyQ3cAAaQYFbt1cxAOAGZJ8EoBnSPJpgBjQAAYGYLQCRisQtAJBK1C0AkUrMLQCQytwtAJHK0BP15zQCjKhARQLIERoALSCgFYQBA0AXlVIZDSAgwH+s7cxIwB4qhD0S18EHTRFB03RQdMMBjB00Aw9VTg6aI6eKtCrCkGvKgS9qhD4qiKDg6YkaABw0DQwGgAcNI0RDQAOmqK3EpTBQVMhNAA6aIKeKhQdNEVPFTY9aEnand/k3/dNR8i055m9U5761O2TiZfCxIvxxIvxJGkpTGZYwczFRIphkgthYlSKJzbDKmsmJjOci8zFxEphwsV4wsV4IqW8d0yKyY4WM59oMXOsFeOJFeOJczFMSsmO0wxff6T7+OGtDp9h59w6/pYGl9bSxSdIn50ufQC3H3Xr93K/Xt5vVsdLvE9v24fend7Dn5fVj+u9L/vdw+rxbb9qLvp+3fFtxmGoRYUUb5vbqU3TaBFMm2bz1guJ6/9qjVoj/wU=",
       "brillig_names": [
-        "_check_block_number"
+        "_check_timestamp"
       ]
     },
     {
-      "name": "_check_timestamp",
+      "name": "_check_block_number",
       "is_unconstrained": true,
       "custom_attributes": [
         "public",
@@ -3441,13 +3443,9 @@
       ],
       "abi": {
         "error_types": {
-          "11405868724477732285": {
-            "error_kind": "string",
-            "string": "Function _check_timestamp can only be called internally"
-          },
-          "13418685691864489983": {
+          "10421965853029650238": {
             "error_kind": "string",
-            "string": "Function _check_timestamp can only be called statically"
+            "string": "Function _check_block_number can only be called statically"
           },
           "1433889167918961673": {
             "error_kind": "fmtstring",
@@ -3458,9 +3456,13 @@
             "error_kind": "string",
             "string": "Stack too deep"
           },
-          "8443716675528357851": {
+          "2242946026394210301": {
             "error_kind": "string",
-            "string": "Timestamp mismatch."
+            "string": "Block number mismatch."
+          },
+          "8209322232883590150": {
+            "error_kind": "string",
+            "string": "Function _check_block_number can only be called internally"
           }
         },
         "parameters": [
@@ -3476,19 +3478,17 @@
           {
             "name": "value",
             "type": {
-              "kind": "integer",
-              "sign": "unsigned",
-              "width": 64
+              "kind": "field"
             },
             "visibility": "private"
           }
         ],
         "return_type": null
       },
-      "bytecode": "JgACBAEnAAABBIBFJgAABAMmAgMEAiYCBAQAHxgABAADgEMdAIBDgEMCHQCARIBEBS0IgEMAAS0IgEQAAiQAAABUJwIAAQSARSYCAgQAOg0AAQACJAAAAy4eAgAEAR4CAAUACjgEBQYjAgAGAAAAdSQAAANXHgIABAkmAgUAAQo4BAUGIwIABgAAAJEkAAADaR4CAAQGHAwEBQAcDAIEAAo4BQQCDDgFBAYmAgQCAQo4AQQFJgIEAQEjAgAFAAADFyIAAADGJgIHAgIKOAEHCBYMAgcjAgAIAAADBSIAAADhJgIJAgMKOAEJCiMCAAoAAALzIgAAAPgmAgoCBAo4AQoLIwIACwAAAtwiAAABDyYCCgIFCjgBCgsWDAYKIwIACwAAAsUiAAABKiYCBwIGCjgBBwsjAgALAAACsyIAAAFBJgIBAmUmAgcCICYCCgJsJgILAm4mAgwCdCYCDQJwJgIOAmQmAg8CSSYCEAJhJgIRAnImAhICbyYCEwJpJgIUAnYsCAEVJgIWBBIAEAEWASYDFQQBACgVAhYsDBYXLA4PFwAoFwIXLA4LFwAoFwIXLA4UFwAoFwIXLA4QFwAoFwIXLA4KFwAoFwIXLA4TFwAoFwIXLA4OFwAoFwIXLA4HFwAoFwIXLA4SFwAoFwIXLA4NFwAoFwIXLA4BFwAoFwIXLA4RFwAoFwIXLA4QFwAoFwIXLA4MFwAoFwIXLA4TFwAoFwIXLA4SFwAoFwIXLA4LFyYCAQQAJgIHAQAKOAcECiMCAAoAAAKqJgILBBMsCAEMJgINBBMAEAENASwMDA0pAwANBRPmMpnlFxQJACgNAg0AKBUCDiYCDwQRLQQADoADLQQADYAELQQAD4AFJAAAA3smAg4EEQA4DQ4NLA4BDQAoDQINOw0MCywMBwYiAAACvCwMCgYiAAACvCwMBgIiAAAC0wQ4CgcBLAwBAiIAAALTLAwCCSIAAALqEjgGAgEsDAEJIgAAAuosDAkIIgAAAvwsDAYIIgAAAvwsDAgFIgAAAw4sDAcFIgAAAw4sDAUDIgAAAyAsDAIDIgAAAyAjAgADAAADLSQAAAPBJScAgAQEeAANAAAAgASAAyMAgAMAAANWKQEAAQX3ofOvpa3UyjsBAQIlKQEAAQWeScksjTulvTsBAQIlKQEAAQW6OL+KoDMf/zsBAQIlAQCAA4AFgActAIADgAgtAIAEgAkLAIAIgAeACiMAgAoAAAPALQGACIAGLQKABoAJAQCACAACgAgBAIAJAAKACSIAAAOPJSkBAAEFdS4blGTo99s7AQECJS0AGMoYyg==",
-      "debug_symbols": "zVpbTuMwFN1Lvvtx7fuy2coIoQIFVapaVMpII8TeJ2GaEEimVZscyT8Iw3XPIz6Oa/u9elzdvz3frbdPu9fq5td7tdk9LA/r3bZuvX8sqvv9erNZP9/1/1xR8yPlz/rXl+W2ab4elvtDdRMs06JabR/rX52o/oSn9WZV3Rh/LAbFosrHYlELXXEwGqlOkeKxOsXg36pvF1WW6Xw4pZYPZz/HJ7C2fIKGAZ9L/an7BJIrOoV4TSefbJe5hGOxuZ61K+Xu8eWgP+0K8RoV0a/oxNcgCV3TScc6ZcvHPjnZaYs1x3aMaWY7Z7GytBarxoHFSmfo9Mb8UYGOKggU2+AG4kEnG/eKVLpOWU4L59wlkdKXEPF/ADoZQKJ1UY/fAEYGulLLxpR7Sc9jzK3zk817qUhjxVG9LY6eThcn0nawJXLu02hM8emui3SuuwxcdwUD5DQZQENrkfbG5REgEqMBpitwamudaQAQpz8D9bbWaAjABAaQ6RYZt7OP2RBAGQzgAfyQ3cAAaQYFbt1cxAOAGZJ8EoBnSPJpgBjQAAYGYLQCRisQtAJBK1C0AkUrMLQCQytwtAJHK0BP15zQCjKhARQLIERoALSCgFYQBA0AXlVIZDSAgwH+s7cxIwB4qhD0S18EHTRFB03RQdMMBjB00Aw9VTg6aI6eKtCrCkGvKgS9qhD4qiKDg6YkaABw0DQwGgAcNI0RDQAOmqK3EpTBQVMhNAA6aIKeKhQdNEVPFTY9aEnand/k3/dNR8i055m9U5761O2TiZfCxIvxxIvxJGkpTGZYwczFRIphkgthYlSKJzbDKmsmJjOci8zFxEphwsV4wsV4IqW8d0yKyY4WM59oMXOsFeOJFeOJczFMSsmO0wxff6T7+OGtDp9h59w6/pYGl9bSxSdIn50ufQC3H3Xr93K/Xt5vVsdLvE9v24fend7Dn5fVj+u9L/vdw+rxbb9qLvp+3fFtxmGoRYUUb5vbqU3TaBFMm2bz1guJ6/9qjVoj/wU=",
+      "bytecode": "JgACBAEnAAABBIBFJgAABAMmAgMEAiYCBAQAHxgABAADgEMdAIBDgEMCLQiAQwABLQiARAACJAAAAE0nAgABBIBFJgICBAA6DQABAAIkAAADHR4CAAQBHgIABQAKOAQFBiMCAAYAAABuJAAAA0YeAgAECSYCBQABCjgEBQYjAgAGAAAAiiQAAANYHgIABAUKOAQCBQw4BAIGJgICAgEKOAECBCYCAgEBIwIABAAAAwYiAAAAtSYCBwICCjgBBwgWDAUHIwIACAAAAvQiAAAA0CYCCQIDCjgBCQojAgAKAAAC4iIAAADnJgIKAgQKOAEKCyMCAAsAAALLIgAAAP4mAgoCBQo4AQoLFgwGCiMCAAsAAAK0IgAAARkmAgcCBgo4AQcLIwIACwAAAqIiAAABMCYCAQJ0JgIHAnAmAgoCZCYCCwJhJgIMAkkmAg0CciYCDgJvJgIPAmkmAhACdiYCEQJlJgISAiAmAhMCbCYCFAJuLAgBFSYCFgQSABABFgEmAxUEAQAoFQIWLAwWFywODBcAKBcCFywOFBcAKBcCFywOEBcAKBcCFywOCxcAKBcCFywOExcAKBcCFywODxcAKBcCFywOChcAKBcCFywOEhcAKBcCFywODhcAKBcCFywOBxcAKBcCFywOERcAKBcCFywODRcAKBcCFywOCxcAKBcCFywOARcAKBcCFywODxcAKBcCFywODhcAKBcCFywOFBcmAgEEACYCBwEACjgHAgojAgAKAAACmSYCCwQTLAgBDCYCDQQTABABDQEsDAwNKQMADQUT5jKZ5RcUCQAoDQINACgVAg4mAg8EES0EAA6AAy0EAA2ABC0EAA+ABSQAAANqJgIOBBEAOA0ODSwOAQ0AKA0CDTsNDAssDAcGIgAAAqssDAoGIgAAAqssDAYFIgAAAsIEOAoHASwMAQUiAAACwiwMBQkiAAAC2RI4BgUBLAwBCSIAAALZLAwJCCIAAALrLAwGCCIAAALrLAwIBCIAAAL9LAwHBCIAAAL9LAwEAyIAAAMPLAwFAyIAAAMPIwIAAwAAAxwkAAADsCUnAIAEBHgADQAAAIAEgAMjAIADAAADRSkBAAEF96Hzr6Wt1Mo7AQECJSkBAAEFce1fE3G+NAY7AQECJSkBAAEFkKJCubMVTz47AQECJQEAgAOABYAHLQCAA4AILQCABIAJCwCACIAHgAojAIAKAAADry0BgAiABi0CgAaACQEAgAgAAoAIAQCACQACgAkiAAADfiUpAQABBR8gi4cBmc/9OwEBAiUtABjKGMo=",
+      "debug_symbols": "zZrdbuIwEIXfJddc2J5f91VW1Yq2aYWEoKJ0pVXVd9+kS1JK0iJIjuQbhGHMd+bE4xjHb9VDfff69Hu1edy+VDe/3qr19n65X203TevtfVHd7Vbr9erp9/HHVWhfPH3EvzwvN23zZb/c7aubqDksqnrz0Ly1EJpfeFyt6+pG6X0xCGYROgSzaOyDo4aRaE8hHaI9RfsSfbuo3KbrIfdOD2U7pyeSdHqixFM9+VJ/2j52eZ8Y5IpOMUx2S43jIVhNzrrlub96OcqpWzFek0UK13S6hkR0TScf75Ry10k5/2yymHaDTMzyOZNZuwHs7HlgMn+TRYq9IDtz1Sn3JRL8E8D2H+CTAZy0r8H0BTAyBCV0alToqATzmHLVzndSOxqvPhacxLrgZP5zsAfphoEHo2MZrSky3XXm3nXjgeviYIDHyQCJnUVCNgQoGJCnZ2CBD7FG4RSQwvRrINYBNAwBkcAAmm6RUnc/Vx0BKBggDL7IksEAnSED034uogFghko+A1AsgAKjARkMiOgMIjqDhM4goTMgdAaEzoDRGTA6A0FnIOgM0NM1KToDIzTAwQBHZ+DoDDI6g++2FeYCcIhoAHhVwd/th8wHEDQAPFUw+qbPCVxoTIQGoAuNExqALjRBTxWCLjRFTxXoVQWjVxWMXlUwelXBji40R08VGV1oGTxVSAhogKAB4EIT9FaCRHChSSI0AFxoQgkNQBcaRzRgeqE5dzu/bl/3TUfEdE8aj57ySPpQIqEYJcV4osV4ol6KkhlWMHMpsVKUzLAmmktJMZ7MsMqaR4kGLkZJLkVJLMaTWIwnqZT7jlIxtUOlzCfKpcyxysV4IsV4IlqKEi2mdvIMf3+4//nhqQ6bYedce/3qg0NrdvETpLbTxTf+2/em9We5Wy3v1vXhdO3j6+b+6LDt/u9zfXLu9nm3va8fXnd1ewL38/BtqzhqXkTLt+0R0LYptmjwbTN+fKtN0xtqQ/4H",
       "brillig_names": [
-        "_check_timestamp"
+        "_check_block_number"
       ]
     },
     {
@@ -3558,7 +3558,7 @@
         "return_type": null
       },
       "bytecode": "JgACBAEnAAABBIBEJgAABAMmAgIEASYCAwQAHxgAAwACgEMtCIBDAAEkAAAAQCcCAAEEgEQmAgIEADoNAAEAAiQAAATEKAIAAgBYryrgCjgBAgMmAgQEACYCBgQDADgEBgUsCAECABABBQEmAwIEAQAoAgIFLA4EBQAoBQIFLA4EBSYCBQQDADgCBQQmAgQEAiYCBQEBJgIGBAEmAgcAASYCCAQAIwIAAwAAALIiAAACECwIAQMmAgkEAwAQAQkBJgMDBAEAKAMCCR88AAYABAAJLA0DCQAoCQIJLA4JAywIAQkAAAECASwOAwksCAEDAAABAgEsDggDJgILBAwsCAAMLAwJDSwMAw4AEAALACQAAATtLAQAACwMDQoAKAoCDAA4DAgNLA0NCxwMCwwCHAwMCgAcDAoLAiYCDAQNLAgADSwMCQ4sDAMPABAADAAkAAAE7SwEAAAsDA4KACgKAgkAOAkIDCwNDAMcDAMKBRwMCgkAHgIAAwEeAgAKAAo4AwoMIwIADAAAAZAkAAAFaB4CAAMJCjgDBwojAgAKAAABpyQAAAV6HgIAAwYcDAMKACYCDAQNLAgADSwMCg4sDAsPLAwJEAAQAAwAJAAABYwsBAAALAwOAyMCAAMAAAHlJAAACBYsDQIDACgDAgMsDgMCACgCAgosDQoJJgILBAIAOAoLAzoNAAMACSIAAAIQKAIAAwB57RaBCjgBAwkjAgAJAAACKyIAAANtLAgBASYCAwQDABABAwEmAwEEAQAoAQIDHzwABgAEAAMsDQEDACgDAgMsDgMBLAgBAwAAAQIBLA4BAywIAQEAAAECASwOCAEmAgYECSwIAAksDAMKLAwBCwAQAAYAJAAABO0sBAAALAwKBAAoBAIJADgJCAosDQoGHAwGCQIcDAkEABwMBAYCJgIJBAosCAAKLAwDCywMAQwAEAAJACQAAATtLAQAACwMCwQAKAQCAwA4AwgJLA0JAR4CAAMBHgIABAAKOAMECSMCAAkAAAL/JAAACCgeAgADCQo4AwcEIwIABAAAAxYkAAAIOh4CAAMFJgIHBAksCAAJLAwDCiwMBgssDAEMABAABwAkAAAFjCwEAAAsDAoEIwIABAAAA08kAAAITAAoAgIELA0EAyYCBgQCADgEBgE6DQABAAMiAAADbSYCAQJyJgICAmwmAgMCICYCBAJrJgIGAnQmAgcCZSYCCQJ3JgIKAm4mAgsCYyYCDAJzJgINAm8mAg4CVSwIAQ8mAhAEEQAQARABJgMPBAEAKA8CECwMEBEsDg4RACgRAhEsDgoRACgRAhEsDgQRACgRAhEsDgoRACgRAhEsDg0RACgRAhEsDgkRACgRAhEsDgoRACgRAhEsDgMRACgRAhEsDgwRACgRAhEsDgcRACgRAhEsDgIRACgRAhEsDgcRACgRAhEsDgsRACgRAhEsDgYRACgRAhEsDg0RACgRAhEsDgERJgIBAQAKOAEFAiMCAAIAAATDJgIDBBIsCAEEJgIGBBIAEAEGASwMBAYpAwAGBeWPmFkHMWKQACgGAgYAKA8CByYCCQQQLQQAB4ADLQQABoAELQQACYAFJAAACF4mAgcEEAA4BgcGLA4IBgAoBgIGOw0EAyUnAIAEBHgADQAAAIAEgAMjAIADAAAE7CkBAAEF96Hzr6Wt1Mo7AQECJSQAAATELA0BAywNAgQmAgYEAgw4BAYHIwIABwAABREkAAAIpAAoAwIGADgGBAcsDQcFLAgBBiYCBwQCABABBwEmAwYEAQAoBgIHLAwHCCwOBQgmAgUEAQA4BAUHDjgEBwgjAgAIAAAFWyQAAAi2LA4DASwOBwIsDAYBJSkBAAEFnknJLI07pb07AQECJSkBAAEFuji/iqAzH/87AQECJSQAAATECjgBAwUMOAEDBiYCAQIBCjgCAQMjAgADAAAICCIAAAWyJgIDAgIKOAIDBxYMBQMjAgAHAAAH9iIAAAXNJgIIAgMKOAIICSMCAAkAAAfkIgAABeQmAgkCBAo4AgkKIwIACgAAB80iAAAF+yYCCQIFCjgCCQoWDAYJIwIACgAAB7YiAAAGFiYCBgIGCjgCBgojAgAKAAAHpCIAAAYtJgICAkkmAgYCciYCCQJvJgIKAmkmAgsCdiYCDAJlJgINAiAmAg4CbCYCDwJuJgIQAnQmAhECcCYCEgJkJgITAmEsCAEUJgIVBBIAEAEVASYDFAQBACgUAhUsDBUWLA4CFgAoFgIWLA4PFgAoFgIWLA4LFgAoFgIWLA4TFgAoFgIWLA4OFgAoFgIWLA4KFgAoFgIWLA4SFgAoFgIWLA4NFgAoFgIWLA4JFgAoFgIWLA4RFgAoFgIWLA4MFgAoFgIWLA4GFgAoFgIWLA4TFgAoFgIWLA4QFgAoFgIWLA4KFgAoFgIWLA4JFgAoFgIWLA4PFiYCAgEBJgIGAQAmAgkEAAo4BgIKIwIACgAAB5smAgsEEywIAQwmAg0EEwAQAQ0BLAwMDSkDAA0FE+YymeUXFAkAKA0CDQAoFAIOJgIPBBEtBAAOgAMtBAANgAQtBAAPgAUkAAAIXiYCDgQRADgNDg0sDgkNACgNAg07DQwLLAwGAyIAAAetLAwJAyIAAAetLAwDBSIAAAfEBDgJAwIsDAIFIgAAB8QsDAUIIgAAB9sSOAYFAiwMAggiAAAH2ywMCAciAAAH7SwMBgciAAAH7SwMBwEiAAAH/ywMAwEiAAAH/ywMAQQiAAAIESwMBQQiAAAIESwMBAElKQEAAQV1LhuUZOj32zsBAQIlKQEAAQVx7V8Tcb40BjsBAQIlKQEAAQWQokK5sxVPPjsBAQIlKQEAAQUfIIuHAZnP/TsBAQIlAQCAA4AFgActAIADgAgtAIAEgAkLAIAIgAeACiMAgAoAAAijLQGACIAGLQKABoAJAQCACAACgAgBAIAJAAKACSIAAAhyJSkBAAEF6J0J/qERLQ47AQECJSkBAAEFRafKcRlB5BU7AQECJS0AGMoYyg==",
-      "debug_symbols": "zV3bbhs5DP0XP+dB4lXsrywWRdq6RYAgKdJ0gUWRf99x6pm4tuJZcoaJX4q61TmHkijOiJTsX5sv208/v328uft6/2Pz4a9fm9v7z9ePN/d3w6dfT1ebTw83t7c33z4e/vOm7P4Qe27/4/v13e7jj8frh8fNB2S82mzvvgx/kzrgv97cbjcfBJ/+vtpo8yIauhFuDXNrmFujFvBD1A2pfpXqV4Hqh4gbgsUPYTfE6ZJXJ01rKTY2rqUiTc2rlGeJBvkSmi5h+b2w9F5ASe8FVLffQiU/xB18AdAPcQcHQPBD3MEByD/IxH6ILfSWVm3ftB14Cqg90zPl0rdUeoFcekml15pLn2t9K7n0ix2z6ESvf9CftrUG+7ZmL7RY2m9T7GJMscsZFWvvZIoem4IFL8eUyxmVipkLFGtqaEeAXPrU4IhYcuk5lZ5yrSfKpX/LJTjsrGh8FW+IJ4uQ8ZKMuaSRWf7uFjWGyqkxekHG6OINolgZBbSU842JJ2LiA+bdXrLTz2H7OnYUqj4d7TxR9U1tx9ZG29F0zvYhOTPaXrme2N4Sx/2ZX3P5jVP5qZS3nFtRqvvGojw7t80mv7TKx3NLJXlsaknmb7n8sPQ5ZTI+k63J+aZsMK5DNpS5mWUco2VjhpOZhbae5QchZD8uuHRcauEp2BejE/6Wy0+QzC+5/FyS+SmZ33L5Jdl+SfZPTfbPluw/zZ3RpeZOm5Mz7fMMWT5xVOrUcwI5jrxcMF9C0yUq5Evk9wLc5WBGd2GFefFb1FzpilcImHMSK8TMWYn8Xmh+LzS/F83vhFb9EHd1T0rxQ8gPcT8LpKIf4h5kAfBDUlOqgjWXnnPpU8u4QphLn5rrF861njWVXhY75lo1OVlesF7NFL2cUVF+J1NOanKyvGi+nimXMyqWWm8Syw3tlhratWAufWpw1Aq59LnWQ82lf8slCFTHNQgEJ1FSsVySMRc1Mou3Qe9Wj9PFtfb3q8cpJY77jp8pl18gmf9Na62r1uNUk8dGc2ut2nLriWrL64kwPnqqkJ1vzCpTRU7V5uZ2qAqMcztks0/mdoU6NEzZTtHjsWkr1KHP81Myf8vlX57RnuGXXP7Fb11z/Mn2Y7J/YrJ/UrL/UHo5pDHkS0i6xOLM0v+QyO+FurPPrYEf4lcxv4q5Vcx/69L8ty7Nf+vS/FUB81cFzH99y/zXt8xfyzSqfoi7jGTsV2G/ivhVhP0Qd7HKnEXKZ4j/8nQL3J72O4w/XJi/7jhUTGsA4790XPx3RAcMBTDmx/iviQ6YwIV4DNyI94ea4bEYmFMK+A4H5pQDvsOBOZWA70hgTjXgOxqY0xbwnRaYUwv4jvnntPoPPAyYpTsRHZNE+pJQYtiTWyJ5zbR88d21s+SaSL74kMVZckkkp0zLiRPJF9/KOkcumEmeablmWq6ZsaVleotl+rklrlAoNZM80/LFl3vOkid6yyvfYMHTaQxuLxcz91Xp4QFTIqDuA1XqWOSQg4s+LyALgFpEqb95mwOpH4QFIqCIUu0uKLaxOCNFOyAOgKBEQBEljChhSMkCoP45S2EZQQodUAuAOKLEEaV+jJgB9Y/3zYHYD6JXDslM80SlTaBK+hvUd6MhOz2CEP4AdcrdXCZPYDw4nNA7QTKMoU3h+iAM19ZrDDyeTUHQdr5xG/b0+8Zt2NoemvG7o93RIZpGR+l0dPrf7zAD6vsWTyGKD87ZTKD+6+ccqKukZbyHpVhOQf2XLlaalnMH1K+ynwdxv3wrOD6wRTqg/qn9GVB/N3Z+ILi/y5oB9XdPqjL5Hp6C+h4xA+p7xAyoRczrJ1tmQBZRsoCSlBoBRZRqRKlGlCCiBBEljChhRCmyNIQiSv3s7RyIAyCJKElESSNK/b3EHCgQjaRhBKQBUH8DMgcKuJFGAouWwORqLREQRUAWAAFGQAE3UoQIKOBGGolGGolGGolGGolGypHJlYgbSWRyNeJGGpncFnGjyGuORl5zXjnXeR70ymHNORBFQAE3ahUjoIAbtX5RqNG4A2j653u5K9HX+lWhtdgx1XZMtZ1Sbe9HydXYOZXdMtn7AXo19lTb+yF/LfZ+xF6LvR/aV2PPtN1KTWXPjDNWMZU9098NKJU91XZMtb3//WxrsVOqz7yyjaYJ0sk52is1r0lH2lG6/Wn4+M/1w831p9vt/vd6vv68+3zw8z2P/37fHv2Sz/eH+8/bLz8ftrvf9Hn5OZ/dcAy5+6shQ70zZvdshSErDYy7j7vgQETD/8qgOij/Bw==",
+      "debug_symbols": "zV3bbhs5DP0XP+dB4lXsrywWRdqmRYAgKdJ0gUWRf99x4pk4tuJZcoaJX4q61TmHkijOiJTsP5tvV19+//h8ffv97tfm019/Njd3Xy8fru9uh09/Hi82X+6vb26uf3ze/+dN2f4h9tT+18/L2+3HXw+X9w+bT8h4sbm6/Tb8TeqA/359c7X5JPj498VGmxfR0I1wa5hbw9watYAfom5I9atUvwpUP0TcECx+CLshTpe8OGpaS7GxcS0VaWpepTxJNMiX0HQJy++FpfcCSnovoLr9Fir5Ie7gC4B+iDs4AIIf4g4OQP5BJvZDbKG3tGq7pm3PU6A9ewpTLn1LpRfIpZdUeq259LnWt5JLv9gxi070+or+uK012LU1e6HFYs+m2NmYYuczKtY+yBQ9NAULno8p5zMqFTMXKNbU0I4AufSpwRGx5NJzKj3lWk+US/+eS3DYWdH4Kt4QjxYh4zkZc04js/zdLWoMlWNj9IyM0cUbRLEyCmgppxsTT8TEe8zbvWSnn8P2dewoVH082Hmi6rvajq2NtqPpnO1Dcma0vXI9sr0ljvsTv+byG6fyUynvObeiVHeNRXl2bptNfmmVD+eWSvLY1JLM33L5YelzymR8JluT003ZYFyHbChzM8s4RsvGDEczC209y/dCyG5ccOm41MJTsC9GR/wtl58gmV9y+bkk81Myv+XyS7L9kuyfmuyfLdl/mjujS82dNidn2ucJsnziqNSp5wRyGHm5YL6EpktUyJfI7wW4y8GM7sIK8+K3qLnSFa8QMOckVoiZsxL5vdD8Xmh+L5rfCa36Ie7qnpTih5Af4n4WSEU/xD3IAuCHpKZUBWsuPefSp5ZxhTCXPjXXL5xrPWsqvSx2zLVqcrK8YL2aKXo+o6L8QaYc1eRkedF8PVPOZ1Qstd4klhvaLTW0a8Fc+tTgqBVy6XOth5pL/55LEKiOaxAIjqKkYjknY85qZBZvgz6sHqeLa+0fV49TShz3LT9TLr9AMv+71lpXrcepJo+N5tZateXWE9WW1xNhfPRUITvdmFWmipyqzc3tUBUY53bIZh/N7Qp1aJiynaKHY9NWqEOf5qdk/pbLvzyjPcMvufyL37rm+JPtx2T/xGT/pGT/ofRySGPIl5B0icWZpf8hkd8LdWefWwM/xK9ifhVzq5j/1qX5b12a/9al+asC5q8KmP/6lvmvb5m/lmlU/RB3GcnYr8J+FfGrCPsh7mKVOYuUTxD/5ekWuD3tdxh/uDB/3XGomNYAxn/puPjviA4YCmDMj/FfEx0wgQvxGLgR7w81w2MxMKcU8B0OzCkHfIcDcyoB35HAnGrAdzQwpy3gOy0wpxbwHfPPafUfeBgwS3ciOiaJ9CWhxLAjt0Tymmn54rtrJ8k1kXzxIYuT5JJITpmWEyeSL76VdYpcMJM803LNtFwzY0vL9BbL9HNLXKFQaiZ5puWLL/ecJE/0lje+wYKn0xjcXi5m7qrSwwOmREDdB6rUscghexd9XkAWALWIUn/zNgdSPwgLREARpdpdUGxjcUaKdkAcAEGJgCJKGFHCkJIFQP1zlsIyghQ6oBYAcUSJI0r9GDED6h/vmwOxH0RvHJKZ5olKm0CV9BnUd6MhOz2CEF6BOuVuLpMnMO4dTrBO42EMbQrXe2G4tl5j4PFsCoK2043bsKffNW7D1nbfjOeOdkeHaBodpePR6X+/wwyo71s8hSjeO2czgfqvn3OgrpKW8R6WYjkG9V+6WGlazh1Qv8p+GsT98q3g+MAW6YD6p/ZnQP3d2OmB4P4uawbU3z2pyuR7eAzqe8QMqO8RM6AWMa+fbJkBWUTJAkpSagQUUaoRpRpRgogSRJQwooQRpcjSEIoo9bO3cyAOgCSiJBEljSj19xJzoEA0koYRkAZA/Q3IHCjgRhoJLFoCk6u1REAUAVkABBgBBdxIESKggBtpJBppJBppJBppJBopRyZXIm4kkcnViBtpZHJbxI0irzkaec1541znadAbhzXnQBQBBdyoVYyAAm7U+kWhRuMOoOnr93JXoq/1q0JrsWOq7ZhqO6Xa3o+Sq7FzKrtlsvcD9Grsqbb3Q/5a7P2IvRZ7P7Svxp5pu5Wayp4ZZ6xiKnumvxtQKnuq7Zhqe//72dZip1SfeWMbTROkk3O0N2pek460g3T74/Dxn8v768svN1e73+v5/vv2697P9zz8+/Pq4Jd8ft7ffb369vv+avubPi8/57MdjiF3fzFkqLfGbJ+tMGSlgXH7cRsciGj4XxlUB+X/AA==",
       "brillig_names": [
         "public_dispatch"
       ]
@@ -3616,19 +3616,17 @@
                   {
                     "name": "value",
                     "type": {
-                      "kind": "integer",
-                      "sign": "unsigned",
-                      "width": 64
+                      "kind": "field"
                     }
                   }
                 ],
                 "kind": "struct",
-                "path": "Router::check_timestamp_parameters"
+                "path": "Router::check_block_number_parameters"
               }
             }
           ],
           "kind": "struct",
-          "path": "Router::check_timestamp_abi"
+          "path": "Router::check_block_number_abi"
         },
         {
           "fields": [
@@ -3676,17 +3674,19 @@
                   {
                     "name": "value",
                     "type": {
-                      "kind": "field"
+                      "kind": "integer",
+                      "sign": "unsigned",
+                      "width": 64
                     }
                   }
                 ],
                 "kind": "struct",
-                "path": "Router::check_block_number_parameters"
+                "path": "Router::check_timestamp_parameters"
               }
             }
           ],
           "kind": "struct",
-          "path": "Router::check_block_number_abi"
+          "path": "Router::check_timestamp_abi"
         }
       ]
     }
@@ -3724,15 +3724,15 @@
       "path": "std/hash/poseidon2.nr",
       "source": "use crate::default::Default;\nuse crate::hash::Hasher;\n\ncomptime global RATE: u32 = 3;\n\npub struct Poseidon2 {\n    cache: [Field; 3],\n    state: [Field; 4],\n    cache_size: u32,\n    squeeze_mode: bool, // 0 => absorb, 1 => squeeze\n}\n\nimpl Poseidon2 {\n    #[no_predicates]\n    pub fn hash<let N: u32>(input: [Field; N], message_size: u32) -> Field {\n        Poseidon2::hash_internal(input, message_size, message_size != N)\n    }\n\n    pub(crate) fn new(iv: Field) -> Poseidon2 {\n        let mut result =\n            Poseidon2 { cache: [0; 3], state: [0; 4], cache_size: 0, squeeze_mode: false };\n        result.state[RATE] = iv;\n        result\n    }\n\n    fn perform_duplex(&mut self) {\n        // add the cache into sponge state\n        for i in 0..RATE {\n            // We effectively zero-pad the cache by only adding to the state\n            // cache that is less than the specified `cache_size`\n            if i < self.cache_size {\n                self.state[i] += self.cache[i];\n            }\n        }\n        self.state = crate::hash::poseidon2_permutation(self.state, 4);\n    }\n\n    fn absorb(&mut self, input: Field) {\n        assert(!self.squeeze_mode);\n        if self.cache_size == RATE {\n            // If we're absorbing, and the cache is full, apply the sponge permutation to compress the cache\n            self.perform_duplex();\n            self.cache[0] = input;\n            self.cache_size = 1;\n        } else {\n            // If we're absorbing, and the cache is not full, add the input into the cache\n            self.cache[self.cache_size] = input;\n            self.cache_size += 1;\n        }\n    }\n\n    fn squeeze(&mut self) -> Field {\n        assert(!self.squeeze_mode);\n        // If we're in absorb mode, apply sponge permutation to compress the cache.\n        self.perform_duplex();\n        self.squeeze_mode = true;\n\n        // Pop one item off the top of the permutation and return it.\n        self.state[0]\n    }\n\n    fn hash_internal<let N: u32>(\n        input: [Field; N],\n        in_len: u32,\n        is_variable_length: bool,\n    ) -> Field {\n        let two_pow_64 = 18446744073709551616;\n        let iv: Field = (in_len as Field) * two_pow_64;\n        let mut sponge = Poseidon2::new(iv);\n        for i in 0..input.len() {\n            if i < in_len {\n                sponge.absorb(input[i]);\n            }\n        }\n\n        // In the case where the hash preimage is variable-length, we append `1` to the end of the input, to distinguish\n        // from fixed-length hashes. (the combination of this additional field element + the hash IV ensures\n        // fixed-length and variable-length hashes do not collide)\n        if is_variable_length {\n            sponge.absorb(1);\n        }\n        sponge.squeeze()\n    }\n}\n\npub struct Poseidon2Hasher {\n    _state: [Field],\n}\n\nimpl Hasher for Poseidon2Hasher {\n    fn finish(self) -> Field {\n        let iv: Field = (self._state.len() as Field) * 18446744073709551616; // iv = (self._state.len() << 64)\n        let mut sponge = Poseidon2::new(iv);\n        for i in 0..self._state.len() {\n            sponge.absorb(self._state[i]);\n        }\n        sponge.squeeze()\n    }\n\n    fn write(&mut self, input: Field) {\n        self._state = self._state.push_back(input);\n    }\n}\n\nimpl Default for Poseidon2Hasher {\n    fn default() -> Self {\n        Poseidon2Hasher { _state: &[] }\n    }\n}\n"
     },
-    "277": {
+    "278": {
       "path": "/build-volume/noir-projects/noir-protocol-circuits/crates/types/src/hash.nr",
       "source": "use crate::{\n    abis::{\n        contract_class_function_leaf_preimage::ContractClassFunctionLeafPreimage,\n        function_selector::FunctionSelector,\n        log_hash::{LogHash, ScopedLogHash},\n        note_hash::ScopedNoteHash,\n        nullifier::ScopedNullifier,\n        private_log::{PrivateLog, PrivateLogData},\n        side_effect::scoped::Scoped,\n    },\n    address::{AztecAddress, EthAddress},\n    constants::{\n        FUNCTION_TREE_HEIGHT, GENERATOR_INDEX__NOTE_HASH_NONCE, GENERATOR_INDEX__OUTER_NULLIFIER,\n        GENERATOR_INDEX__SILOED_NOTE_HASH, GENERATOR_INDEX__UNIQUE_NOTE_HASH,\n    },\n    merkle_tree::root::root_from_sibling_path,\n    messaging::l2_to_l1_message::{L2ToL1Message, ScopedL2ToL1Message},\n    traits::{is_empty, ToField},\n    utils::field::field_from_bytes_32_trunc,\n};\nuse super::utils::{arrays::array_concat, field::field_from_bytes};\n\npub fn sha256_to_field<let N: u32>(bytes_to_hash: [u8; N]) -> Field {\n    let sha256_hashed = std::hash::sha256(bytes_to_hash);\n    let hash_in_a_field = field_from_bytes_32_trunc(sha256_hashed);\n\n    hash_in_a_field\n}\n\npub fn private_functions_root_from_siblings(\n    selector: FunctionSelector,\n    vk_hash: Field,\n    function_leaf_index: Field,\n    function_leaf_sibling_path: [Field; FUNCTION_TREE_HEIGHT],\n) -> Field {\n    let function_leaf_preimage = ContractClassFunctionLeafPreimage { selector, vk_hash };\n    let function_leaf = function_leaf_preimage.hash();\n    root_from_sibling_path(\n        function_leaf,\n        function_leaf_index,\n        function_leaf_sibling_path,\n    )\n}\n\nfn compute_note_hash_nonce(tx_hash: Field, note_index_in_tx: u32) -> Field {\n    // Hashing tx hash with note index in tx is guaranteed to be unique\n    poseidon2_hash_with_separator(\n        [tx_hash, note_index_in_tx as Field],\n        GENERATOR_INDEX__NOTE_HASH_NONCE,\n    )\n}\n\npub fn compute_unique_note_hash(nonce: Field, siloed_note_hash: Field) -> Field {\n    let inputs = [nonce, siloed_note_hash];\n    poseidon2_hash_with_separator(inputs, GENERATOR_INDEX__UNIQUE_NOTE_HASH)\n}\n\npub fn compute_siloed_note_hash(app: AztecAddress, note_hash: Field) -> Field {\n    poseidon2_hash_with_separator(\n        [app.to_field(), note_hash],\n        GENERATOR_INDEX__SILOED_NOTE_HASH,\n    )\n}\n\n/// Computes unique note hashes from siloed note hashes\npub fn compute_unique_siloed_note_hash(\n    siloed_note_hash: Field,\n    tx_hash: Field,\n    note_index_in_tx: u32,\n) -> Field {\n    if siloed_note_hash == 0 {\n        0\n    } else {\n        let nonce = compute_note_hash_nonce(tx_hash, note_index_in_tx);\n        compute_unique_note_hash(nonce, siloed_note_hash)\n    }\n}\n\n/// Siloing in the context of Aztec refers to the process of hashing a note hash with a contract address (this way\n/// the note hash is scoped to a specific contract). This is used to prevent intermingling of notes between contracts.\npub fn silo_note_hash(note_hash: ScopedNoteHash) -> Field {\n    if note_hash.contract_address.is_zero() {\n        0\n    } else {\n        compute_siloed_note_hash(note_hash.contract_address, note_hash.value())\n    }\n}\n\npub fn compute_siloed_nullifier(app: AztecAddress, nullifier: Field) -> Field {\n    poseidon2_hash_with_separator(\n        [app.to_field(), nullifier],\n        GENERATOR_INDEX__OUTER_NULLIFIER,\n    )\n}\n\npub fn silo_nullifier(nullifier: ScopedNullifier) -> Field {\n    if nullifier.contract_address.is_zero() {\n        nullifier.value() // Return value instead of 0 because the first nullifier's contract address is zero.\n    } else {\n        compute_siloed_nullifier(nullifier.contract_address, nullifier.value())\n    }\n}\n\npub fn compute_siloed_private_log_field(contract_address: AztecAddress, field: Field) -> Field {\n    poseidon2_hash([contract_address.to_field(), field])\n}\n\npub fn silo_private_log(private_log: Scoped<PrivateLogData>) -> PrivateLog {\n    if private_log.contract_address.is_zero() {\n        private_log.inner.log\n    } else {\n        let mut fields = private_log.inner.log.fields;\n        fields[0] = compute_siloed_private_log_field(private_log.contract_address, fields[0]);\n        PrivateLog { fields }\n    }\n}\n\nfn compute_siloed_unencrypted_log_hash(address: AztecAddress, log_hash: Field) -> Field {\n    accumulate_sha256([address.to_field(), log_hash])\n}\n\npub fn silo_unencrypted_log_hash(log_hash: ScopedLogHash) -> Field {\n    if log_hash.contract_address.is_zero() {\n        0\n    } else {\n        compute_siloed_unencrypted_log_hash(log_hash.contract_address, log_hash.value())\n    }\n}\n\npub fn merkle_hash(left: Field, right: Field) -> Field {\n    poseidon2_hash([left, right])\n}\n\npub fn compute_l2_to_l1_hash(\n    contract_address: AztecAddress,\n    recipient: EthAddress,\n    content: Field,\n    rollup_version_id: Field,\n    chain_id: Field,\n) -> Field {\n    let mut bytes: BoundedVec<u8, 160> = BoundedVec::new();\n\n    let inputs =\n        [contract_address.to_field(), rollup_version_id, recipient.to_field(), chain_id, content];\n    for i in 0..inputs.len() {\n        // TODO are bytes be in fr.to_buffer() ?\n        let item_bytes: [u8; 32] = inputs[i].to_be_bytes();\n        for j in 0..32 {\n            bytes.push(item_bytes[j]);\n        }\n    }\n\n    sha256_to_field(bytes.storage())\n}\n\npub fn silo_l2_to_l1_message(\n    msg: ScopedL2ToL1Message,\n    rollup_version_id: Field,\n    chain_id: Field,\n) -> Field {\n    if msg.contract_address.is_zero() {\n        0\n    } else {\n        compute_l2_to_l1_hash(\n            msg.contract_address,\n            msg.message.recipient,\n            msg.message.content,\n            rollup_version_id,\n            chain_id,\n        )\n    }\n}\n\n// Computes sha256 hash of 2 input hashes.\n//\n// NB: This method now takes in two 31 byte fields - it assumes that any input\n// is the result of a sha_to_field hash and => is truncated\n//\n// TODO(Jan and David): This is used for the encrypted_log hashes.\n// Can we check to see if we can just use hash_to_field or pedersen_compress here?\n//\npub fn accumulate_sha256(input: [Field; 2]) -> Field {\n    // This is a note about the cpp code, since it takes an array of Fields\n    // instead of a U128.\n    // 4 Field elements when converted to bytes will usually\n    // occupy 4 * 32 = 128 bytes.\n    // However, this function is making the assumption that each Field\n    // only occupies 128 bits.\n    //\n    // TODO(David): This does not seem to be getting guaranteed anywhere in the code?\n    // Concatentate two fields into 32x2 = 64 bytes\n    // accumulate_sha256 assumes that the inputs are pre-truncated 31 byte numbers\n    let mut hash_input_flattened = [0; 64];\n    for offset in 0..input.len() {\n        let input_as_bytes: [u8; 32] = input[offset].to_be_bytes();\n        for byte_index in 0..32 {\n            hash_input_flattened[offset * 32 + byte_index] = input_as_bytes[byte_index];\n        }\n    }\n\n    sha256_to_field(hash_input_flattened)\n}\n\n// Computes the final logs hash for a tx.\npub fn compute_tx_logs_hash<let N: u32>(logs: [LogHash; N]) -> Field {\n    // Convert each field element into a byte array and append the bytes to `hash_input_flattened`\n    let mut hash_input_flattened = [0; N * 32];\n    for offset in 0..N {\n        // TODO: This is not checking that the decomposition is smaller than P\n        let input_as_bytes: [u8; 32] = logs[offset].value.to_be_radix(256);\n        for byte_index in 0..32 {\n            hash_input_flattened[offset * 32 + byte_index] = input_as_bytes[byte_index];\n        }\n    }\n    // Ideally we would push to a slice then hash, but there is no sha_slice\n    // Hardcode to 256 bytes for now\n    let mut hash = sha256_to_field(hash_input_flattened);\n    // Not having a 0 value hash for empty logs causes issues with empty txs\n    // used for padding. Returning early is currently unsupported.\n    // We always provide sorted logs here, so 0 being empty means all are empty.\n    if is_empty(logs[0]) {\n        hash = 0;\n    }\n    hash\n}\n\npub fn verification_key_hash<let N: u32>(key: [Field; N]) -> Field {\n    crate::hash::poseidon2_hash(key)\n}\n\n#[inline_always]\npub fn pedersen_hash<let N: u32>(inputs: [Field; N], hash_index: u32) -> Field {\n    std::hash::pedersen_hash_with_separator(inputs, hash_index)\n}\n\npub fn poseidon2_hash<let N: u32>(inputs: [Field; N]) -> Field {\n    std::hash::poseidon2::Poseidon2::hash(inputs, N)\n}\n\n#[no_predicates]\npub fn poseidon2_hash_with_separator<let N: u32, T>(inputs: [Field; N], separator: T) -> Field\nwhere\n    T: ToField,\n{\n    let inputs_with_separator = array_concat([separator.to_field()], inputs);\n    poseidon2_hash(inputs_with_separator)\n}\n\n// Performs a fixed length hash with a subarray of the given input.\n// Useful for SpongeBlob in which we aborb M things and want to check it vs a hash of M elts of an N-len array.\n// Using stdlib poseidon, this will always absorb an extra 1 as a 'variable' hash, and not match spongeblob.squeeze()\n// or any ts implementation. Also checks that any remaining elts not hashed are empty.\n#[no_predicates]\npub fn poseidon2_hash_subarray<let N: u32>(input: [Field; N], in_len: u32) -> Field {\n    let mut sponge = poseidon2_absorb_chunks(input, in_len, false);\n    sponge.squeeze()\n}\n\n// NB the below is the same as std::hash::poseidon2::Poseidon2::hash(), but replacing a range check with a bit check,\n// and absorbing in chunks of 3 below.\n#[no_predicates]\npub fn poseidon2_cheaper_variable_hash<let N: u32>(input: [Field; N], in_len: u32) -> Field {\n    let mut sponge = poseidon2_absorb_chunks(input, in_len, true);\n    // In the case where the hash preimage is variable-length, we append `1` to the end of the input, to distinguish\n    // from fixed-length hashes. (the combination of this additional field element + the hash IV ensures\n    // fixed-length and variable-length hashes do not collide)\n    if in_len != N {\n        sponge.absorb(1);\n    }\n    sponge.squeeze()\n}\n\n// The below fn reduces gates of a conditional poseidon2 hash by approx 3x (thank you ~* Giant Brain Dev @IlyasRidhuan *~ for the idea)\n// Why? Because when we call stdlib poseidon, we call absorb for each item. When absorbing is conditional, it seems the compiler does not know\n// what cache_size will be when calling absorb, so it assigns the permutation gates for /each i/ rather than /every 3rd i/, which is actually required.\n// The below code forces the compiler to:\n//  - absorb normally up to 2 times to set cache_size to 1\n//  - absorb in chunks of 3 to ensure perm. only happens every 3rd absorb\n//  - absorb normally up to 2 times to add any remaining values to the hash\n// In fixed len hashes, the compiler is able to tell that it will only need to perform the permutation every 3 absorbs.\n// NB: it also replaces unnecessary range checks (i < thing) with a bit check (&= i != thing), which alone reduces the gates of a var. hash by half.\n\n#[no_predicates]\nfn poseidon2_absorb_chunks<let N: u32>(\n    input: [Field; N],\n    in_len: u32,\n    variable: bool,\n) -> std::hash::poseidon2::Poseidon2 {\n    let two_pow_64 = 18446744073709551616;\n    let iv: Field = (in_len as Field) * two_pow_64;\n    let mut sponge = std::hash::poseidon2::Poseidon2::new(iv);\n    // Even though shift is always 1 here, if we input in_len = 0 we get an underflow\n    // since we cannot isolate computation branches. The below is just to avoid that.\n    let shift = if in_len == 0 { 0 } else { 1 };\n    if in_len != 0 {\n        // cache_size = 0, init absorb\n        sponge.cache[0] = input[0];\n        sponge.cache_size = 1;\n        // shift = num elts already added to make cache_size 1 = 1 for a fresh sponge\n        // M = max_chunks = (N - 1 - (N - 1) % 3) / 3: (must be written as a fn of N to compile)\n        // max_remainder = (N - 1) % 3;\n        // max_chunks = (N - 1 - max_remainder) / 3;\n        sponge = poseidon2_absorb_chunks_loop::<N, (N - 1 - (N - 1) % 3) / 3>(\n            sponge,\n            input,\n            in_len,\n            variable,\n            shift,\n        );\n    }\n    sponge\n}\n\n// NB: If it's not required to check that the non-absorbed elts of 'input' are 0s, set skip_0_check=true\n#[no_predicates]\npub fn poseidon2_absorb_chunks_existing_sponge<let N: u32>(\n    in_sponge: std::hash::poseidon2::Poseidon2,\n    input: [Field; N],\n    in_len: u32,\n    skip_0_check: bool,\n) -> std::hash::poseidon2::Poseidon2 {\n    let mut sponge = in_sponge;\n    // 'shift' is to account for already added inputs\n    let mut shift = 0;\n    // 'stop' is to avoid an underflow when inputting in_len = 0\n    let mut stop = false;\n    for i in 0..3 {\n        if shift == in_len {\n            stop = true;\n        }\n        if (sponge.cache_size != 1) & (!stop) {\n            sponge.absorb(input[i]);\n            shift += 1;\n        }\n    }\n    sponge = if stop {\n        sponge\n    } else {\n        // max_chunks = (N - (N % 3)) / 3;\n        poseidon2_absorb_chunks_loop::<N, (N - (N % 3)) / 3>(\n            sponge,\n            input,\n            in_len,\n            skip_0_check,\n            shift,\n        )\n    };\n    sponge\n}\n\n// The below is the loop to absorb elts into a poseidon sponge in chunks of 3\n// shift - the num of elts already absorbed to ensure the sponge's cache_size = 1\n// M - the max number of chunks required to absorb N things (must be comptime to compile)\n// NB: The 0 checks ('Found non-zero field...') are messy, but having a separate loop over N to check\n// for 0s costs 3N gates. Current approach is approx 2N gates.\n#[no_predicates]\nfn poseidon2_absorb_chunks_loop<let N: u32, let M: u32>(\n    in_sponge: std::hash::poseidon2::Poseidon2,\n    input: [Field; N],\n    in_len: u32,\n    variable: bool,\n    shift: u32,\n) -> std::hash::poseidon2::Poseidon2 {\n    assert(in_len <= N, \"Given in_len to absorb is larger than the input array len\");\n    // When we have an existing sponge, we may have a shift of 0, and the final 'k+2' below = N\n    // The below avoids an overflow\n    let skip_last = 3 * M == N;\n    // Writing in_sponge: &mut does not compile\n    let mut sponge = in_sponge;\n    let mut should_add = true;\n    // The num of things left over after absorbing in 3s\n    let remainder = (in_len - shift) % 3;\n    // The num of chunks of 3 to absorb (maximum M)\n    let chunks = (in_len - shift - remainder) / 3;\n    for i in 0..M {\n        // Now we loop through cache size = 1 -> 3\n        should_add &= i != chunks;\n        // This is the index at the start of the chunk (for readability)\n        let k = 3 * i + shift;\n        if should_add {\n            // cache_size = 1, 2 => just assign\n            sponge.cache[1] = input[k];\n            sponge.cache[2] = input[k + 1];\n            // cache_size = 3 => duplex + perm\n            for j in 0..3 {\n                sponge.state[j] += sponge.cache[j];\n            }\n            sponge.state = std::hash::poseidon2_permutation(sponge.state, 4);\n            sponge.cache[0] = input[k + 2];\n            // cache_size is now 1 again, repeat loop\n        } else if (!variable) & (i != chunks) {\n            // if we are hashing a fixed len array which is a subarray, we check the remaining elts are 0\n            // NB: we don't check at i == chunks, because that chunk contains elts to be absorbed or checked below\n            let last_0 = if (i == M - 1) & (skip_last) {\n                0\n            } else {\n                input[k + 2]\n            };\n            let all_0 = (input[k] == 0) & (input[k + 1] == 0) & (last_0 == 0);\n            assert(all_0, \"Found non-zero field after breakpoint\");\n        }\n    }\n    // we have 'remainder' num of items left to absorb\n    should_add = true;\n    // below is to avoid overflows (i.e. if inlen is close to N)\n    let mut should_check = !variable;\n    for i in 0..3 {\n        should_add &= i != remainder;\n        should_check &= in_len - remainder + i != N;\n        if should_add {\n            // we want to absorb the final 'remainder' items\n            sponge.absorb(input[in_len - remainder + i]);\n        } else if should_check {\n            assert(input[in_len - remainder + i] == 0, \"Found non-zero field after breakpoint\");\n        }\n    }\n    sponge\n}\n\npub fn poseidon2_hash_with_separator_slice<T>(inputs: [Field], separator: T) -> Field\nwhere\n    T: ToField,\n{\n    let in_len = inputs.len() + 1;\n    let two_pow_64 = 18446744073709551616;\n    let iv: Field = (in_len as Field) * two_pow_64;\n    let mut sponge = std::hash::poseidon2::Poseidon2::new(iv);\n    sponge.absorb(separator.to_field());\n\n    for i in 0..inputs.len() {\n        sponge.absorb(inputs[i]);\n    }\n\n    sponge.squeeze()\n}\n\n#[no_predicates]\npub fn poseidon2_hash_bytes<let N: u32>(inputs: [u8; N]) -> Field {\n    let mut fields = [0; (N + 30) / 31];\n    let mut field_index = 0;\n    let mut current_field = [0; 31];\n    for i in 0..inputs.len() {\n        let index = i % 31;\n        current_field[index] = inputs[i];\n        if index == 30 {\n            fields[field_index] = field_from_bytes(current_field, false);\n            current_field = [0; 31];\n            field_index += 1;\n        }\n    }\n    if field_index != fields.len() {\n        fields[field_index] = field_from_bytes(current_field, false);\n    }\n    poseidon2_hash(fields)\n}\n\n#[test]\nfn poseidon_chunks_matches_fixed() {\n    let in_len = 501;\n    let mut input: [Field; 4096] = [0; 4096];\n    let mut fixed_input = [3; 501];\n    assert(in_len == fixed_input.len()); // sanity check\n    for i in 0..in_len {\n        input[i] = 3;\n    }\n    let sub_chunk_hash = poseidon2_hash_subarray(input, in_len);\n    let fixed_len_hash = std::hash::poseidon2::Poseidon2::hash(fixed_input, fixed_input.len());\n    assert(sub_chunk_hash == fixed_len_hash);\n}\n\n#[test]\nfn poseidon_chunks_matches_variable() {\n    let in_len = 501;\n    let mut input: [Field; 4096] = [0; 4096];\n    for i in 0..in_len {\n        input[i] = 3;\n    }\n    let variable_chunk_hash = poseidon2_cheaper_variable_hash(input, in_len);\n    let variable_len_hash = std::hash::poseidon2::Poseidon2::hash(input, in_len);\n    assert(variable_chunk_hash == variable_len_hash);\n}\n\n#[test]\nfn existing_sponge_poseidon_chunks_matches_fixed() {\n    let in_len = 501;\n    let mut input: [Field; 4096] = [0; 4096];\n    let mut fixed_input = [3; 501];\n    assert(in_len == fixed_input.len()); // sanity check\n    for i in 0..in_len {\n        input[i] = 3;\n    }\n    // absorb 250 of the 501 things\n    let two_pow_64 = 18446744073709551616;\n    let empty_sponge = std::hash::poseidon2::Poseidon2::new((in_len as Field) * two_pow_64);\n    let first_sponge = poseidon2_absorb_chunks_existing_sponge(empty_sponge, input, 250, true);\n    // now absorb the final 251 (since they are all 3s, im being lazy and not making a new array)\n    let mut final_sponge = poseidon2_absorb_chunks_existing_sponge(first_sponge, input, 251, true);\n    let fixed_len_hash = std::hash::poseidon2::Poseidon2::hash(fixed_input, fixed_input.len());\n    assert(final_sponge.squeeze() == fixed_len_hash);\n}\n\n#[test]\nfn poseidon_chunks_empty_inputs() {\n    let in_len = 0;\n    let mut input: [Field; 4096] = [0; 4096];\n    let mut contructed_empty_sponge = poseidon2_absorb_chunks(input, in_len, true);\n    let mut first_sponge =\n        poseidon2_absorb_chunks_existing_sponge(contructed_empty_sponge, input, in_len, true);\n    assert(first_sponge.squeeze() == contructed_empty_sponge.squeeze());\n}\n\n#[test]\nfn smoke_sha256_to_field() {\n    let full_buffer = [\n        0, 1, 2, 3, 4, 5, 6, 7, 8, 9, 10, 11, 12, 13, 14, 15, 16, 17, 18, 19, 20, 21, 22, 23, 24,\n        25, 26, 27, 28, 29, 30, 31, 32, 33, 34, 35, 36, 37, 38, 39, 40, 41, 42, 43, 44, 45, 46, 47,\n        48, 49, 50, 51, 52, 53, 54, 55, 56, 57, 58, 59, 60, 61, 62, 63, 64, 65, 66, 67, 68, 69, 70,\n        71, 72, 73, 74, 75, 76, 77, 78, 79, 80, 81, 82, 83, 84, 85, 86, 87, 88, 89, 90, 91, 92, 93,\n        94, 95, 96, 97, 98, 99, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 111, 112,\n        113, 114, 115, 116, 117, 118, 119, 120, 121, 122, 123, 124, 125, 126, 127, 128, 129, 130,\n        131, 132, 133, 134, 135, 136, 137, 138, 139, 140, 141, 142, 143, 144, 145, 146, 147, 148,\n        149, 150, 151, 152, 153, 154, 155, 156, 157, 158, 159,\n    ];\n    let result = sha256_to_field(full_buffer);\n\n    assert(result == 0x448ebbc9e1a31220a2f3830c18eef61b9bd070e5084b7fa2a359fe729184c7);\n\n    // to show correctness of the current ver (truncate one byte) vs old ver (mod full bytes):\n    let result_bytes = std::hash::sha256(full_buffer);\n    let truncated_field = crate::utils::field::field_from_bytes_32_trunc(result_bytes);\n    assert(truncated_field == result);\n    let mod_res = result + (result_bytes[31] as Field);\n    assert(mod_res == 0x448ebbc9e1a31220a2f3830c18eef61b9bd070e5084b7fa2a359fe729184e0);\n}\n\n#[test]\nfn compute_l2_l1_hash() {\n    // All zeroes\n    let hash_result =\n        compute_l2_to_l1_hash(AztecAddress::from_field(0), EthAddress::zero(), 0, 0, 0);\n    assert(hash_result == 0xb393978842a0fa3d3e1470196f098f473f9678e72463cb65ec4ab5581856c2);\n\n    // Non-zero case\n    let hash_result = compute_l2_to_l1_hash(\n        AztecAddress::from_field(1),\n        EthAddress::from_field(3),\n        5,\n        2,\n        4,\n    );\n    assert(hash_result == 0x3f88c1044a05e5340ed20466276500f6d45ca5603913b9091e957161734e16);\n}\n\n#[test]\nfn silo_l2_to_l1_message_matches_typescript() {\n    let version = 4;\n    let chainId = 5;\n\n    let hash = silo_l2_to_l1_message(\n        ScopedL2ToL1Message {\n            message: L2ToL1Message { recipient: EthAddress::from_field(1), content: 2, counter: 0 },\n            contract_address: AztecAddress::from_field(3),\n        },\n        version,\n        chainId,\n    );\n\n    // The following value was generated by `l2_to_l1_message.test.ts`\n    let hash_from_typescript = 0x00c6155d69febb9d5039b374dd4f77bf57b7c881709aa524a18acaa0bd57476a;\n\n    assert_eq(hash, hash_from_typescript);\n}\n"
     },
-    "279": {
+    "280": {
       "path": "/build-volume/noir-projects/noir-protocol-circuits/crates/types/src/utils/reader.nr",
       "source": "pub struct Reader<let N: u32> {\n    data: [Field; N],\n    offset: u32,\n}\n\nimpl<let N: u32> Reader<N> {\n    pub fn new(data: [Field; N]) -> Self {\n        Self { data, offset: 0 }\n    }\n\n    pub fn read(&mut self) -> Field {\n        let result = self.data[self.offset];\n        self.offset += 1;\n        result\n    }\n\n    pub fn read_u32(&mut self) -> u32 {\n        self.read() as u32\n    }\n\n    pub fn read_bool(&mut self) -> bool {\n        self.read() as bool\n    }\n\n    pub fn read_array<let K: u32>(&mut self) -> [Field; K] {\n        let mut result = [0; K];\n        for i in 0..K {\n            result[i] = self.data[self.offset + i];\n        }\n        self.offset += K;\n        result\n    }\n\n    pub fn read_struct<T, let K: u32>(&mut self, deserialise: fn([Field; K]) -> T) -> T {\n        let result = deserialise(self.read_array());\n        result\n    }\n\n    pub fn read_struct_array<T, let K: u32, let C: u32>(\n        &mut self,\n        deserialise: fn([Field; K]) -> T,\n        mut result: [T; C],\n    ) -> [T; C] {\n        for i in 0..C {\n            result[i] = self.read_struct(deserialise);\n        }\n        result\n    }\n\n    pub fn finish(self) {\n        assert(self.offset == self.data.len(), \"Reader did not read all data\");\n    }\n}\n"
     },
-    "308": {
+    "309": {
       "path": "/build-volume/noir-projects/noir-protocol-circuits/crates/types/src/type_serialization.nr",
       "source": "use crate::traits::{Deserialize, Serialize};\n\nglobal BOOL_SERIALIZED_LEN: u32 = 1;\nglobal U8_SERIALIZED_LEN: u32 = 1;\nglobal U16_SERIALIZED_LEN: u32 = 1;\nglobal U32_SERIALIZED_LEN: u32 = 1;\nglobal U64_SERIALIZED_LEN: u32 = 1;\nglobal U128_SERIALIZED_LEN: u32 = 1;\nglobal FIELD_SERIALIZED_LEN: u32 = 1;\nglobal I8_SERIALIZED_LEN: u32 = 1;\nglobal I16_SERIALIZED_LEN: u32 = 1;\nglobal I32_SERIALIZED_LEN: u32 = 1;\nglobal I64_SERIALIZED_LEN: u32 = 1;\n\nimpl Serialize<BOOL_SERIALIZED_LEN> for bool {\n    fn serialize(self) -> [Field; BOOL_SERIALIZED_LEN] {\n        [self as Field]\n    }\n}\n\nimpl Deserialize<BOOL_SERIALIZED_LEN> for bool {\n    fn deserialize(fields: [Field; BOOL_SERIALIZED_LEN]) -> bool {\n        fields[0] as bool\n    }\n}\n\nimpl Serialize<U8_SERIALIZED_LEN> for u8 {\n    fn serialize(self) -> [Field; U8_SERIALIZED_LEN] {\n        [self as Field]\n    }\n}\n\nimpl Deserialize<U8_SERIALIZED_LEN> for u8 {\n    fn deserialize(fields: [Field; U8_SERIALIZED_LEN]) -> Self {\n        fields[0] as u8\n    }\n}\n\nimpl Serialize<U16_SERIALIZED_LEN> for u16 {\n    fn serialize(self) -> [Field; U16_SERIALIZED_LEN] {\n        [self as Field]\n    }\n}\n\nimpl Deserialize<U16_SERIALIZED_LEN> for u16 {\n    fn deserialize(fields: [Field; U16_SERIALIZED_LEN]) -> Self {\n        fields[0] as u16\n    }\n}\n\nimpl Serialize<U32_SERIALIZED_LEN> for u32 {\n    fn serialize(self) -> [Field; U32_SERIALIZED_LEN] {\n        [self as Field]\n    }\n}\n\nimpl Deserialize<U32_SERIALIZED_LEN> for u32 {\n    fn deserialize(fields: [Field; U32_SERIALIZED_LEN]) -> Self {\n        fields[0] as u32\n    }\n}\n\nimpl Serialize<U64_SERIALIZED_LEN> for u64 {\n    fn serialize(self) -> [Field; U64_SERIALIZED_LEN] {\n        [self as Field]\n    }\n}\n\nimpl Deserialize<U64_SERIALIZED_LEN> for u64 {\n    fn deserialize(fields: [Field; U64_SERIALIZED_LEN]) -> Self {\n        fields[0] as u64\n    }\n}\n\nimpl Serialize<U128_SERIALIZED_LEN> for U128 {\n    fn serialize(self) -> [Field; U128_SERIALIZED_LEN] {\n        [self.to_integer()]\n    }\n}\n\nimpl Deserialize<U128_SERIALIZED_LEN> for U128 {\n    fn deserialize(fields: [Field; U128_SERIALIZED_LEN]) -> Self {\n        U128::from_integer(fields[0])\n    }\n}\n\nimpl Serialize<FIELD_SERIALIZED_LEN> for Field {\n    fn serialize(self) -> [Field; FIELD_SERIALIZED_LEN] {\n        [self]\n    }\n}\n\nimpl Deserialize<FIELD_SERIALIZED_LEN> for Field {\n    fn deserialize(fields: [Field; FIELD_SERIALIZED_LEN]) -> Self {\n        fields[0]\n    }\n}\n\nimpl Serialize<I8_SERIALIZED_LEN> for i8 {\n    fn serialize(self) -> [Field; I8_SERIALIZED_LEN] {\n        [self as Field]\n    }\n}\n\nimpl Deserialize<I8_SERIALIZED_LEN> for i8 {\n    fn deserialize(fields: [Field; I8_SERIALIZED_LEN]) -> Self {\n        fields[0] as i8\n    }\n}\n\nimpl Serialize<I16_SERIALIZED_LEN> for i16 {\n    fn serialize(self) -> [Field; I16_SERIALIZED_LEN] {\n        [self as Field]\n    }\n}\n\nimpl Deserialize<I16_SERIALIZED_LEN> for i16 {\n    fn deserialize(fields: [Field; I16_SERIALIZED_LEN]) -> Self {\n        fields[0] as i16\n    }\n}\n\nimpl Serialize<I32_SERIALIZED_LEN> for i32 {\n    fn serialize(self) -> [Field; I32_SERIALIZED_LEN] {\n        [self as Field]\n    }\n}\n\nimpl Deserialize<I32_SERIALIZED_LEN> for i32 {\n    fn deserialize(fields: [Field; I32_SERIALIZED_LEN]) -> Self {\n        fields[0] as i32\n    }\n}\n\nimpl Serialize<I64_SERIALIZED_LEN> for i64 {\n    fn serialize(self) -> [Field; I64_SERIALIZED_LEN] {\n        [self as Field]\n    }\n}\n\nimpl Deserialize<I64_SERIALIZED_LEN> for i64 {\n    fn deserialize(fields: [Field; I64_SERIALIZED_LEN]) -> Self {\n        fields[0] as i64\n    }\n}\n\nimpl<T, let N: u32, let M: u32> Serialize<N * M> for [T; N]\nwhere\n    T: Serialize<M>,\n{\n    fn serialize(self) -> [Field; N * M] {\n        let mut result: [Field; N * M] = std::mem::zeroed();\n        let mut serialized: [Field; M] = std::mem::zeroed();\n        for i in 0..N {\n            serialized = self[i].serialize();\n            for j in 0..M {\n                result[i * M + j] = serialized[j];\n            }\n        }\n        result\n    }\n}\n\nimpl<T, let N: u32, let M: u32> Deserialize<N * M> for [T; N]\nwhere\n    T: Deserialize<M>,\n{\n    fn deserialize(fields: [Field; N * M]) -> Self {\n        let mut reader = crate::utils::reader::Reader::new(fields);\n        let mut result: [T; N] = std::mem::zeroed();\n        reader.read_struct_array::<T, M, N>(Deserialize::deserialize, result)\n    }\n}\n\n#[test]\nfn test_u16_serialization() {\n    let a: u16 = 10;\n    assert_eq(a, u16::deserialize(a.serialize()));\n}\n\n#[test]\nfn test_i8_serialization() {\n    let a: i8 = -10;\n    assert_eq(a, i8::deserialize(a.serialize()));\n}\n\n#[test]\nfn test_i16_serialization() {\n    let a: i16 = -10;\n    assert_eq(a, i16::deserialize(a.serialize()));\n}\n\n#[test]\nfn test_i32_serialization() {\n    let a: i32 = -10;\n    assert_eq(a, i32::deserialize(a.serialize()));\n}\n\n#[test]\nfn test_i64_serialization() {\n    let a: i64 = -10;\n    assert_eq(a, i64::deserialize(a.serialize()));\n}\n"
     },

package/package.json

@@ -2,7 +2,7 @@
   "name": "@aztec/protocol-contracts",
   "homepage": "https://github.com/AztecProtocol/aztec-packages/tree/master/yarn-project/protocol-contracts",
   "description": "Canonical Noir contracts for the Aztec Network",
-  "version": "0.68.1",
+  "version": "0.68.2",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -74,9 +74,9 @@
     ]
   },
   "dependencies": {
-    "@aztec/circuits.js": "0.68.1",
-    "@aztec/foundation": "0.68.1",
-    "@aztec/types": "0.68.1",
+    "@aztec/circuits.js": "0.68.2",
+    "@aztec/foundation": "0.68.2",
+    "@aztec/types": "0.68.2",
     "lodash.chunk": "^4.2.0",
     "lodash.omit": "^4.5.0",
     "tslib": "^2.4.0"