@aztec/aztec.js 0.0.1-commit.29c6b1a3 → 0.0.1-commit.2eb6648a

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

@@ -19,6 +19,38 @@ import { ContractFunctionInteraction } from '../contract_function_interaction.js
 const ContractInstanceRegistryContractArtifact: ContractArtifact = {
   name: 'ContractInstanceRegistry',
   functions: [
+    {
+      ...{
+        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' },
+          '5755400808989454547': {
+            error_kind: 'string',
+            string: 'Function get_update_delay can only be called statically',
+          },
+          '6804164082532189961': { error_kind: 'string', string: 'New update delay is too low' },
+          '12511970388699677811': { error_kind: 'fmtstring', length: 27, item_types: [{ kind: 'field' }] },
+          '12579274401768182412': { error_kind: 'string', string: 'New contract class is not registered' },
+          '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' },
+          '15353471697975175405': { error_kind: 'string', string: 'msg.sender is not deployed' },
+          '15764276373176857197': { error_kind: 'string', string: 'Stack too deep' },
+          '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
+        },
+      },
+      bytecode: Buffer.from([]),
+      debugSymbols: '',
+    },
     {
       ...{
         functionType: FunctionType.PRIVATE,
@@ -137,7 +169,6 @@ const ContractInstanceRegistryContractArtifact: ContractArtifact = {
         returnTypes: [],
         errorTypes: {
           '718532354304118388': { error_kind: 'string', string: 'Point not on curve' },
-          '2754040237334517471': { error_kind: 'fmtstring', length: 92, item_types: [] },
           '4135474769840782447': {
             error_kind: 'string',
             string: 'Point at infinity should have canonical representation (0 0)',
@@ -150,215 +181,6 @@ const ContractInstanceRegistryContractArtifact: ContractArtifact = {
       bytecode: Buffer.from([]),
       debugSymbols: '',
     },
-    {
-      ...{
-        functionType: FunctionType.UTILITY,
-        name: 'process_message',
-        isOnlySelf: false,
-        isStatic: false,
-        isInitializer: false,
-        parameters: [
-          {
-            name: 'message_ciphertext',
-            type: {
-              kind: 'struct',
-              fields: [
-                { name: 'storage', type: { kind: 'array', length: 17, 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',
-          },
-        ],
-        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' },
-          '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' },
-          '5755400808989454547': {
-            error_kind: 'string',
-            string: 'Function get_update_delay can only be called statically',
-          },
-          '6804164082532189961': { error_kind: 'string', string: 'New update delay is too low' },
-          '12511970388699677811': { error_kind: 'fmtstring', length: 27, item_types: [{ kind: 'field' }] },
-          '12579274401768182412': { error_kind: 'string', string: 'New contract class is not registered' },
-          '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' },
-          '15353471697975175405': { error_kind: 'string', string: 'msg.sender is not deployed' },
-          '15764276373176857197': { error_kind: 'string', string: 'Stack too deep' },
-          '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
-        },
-      },
-      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' },
-          '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 }],
-          },
-        },
-      },
-      bytecode: Buffer.from([]),
-      debugSymbols: '',
-    },
   ],
   nonDispatchPublicFunctions: [
     {
@@ -392,6 +214,7 @@ const ContractInstanceRegistryContractArtifact: ContractArtifact = {
       ],
       returnTypes: [],
       errorTypes: {
+        '361444214588792908': { error_kind: 'string', string: 'attempt to multiply with overflow' },
         '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
         '6804164082532189961': { error_kind: 'string', string: 'New update delay is too low' },
         '13455385521185560676': {
@@ -455,18 +278,6 @@ export class ContractInstanceRegistryContract extends ContractBase {
     /** get_update_delay() */
     get_update_delay: (() => 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'>;
 
@@ -484,9 +295,6 @@ export class ContractInstanceRegistryContract extends ContractBase {
     set_update_delay: ((new_update_delay: bigint | number) => ContractFunctionInteraction) &
       Pick<ContractMethod, 'selector'>;
 
-    /** sync_state() */
-    sync_state: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
-
     /** update(new_contract_class_id: struct) */
     update: ((new_contract_class_id: WrappedFieldLike) => ContractFunctionInteraction) &
       Pick<ContractMethod, 'selector'>;

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

@@ -44,7 +44,6 @@ const FeeJuiceContractArtifact: ContractArtifact = {
         errorTypes: {
           '361444214588792908': { error_kind: 'string', string: 'attempt to multiply with overflow' },
           '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
-          '2754040237334517471': { error_kind: 'fmtstring', length: 92, item_types: [] },
           '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' },
@@ -94,112 +93,6 @@ const FeeJuiceContractArtifact: ContractArtifact = {
       bytecode: Buffer.from([]),
       debugSymbols: '',
     },
-    {
-      ...{
-        functionType: FunctionType.UTILITY,
-        name: 'process_message',
-        isOnlySelf: false,
-        isStatic: false,
-        isInitializer: false,
-        parameters: [
-          {
-            name: 'message_ciphertext',
-            type: {
-              kind: 'struct',
-              fields: [
-                { name: 'storage', type: { kind: 'array', length: 17, 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',
-          },
-        ],
-        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' },
-          '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,
@@ -238,77 +131,6 @@ const FeeJuiceContractArtifact: ContractArtifact = {
       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' },
-          '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 }],
-          },
-        },
-      },
-      bytecode: Buffer.from([]),
-      debugSymbols: '',
-    },
   ],
   nonDispatchPublicFunctions: [
     {
@@ -436,22 +258,7 @@ export class FeeJuiceContract extends ContractBase {
     ) => 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'>;
-
-    /** sync_state() */
-    sync_state: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
   };
 }

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

@@ -160,6 +160,7 @@ 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' }] },
           '9791669845391776238': {
             error_kind: 'string',
             string: '0 has a square root; you cannot claim it is not square',
@@ -222,6 +223,7 @@ 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' }] },
           '9791669845391776238': {
             error_kind: 'string',
             string: '0 has a square root; you cannot claim it is not square',
@@ -258,6 +260,7 @@ const MultiCallEntrypointContractArtifact: ContractArtifact = {
             length: 133,
             item_types: [{ kind: 'integer', sign: 'unsigned', width: 32 }],
           },
+          '17655676068928457687': { error_kind: 'string', string: 'Reader did not read all data' },
         },
       },
       bytecode: Buffer.from([]),

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

@@ -93,6 +93,7 @@ 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' }] },
           '9791669845391776238': {
             error_kind: 'string',
             string: '0 has a square root; you cannot claim it is not square',
@@ -146,10 +147,8 @@ const PublicChecksContractArtifact: ContractArtifact = {
           },
           '12511970388699677811': { error_kind: 'fmtstring', length: 27, item_types: [{ kind: 'field' }] },
           '13950240626967988787': { error_kind: 'string', string: 'Timestamp mismatch.' },
-          '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
           '15015303112667403944': { error_kind: 'fmtstring', length: 17, item_types: [] },
           '15764276373176857197': { error_kind: 'string', string: 'Stack too deep' },
-          '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
         },
       },
       bytecode: Buffer.from([]),
@@ -185,6 +184,7 @@ 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' }] },
           '9791669845391776238': {
             error_kind: 'string',
             string: '0 has a square root; you cannot claim it is not square',
@@ -221,6 +221,7 @@ const PublicChecksContractArtifact: ContractArtifact = {
             length: 133,
             item_types: [{ kind: 'integer', sign: 'unsigned', width: 32 }],
           },
+          '17655676068928457687': { error_kind: 'string', string: 'Reader did not read all data' },
         },
       },
       bytecode: Buffer.from([]),