@aztec-foundation/protocol-contracts-artifacts 6.0.0-nightly.20261021 → 6.0.0-nightly.20261022

package/artifacts/contract_class_registry_contract-ContractClassRegistry.json

@@ -4096,5 +4096,5 @@
     }
   },
   "transpiled": true,
-  "aztec_version": "6.0.0-nightly.20261021"
+  "aztec_version": "6.0.0-nightly.20261022"
 }

package/artifacts/contract_instance_registry_contract-ContractInstanceRegistry.json

@@ -5193,5 +5193,5 @@
     }
   },
   "transpiled": true,
-  "aztec_version": "6.0.0-nightly.20261021"
+  "aztec_version": "6.0.0-nightly.20261022"
 }

package/artifacts/fee_juice_contract-FeeJuice.json

@@ -770,147 +770,139 @@
         },
         {
           "name": "<impl Packable for bool>::unpack",
-          "start": 946
+          "start": 730
         },
         {
           "name": "<impl Packable for u8>::pack",
-          "start": 1397
+          "start": 879
         },
         {
           "name": "<impl Packable for u8>::unpack",
-          "start": 1499
+          "start": 981
         },
         {
           "name": "<impl Packable for u16>::pack",
-          "start": 1651
+          "start": 1133
         },
         {
           "name": "<impl Packable for u16>::unpack",
-          "start": 1753
+          "start": 1235
         },
         {
           "name": "<impl Packable for u32>::pack",
-          "start": 1906
+          "start": 1388
         },
         {
           "name": "<impl Packable for u32>::unpack",
-          "start": 2008
+          "start": 1490
         },
         {
           "name": "<impl Packable for u64>::pack",
-          "start": 2161
+          "start": 1643
         },
         {
           "name": "<impl Packable for u64>::unpack",
-          "start": 2263
+          "start": 1745
         },
         {
           "name": "<impl Packable for u128>::pack",
-          "start": 2418
+          "start": 1900
         },
         {
           "name": "<impl Packable for u128>::unpack",
-          "start": 2520
+          "start": 2002
         },
         {
           "name": "<impl Packable for Field>::pack",
-          "start": 2678
+          "start": 2160
         },
         {
           "name": "<impl Packable for Field>::unpack",
-          "start": 2771
+          "start": 2253
         },
         {
           "name": "<impl Packable for i8>::pack",
-          "start": 2915
+          "start": 2397
         },
         {
           "name": "<impl Packable for i8>::unpack",
-          "start": 3023
+          "start": 2505
         },
         {
           "name": "<impl Packable for i16>::pack",
-          "start": 3181
+          "start": 2663
         },
         {
           "name": "<impl Packable for i16>::unpack",
-          "start": 3290
+          "start": 2772
         },
         {
           "name": "<impl Packable for i32>::pack",
-          "start": 3450
+          "start": 2932
         },
         {
           "name": "<impl Packable for i32>::unpack",
-          "start": 3559
+          "start": 3041
         },
         {
           "name": "<impl Packable for i64>::pack",
-          "start": 3719
+          "start": 3201
         },
         {
           "name": "<impl Packable for i64>::unpack",
-          "start": 3828
+          "start": 3310
         },
         {
           "name": "<impl Packable for super::point::EmbeddedCurvePoint>::pack",
-          "start": 3997
+          "start": 3479
         },
         {
           "name": "<impl Packable for super::point::EmbeddedCurvePoint>::unpack",
-          "start": 4079
+          "start": 3561
         },
         {
           "name": "<impl Packable for [T; M]>::pack",
-          "start": 4290
+          "start": 3772
         },
         {
           "name": "<impl Packable for [T; M]>::unpack",
-          "start": 4652
+          "start": 4134
         },
         {
           "name": "test_u16_packing",
-          "start": 4897
+          "start": 4379
         },
         {
           "name": "test_i8_packing",
-          "start": 4993
+          "start": 4475
         },
         {
           "name": "test_i16_packing",
-          "start": 5089
+          "start": 4571
         },
         {
           "name": "test_i32_packing",
-          "start": 5187
+          "start": 4669
         },
         {
           "name": "test_i64_packing",
-          "start": 5285
+          "start": 4767
         },
         {
           "name": "test_bool_unpack_accepts_canonical_values",
-          "start": 5408
-        },
-        {
-          "name": "test_bool_unpack_rejects_even_non_bool",
-          "start": 5594
-        },
-        {
-          "name": "test_bool_unpack_rejects_odd_non_bool",
-          "start": 5827
+          "start": 4890
         },
         {
-          "name": "test_bool_unpack_rejects_large_field",
-          "start": 6058
+          "name": "test_bool_unpack_treats_non_zero_fields_as_true",
+          "start": 5037
         },
         {
           "name": "test_bool_pack_unpack_roundtrip",
-          "start": 6145
+          "start": 5254
         }
       ],
       "path": "/home/aztec-dev/aztec-packages/noir-projects/fnd/noir-protocol-circuits/crates/types/src/type_packing.nr",
