@aztec/aztec.js 0.0.1-commit.2ed92850 → 0.0.1-commit.3469e52

package/src/contract/deploy_method.ts

@@ -9,46 +9,27 @@ import {
   getContractInstanceFromInstantiationParams,
 } from '@aztec/stdlib/contract';
 import type { PublicKeys } from '@aztec/stdlib/keys';
-import { type Capsule, TxHash, type TxProfileResult, type TxReceipt, collectOffchainEffects } from '@aztec/stdlib/tx';
+import { type Capsule, type TxProfileResult, collectOffchainEffects } from '@aztec/stdlib/tx';
 import { ExecutionPayload, mergeExecutionPayloads } from '@aztec/stdlib/tx';
 
 import { publishContractClass } from '../deployment/publish_class.js';
 import { publishInstance } from '../deployment/publish_instance.js';
-import type { SendOptions, Wallet } from '../wallet/wallet.js';
+import type { Wallet } from '../wallet/wallet.js';
 import { BaseContractInteraction } from './base_contract_interaction.js';
 import type { ContractBase } from './contract_base.js';
 import { ContractFunctionInteraction } from './contract_function_interaction.js';
+import { DeploySentTx } from './deploy_sent_tx.js';
 import { getGasLimits } from './get_gas_limits.js';
 import {
-  NO_WAIT,
-  type NoWait,
   type ProfileInteractionOptions,
   type RequestInteractionOptions,
-  type SendInteractionOptionsWithoutWait,
+  type SendInteractionOptions,
   type SimulationInteractionFeeOptions,
   type SimulationReturn,
   toProfileOptions,
   toSendOptions,
   toSimulateOptions,
 } from './interaction_options.js';
-import type { WaitOpts } from './wait_opts.js';
-
-/**
- * Wait options specific to deployment transactions.
- * Extends WaitOpts with a flag to return the full receipt instead of just the contract.
- */
-export type DeployWaitOptions = WaitOpts & {
-  /** If true, return the full DeployTxReceipt instead of just the contract. Defaults to false. */
-  returnReceipt?: boolean;
-};
-
-/**
- * Type for wait options in deployment interactions.
- * - NO_WAIT symbol: Don't wait, return TxHash immediately
- * - DeployWaitOptions: Wait with custom options
- * - undefined: Wait with default options
- */
-export type DeployInteractionWaitOptions = NoWait | DeployWaitOptions | undefined;
 
 /**
  * Options for deploying a contract on the Aztec network.
@@ -74,34 +55,21 @@ export type RequestDeployOptions = RequestInteractionOptions & {
 };
 
 /**
- * Base deployment options without wait parameter.
+ * Extends the deployment options with the required parameters to send the transaction
  */
-export type DeployOptionsWithoutWait = Omit<RequestDeployOptions, 'deployer'> & {
+export type DeployOptions = Omit<RequestDeployOptions, 'deployer'> & {
   /**
    * Set to true to *not* include the sender in the address computation. This option
    * is mutually exclusive with "deployer"
    */
   universalDeploy?: boolean;
-} & Pick<SendInteractionOptionsWithoutWait, 'from' | 'fee'>;
-
-/**
- * Extends the deployment options with the required parameters to send the transaction.
- */
-export type DeployOptions<W extends DeployInteractionWaitOptions = undefined> = DeployOptionsWithoutWait & {
-  /**
-   * Options for waiting for the transaction to be mined.
-   * - undefined (default): wait with default options and return the contract instance
-   * - DeployWaitOptions: wait with custom options and return contract or receipt based on returnReceipt flag
-   * - NO_WAIT: return TxHash immediately without waiting
-   */
-  wait?: W;
-};
+} & Pick<SendInteractionOptions, 'from' | 'fee'>;
 
 /**
  * Options for simulating the deployment of a contract
  * Allows skipping certain validations and computing gas estimations
  */
