@aztec/aztec.js 0.0.1-commit.8afd444 → 0.0.1-commit.9117c5f5a

package/src/contract/protocol_contracts/auth-registry.ts

@@ -21,38 +21,33 @@ const AuthRegistryContractArtifact: ContractArtifact = {
   functions: [
     {
       ...{
-        functionType: FunctionType.PUBLIC,
-        name: 'public_dispatch',
+        functionType: FunctionType.PRIVATE,
+        name: 'set_authorized_private',
         isOnlySelf: false,
         isStatic: false,
         isInitializer: false,
-        parameters: [{ name: 'selector', type: { kind: 'field' }, visibility: 'private' }],
+        parameters: [
+          {
+            name: 'approver',
+            type: {
+              kind: 'struct',
+              fields: [{ name: 'inner', type: { kind: 'field' } }],
+              path: 'aztec::protocol_types::address::aztec_address::AztecAddress',
+            },
+            visibility: 'private',
+          },
+          { name: 'message_hash', type: { kind: 'field' }, visibility: 'private' },
+          { name: 'authorize', type: { kind: 'boolean' }, visibility: 'private' },
+        ],
         returnTypes: [],
         errorTypes: {
-          '361444214588792908': { error_kind: 'string', string: 'attempt to multiply with overflow' },
-          '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
-          '5525725861591553972': { error_kind: 'string', string: 'rejecting all' },
-          '11691217184967371519': {
-            error_kind: 'string',
-            string: 'Function is_reject_all can only be called statically',
-          },
-          '12511970388699677811': { error_kind: 'fmtstring', length: 27, item_types: [{ kind: 'field' }] },
-          '13455385521185560676': {
-            error_kind: 'string',
-            string: 'Storage slot 0 not allowed. Storage slots must start from 1.',
-          },
-          '13929691561421487185': {
-            error_kind: 'string',
-            string: 'Function _set_authorized can only be called by the same contract',
-          },
+          '7555607922535724711': { error_kind: 'string', string: 'Preimage mismatch' },
+          '9530675838293881722': { error_kind: 'string', string: 'Writer did not write all data' },
+          '9894212961085021188': { error_kind: 'string', string: 'Message not authorized by account' },
+          '12327971061804302172': { error_kind: 'fmtstring', length: 98, item_types: [] },
           '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
           '15764276373176857197': { error_kind: 'string', string: 'Stack too deep' },
           '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
-          '17089945683942782951': { error_kind: 'string', string: 'unauthorized' },
-          '17312933876399746100': {
-            error_kind: 'string',
-            string: 'Function is_consumable can only be called statically',
-          },
         },
       },
       bytecode: Buffer.from([]),
@@ -60,14 +55,14 @@ const AuthRegistryContractArtifact: ContractArtifact = {
     },
     {
       ...{
-        functionType: FunctionType.PRIVATE,
-        name: 'set_authorized_private',
+        functionType: FunctionType.UTILITY,
+        name: 'utility_is_consumable',
         isOnlySelf: false,
         isStatic: false,
         isInitializer: false,
         parameters: [
           {
-            name: 'approver',
+            name: 'on_behalf_of',
             type: {
               kind: 'struct',
               fields: [{ name: 'inner', type: { kind: 'field' } }],
@@ -76,14 +71,18 @@ const AuthRegistryContractArtifact: ContractArtifact = {
             visibility: 'private',
           },
           { name: 'message_hash', type: { kind: 'field' }, visibility: 'private' },
-          { name: 'authorize', type: { kind: 'boolean' }, visibility: 'private' },
         ],
-        returnTypes: [],
+        returnTypes: [{ kind: 'boolean' }],
         errorTypes: {
-          '7555607922535724711': { error_kind: 'string', string: 'Preimage mismatch' },
-          '9894212961085021188': { error_kind: 'string', string: 'Message not authorized by account' },
+          '361444214588792908': { error_kind: 'string', string: 'attempt to multiply with overflow' },
+          '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
+          '13455385521185560676': {
+            error_kind: 'string',
+            string: 'Storage slot 0 not allowed. Storage slots must start from 1.',
+          },
           '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
           '15764276373176857197': { error_kind: 'string', string: 'Stack too deep' },
+          '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
         },
       },
       bytecode: Buffer.from([]),
@@ -92,33 +91,221 @@ const AuthRegistryContractArtifact: ContractArtifact = {
     {
       ...{
         functionType: FunctionType.UTILITY,
-        name: 'utility_is_consumable',
+        name: 'process_message',
         isOnlySelf: false,
         isStatic: false,
         isInitializer: false,
         parameters: [
           {
-            name: 'on_behalf_of',
+            name: 'message_ciphertext',
             type: {
               kind: 'struct',
-              fields: [{ name: 'inner', type: { kind: 'field' } }],
-              path: 'aztec::protocol_types::address::aztec_address::AztecAddress',
+              fields: [
+                { name: 'storage', type: { kind: 'array', length: 15, type: { kind: 'field' } } },
+                { name: 'len', type: { kind: 'integer', sign: 'unsigned', width: 32 } },
+              ],
+              path: 'std::collections::bounded_vec::BoundedVec',
+            },
+            visibility: 'private',
+          },
+          {
+            name: 'message_context',
+            type: {
+              kind: 'struct',
+              fields: [
+                { name: 'tx_hash', type: { kind: 'field' } },
+                {
+                  name: 'unique_note_hashes_in_tx',
+                  type: {
+                    kind: 'struct',
+                    fields: [
+                      { name: 'storage', type: { kind: 'array', length: 64, type: { kind: 'field' } } },
+                      { name: 'len', type: { kind: 'integer', sign: 'unsigned', width: 32 } },
+                    ],
+                    path: 'std::collections::bounded_vec::BoundedVec',
+                  },
+                },
+                { name: 'first_nullifier_in_tx', type: { kind: 'field' } },
+                {
+                  name: 'recipient',
+                  type: {
+                    kind: 'struct',
+                    fields: [{ name: 'inner', type: { kind: 'field' } }],
+                    path: 'aztec::protocol_types::address::aztec_address::AztecAddress',
+                  },
+                },
+              ],
+              path: 'aztec::messages::processing::message_context::MessageContext',
             },
             visibility: 'private',
           },
-          { name: 'message_hash', type: { kind: 'field' }, visibility: 'private' },
         ],
-        returnTypes: [{ kind: 'boolean' }],
+        returnTypes: [],
+        errorTypes: {
+          '361444214588792908': { error_kind: 'string', string: 'attempt to multiply with overflow' },
+          '992401946138144806': { error_kind: 'string', string: 'Attempted to read past end of BoundedVec' },
+          '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
+          '2967937905572420042': {
+            error_kind: 'fmtstring',
+            length: 61,
+            item_types: [{ kind: 'field' }, { kind: 'field' }],
+          },
+          '3330370348214585450': {
+            error_kind: 'fmtstring',
+            length: 48,
+            item_types: [{ kind: 'field' }, { kind: 'field' }],
+          },
+          '3670003311596808700': {
+            error_kind: 'fmtstring',
+            length: 77,
+            item_types: [{ kind: 'integer', sign: 'unsigned', width: 32 }],
+          },
+          '4261968856572588300': { error_kind: 'string', string: 'Value does not fit in field' },
+          '4440399188109668273': { error_kind: 'string', string: 'Input length must be a multiple of 32' },
+          '5417577161503694006': { error_kind: 'fmtstring', length: 56, item_types: [{ kind: 'field' }] },
+          '5421095327929394772': { error_kind: 'string', string: 'attempt to bit-shift with overflow' },
+          '9530675838293881722': { error_kind: 'string', string: 'Writer did not write all data' },
+          '9791669845391776238': {
+            error_kind: 'string',
+            string: '0 has a square root; you cannot claim it is not square',
+          },
+          '10135509984888824963': { error_kind: 'fmtstring', length: 58, item_types: [{ kind: 'field' }] },
+          '10791800398362570014': { error_kind: 'string', string: 'extend_from_bounded_vec out of bounds' },
+          '11692359521570349358': { error_kind: 'fmtstring', length: 40, item_types: [] },
+          '12469291177396340830': { error_kind: 'string', string: 'call to assert_max_bit_size' },
+          '12913276134398371456': { error_kind: 'string', string: 'push out of bounds' },
+          '13557316507370296400': {
+            error_kind: 'fmtstring',
+            length: 130,
+            item_types: [{ kind: 'integer', sign: 'unsigned', width: 32 }],
+          },
+          '14938672389828944159': {
+            error_kind: 'fmtstring',
+            length: 146,
+            item_types: [{ kind: 'integer', sign: 'unsigned', width: 32 }],
+          },
+          '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
+          '15764276373176857197': { error_kind: 'string', string: 'Stack too deep' },
+          '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
+          '17531474008201752295': {
+            error_kind: 'fmtstring',
+            length: 133,
+            item_types: [{ kind: 'integer', sign: 'unsigned', width: 32 }],
+          },
+        },
+      },
+      bytecode: Buffer.from([]),
+      debugSymbols: '',
+    },
+    {
+      ...{
+        functionType: FunctionType.PUBLIC,
+        name: 'public_dispatch',
+        isOnlySelf: false,
+        isStatic: false,
+        isInitializer: false,
+        parameters: [{ name: 'selector', type: { kind: 'field' }, visibility: 'private' }],
+        returnTypes: [],
         errorTypes: {
           '361444214588792908': { error_kind: 'string', string: 'attempt to multiply with overflow' },
           '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
+          '5525725861591553972': { error_kind: 'string', string: 'rejecting all' },
+          '11691217184967371519': {
+            error_kind: 'string',
+            string: 'Function is_reject_all can only be called statically',
+          },
+          '12511970388699677811': { error_kind: 'fmtstring', length: 27, item_types: [{ kind: 'field' }] },
           '13455385521185560676': {
             error_kind: 'string',
             string: 'Storage slot 0 not allowed. Storage slots must start from 1.',
           },
+          '13929691561421487185': {
+            error_kind: 'string',
+            string: 'Function _set_authorized can only be called by the same contract',
+          },
           '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
           '15764276373176857197': { error_kind: 'string', string: 'Stack too deep' },
           '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
+          '17089945683942782951': { error_kind: 'string', string: 'unauthorized' },
+          '17312933876399746100': {
+            error_kind: 'string',
+            string: 'Function is_consumable can only be called statically',
+          },
+        },
+      },
+      bytecode: Buffer.from([]),
+      debugSymbols: '',
+    },
+    {
+      ...{
+        functionType: FunctionType.UTILITY,
+        name: 'sync_state',
+        isOnlySelf: false,
+        isStatic: false,
+        isInitializer: false,
+        parameters: [],
+        returnTypes: [],
+        errorTypes: {
+          '361444214588792908': { error_kind: 'string', string: 'attempt to multiply with overflow' },
+          '992401946138144806': { error_kind: 'string', string: 'Attempted to read past end of BoundedVec' },
+          '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
+          '2967937905572420042': {
+            error_kind: 'fmtstring',
+            length: 61,
+            item_types: [{ kind: 'field' }, { kind: 'field' }],
+          },
+          '3330370348214585450': {
+            error_kind: 'fmtstring',
+            length: 48,
+            item_types: [{ kind: 'field' }, { kind: 'field' }],
+          },
+          '3670003311596808700': {
+            error_kind: 'fmtstring',
+            length: 77,
+            item_types: [{ kind: 'integer', sign: 'unsigned', width: 32 }],
+          },
+          '4261968856572588300': { error_kind: 'string', string: 'Value does not fit in field' },
+          '4440399188109668273': { error_kind: 'string', string: 'Input length must be a multiple of 32' },
+          '5417577161503694006': { error_kind: 'fmtstring', length: 56, item_types: [{ kind: 'field' }] },
+          '5421095327929394772': { error_kind: 'string', string: 'attempt to bit-shift with overflow' },
+          '9530675838293881722': { error_kind: 'string', string: 'Writer did not write all data' },
+          '9791669845391776238': {
+            error_kind: 'string',
+            string: '0 has a square root; you cannot claim it is not square',
+          },
+          '9885968605480832328': {
+            error_kind: 'string',
+            string: 'Attempted to read past the length of a CapsuleArray',
+          },
+          '10135509984888824963': { error_kind: 'fmtstring', length: 58, item_types: [{ kind: 'field' }] },
+          '10791800398362570014': { error_kind: 'string', string: 'extend_from_bounded_vec out of bounds' },
+          '11021520179822076911': {
+            error_kind: 'string',
+            string: 'Attempted to delete past the length of a CapsuleArray',
+          },
+          '11692359521570349358': { error_kind: 'fmtstring', length: 40, item_types: [] },
+          '12327971061804302172': { error_kind: 'fmtstring', length: 98, item_types: [] },
+          '12469291177396340830': { error_kind: 'string', string: 'call to assert_max_bit_size' },
+          '12913276134398371456': { error_kind: 'string', string: 'push out of bounds' },
+          '13557316507370296400': {
+            error_kind: 'fmtstring',
+            length: 130,
+            item_types: [{ kind: 'integer', sign: 'unsigned', width: 32 }],
+          },
+          '14938672389828944159': {
+            error_kind: 'fmtstring',
+            length: 146,
+            item_types: [{ kind: 'integer', sign: 'unsigned', width: 32 }],
+          },
+          '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
+          '15764276373176857197': { error_kind: 'string', string: 'Stack too deep' },
+          '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
+          '17531474008201752295': {
+            error_kind: 'fmtstring',
+            length: 133,
+            item_types: [{ kind: 'integer', sign: 'unsigned', width: 32 }],
+          },
+          '17655676068928457687': { error_kind: 'string', string: 'Reader did not read all data' },
         },
       },
       bytecode: Buffer.from([]),
@@ -326,6 +513,18 @@ export class AuthRegistryContract extends ContractBase {
     /** is_reject_all(on_behalf_of: struct) */
     is_reject_all: ((on_behalf_of: AztecAddressLike) => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
 
+    /** process_message(message_ciphertext: struct, message_context: struct) */
+    process_message: ((
+      message_ciphertext: FieldLike[],
+      message_context: {
+        tx_hash: FieldLike;
+        unique_note_hashes_in_tx: FieldLike[];
+        first_nullifier_in_tx: FieldLike;
+        recipient: AztecAddressLike;
+      },
+    ) => ContractFunctionInteraction) &
+      Pick<ContractMethod, 'selector'>;
+
     /** public_dispatch(selector: field) */
     public_dispatch: ((selector: FieldLike) => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
 
@@ -344,6 +543,9 @@ export class AuthRegistryContract extends ContractBase {
     /** set_reject_all(reject: boolean) */
     set_reject_all: ((reject: boolean) => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
 
+    /** sync_state() */
+    sync_state: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
+
     /** utility_is_consumable(on_behalf_of: struct, message_hash: field) */
     utility_is_consumable: ((on_behalf_of: AztecAddressLike, message_hash: FieldLike) => ContractFunctionInteraction) &
       Pick<ContractMethod, 'selector'>;

package/src/contract/protocol_contracts/contract-class-registry.ts

@@ -19,127 +19,6 @@ import { ContractFunctionInteraction } from '../contract_function_interaction.js
 const ContractClassRegistryContractArtifact: ContractArtifact = {
   name: 'ContractClassRegistry',
   functions: [
-    {
-      ...{
-        functionType: FunctionType.PRIVATE,
-        name: 'broadcast_private_function',
-        isOnlySelf: false,
-        isStatic: false,
-        isInitializer: false,
-        parameters: [
-          {
-            name: 'contract_class_id',
-            type: {
-              kind: 'struct',
-              fields: [{ name: 'inner', type: { kind: 'field' } }],
-              path: 'aztec::protocol_types::contract_class_id::ContractClassId',
-            },
-            visibility: 'private',
-          },
-          { name: 'artifact_metadata_hash', type: { kind: 'field' }, visibility: 'private' },
-          { name: 'utility_functions_artifact_tree_root', type: { kind: 'field' }, visibility: 'private' },
-          {
-            name: 'private_function_tree_sibling_path',
-            type: { kind: 'array', length: 7, type: { kind: 'field' } },
-            visibility: 'private',
-          },
-          { name: 'private_function_tree_leaf_index', type: { kind: 'field' }, visibility: 'private' },
-          {
-            name: 'artifact_function_tree_sibling_path',
-            type: { kind: 'array', length: 7, type: { kind: 'field' } },
-            visibility: 'private',
-          },
-          { name: 'artifact_function_tree_leaf_index', type: { kind: 'field' }, visibility: 'private' },
-          {
-            name: 'function_data',
-            type: {
-              kind: 'struct',
-              fields: [
-                {
-                  name: 'selector',
-                  type: {
-                    kind: 'struct',
-                    fields: [{ name: 'inner', type: { kind: 'integer', sign: 'unsigned', width: 32 } }],
-                    path: 'aztec::protocol_types::abis::function_selector::FunctionSelector',
-                  },
-                },
-                { name: 'metadata_hash', type: { kind: 'field' } },
-                { name: 'vk_hash', type: { kind: 'field' } },
-              ],
-              path: 'events::private_function_broadcasted::InnerPrivateFunction',
-            },
-            visibility: 'private',
-          },
-        ],
-        returnTypes: [],
-        errorTypes: {
-          '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
-          '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
-          '15764276373176857197': { error_kind: 'string', string: 'Stack too deep' },
-          '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
-          '17655676068928457687': { error_kind: 'string', string: 'Reader did not read all data' },
-        },
-      },
-      bytecode: Buffer.from([]),
-      debugSymbols: '',
-    },
-    {
-      ...{
-        functionType: FunctionType.PRIVATE,
-        name: 'broadcast_utility_function',
-        isOnlySelf: false,
-        isStatic: false,
-        isInitializer: false,
-        parameters: [
-          {
-            name: 'contract_class_id',
-            type: {
-              kind: 'struct',
-              fields: [{ name: 'inner', type: { kind: 'field' } }],
-              path: 'aztec::protocol_types::contract_class_id::ContractClassId',
-            },
-            visibility: 'private',
-          },
-          { name: 'artifact_metadata_hash', type: { kind: 'field' }, visibility: 'private' },
-          { name: 'private_functions_artifact_tree_root', type: { kind: 'field' }, visibility: 'private' },
-          {
-            name: 'artifact_function_tree_sibling_path',
-            type: { kind: 'array', length: 7, type: { kind: 'field' } },
-            visibility: 'private',
-          },
-          { name: 'artifact_function_tree_leaf_index', type: { kind: 'field' }, visibility: 'private' },
-          {
-            name: 'function_data',
-            type: {
-              kind: 'struct',
-              fields: [
-                {
-                  name: 'selector',
-                  type: {
-                    kind: 'struct',
-                    fields: [{ name: 'inner', type: { kind: 'integer', sign: 'unsigned', width: 32 } }],
-                    path: 'aztec::protocol_types::abis::function_selector::FunctionSelector',
-                  },
-                },
-                { name: 'metadata_hash', type: { kind: 'field' } },
-              ],
-              path: 'events::utility_function_broadcasted::InnerUtilityFunction',
-            },
-            visibility: 'private',
-          },
-        ],
-        returnTypes: [],
-        errorTypes: {
-          '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
-          '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
-          '15764276373176857197': { error_kind: 'string', string: 'Stack too deep' },
-          '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
-          '17655676068928457687': { error_kind: 'string', string: 'Reader did not read all data' },
-        },
-      },
-      bytecode: Buffer.from([]),
-      debugSymbols: '',
-    },
     {
       ...{
         functionType: FunctionType.PRIVATE,
@@ -157,13 +36,16 @@ const ContractClassRegistryContractArtifact: ContractArtifact = {
           '361444214588792908': { error_kind: 'string', string: 'attempt to multiply with overflow' },
           '922421554006670918': { error_kind: 'string', string: 'num_items is greater than MAX_ITEMS' },
           '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
+          '9475115977882098926': { error_kind: 'string', string: 'Extra bytes in the last field of the bytecode' },
           '10965409165809799877': {
             error_kind: 'string',
             string: 'Given in_len to absorb is larger than the input array len',
           },
+          '12469291177396340830': { error_kind: 'string', string: 'call to assert_max_bit_size' },
           '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
           '15669273164684982983': { error_kind: 'string', string: 'num_permutations is greater than MAX_PERMUTATIONS' },
           '15764276373176857197': { error_kind: 'string', string: 'Stack too deep' },
+          '15835548349546956319': { error_kind: 'string', string: 'Field failed to decompose into specified 32 limbs' },
           '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
           '16450579948625159707': { error_kind: 'string', string: 'Sponge must be in cache_size=1' },
           '17655676068928457687': { error_kind: 'string', string: 'Reader did not read all data' },
@@ -203,30 +85,6 @@ export class ContractClassRegistryContract extends ContractBase {
   }
 
   declare public methods: {
-    /** broadcast_private_function(contract_class_id: struct, artifact_metadata_hash: field, utility_functions_artifact_tree_root: field, private_function_tree_sibling_path: array, private_function_tree_leaf_index: field, artifact_function_tree_sibling_path: array, artifact_function_tree_leaf_index: field, function_data: struct) */
-    broadcast_private_function: ((
-      contract_class_id: WrappedFieldLike,
-      artifact_metadata_hash: FieldLike,
-      utility_functions_artifact_tree_root: FieldLike,
-      private_function_tree_sibling_path: FieldLike[],
-      private_function_tree_leaf_index: FieldLike,
-      artifact_function_tree_sibling_path: FieldLike[],
-      artifact_function_tree_leaf_index: FieldLike,
-      function_data: { selector: FunctionSelectorLike; metadata_hash: FieldLike; vk_hash: FieldLike },
-    ) => ContractFunctionInteraction) &
-      Pick<ContractMethod, 'selector'>;
-
-    /** broadcast_utility_function(contract_class_id: struct, artifact_metadata_hash: field, private_functions_artifact_tree_root: field, artifact_function_tree_sibling_path: array, artifact_function_tree_leaf_index: field, function_data: struct) */
-    broadcast_utility_function: ((
-      contract_class_id: WrappedFieldLike,
-      artifact_metadata_hash: FieldLike,
-      private_functions_artifact_tree_root: FieldLike,
-      artifact_function_tree_sibling_path: FieldLike[],
-      artifact_function_tree_leaf_index: FieldLike,
-      function_data: { selector: FunctionSelectorLike; metadata_hash: FieldLike },
-    ) => ContractFunctionInteraction) &
-      Pick<ContractMethod, 'selector'>;
-
     /** public_dispatch(selector: field) */
     public_dispatch: ((selector: FieldLike) => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
 

package/src/contract/protocol_contracts/fee-juice.ts

@@ -44,6 +44,7 @@ const FeeJuiceContractArtifact: ContractArtifact = {
         errorTypes: {
           '361444214588792908': { error_kind: 'string', string: 'attempt to multiply with overflow' },
           '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
+          '5421095327929394772': { error_kind: 'string', string: 'attempt to bit-shift with overflow' },
           '6609888949476313245': { error_kind: 'string', string: 'Message not in state' },
           '11019205087382408538': { error_kind: 'string', string: 'Field failed to decompose into specified 4 limbs' },
           '12370419938245003393': { error_kind: 'string', string: 'Field failed to decompose into specified 36 limbs' },
@@ -81,6 +82,7 @@ const FeeJuiceContractArtifact: ContractArtifact = {
         errorTypes: {
           '361444214588792908': { error_kind: 'string', string: 'attempt to multiply with overflow' },
           '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
+          '5421095327929394772': { error_kind: 'string', string: 'attempt to bit-shift with overflow' },
           '6609888949476313245': { error_kind: 'string', string: 'Message not in state' },
           '11019205087382408538': { error_kind: 'string', string: 'Field failed to decompose into specified 4 limbs' },
           '12370419938245003393': { error_kind: 'string', string: 'Field failed to decompose into specified 36 limbs' },

package/src/contract/protocol_contracts/multi-call-entrypoint.ts

@@ -99,7 +99,7 @@ const MultiCallEntrypointContractArtifact: ContractArtifact = {
             type: {
               kind: 'struct',
               fields: [
-                { name: 'storage', type: { kind: 'array', length: 17, type: { kind: 'field' } } },
+                { name: 'storage', type: { kind: 'array', length: 15, type: { kind: 'field' } } },
                 { name: 'len', type: { kind: 'integer', sign: 'unsigned', width: 32 } },
               ],
               path: 'std::collections::bounded_vec::BoundedVec',
@@ -161,6 +161,8 @@ const MultiCallEntrypointContractArtifact: ContractArtifact = {
           '4261968856572588300': { error_kind: 'string', string: 'Value does not fit in field' },
           '4440399188109668273': { error_kind: 'string', string: 'Input length must be a multiple of 32' },
           '5417577161503694006': { error_kind: 'fmtstring', length: 56, item_types: [{ kind: 'field' }] },
+          '5421095327929394772': { error_kind: 'string', string: 'attempt to bit-shift with overflow' },
+          '9530675838293881722': { error_kind: 'string', string: 'Writer did not write all data' },
           '9791669845391776238': {
             error_kind: 'string',
             string: '0 has a square root; you cannot claim it is not square',
@@ -224,6 +226,8 @@ const MultiCallEntrypointContractArtifact: ContractArtifact = {
           '4261968856572588300': { error_kind: 'string', string: 'Value does not fit in field' },
           '4440399188109668273': { error_kind: 'string', string: 'Input length must be a multiple of 32' },
           '5417577161503694006': { error_kind: 'fmtstring', length: 56, item_types: [{ kind: 'field' }] },
+          '5421095327929394772': { error_kind: 'string', string: 'attempt to bit-shift with overflow' },
+          '9530675838293881722': { error_kind: 'string', string: 'Writer did not write all data' },
           '9791669845391776238': {
             error_kind: 'string',
             string: '0 has a square root; you cannot claim it is not square',

package/src/contract/protocol_contracts/public-checks.ts

@@ -32,7 +32,7 @@ const PublicChecksContractArtifact: ContractArtifact = {
             type: {
               kind: 'struct',
               fields: [
-                { name: 'storage', type: { kind: 'array', length: 17, type: { kind: 'field' } } },
+                { name: 'storage', type: { kind: 'array', length: 15, type: { kind: 'field' } } },
                 { name: 'len', type: { kind: 'integer', sign: 'unsigned', width: 32 } },
               ],
               path: 'std::collections::bounded_vec::BoundedVec',
@@ -94,6 +94,8 @@ const PublicChecksContractArtifact: ContractArtifact = {
           '4261968856572588300': { error_kind: 'string', string: 'Value does not fit in field' },
           '4440399188109668273': { error_kind: 'string', string: 'Input length must be a multiple of 32' },
           '5417577161503694006': { error_kind: 'fmtstring', length: 56, item_types: [{ kind: 'field' }] },
+          '5421095327929394772': { error_kind: 'string', string: 'attempt to bit-shift with overflow' },
+          '9530675838293881722': { error_kind: 'string', string: 'Writer did not write all data' },
           '9791669845391776238': {
             error_kind: 'string',
             string: '0 has a square root; you cannot claim it is not square',
@@ -185,6 +187,8 @@ const PublicChecksContractArtifact: ContractArtifact = {
           '4261968856572588300': { error_kind: 'string', string: 'Value does not fit in field' },
           '4440399188109668273': { error_kind: 'string', string: 'Input length must be a multiple of 32' },
           '5417577161503694006': { error_kind: 'fmtstring', length: 56, item_types: [{ kind: 'field' }] },
+          '5421095327929394772': { error_kind: 'string', string: 'attempt to bit-shift with overflow' },
+          '9530675838293881722': { error_kind: 'string', string: 'Writer did not write all data' },
           '9791669845391776238': {
             error_kind: 'string',
             string: '0 has a square root; you cannot claim it is not square',

package/src/fee/fee_juice_payment_method_with_claim.ts

@@ -1,6 +1,6 @@
 import { Fr } from '@aztec/foundation/curves/bn254';
 import { ProtocolContractAddress } from '@aztec/protocol-contracts';
-import { FunctionSelector, FunctionType } from '@aztec/stdlib/abi';
+import { FunctionCall, FunctionSelector, FunctionType } from '@aztec/stdlib/abi';
 import type { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { GasSettings } from '@aztec/stdlib/gas';
 import { ExecutionPayload } from '@aztec/stdlib/tx';
@@ -27,10 +27,11 @@ export class FeeJuicePaymentMethodWithClaim implements FeePaymentMethod {
 
     return new ExecutionPayload(
       [
-        {
-          to: ProtocolContractAddress.FeeJuice,
+        FunctionCall.from({
           name: 'claim_and_end_setup',
+          to: ProtocolContractAddress.FeeJuice,
           selector,
+          type: FunctionType.PRIVATE,
           hideMsgSender: false,
           isStatic: false,
           args: [
@@ -40,8 +41,7 @@ export class FeeJuicePaymentMethodWithClaim implements FeePaymentMethod {
             new Fr(this.claim.messageLeafIndex),
           ],
           returnTypes: [],
-          type: FunctionType.PRIVATE,
-        },
+        }),
       ],
       [],
       [],