-      "source": "use crate::traits::{Deserialize, Packable, Serialize};\n\nglobal BOOL_PACKED_LEN: u32 = 1;\nglobal U8_PACKED_LEN: u32 = 1;\nglobal U16_PACKED_LEN: u32 = 1;\nglobal U32_PACKED_LEN: u32 = 1;\nglobal U64_PACKED_LEN: u32 = 1;\nglobal U128_PACKED_LEN: u32 = 1;\nglobal FIELD_PACKED_LEN: u32 = 1;\nglobal I8_PACKED_LEN: u32 = 1;\nglobal I16_PACKED_LEN: u32 = 1;\nglobal I32_PACKED_LEN: u32 = 1;\nglobal I64_PACKED_LEN: u32 = 1;\nglobal POINT_PACKED_LEN: u32 = 2;\n\nimpl Packable for bool {\n    let N: u32 = BOOL_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as Field]\n    }\n\n    /// Unpacks a `bool`, constraining the field to be a canonical boolean. A field outside `{0, 1}` is\n    /// rejected (rather than silently reinterpreted), so an arbitrary-origin field cannot be misread.\n    /// `pack` always emits `0` or `1`, so round-tripping is unaffected.\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> bool {\n        let v = fields[0];\n        // v * v == v holds iff v is 0 or 1: a single degree-2 constraint that both validates the field\n        // is a canonical bool and avoids the byte-range decomposition that a cast to u8 would require.\n        assert(v * v == v, \"Packable::unpack: bool field must be 0 or 1\");\n        v == 1\n    }\n}\n\nimpl Packable for u8 {\n    let N: u32 = U8_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u8\n    }\n}\n\nimpl Packable for u16 {\n    let N: u32 = U16_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u16\n    }\n}\n\nimpl Packable for u32 {\n    let N: u32 = U32_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u32\n    }\n}\n\nimpl Packable for u64 {\n    let N: u32 = U64_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u64\n    }\n}\n\nimpl Packable for u128 {\n    let N: u32 = U128_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u128\n    }\n}\n\nimpl Packable for Field {\n    let N: u32 = FIELD_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0]\n    }\n}\n\nimpl Packable for i8 {\n    let N: u32 = I8_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as u8 as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u8 as i8\n    }\n}\n\nimpl Packable for i16 {\n    let N: u32 = I16_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as u16 as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u16 as i16\n    }\n}\n\nimpl Packable for i32 {\n    let N: u32 = I32_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as u32 as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u32 as i32\n    }\n}\n\nimpl Packable for i64 {\n    let N: u32 = I64_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as u64 as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u64 as i64\n    }\n}\n\nimpl Packable for super::point::EmbeddedCurvePoint {\n    let N: u32 = POINT_PACKED_LEN;\n    fn pack(self) -> [Field; Self::N] {\n        self.serialize()\n    }\n\n    fn unpack(packed: [Field; Self::N]) -> Self {\n        Self::deserialize(packed)\n    }\n}\n\nimpl<T, let M: u32> Packable for [T; M]\nwhere\n    T: Packable,\n{\n    let N: u32 = M * <T as Packable>::N;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        let mut result: [Field; Self::N] = std::mem::zeroed();\n        for i in 0..M {\n            let serialized = self[i].pack();\n            for j in 0..<T as Packable>::N {\n                result[i * <T as Packable>::N + j] = serialized[j];\n            }\n        }\n        result\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        let mut reader = crate::utils::reader::Reader::new(fields);\n        let result: [T; M] = std::mem::zeroed();\n        reader.read_struct_array::<T, <T as Packable>::N, M>(Packable::unpack, result)\n    }\n}\n\n#[test]\nfn test_u16_packing() {\n    let a: u16 = 10;\n    assert_eq(a, u16::unpack(a.pack()));\n}\n\n#[test]\nfn test_i8_packing() {\n    let a: i8 = -10;\n    assert_eq(a, i8::unpack(a.pack()));\n}\n\n#[test]\nfn test_i16_packing() {\n    let a: i16 = -10;\n    assert_eq(a, i16::unpack(a.pack()));\n}\n\n#[test]\nfn test_i32_packing() {\n    let a: i32 = -10;\n    assert_eq(a, i32::unpack(a.pack()));\n}\n\n#[test]\nfn test_i64_packing() {\n    let a: i64 = -10;\n    assert_eq(a, i64::unpack(a.pack()));\n}\n\n#[test]\nfn test_bool_unpack_accepts_canonical_values() {\n    assert_eq(bool::unpack([0]), false);\n    assert_eq(bool::unpack([1]), true);\n}\n\n#[test(should_fail_with = \"bool field must be 0 or 1\")]\nfn test_bool_unpack_rejects_even_non_bool() {\n    // 2 has LSB 0, so the previous LSB-based unpack silently returned false; now it is rejected.\n    let _ = bool::unpack([2]);\n}\n\n#[test(should_fail_with = \"bool field must be 0 or 1\")]\nfn test_bool_unpack_rejects_odd_non_bool() {\n    // 3 has LSB 1, so the previous LSB-based unpack silently returned true; now it is rejected.\n    let _ = bool::unpack([3]);\n}\n\n#[test(should_fail_with = \"bool field must be 0 or 1\")]\nfn test_bool_unpack_rejects_large_field() {\n    let _ = bool::unpack([1000000]);\n}\n\n#[test]\nfn test_bool_pack_unpack_roundtrip() {\n    // `pack` always emits 0 or 1, so it round-trips through the canonical-bool check in `unpack`.\n    assert_eq(true.pack(), [1]);\n    assert_eq(false.pack(), [0]);\n    assert_eq(bool::unpack(true.pack()), true);\n    assert_eq(bool::unpack(false.pack()), false);\n}\n"
+      "source": "use crate::traits::{Deserialize, Packable, Serialize};\n\nglobal BOOL_PACKED_LEN: u32 = 1;\nglobal U8_PACKED_LEN: u32 = 1;\nglobal U16_PACKED_LEN: u32 = 1;\nglobal U32_PACKED_LEN: u32 = 1;\nglobal U64_PACKED_LEN: u32 = 1;\nglobal U128_PACKED_LEN: u32 = 1;\nglobal FIELD_PACKED_LEN: u32 = 1;\nglobal I8_PACKED_LEN: u32 = 1;\nglobal I16_PACKED_LEN: u32 = 1;\nglobal I32_PACKED_LEN: u32 = 1;\nglobal I64_PACKED_LEN: u32 = 1;\nglobal POINT_PACKED_LEN: u32 = 2;\n\nimpl Packable for bool {\n    let N: u32 = BOOL_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as Field]\n    }\n\n    /// Unpacks a `bool`. Any non-zero field unpacks to `true`.\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> bool {\n        fields[0] != 0\n    }\n}\n\nimpl Packable for u8 {\n    let N: u32 = U8_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u8\n    }\n}\n\nimpl Packable for u16 {\n    let N: u32 = U16_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u16\n    }\n}\n\nimpl Packable for u32 {\n    let N: u32 = U32_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u32\n    }\n}\n\nimpl Packable for u64 {\n    let N: u32 = U64_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u64\n    }\n}\n\nimpl Packable for u128 {\n    let N: u32 = U128_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u128\n    }\n}\n\nimpl Packable for Field {\n    let N: u32 = FIELD_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0]\n    }\n}\n\nimpl Packable for i8 {\n    let N: u32 = I8_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as u8 as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u8 as i8\n    }\n}\n\nimpl Packable for i16 {\n    let N: u32 = I16_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as u16 as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u16 as i16\n    }\n}\n\nimpl Packable for i32 {\n    let N: u32 = I32_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as u32 as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u32 as i32\n    }\n}\n\nimpl Packable for i64 {\n    let N: u32 = I64_PACKED_LEN;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        [self as u64 as Field]\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        fields[0] as u64 as i64\n    }\n}\n\nimpl Packable for super::point::EmbeddedCurvePoint {\n    let N: u32 = POINT_PACKED_LEN;\n    fn pack(self) -> [Field; Self::N] {\n        self.serialize()\n    }\n\n    fn unpack(packed: [Field; Self::N]) -> Self {\n        Self::deserialize(packed)\n    }\n}\n\nimpl<T, let M: u32> Packable for [T; M]\nwhere\n    T: Packable,\n{\n    let N: u32 = M * <T as Packable>::N;\n\n    #[inline_always]\n    fn pack(self) -> [Field; Self::N] {\n        let mut result: [Field; Self::N] = std::mem::zeroed();\n        for i in 0..M {\n            let serialized = self[i].pack();\n            for j in 0..<T as Packable>::N {\n                result[i * <T as Packable>::N + j] = serialized[j];\n            }\n        }\n        result\n    }\n\n    #[inline_always]\n    fn unpack(fields: [Field; Self::N]) -> Self {\n        let mut reader = crate::utils::reader::Reader::new(fields);\n        let result: [T; M] = std::mem::zeroed();\n        reader.read_struct_array::<T, <T as Packable>::N, M>(Packable::unpack, result)\n    }\n}\n\n#[test]\nfn test_u16_packing() {\n    let a: u16 = 10;\n    assert_eq(a, u16::unpack(a.pack()));\n}\n\n#[test]\nfn test_i8_packing() {\n    let a: i8 = -10;\n    assert_eq(a, i8::unpack(a.pack()));\n}\n\n#[test]\nfn test_i16_packing() {\n    let a: i16 = -10;\n    assert_eq(a, i16::unpack(a.pack()));\n}\n\n#[test]\nfn test_i32_packing() {\n    let a: i32 = -10;\n    assert_eq(a, i32::unpack(a.pack()));\n}\n\n#[test]\nfn test_i64_packing() {\n    let a: i64 = -10;\n    assert_eq(a, i64::unpack(a.pack()));\n}\n\n#[test]\nfn test_bool_unpack_accepts_canonical_values() {\n    assert_eq(bool::unpack([0]), false);\n    assert_eq(bool::unpack([1]), true);\n}\n\n#[test]\nfn test_bool_unpack_treats_non_zero_fields_as_true() {\n    assert_eq(bool::unpack([2]), true);\n    assert_eq(bool::unpack([3]), true);\n    assert_eq(bool::unpack([1000000]), true);\n    assert_eq(bool::unpack([-1]), true);\n}\n\n#[test]\nfn test_bool_pack_unpack_roundtrip() {\n    assert_eq(true.pack(), [1]);\n    assert_eq(false.pack(), [0]);\n    assert_eq(bool::unpack(true.pack()), true);\n    assert_eq(bool::unpack(false.pack()), false);\n}\n"
     },
     "231": {
       "function_locations": [
@@ -2989,7 +2981,7 @@
         "abi_public",
         "abi_only_self"
       ],
-      "debug_symbols": "rVjbauMwEP0XP+dBc9Etv7IsJW3dEjBJcJOFpeTfd9RoZLsgYep9iY5H0fHR6Ehj+7N77Z9v70/H09v5o9v/+uyex+MwHN+fhvPL4Xo8nyT62Zn0A4DdnnbS+m5vpUXMrXvECXIr115ahtzma8u5jY/WUbcHk0AQAAI8ZRBAgYyFICDCA6AxGaBG0GZA2kUaYY1wicQMLCkIGThU4DPwegufZWAQQjQJsIKYQdRIzBEyrEAjIDJQ5kVoFJRI+o+kj4gVpAgLYM7AogJRSIkwaSYU4IWQUpe3GQSNhBRxAqJRkCNsSIEkgeWmnBb5AXwGKc9sE7AZpDw/gAjjmIBItXi/7zr1zdN17Ptkm5mRxF6Xw9ifrt3+dBuGXffnMNy+/vRxOZy+2uthlF6ZWX96lVYI345Dn9B9N4029aHeh5hH+wBUCCwvGKDOIL70mQGcnSTYuGDAOgORzQQ0G+/CegVOCcCDryngOgOjppAZZwQ/yiJiLYuuzhBNyAQRYxnPvFpBwFAUcKgpCI0skgPNouyKWhZjnQEdZwLZ97V1bGbRlSzGuZNWZyEYo04IBrnq5oYZAbmYCeOUhrDcUkCNPAR1E8VpJdAs7QQNP4IBj6rCoJkcIWf+ksU2PBVBhcRofZ2j4UtKZ9pjLmE2F4Ilg29kA4P6SmD8GQeRuhvJU52j4U6KXjnYgJ1lY7UMNt4VisB1GS1/QYxlmxlX8xc2KGw57myYzpqA6wmsZsKxrxGs3WZULRrY8iZqFqLl6hxaxgRQBgKul52Wq0LUTYZxtse+U2w/NHHrqdmeBvsyDaSaBmpVUDRlGmixqqK5HmZaD1vNBLXOTUt6XqGdGROBfubMWHMmNZyJcZoHTJUY1kuwvkjwrirBb65BFLbWIIr/owax2V6DGLbWIMbtNajJsbIGMW+uQWvdFaruYtda2FAe2GH2yP/t8OWGQclFpZA3qfoTd8ugXCoAykN3dbO3Zbjicjcrhd9kWNPyFpaXDw5QpWgdnkQ41QBaHJ6/5erwchwX3wfuiWs8Hp6HPl++3U4vs97r34v26PeFy3h+6V9vY5+Y5h8Z5DUx2F3wv+/pbv8A",
+      "debug_symbols": "rVjbbuIwEP2XPPPgufgy/MpqVdE2rZAQRRRWWlX8+46LxwlItqKyL/hkQk6Ox8czSb6G1/H5/P603b99fA7rX1/D83G7223fn3YfL5vT9mOv0a/B5R8AHNa00jEOa68jYhnDNU5QRj2OOjKUsRx7LqNcx0DDGlwGSQEoiFRAAgN6LSQFAleAzhWAFkFfANkpsghbhGtECvBkIBUQ0EAsINotYpGBSQnRZcAGpACxiJQIOTZgEVAZqPMidAZqJP9H00fEBnKEFTAX4NGAKqRMmDUTKohKSPlU9AUki6QcCQrEGSgRdmRAk8B6U86LfAWxgJxn9hn4AnKer0CFsWSgUj1eLqvBfPN0Oo5jts3MSGqvw+Y47k/Den/e7VbDn83u/P2nz8Nm/z2eNkc9qzMb9686KuHbdjdmdFlNV7v2pTEmKVfHBFQJPN8wQJtBfRkLAwQ/SfByw4BtBiJfCGh2fUjLFQQjgAixpYDbDIyWQmacEfwoi4itLIY2g7hUCASlXs+8WEHCVBVwailInSxSAMui7opWFqXNgIELge771jp2sxhqFmXupMVZSM6ZE5JDbrq5Y0ZArmZCmdKQbrcUUCcPydxEMq0Euls7QceP4CCiqXDoJkdozb9l8R1PCZgQER/bHB1fUq5p17mk2VwIbhliJxuYzFcK5WccROZupEhtjo47SaJxsAM/y8ZiGexiqBSJ2zJ6/gKRus1caPkLOxS+ljufplqTcDmBt0wEji2CpduMmk0De95Ey4J4bs6hZ0wAYyDgdtvpuSqJbTKU2R67p3i8aOKjVbM/DY51GkgtDdTroOjqNNBjU0V3Pdy0Hr6ZCerVTQd1PdysCyLQz5wpLWdSx5ko0zxg6sSwXIKPVUIMTQnx4R5E6dEeRPI/ehC7x3sQw6M9iPHxHtTlWNiDmB/uQUvdlZru4tBb2FQf2GH2yH9XfLljUApiFPom1X7i7lVOgVpyZPaodr/Z+zJCdXmYtcI7Gd71vIX15YMTNCl6xZMIpx5AN8Xztx5tXrbHm+8Dl8x13G6ed2M5fDvvX2ZnT38Pdsa+LxyOHy/j6/k4Zqb5RwZ9TUx+leLvS77bPw==",
       "is_unconstrained": true,
       "name": "_increase_public_balance"
     },