-export type SimulateDeployOptions = Omit<DeployOptionsWithoutWait, 'fee'> & {
+export type SimulateDeployOptions = Omit<DeployOptions, 'fee'> & {
   /** The fee options for the transaction. */
   fee?: SimulationInteractionFeeOptions;
   /** Simulate without checking for the validity of the resulting transaction,
@@ -115,29 +83,6 @@ export type SimulateDeployOptions = Omit<DeployOptionsWithoutWait, 'fee'> & {
   includeMetadata?: boolean;
 };
 
-/** Receipt for a deployment transaction with the deployed contract instance. */
-export type DeployTxReceipt<TContract extends ContractBase = ContractBase> = TxReceipt & {
-  /** Type-safe wrapper around the deployed contract instance, linked to the deployment wallet */
-  contract: TContract;
-  /** The deployed contract instance with address and metadata. */
-  instance: ContractInstanceWithAddress;
-};
-
-/**
- * Represents the result type of deploying a contract.
- * - If wait is NO_WAIT, returns TxHash immediately.
- * - If wait has returnReceipt: true, returns DeployTxReceipt after waiting.
- * - Otherwise (undefined or DeployWaitOptions without returnReceipt), returns TContract after waiting.
- */
-export type DeployReturn<TContract extends ContractBase, W extends DeployInteractionWaitOptions> = W extends NoWait
-  ? TxHash
-  : W extends {
-        // eslint-disable-next-line jsdoc/require-jsdoc
-        returnReceipt: true;
-      }
-    ? DeployTxReceipt<TContract>
-    : TContract;
-
 /**
  * Contract interaction for deployment.
  * Handles class publication, instance publication, and initialization of the contract.
@@ -147,6 +92,8 @@ export type DeployReturn<TContract extends ContractBase, W extends DeployInterac
  * then technically the contract has already been "created", and all of the contract's
  * functions (private and utility) can be interacted-with immediately, without any
  * "deployment tx".
+ *
+ * Extends the BaseContractInteraction class.
  */
 export class DeployMethod<TContract extends ContractBase = ContractBase> extends BaseContractInteraction {
   /** The contract instance to be deployed. */
@@ -195,30 +142,13 @@ export class DeployMethod<TContract extends ContractBase = ContractBase> extends
     return finalExecutionPayload;
   }
 
-  convertDeployOptionsToRequestOptions(options: DeployOptionsWithoutWait): RequestDeployOptions {
+  convertDeployOptionsToRequestOptions(options: DeployOptions): RequestDeployOptions {
     return {
       ...options,
       deployer: !options?.universalDeploy ? options.from : undefined,
     };
   }
 
-  /**
-   * Converts DeployOptions to SendOptions, stripping out the returnReceipt flag if present.
-   * @param options - Deploy options with wait parameter
-   * @returns Send options with wait parameter
-   */
-  private convertDeployOptionsToSendOptions<W extends DeployInteractionWaitOptions>(
-    options: DeployOptions<W>,
-    // eslint-disable-next-line jsdoc/require-jsdoc
-  ): SendOptions<W extends { returnReceipt: true } ? WaitOpts : W> {
-    return {
-      ...toSendOptions({
-        ...options,
-        wait: options.wait as any,
-      }),
-    } as any;
-  }
-
   /**
    * Adds this contract to the wallet and returns the Contract object.
    * @param options - Deployment options.
@@ -302,42 +232,20 @@ export class DeployMethod<TContract extends ContractBase = ContractBase> extends
 
   /**
    * Send a contract deployment transaction (initialize and/or publish) using the provided options.
-   * By default, waits for the transaction to be mined and returns the deployed contract instance.
+   * This function extends the 'send' method from the ContractFunctionInteraction class,
+   * allowing us to send a transaction specifically for contract deployment.
    *
    * @param options - An object containing various deployment options such as contractAddressSalt and from.
-   * @returns TxHash (if wait is NO_WAIT), TContract (if wait is undefined or doesn't have returnReceipt), or DeployTxReceipt (if wait.returnReceipt is true)
+   * @returns A SentTx object that returns the receipt and the deployed contract instance.
    */
-  // Overload for when wait is not specified at all - returns the contract
-  public override send(options: DeployOptionsWithoutWait): Promise<TContract>;
-  // Generic overload for explicit wait values
-  // eslint-disable-next-line jsdoc/require-jsdoc
-  public override send<W extends DeployInteractionWaitOptions>(
-    options: DeployOptions<W>,
-  ): Promise<DeployReturn<TContract, W>>;
-  // eslint-disable-next-line jsdoc/require-jsdoc
-  public override async send(options: DeployOptions<DeployInteractionWaitOptions>): Promise<any> {
-    const executionPayload = await this.request(this.convertDeployOptionsToRequestOptions(options));
-    const sendOptions = this.convertDeployOptionsToSendOptions(options);
-
-    if (options.wait === NO_WAIT) {
-      const txHash = await this.wallet.sendTx(executionPayload, sendOptions as SendOptions<NoWait>);
-      this.log.debug(`Sent deployment tx ${txHash.hash} of ${this.artifact.name} contract`);
-      return txHash;
-    }
-
-    const receipt = await this.wallet.sendTx(executionPayload, sendOptions as SendOptions<WaitOpts | undefined>);
-    this.log.debug(`Deployed ${this.artifact.name} contract in tx ${receipt.txHash}`);
-
-    // Attach contract instance
-    const instance = await this.getInstance(options);
-    const contract = this.postDeployCtor(instance, this.wallet) as TContract;
-
-    // Return full receipt if requested, otherwise just the contract
-    if (options.wait && typeof options.wait === 'object' && options.wait.returnReceipt) {
-      return { ...receipt, contract, instance };
-    }
-
-    return contract;
+  public override send(options: DeployOptions): DeploySentTx<TContract> {
+    const sendTx = async () => {
+      const executionPayload = await this.request(this.convertDeployOptionsToRequestOptions(options));
+      const sendOptions = toSendOptions(options);
+      return this.wallet.sendTx(executionPayload, sendOptions);
+    };
+    this.log.debug(`Sent deployment tx of ${this.artifact.name} contract`);
+    return new DeploySentTx(this.wallet, sendTx, this.postDeployCtor, () => this.getInstance(options));
   }
 
   /**
@@ -388,7 +296,7 @@ export class DeployMethod<TContract extends ContractBase = ContractBase> extends
    *
    * @returns An object containing the function return value and profile result.
    */
-  public async profile(options: DeployOptionsWithoutWait & ProfileInteractionOptions): Promise<TxProfileResult> {
+  public async profile(options: DeployOptions & ProfileInteractionOptions): Promise<TxProfileResult> {
     const executionPayload = await this.request(this.convertDeployOptionsToRequestOptions(options));
     return await this.wallet.profileTx(executionPayload, {
       ...toProfileOptions(options),

package/src/contract/deploy_sent_tx.ts

@@ -0,0 +1,75 @@
+import { createLogger } from '@aztec/foundation/log';
+import type { FieldsOf } from '@aztec/foundation/types';
+import type { ContractInstanceWithAddress } from '@aztec/stdlib/contract';
+import type { TxHash, TxReceipt } from '@aztec/stdlib/tx';
+
+import type { Wallet } from '../wallet/wallet.js';
+import type { ContractBase } from './contract_base.js';
+import { SentTx, type WaitOpts } from './sent_tx.js';
+
+/** Options related to waiting for a deployment tx. */
+export type DeployedWaitOpts = WaitOpts & {
+  /** Wallet to use for creating a contract instance. Uses the one set in the deployer constructor if not set. */
+  wallet?: Wallet;
+};
+
+/** Extends a transaction receipt with a contract instance that represents the newly deployed contract. */
+export type DeployTxReceipt<TContract extends ContractBase = ContractBase> = FieldsOf<TxReceipt> & {
+  /** Instance of the newly deployed contract. */
+  contract: TContract;
+  /** The deployed contract instance with address and metadata. */
+  instance: ContractInstanceWithAddress;
+};
+
+/**
+ * A contract deployment transaction sent to the network, extending SentTx with methods to publish a contract instance.
+ */
+export class DeploySentTx<TContract extends ContractBase = ContractBase> extends SentTx {
+  private log = createLogger('aztecjs:deploy_sent_tx');
+
+  constructor(
+    wallet: Wallet,
+    sendTx: () => Promise<TxHash>,
+    private postDeployCtor: (instance: ContractInstanceWithAddress, wallet: Wallet) => TContract,
+    /** A getter for the deployed contract instance */
+    private instanceGetter: () => Promise<ContractInstanceWithAddress>,
+  ) {
+    super(wallet, sendTx);
+  }
+
+  /**
+   * Returns the contract instance for this deployment.
+   * @returns The deployed contract instance with address and metadata.
+   */
+  public async getInstance(): Promise<ContractInstanceWithAddress> {
+    return await this.instanceGetter();
+  }
+
+  /**
+   * Awaits for the tx to be mined and returns the contract instance. Throws if tx is not mined.
+   * @param opts - Options for configuring the waiting for the tx to be mined.
+   * @returns The deployed contract instance.
+   */
+  public async deployed(opts?: DeployedWaitOpts): Promise<TContract> {
+    const receipt = await this.wait(opts);
+    this.log.info(`Contract ${receipt.instance.address.toString()} successfully deployed.`);
+    return receipt.contract;
+  }
+
+  /**
+   * Awaits for the tx to be mined and returns the receipt along with a contract instance. Throws if tx is not mined.
+   * @param opts - Options for configuring the waiting for the tx to be mined.
+   * @returns The transaction receipt with the deployed contract instance.
+   */
+  public override async wait(opts?: DeployedWaitOpts): Promise<DeployTxReceipt<TContract>> {
+    const receipt = await super.wait(opts);
+    // In the case of DeploySentTx we have a guarantee that this.walletOrNode is a Wallet so we can cast it to Wallet.
+    const contractWallet = opts?.wallet ?? (this.walletOrNode as Wallet);
+    if (!contractWallet) {
+      throw new Error(`A wallet is required for creating a contract instance`);
+    }
+    const instance = await this.instanceGetter();
+    const contract = this.postDeployCtor(instance, contractWallet) as TContract;
+    return { ...receipt, contract, instance };
+  }
+}

package/src/contract/interaction_options.ts

@@ -2,11 +2,10 @@ import type { FieldsOf } from '@aztec/foundation/types';
 import type { AuthWitness } from '@aztec/stdlib/auth-witness';
 import type { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { GasSettings } from '@aztec/stdlib/gas';
-import type { Capsule, OffchainEffect, SimulationStats, TxHash, TxReceipt } from '@aztec/stdlib/tx';
+import type { Capsule, OffchainEffect, SimulationStats } from '@aztec/stdlib/tx';
 
 import type { FeePaymentMethod } from '../fee/fee_payment_method.js';
 import type { ProfileOptions, SendOptions, SimulateOptions } from '../wallet/index.js';
-import type { WaitOpts } from './wait_opts.js';
 
 /**
  * Options used to tweak the simulation and add gas estimation capabilities
@@ -56,47 +55,15 @@ export type RequestInteractionOptions = {
 };
 
 /**
- * Constant for explicitly not waiting for transaction confirmation.
- * We use this instead of false to avoid confusion with falsy checks.
- */
-export const NO_WAIT = 'NO_WAIT' as const;
-
-/**
- * Type for the NO_WAIT constant.
- */
-export type NoWait = typeof NO_WAIT;
-
-/**
- * Type for wait options in interactions.
- * - NO_WAIT symbol: Don't wait for confirmation, return TxHash immediately
- * - WaitOpts object: Wait with custom options and return receipt/result
- * - undefined: Wait with default options and return receipt/result
- */
-export type InteractionWaitOptions = NoWait | WaitOpts | undefined;
-
-/**
- * Base options for calling a (constrained) function in a contract, without wait parameter.
+ * Represents options for calling a (constrained) function in a contract.
  */
-export type SendInteractionOptionsWithoutWait = RequestInteractionOptions & {
+export type SendInteractionOptions = RequestInteractionOptions & {
   /** The sender's Aztec address. */
   from: AztecAddress;
   /** The fee options for the transaction. */
   fee?: InteractionFeeOptions;
 };
 
-/**
- * Represents options for calling a (constrained) function in a contract.
- */
-export type SendInteractionOptions<W extends InteractionWaitOptions = undefined> = SendInteractionOptionsWithoutWait & {
-  /**
-   * Whether to wait for the transaction to be mined.
-   * - undefined (default): wait with default options and return TxReceipt
-   * - WaitOpts object: wait with custom options and return TxReceipt
-   * - NO_WAIT: return txHash immediately without waiting
-   */
-  wait?: W;
-};
-
 /**
  * Represents the options for simulating a contract function interaction.
  * Allows specifying the address from which the method should be called.
@@ -143,22 +110,11 @@ export type SimulationReturn<T extends boolean | undefined> = T extends true
     }
   : any;
 
-/**
- * Represents the result type of sending a transaction.
- * If `wait` is NO_WAIT, returns TxHash immediately without waiting.
- * If `wait` is undefined or WaitOpts, returns TReturn (defaults to TxReceipt) after waiting.
- */
-export type SendReturn<T extends InteractionWaitOptions, TReturn = TxReceipt> = T extends NoWait ? TxHash : TReturn;
-
 /**
  * Transforms and cleans up the higher level SendInteractionOptions defined by the interaction into
  * SendOptions, which are the ones that can be serialized and forwarded to the wallet
- * @param options - The send interaction options with optional wait parameter
- * @returns The send options to forward to the wallet
  */
-export function toSendOptions<W extends InteractionWaitOptions = undefined>(
-  options: SendInteractionOptions<W>,
-): SendOptions<W> {
+export function toSendOptions(options: SendInteractionOptions): SendOptions {
   return {
     ...options,
     fee: {
@@ -170,7 +126,6 @@ export function toSendOptions<W extends InteractionWaitOptions = undefined>(
         ...options.fee?.gasSettings,
       },
     },
-    wait: options.wait, // Pass through wait option
   };
 }
 

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

@@ -165,9 +165,18 @@ const AuthRegistryContractArtifact: ContractArtifact = {
             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': {
@@ -235,7 +244,7 @@ const AuthRegistryContractArtifact: ContractArtifact = {
     {
       ...{
         functionType: FunctionType.UTILITY,
-        name: 'sync_state',
+        name: 'sync_private_state',
         isOnlySelf: false,
         isStatic: false,
         isInitializer: false,
@@ -535,8 +544,8 @@ 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'>;
+    /** sync_private_state() */
+    sync_private_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) &

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

@@ -250,9 +250,18 @@ const ContractClassRegistryContractArtifact: ContractArtifact = {
             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': {
@@ -281,7 +290,7 @@ const ContractClassRegistryContractArtifact: ContractArtifact = {
     {
       ...{
         functionType: FunctionType.UTILITY,
-        name: 'sync_state',
+        name: 'sync_private_state',
         isOnlySelf: false,
         isStatic: false,
         isInitializer: false,
@@ -427,7 +436,7 @@ export class ContractClassRegistryContract extends ContractBase {
     ) => ContractFunctionInteraction) &
       Pick<ContractMethod, 'selector'>;
 
-    /** sync_state() */
-    sync_state: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
+    /** sync_private_state() */
+    sync_private_state: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
   };
 }

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

@@ -228,9 +228,18 @@ const ContractInstanceRegistryContractArtifact: ContractArtifact = {
             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': {
@@ -291,7 +300,7 @@ const ContractInstanceRegistryContractArtifact: ContractArtifact = {
     {
       ...{
         functionType: FunctionType.UTILITY,
-        name: 'sync_state',
+        name: 'sync_private_state',
         isOnlySelf: false,
         isStatic: false,
         isInitializer: false,
@@ -483,8 +492,8 @@ 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'>;
+    /** sync_private_state() */
+    sync_private_state: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
 
     /** update(new_contract_class_id: struct) */
     update: ((new_contract_class_id: WrappedFieldLike) => ContractFunctionInteraction) &

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

@@ -172,9 +172,18 @@ const FeeJuiceContractArtifact: ContractArtifact = {
             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': {
@@ -241,7 +250,7 @@ const FeeJuiceContractArtifact: ContractArtifact = {
     {
       ...{
         functionType: FunctionType.UTILITY,
-        name: 'sync_state',
+        name: 'sync_private_state',
         isOnlySelf: false,
         isStatic: false,
         isInitializer: false,
@@ -451,7 +460,7 @@ export class FeeJuiceContract extends ContractBase {
     /** public_dispatch(selector: field) */
     public_dispatch: ((selector: FieldLike) => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
 
-    /** sync_state() */
-    sync_state: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
+    /** sync_private_state() */
+    sync_private_state: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
   };
 }

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

@@ -164,9 +164,18 @@ const MultiCallEntrypointContractArtifact: ContractArtifact = {
             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': {
@@ -195,7 +204,7 @@ const MultiCallEntrypointContractArtifact: ContractArtifact = {
     {
       ...{
         functionType: FunctionType.UTILITY,
-        name: 'sync_state',
+        name: 'sync_private_state',
         isOnlySelf: false,
         isStatic: false,
         isInitializer: false,
@@ -323,7 +332,7 @@ export class MultiCallEntrypointContract extends ContractBase {
     /** public_dispatch(selector: field) */
     public_dispatch: ((selector: FieldLike) => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
 
-    /** sync_state() */
-    sync_state: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
+    /** sync_private_state() */
+    sync_private_state: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
   };
 }

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

@@ -97,9 +97,18 @@ const PublicChecksContractArtifact: ContractArtifact = {
             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': {
@@ -158,7 +167,7 @@ const PublicChecksContractArtifact: ContractArtifact = {
     {
       ...{
         functionType: FunctionType.UTILITY,
-        name: 'sync_state',
+        name: 'sync_private_state',
         isOnlySelf: false,
         isStatic: false,
         isInitializer: false,
@@ -309,7 +318,7 @@ export class PublicChecksContract extends ContractBase {
     /** public_dispatch(selector: field) */
     public_dispatch: ((selector: FieldLike) => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
 
-    /** sync_state() */
-    sync_state: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
+    /** sync_private_state() */
+    sync_private_state: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
   };
 }