@@ -3038,7 +3030,7 @@
         "abi_public",
         "abi_view"
       ],
-      "debug_symbols": "nZbdirMwEIbvJcceZCaZ/PRWlqXY1i6C2OLWDz6K976JdaIuJJQ9ad5O9HH+MvoUl+Y0fh3b/nr7FoePpzgNbde1X8fudq4f7a0P1qeQ8cdocVCVMF4cdCWsnheHr8WKA0AlvHmtIGERiCx4S/GWYotmi2YLSRaahV+EUSzcIiw/wi5egItAFQUtwksWiwWlZMEWYAtEN0JUiMCCLSpeY6KgRehosVHQIogt5BYRfcZIjj4jBWEDEONWdPUlZss0VYJTf3wMTRMzv6lFqNC9Hpr+IQ792HWV+Fd343zR973u5/VRD2FXVqLpL2ENwGvbNVFN1Xq3zN/qKfo63+1JUwKQ3hEgT0CKyZoJSGpD8DsC5glE7AJZk+437v0YYnFeMRjpcjGUCEZTIhidI1CeAJgIgH7NgttXwhTy6LiMyq8xhI7dAWzBBRlOB/sgUfoEAat2EFfIhAd2w3uyWYTPI5Tmciq3CUTBvqMK5cBwUril0Pm/MZRyzFDB+Syj0JjKW2ZoCbRJxttuaGlNQjiddaPUWuA9l1VJk2stKCDIcHOSwxWA7wOIE2G0zQHePWCbQ/57zJQ6E/06qLIxlPoSgAkKtMwOqlJTOc8nDP3mgP1GFMZleBNCqqbNj8tCW6JJA9fJ3Lwsh6FtCgNV1gddmncyhYGEOS/K9ZBrPSifidLMJCXTu2fTmAhhWn2Gv/W5HXafN1OEDW196prl73Xsz5vdx/877/Dn0X24nZvLODSRtH4jQXibf4RzYeTnFJ/2Aw==",
+      "debug_symbols": "nZbbivIwEMffJde9mJlkcvBVlkWq1qVQqnT1gw/x3TepnR4WEmRvzN9J++ucMu1DnZrD/Wvf9ufLt9p9PNRhaLuu/dp3l2N9ay99tD4UpB9r1E5Xyga1M5VyZlw8vRandoiVCva1IuAkiETIlpYtLRYjFiMWBhFGRJiE1SL8JJw8wk1eoE9AnQRPIoCIyUIAIsSCYsHkRoyKCEWIRadrbBI8CZMsLgmeBIuF/SSSz5TIyWfiKFwEUtpKrr7EaHk+KyWp39+GpkmZX9UiVuhaD01/U7v+3nWV+ld39/Gi72vdj+utHuIuVKrpT3GNwHPbNUk9q+VuyN8aOPk63h3Y8AxgsyFgnkCckjUSiPWKEDYEyhOYxQV2dr7f+vdjSMV5xWDB52IoEazhmWBNjsB5AtJMQApLFvy2EraQRy9l1GGJIXbsBuAKLkA8HeIDEIQZgk5vIL6QiYDiRgjssoiQR2gj5dR+FYjGbUcVykHxpEhLkQ9/Y2jthaGj81lGoTF1cMIwgLxKxttuGHB2RniTdaPUWhiClFWDzbUWFhBspTnZ0wKg9wEsibDG5QDvHrDVIf89ZkqdSWEZVNkYSn2JKASNBrKDqtRUPsgJo7A6YL8RhXEZ34Q4V9Plx2WhLcnOA9dDbl6WwzBuDoN01gdTmncwh0FMOS/K9YClHpzPRGlmAs71AFoNCozT6jP+rY/tsPm8eSbY0NaHrpn+nu/9cbV7+3+VHfk8ug6XY3O6D00iLd9IGN/mH/FcWPh8pqf9AA==",
       "is_unconstrained": true,
       "name": "balance_of_public"
     },
@@ -3077,7 +3069,7 @@
         "abi_public",
         "abi_view"
       ],
-      "debug_symbols": "nZbdbuowDMffpddcxHY+eZWjaepYN1WqCurgSEcT736cEYd2kiO2G/KvS37Yjm3y2b0OL5f353F+O350+z+f3csyTtP4/jwdD/15PM5s/exM/gATuz3tOgDq9jav8baiv60E3T7klZ8TrxbK6m52Z8rKzwAsvBEhlkAiYhERWUQWCUT4m0AIRSCIkFckFhKLFUv25iZSEc6KiEV4EiE/EVAEA9GwiEaEKyKJJRULGSNCLMBuIGThi0CxYP4O55fIiMgWzixZIyIW4dhDysDsMyELz0DKrwKIEEvMFpdFtngWOZk3kbK4XnedHPjzeRmGfN6rCuC6OPXLMJ+7/XyZpl33t58uX1/6OPXz13ruF37LHg3zK68MfBunIavr7r7b6FtjsK7sjsGHCnB2QwCdgA5sIaAjdyekDQF1gnNUAC74ut/Hx2OgKDFE9FoMLUJMksOYwGoEpxPAUygE7iujZcHrBCI5CFrt/5aFpgdeABAgaB5EnWBRkmAtrgC/yiKSWksNRDJykglTBdgfHGSoLrA7qguNagSsHQE8UyoibnsKqNESUZygFCsAzTaTuW1UJwwEFC8MmnskPKy3lEZJpATiSEou6IxWWVppToqrWAi2hNDIBkaQAYGrM/kRg2qLIwXSGakRSQrCsAbcKhsPu2FN8BURre5Gq74gJTlZMl6rL2wNzNrpLuIdgI8DnGTC26ABHmyzxLErbYat2kTJQnJWjaFVmABCILDqxMVWVfGYkqpKqx77jmjMTL52QT3NoP/7NeoSff3/jOrgb4dhQw1jPXe3PhC0hp6pYaBD1YvmeZj7eTg1E9Sam45MvUqsChOBflWZ9nd3AU+V4LeEJ37qD+OyuadfM2sZ+5dpKI9vl/mwenv+d5I3cs8/LcfD8HpZhkxaXfb5gvgn0C64p2v+tf8=",
+      "debug_symbols": "nZbdbuowDMffpddcxHY+eZWjaepYN1WqCurgSEcT736cEYd2kiO2G/KvS344/iKf3evwcnl/Hue340e3//PZvSzjNI3vz9Px0J/H48zWz87kDzCx29OuA6Bub/Mabyv620rQ7UNe+TnxaqGs7mZ3pqz8DMDCGxFiCSQiFhGRRWSRQIS/CYRQBIIIeUViIbFYsWRvbiIV4ayIWIQnEfITAUUwEA2LaES4IpJYUrGQMSLEAuwGQha+CBQL5u9wfImMiGzhyJI1ImIRjj2kDMw+E7LwDKT8KoAIscRscVlki2eRg3kTKYvrdddJwp/PyzDkfK8qgOvi1C/DfO7282Wadt3ffrp8fenj1M9f67lf+C17NMyvvDLwbZyGrK67+26jb43BurI7Bh8qwNkNAXQCOrCFgI7cnZA2BNQJzlEBuODrfh8fPwNFOUNEr52hRYhJYhgTWI3gdAJ4CoXAfWW0KHidQCSJoNX+b1FoeuAFAAGC5kHUCRYlCNbiCvCrKCKptdRAJCOZTJgqwP4gkaG6wO6oLjSqEbB2BPBMqYi47SmgRktEcYJSrAA020jmtlGdMBBQvDBo7ifhYb2lNEoiJRBHUnJBZ7TK0kpzUlydhWBLCI1oYAQZELjKyY8YVFscKZDOSI2TpCAMa8CtovGwG9YEXxHR6m606gtSksyS8Vp9YWtg1k53Ee8AfBzgJBLeBg3wYJslPrvSZtiqTZQoJGfVM7QKE0AIBFaduNiqKh5TUlVp1WPfEY2ZydcuqNkM+r9foy7R1//PqA7+9jFsqMdYz92tDwStoWfqMdCh6kUzH+aeD6dGglpz00DNh1nNfwT6VWXa390FPFWC3xKe+Kk/jMvmnn7NrGXsX6ahPL5d5sPq7fnfSd7IPf+0HA/D62UZMml12ecL4p9Au+CervnX/gM=",
       "is_unconstrained": true,
       "name": "check_balance"
     },
@@ -6846,7 +6838,7 @@
       "custom_attributes": [
         "abi_public"
       ],
-      "debug_symbols": "tVvdbh0pDH6Xc50LDPiHvsqqqtI2XUWK0irbrLSq8u5rM4AnkWCnZ7I35RufGf9hbAPpr8vXu8/Pf366f/z2/a/Lhz9+XT4/3T883P/56eH7l9uf998flfrrEuwfSDrAjY54+RB1zKGN7RnbM+Y2lm2k9kztmVMbZRsltpHrGEn5ZBuxjWUbObexPUt7lvZc9Hu5uaQQ20iqryqcADpQjqAiUgwddEo1jgwYxT438zaQ20+5NFAtDAZKA8QNcOxApcekQFR6zAaogZI70M+TKpZD6kAagE6BTomdErmBBB1QA6bzBrCDLsJ03oAxVMUyxQ64Ae4U7hTpFOmUYmpkA7IBNH8nMmDvsAKIDZifN2BzqZ+j+TmjAf082085ddApaJRiQBqgTmHoQE1GEyqhA+xATUadODRVNyAbIFOVogFVlVQNMj8TGeAGYuxARZB9ZX7eADZgft5Ap6C9rIqRRSern0lSB9JA6ZTSKBwahS1EORugBsx1jAawgdQppgarLDY1JBiQBsx1kgwYxV42122A2082yxswijqcbZYrKKED7EDNKaqPmKobkAagU6BTYqdYiFZgrtsANWA6bwA76CIsRDdgDHUKxEJ0A9wAdwp3inSKdIr5ubAB2UCxeS/FgL4DQT1VLEY3VJPBhmztB2VRajoIYkgsedivFqgNDRpWGhiqNI2tQqkjhoGo5rYioY3YRkspoDYXSwoNSUOqVHLoVKgfocFk9gAbzOCQBkSnolPJqZZdIVpeD5ZgOzRpsYqwOIZIBgs4NGaWENQPwSEOCE4Fp0anxuxQBkzJIQ+Yo0MXXG1rsIrACsuAlB06lZ3KThWnlqokVYgO67saEmpEfbdUWAYEHtByCFiaU2hUS2sQa2nJ9YVaXBo0KgaDVkE7dCo5tRrUYBmQncpOrfPWoAxYokPusJbMDmnAOoUYK0SHZcA6hQ06tdqGtVPYbNuaBqeiU8mp5FR2KjtVnCpOLU4tg5pDcOhUcCpkh2XA6NTo1OTUmg02WGOyQR6wxmSDNKCbmd3MTC6CXQS7iG0KN+giigsuQwQGcDhEoFuMbjG6xRiTwyEYU3Q4BGN2EdkF+8SiTyyiiyAXTC6CXTC7CHHB4iKKC/Y5Jp9jCtnhEFxre4dDcK3vHQ7BtcZ3OASThzJ5KFN2EeiC0UWQCyYXwS6YqwhL5iTgsAxYq0GD0mFtFzp0aq1kG6wFbIO1gjXo1OzUnB06M3RmyAOSU8mpDA6HQSwuYlum+eXl5tL3E59+Pt3d2XZit8HQbceP26e7x5+XD4/PDw83l79vH57rS3/9uH2s48/bJ/1Vs9Ld41cdleG3+4c7Qy83/nWYf1qKNb/161IYB4Oq3SEOVry4sVAM5RoeIdieYOOhMM14pDkPsRZpMyS5HSTHdchWwpsOWWSmAy69OZQoxbXQEveKBc1Z6PItjYW25WHHgl+x4DmLaBW2cojEOwa/MR2aCocrNCXNXFHmPDSD9rDEmGFqB4SzhhxVAudKrH0hI7wDxakvYBGbzNL9ybo/mLLICz0oDTUIPS6wvGaxiM6UujvTjsGbFbLWgToHTa881WERmzn2CdFGYcfhOlfGOHXlIiqKbWC2RRo9W+XfmE6JMnTI00RhW4apKxP1vGvN3MyVMS5WB/VcE2U+nUtX0nBl2YfUcU9ICD0iJMQ89cQiKsFXufbe7gl5XcPiImdG6UGVis9GDK+jKvJqlWuT4AUoeFhom/Cai6zSP4SR/pHnPBbBmXIvhGlXgmKC13VwlTWj9NBSWK7jkVKPcM2Vac5jEZ+pcOeRA+DOG4fVyIFpsJA8VWMZX1BGLdNd3Cy+0oIFjrSnjbgziMcZYPcEZZ4xOLzOFu3RKjhjd0PBPDViFZkwmoKk28dZysqrsJLSV1ksu0X2lsX5xJnPJs61GZmHGfuO4I0Oq1IawzAjYpxpsZ6P4POBc0+sEieO/ijiLjIjpCtDc9r950VoxuKGeJOW4Td0QB46ME0793C6DCGcLUMY36MMYTpfhjCfLUOI58vQksfBMoR8ugwdDi+Zh1dZzazvImC3A3iTf2kRoYlKZ6EngdPum1YRmkcRiNp/T9f7Wg0aYU67cvhWjbQKrjh2IllgymKVP1OKXgbSVft9IvGNnYSrzi12uzLlMS3MtOw92UMjxKtMYT+C0esKuMoUGXlccZm6g8P/eAaj2qMvkzitJhzPnzxwOnvycFiLK48e9FYnuTdoutnlRYkXHqYI72x5y2J1noQwGiZM00aDZdUAd0NwV57fBMbajFEJ9GaTrvKEBnVnUWC6VxU4fQgj8eQhzFqHQ4cwkk8ewhx25fxITOjkIcxaBx46iEwzhcjpnk/K2Z6vhPfo+Qqc7/lKPNvzlXS+51vyONjzFTzd863UOHr0sIyvY0cPRU4ePSwZHDl6OLrO9LJoekoY4OTZgwb/6cMHCOn06YNe/pw+foCAZw9u15YcOoCAwKdPIP5jVg4dQdS3zp5BHI7RfGV3QGmwILrqIhRGygD7W5fpUlntNd9hN6BlbaeH5KtsSXlsjiDPdxQA9H9uB2jcp9qfKtFcCzl/KQurO6Oj17IQT99nLh0i4DsCSXOHrC6OCo7Ldk3HOOeRTu8JIOaTm4L/sAR6pBcKcp03aMyKrvs858GnG0lYXR4d6yQhlvdoJSGF870kJDjbTMLqAuloN7lmcrCdhJTf4Qwxnm8o14F2rKOExCdbyjWHQ9dZhxfd/MAeVrcwx5rK1V3S0aZyeZl0sKnM6XxTubpQOtZUri051lSuLpSONpXrWTnWVC5vlA42letaKyOZQgnXtVGCsOMxPX6D1b3Se7SEJXo7V2he81f3SjGMSN/9qYc2EC8f9en2y/3Tq/8e9WKcnu5vPz/ctcdvz49fdr/+/OdH/6X/96ofT9+/3H19frozTv5/rNLlwx9673CTmD7a35zbo95eJaSPLyb9Xw==",
+      "debug_symbols": "tVvdbh0pDH6Xc50LDPiHvsqqqtI2XUWK0irbrLSq8u5rM4AnkWCnZ7I35RufGf9hbAPNr8vXu8/Pf366f/z2/a/Lhz9+XT4/3T883P/56eH7l9uf998flfrrEuwfSDrAjY54+RB1zKGN7RnbM+Y2lm2k9kztmVMbZRsltpHrGEn5ZBuxjWUbObexPUt7lvZc9Hu5uaQQ20iqryqcADpQjqAiUgwddEo1jgwYxT438zaQ20+5NFAtDAZKA8QNcOxApcekQFR6zAaogZI70M+TKpZD6kAagE6BTomdErmBBB1QA6bzBrCDLsJ03oAxVMUyxQ64Ae4U7hTpFOmUYmpkA7IBNH8nMmDvsAKIDZifN2BzqZ+j+TmjAf082085ddApaJRiQBqgTmHoQE1GEyqhA+xATUadODRVNyAbIFOVogFVlVQNMj8TGeAGYuxARZB9ZX7eADZgft5Ap6C9rIqRRSern0lSB9JA6ZTSKBwahS1EORugBsx1jAawgdQppgarLDY1JBiQBsx1kgwYxV42122A2082yxswijqcbZYrKKED7EDNKaqPmKobkAagU6BTYqdYiFZgrtsANWA6bwA76CIsRDdgDHUKxEJ0A9wAdwp3inSKdIr5ubAB2UCxeS/FgL4DQT1VLEY3VJPBhmztB2VRajoIYkgsedivFqgNDRpWGhiqNI2tQqkjhoGo5rYioY3YRkspoDYXSwoNSUOqVHLoVKgfocFk9gAbzOCQBkSnolPJqZZdIVpeD5ZgOzRpsYqwOIZIBgs4NGaWENQPwSEOCE4Fp0anxuxQBkzJIQ+Yo0MXXG1rsIrACsuAlB06lZ3KThWnlqokVYgO67saEmpEfbdUWAYEHtByCFiaU2hUS2sQa2nJ9YVaXBo0KgaDVkE7dCo5tRrUYBmQncpOrfPWoAxYokPusJbMDmnAOoUYK0SHZcA6hQ06tdqGtVPYbNuaBqeiU8mp5FR2KjtVnCpOLU4tg5pDcOhUcCpkh2XA6NTo1OTUmg02WGOyQR6wxmSDNKCbmd3MTC6CXQS7iG0KN+giigsuQwQGcDhEoFuMbjG6xRiTwyEYU3Q4BGN2EdkF+8SiTyyiiyAXTC6CXTC7CHHB4iKKC/Y5Jp9jCtnhEFxre4dDcK3vHQ7BtcZ3OASThzJ5KFN2EeiC0UWQCyYXwS6YqwhL5iTgsAxYq0GD0mFtFzp0aq1kG6wFbIO1gjXo1OzUnB06M3RmyAOSU8mpDA6HQSwuYlum+eXl5tL3E59+Pt3d2XZit8HQbceP26e7x5+XD4/PDw83l79vH57rS3/9uH2s48/bJ/1Vs9Ld41cdleG3+4c7Qy83/nWYf1qKNb/161IYB4Oq3SEOVry4sVAM5RoeIdieYOOhMM14pDkPsRZpMyS5HSTHdchWwpsOWWSmAy69OZQoxbXQEveKBc1Z6PItjYW25WHHgl+x4DmLaBW2cojEOwa/MR2aCocrNCXNXFHmPDSD9rDEmGFqB4SzhhxVAudKrH0hI7wDxakvYBGbzNL9ybo/mLLICz0oDTUIPS6wvGaxiM6UujvTjsGbFbLWgToHTa881WERmzn2CdFGYcfhOlfGOHXlIiqKbWC2RRo9W+XfmE6JMnTI00RhW4apKxP1vGvN3MyVMS5WB/VcE2U+nUtX0nBl2YfUcU9ICD0iJMQ89cQiKsFXufbe7gl5XcPiImdG6UGVis9GDK+jKvJqlWuT4AUoeFhom/Cai6zSP4SR/pHnPBbBmXIvhGlXgmKC13VwlTWj9NBSWK7jkVKPcM2Vac5jEZ+pcOeRA+DOG4fVyIFpsJA8VWMZX1BGLdNd3Cy+0oIFjrSnjbgziMcZYPcEZZ4xOLzOFu3RKjhjd0PBPDViFZkwmoKk28dZysqrsJLSV1ksu0X2lsX5xJnPJs61GZmHGfuO4I0Oq1IawzAjYpxpsZ6P4POBc0+sEmeAMR9hVwsjpCtDc9r950VoxuKGeJOW4Td0QB46ME0793C6DCGcLUMY36MMYTpfhjCfLUOI58vQksfBMoR8ugwdDi+Zh1dZzazvImC3A3iTf2kRoYlKZ6EngdPum1bJs8DIOmXXrr1d72s1aIQ57crhWzXSKrji2IlkgSmLVf5MKXoZSFft94nEN3YSrjq32O3KlMe0MNOy92QPjRCvMoX9CEavK+AqU2TkccVl6g4O/+MZjGqPvkzitJpwPH/ywOnsycNhLa48etBbneTeoOlmlxclXniYIryz5S2L1XkSwmiYME0bDZZVA9wNwV15fhMYazNGJdCbTbrKExrUnUWB6V5V4PQhjMSThzBrHQ4dwkg+eQhz2JXzIzGhk4cwax146CAyzRQip3s+KWd7vhLeo+crcL7nK/Fsz1fS+Z5vyeNgz1fwdM+3UuPo0cMyvo4dPRQ5efSwZHDk6OHoOtPLoukpYYCTZw8a/KcPHyCk06cPevlz+vgBAp49uF1bcugAAgKfPoH4j1k5dARR3zp7BnE4RvOV3QGlwYLoqotQGCkD7P+6TJfKaq/5DrsBLWs7PSRfZUvKY3MEeb6jAKD/cztA4z7V/qsSzbWQ85eysLozOnotC/H0febSIQK+I5A0d8jq4qjguGzXdIxzHun0ngBiPrkp+A9LoEd6oSDXeYPGrOi6z3MefLqRhNXl0bFOEmJ5j1YSUjjfS0KCs80krC6QjnaTayYH20lI+R3OEOP5hnIdaMc6Skh8sqVcczh0nXV40c0P7GF1C3OsqVzdJR1tKpeXSQebypzON5WrC6VjTeXakmNN5epC6WhTuZ6VY03l8kbpYFO5rrUykimUcF0bJQg7HtPjN1jdK71HS1iit3OF5jV/da8Uw/Dp7u5AG4iXj/p0++X+6dWfR70Yp6f7288Pd+3x2/Pjl92vP//50X/pf1714+n7l7uvz093xsn/xipdPvyh9w43iemj/Z9ze9Tbq4T08cWk/ws=",
       "is_unconstrained": true,
       "name": "public_dispatch"
     }
@@ -7102,5 +7094,5 @@
     }
   },
   "transpiled": true,
-  "aztec_version": "6.0.0-nightly.20261021"
+  "aztec_version": "6.0.0-nightly.20261022"
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec-foundation/protocol-contracts-artifacts",
-  "version": "6.0.0-nightly.20261021",
+  "version": "6.0.0-nightly.20261022",
   "license": "Apache-2.0",
   "description": "Compiled Noir artifacts for the protocol contracts.",
   "exports": {