@aztec-labs/aztec.js 6.0.0-nightly.20260829

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

@@ -0,0 +1,241 @@
+/* Autogenerated file, do not edit! */
+/* eslint-disable */
+import { ProtocolContractAddress } from '@aztec-labs/protocol-contracts';
+import { FunctionType } from '@aztec-labs/stdlib/abi';
+
+import type { ContractArtifact } from '../../api/abi.js';
+import { PublicKeys } from '../../api/keys.js';
+import type {
+  AztecAddressLike,
+  EthAddressLike,
+  FieldLike,
+  FunctionSelectorLike,
+  OptionLike,
+  WrappedFieldLike,
+} from '../../utils/abi_types.js';
+import type { Wallet } from '../../wallet/wallet.js';
+import { ContractBase, type ContractMethod } from '../contract_base.js';
+import { ContractFunctionInteraction } from '../contract_function_interaction.js';
+
+const ContractInstanceRegistryContractArtifact: ContractArtifact = {
+  name: 'ContractInstanceRegistry',
+  aztecVersion: '6.0.0-nightly.20260826',
+  functions: [
+    {
+      ...{
+        functionType: FunctionType.PUBLIC,
+        name: 'public_dispatch',
+        isOnlySelf: false,
+        isStatic: false,
+        isInitializer: false,
+        parameters: [{ name: 'selector', type: { kind: 'field' }, visibility: 'private' }],
+        errorTypes: {
+          '11194752367584870169': { error_kind: 'fmtstring', length: 27, item_types: [{ kind: 'field' }] },
+          '12469291177396340830': { error_kind: 'string', string: 'call to assert_max_bit_size' },
+          '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' },
+          '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
+          '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' },
+        },
+      },
+      bytecode: Buffer.from([]),
+      debugSymbols: '',
+    },
+    {
+      ...{
+        functionType: FunctionType.PRIVATE,
+        name: 'publish_for_public_execution',
+        isOnlySelf: false,
+        isStatic: false,
+        isInitializer: false,
+        parameters: [
+          { name: 'salt', type: { kind: 'field' }, visibility: 'private' },
+          {
+            name: 'contract_class_id',
+            type: {
+              kind: 'struct',
+              fields: [{ name: 'inner', type: { kind: 'field' } }],
+              path: 'aztec::protocol_types::contract_class_id::ContractClassId',
+            },
+            visibility: 'private',
+          },
+          { name: 'initialization_hash', type: { kind: 'field' }, visibility: 'private' },
+          { name: 'immutables_hash', type: { kind: 'field' }, visibility: 'private' },
+          {
+            name: 'public_keys',
+            type: {
+              kind: 'struct',
+              fields: [
+                { name: 'npk_m_hash', type: { kind: 'field' } },
+                {
+                  name: 'ivpk_m',
+                  type: {
+                    kind: 'struct',
+                    fields: [
+                      {
+                        name: 'inner',
+                        type: {
+                          kind: 'struct',
+                          fields: [
+                            { name: 'x', type: { kind: 'field' } },
+                            { name: 'y', type: { kind: 'field' } },
+                          ],
+                          path: 'std::embedded_curve_ops::EmbeddedCurvePoint',
+                        },
+                      },
+                    ],
+                    path: 'aztec::protocol_types::public_keys::IvpkM',
+                  },
+                },
+                { name: 'ovpk_m_hash', type: { kind: 'field' } },
+                { name: 'tpk_m_hash', type: { kind: 'field' } },
+                { name: 'mspk_m_hash', type: { kind: 'field' } },
+                { name: 'fbpk_m_hash', type: { kind: 'field' } },
+              ],
+              path: 'aztec::protocol_types::public_keys::PublicKeys',
+            },
+            visibility: 'private',
+          },
+          { name: 'universal_deploy', type: { kind: 'boolean' }, visibility: 'private' },
+        ],
+        errorTypes: {
+          '12469291177396340830': { error_kind: 'string', string: 'call to assert_max_bit_size' },
+          '14483585040754951598': { error_kind: 'string', string: 'IvpkM is the point at infinity' },
+          '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
+          '718532354304118388': { error_kind: 'string', string: 'Point not on curve' },
+        },
+      },
+      bytecode: Buffer.from([]),
+      debugSymbols: '',
+    },
+  ],
+  nonDispatchPublicFunctions: [
+    {
+      functionType: FunctionType.PUBLIC,
+      name: 'get_update_delay',
+      isOnlySelf: false,
+      isStatic: true,
+      isInitializer: false,
+      parameters: [],
+      returnType: { kind: 'integer', sign: 'unsigned', width: 64 },
+      errorTypes: {
+        '13455385521185560676': {
+          error_kind: 'string',
+          string: 'Storage slot 0 not allowed. Storage slots must start from 1.',
+        },
+        '5755400808989454547': {
+          error_kind: 'string',
+          string: 'Function get_update_delay can only be called statically',
+        },
+      },
+    },
+    {
+      functionType: FunctionType.PUBLIC,
+      name: 'set_update_delay',
+      isOnlySelf: false,
+      isStatic: false,
+      isInitializer: false,
+      parameters: [
+        { name: 'new_update_delay', type: { kind: 'integer', sign: 'unsigned', width: 64 }, visibility: 'private' },
+      ],
+      errorTypes: {
+        '12469291177396340830': { error_kind: 'string', string: 'call to assert_max_bit_size' },
+        '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' },
+        '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
+        '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
+        '6804164082532189961': { error_kind: 'string', string: 'New update delay is too low' },
+      },
+    },
+    {
+      functionType: FunctionType.PUBLIC,
+      name: 'update',
+      isOnlySelf: false,
+      isStatic: false,
+      isInitializer: false,
+      parameters: [
+        {
+          name: 'new_contract_class_id',
+          type: {
+            kind: 'struct',
+            fields: [{ name: 'inner', type: { kind: 'field' } }],
+            path: 'aztec::protocol_types::contract_class_id::ContractClassId',
+          },
+          visibility: 'private',
+        },
+      ],
+      errorTypes: {
+        '12469291177396340830': { error_kind: 'string', string: 'call to assert_max_bit_size' },
+        '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' },
+        '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
+        '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
+      },
+    },
+  ],
+  outputs: { structs: {}, globals: {} },
+  storageLayout: {},
+  fileMap: {},
+};
+
+export class ContractInstanceRegistryContract extends ContractBase {
+  private constructor(wallet: Wallet) {
+    super(ProtocolContractAddress.ContractInstanceRegistry, ContractInstanceRegistryContractArtifact, wallet);
+  }
+
+  /** Returns an interface to the canonical ContractInstanceRegistryContract instance, bound to the given wallet. */
+  public static withWallet(wallet: Wallet): ContractInstanceRegistryContract {
+    return new ContractInstanceRegistryContract(wallet);
+  }
+
+  /** @deprecated Use `withWallet` instead. */
+  public static at(wallet: Wallet): ContractInstanceRegistryContract {
+    return ContractInstanceRegistryContract.withWallet(wallet);
+  }
+
+  declare public methods: {
+    /** get_update_delay() */
+    get_update_delay: (() => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
+
+    /** public_dispatch(selector: field) */
+    public_dispatch: ((selector: FieldLike) => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
+
+    /** publish_for_public_execution(salt: field, contract_class_id: struct, initialization_hash: field, immutables_hash: field, public_keys: struct, universal_deploy: boolean) */
+    publish_for_public_execution: ((
+      salt: FieldLike,
+      contract_class_id: WrappedFieldLike,
+      initialization_hash: FieldLike,
+      immutables_hash: FieldLike,
+      public_keys: PublicKeys,
+      universal_deploy: boolean,
+    ) => ContractFunctionInteraction) &
+      Pick<ContractMethod, 'selector'>;
+
+    /** set_update_delay(new_update_delay: integer) */
+    set_update_delay: ((new_update_delay: bigint | number) => 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

@@ -0,0 +1,257 @@
+/* Autogenerated file, do not edit! */
+/* eslint-disable */
+import { ProtocolContractAddress } from '@aztec-labs/protocol-contracts';
+import { FunctionType } from '@aztec-labs/stdlib/abi';
+
+import type { ContractArtifact } from '../../api/abi.js';
+import { PublicKeys } from '../../api/keys.js';
+import type {
+  AztecAddressLike,
+  EthAddressLike,
+  FieldLike,
+  FunctionSelectorLike,
+  OptionLike,
+  WrappedFieldLike,
+} from '../../utils/abi_types.js';
+import type { Wallet } from '../../wallet/wallet.js';
+import { ContractBase, type ContractMethod } from '../contract_base.js';
+import { ContractFunctionInteraction } from '../contract_function_interaction.js';
+
+const FeeJuiceContractArtifact: ContractArtifact = {
+  name: 'FeeJuice',
+  aztecVersion: '6.0.0-nightly.20260826',
+  functions: [
+    {
+      ...{
+        functionType: FunctionType.PRIVATE,
+        name: 'claim',
+        isOnlySelf: false,
+        isStatic: false,
+        isInitializer: false,
+        parameters: [
+          {
+            name: 'to',
+            type: {
+              kind: 'struct',
+              fields: [{ name: 'inner', type: { kind: 'field' } }],
+              path: 'aztec::protocol_types::address::aztec_address::AztecAddress',
+            },
+            visibility: 'private',
+          },
+          { name: 'amount', type: { kind: 'integer', sign: 'unsigned', width: 128 }, visibility: 'private' },
+          { name: 'secret', type: { kind: 'field' }, visibility: 'private' },
+          { name: 'message_leaf_index', type: { kind: 'field' }, visibility: 'private' },
+        ],
+        errorTypes: {
+          '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' },
+          '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
+          '15835548349546956319': { error_kind: 'string', string: 'Field failed to decompose into specified 32 limbs' },
+          '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
+          '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
+          '361444214588792908': { error_kind: 'string', string: 'attempt to multiply with overflow' },
+          '5421095327929394772': { error_kind: 'string', string: 'attempt to bit-shift with overflow' },
+          '6609888949476313245': { error_kind: 'string', string: 'Message not in state' },
+        },
+      },
+      bytecode: Buffer.from([]),
+      debugSymbols: '',
+    },
+    {
+      ...{
+        functionType: FunctionType.PRIVATE,
+        name: 'claim_and_end_setup',
+        isOnlySelf: false,
+        isStatic: false,
+        isInitializer: false,
+        parameters: [
+          {
+            name: 'to',
+            type: {
+              kind: 'struct',
+              fields: [{ name: 'inner', type: { kind: 'field' } }],
+              path: 'aztec::protocol_types::address::aztec_address::AztecAddress',
+            },
+            visibility: 'private',
+          },
+          { name: 'amount', type: { kind: 'integer', sign: 'unsigned', width: 128 }, visibility: 'private' },
+          { name: 'secret', type: { kind: 'field' }, visibility: 'private' },
+          { name: 'message_leaf_index', type: { kind: 'field' }, visibility: 'private' },
+        ],
+        errorTypes: {
+          '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' },
+          '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
+          '15835548349546956319': { error_kind: 'string', string: 'Field failed to decompose into specified 32 limbs' },
+          '16431471497789672479': { error_kind: 'string', string: 'Index out of bounds' },
+          '1998584279744703196': { error_kind: 'string', string: 'attempt to subtract with overflow' },
+          '361444214588792908': { error_kind: 'string', string: 'attempt to multiply with overflow' },
+          '5421095327929394772': { error_kind: 'string', string: 'attempt to bit-shift with overflow' },
+          '6609888949476313245': { error_kind: 'string', string: 'Message not in state' },
+        },
+      },
+      bytecode: Buffer.from([]),
+      debugSymbols: '',
+    },
+    {
+      ...{
+        functionType: FunctionType.PUBLIC,
+        name: 'public_dispatch',
+        isOnlySelf: false,
+        isStatic: false,
+        isInitializer: false,
+        parameters: [{ name: 'selector', type: { kind: 'field' }, visibility: 'private' }],
+        errorTypes: {
+          '1080336462466469436': {
+            error_kind: 'string',
+            string: 'Function check_balance can only be called statically',
+          },
+          '11194752367584870169': { 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.',
+          },
+          '14990209321349310352': { error_kind: 'string', string: 'attempt to add with overflow' },
+          '15860392472534760515': {
+            error_kind: 'string',
+            string: 'Function balance_of_public can only be called statically',
+          },
+          '8637882143979902881': {
+            error_kind: 'string',
+            string: 'Function _increase_public_balance can only be called by the same contract',
+          },
+          '9543832133280402246': { error_kind: 'string', string: 'Balance too low' },
+        },
+      },
+      bytecode: Buffer.from([]),
+      debugSymbols: '',
+    },
+  ],
+  nonDispatchPublicFunctions: [
+    {
+      functionType: FunctionType.PUBLIC,
+      name: '_increase_public_balance',
+      isOnlySelf: true,
+      isStatic: false,
+      isInitializer: false,
+      parameters: [
+        {
+          name: 'to',
+          type: {
+            kind: 'struct',
+            fields: [{ name: 'inner', type: { kind: 'field' } }],
+            path: 'aztec::protocol_types::address::aztec_address::AztecAddress',
+          },
+          visibility: 'private',
+        },
+        { name: 'amount', type: { kind: 'integer', sign: 'unsigned', width: 128 }, visibility: 'private' },
+      ],
+      errorTypes: {
+        '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' },
+        '8637882143979902881': {
+          error_kind: 'string',
+          string: 'Function _increase_public_balance can only be called by the same contract',
+        },
+      },
+    },
+    {
+      functionType: FunctionType.PUBLIC,
+      name: 'balance_of_public',
+      isOnlySelf: false,
+      isStatic: true,
+      isInitializer: false,
+      parameters: [
+        {
+          name: 'owner',
+          type: {
+            kind: 'struct',
+            fields: [{ name: 'inner', type: { kind: 'field' } }],
+            path: 'aztec::protocol_types::address::aztec_address::AztecAddress',
+          },
+          visibility: 'private',
+        },
+      ],
+      returnType: { kind: 'integer', sign: 'unsigned', width: 128 },
+      errorTypes: {
+        '13455385521185560676': {
+          error_kind: 'string',
+          string: 'Storage slot 0 not allowed. Storage slots must start from 1.',
+        },
+        '15860392472534760515': {
+          error_kind: 'string',
+          string: 'Function balance_of_public can only be called statically',
+        },
+      },
+    },
+    {
+      functionType: FunctionType.PUBLIC,
+      name: 'check_balance',
+      isOnlySelf: false,
+      isStatic: true,
+      isInitializer: false,
+      parameters: [
+        { name: 'fee_limit', type: { kind: 'integer', sign: 'unsigned', width: 128 }, visibility: 'private' },
+      ],
+      errorTypes: {
+        '1080336462466469436': { error_kind: 'string', string: 'Function check_balance can only be called statically' },
+        '13455385521185560676': {
+          error_kind: 'string',
+          string: 'Storage slot 0 not allowed. Storage slots must start from 1.',
+        },
+        '9543832133280402246': { error_kind: 'string', string: 'Balance too low' },
+      },
+    },
+  ],
+  outputs: { structs: {}, globals: {} },
+  storageLayout: {},
+  fileMap: {},
+};
+
+export class FeeJuiceContract extends ContractBase {
+  private constructor(wallet: Wallet) {
+    super(ProtocolContractAddress.FeeJuice, FeeJuiceContractArtifact, wallet);
+  }
+
+  /** Returns an interface to the canonical FeeJuiceContract instance, bound to the given wallet. */
+  public static withWallet(wallet: Wallet): FeeJuiceContract {
+    return new FeeJuiceContract(wallet);
+  }
+
+  /** @deprecated Use `withWallet` instead. */
+  public static at(wallet: Wallet): FeeJuiceContract {
+    return FeeJuiceContract.withWallet(wallet);
+  }
+
+  declare public methods: {
+    /** balance_of_public(owner: struct) */
+    balance_of_public: ((owner: AztecAddressLike) => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
+
+    /** check_balance(fee_limit: integer) */
+    check_balance: ((fee_limit: bigint | number) => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
+
+    /** claim(to: struct, amount: integer, secret: field, message_leaf_index: field) */
+    claim: ((
+      to: AztecAddressLike,
+      amount: bigint | number,
+      secret: FieldLike,
+      message_leaf_index: FieldLike,
+    ) => ContractFunctionInteraction) &
+      Pick<ContractMethod, 'selector'>;
+
+    /** claim_and_end_setup(to: struct, amount: integer, secret: field, message_leaf_index: field) */
+    claim_and_end_setup: ((
+      to: AztecAddressLike,
+      amount: bigint | number,
+      secret: FieldLike,
+      message_leaf_index: FieldLike,
+    ) => ContractFunctionInteraction) &
+      Pick<ContractMethod, 'selector'>;
+
+    /** public_dispatch(selector: field) */
+    public_dispatch: ((selector: FieldLike) => ContractFunctionInteraction) & Pick<ContractMethod, 'selector'>;
+  };
+}

package/src/contract/wait_for_proven.ts

@@ -0,0 +1,43 @@
+import type { BlockNumber } from '@aztec-labs/foundation/branded-types';
+import { retryUntil } from '@aztec-labs/foundation/retry';
+import type { AztecNode } from '@aztec-labs/stdlib/interfaces/client';
+import type { TxReceipt } from '@aztec-labs/stdlib/tx';
+
+import { DefaultWaitOpts } from './wait_opts.js';
+
+/**
+ * Options for waiting for a transaction to be proven.
+ */
+export type WaitForProvenOpts = {
+  /** Time to wait for the tx to be proven before timing out */
+  provenTimeout?: number;
+  /** Elapsed time between polls to the node */
+  interval?: number;
+};
+
+export const DefaultWaitForProvenOpts: WaitForProvenOpts = {
+  provenTimeout: 600,
+  interval: DefaultWaitOpts.interval,
+};
+
+/**
+ * Wait for a transaction to be proven by polling the node
+ */
+export async function waitForProven(
+  node: AztecNode,
+  receipt: TxReceipt,
+  opts?: WaitForProvenOpts,
+): Promise<BlockNumber> {
+  if (!receipt.blockNumber) {
+    throw new Error(`Cannot wait for proven: receipt of tx ${receipt.txHash} does not have a block number`);
+  }
+  return await retryUntil(
+    async () => {
+      const provenBlock = await node.getBlockNumber('proven');
+      return provenBlock >= receipt.blockNumber! ? provenBlock : undefined;
+    },
+    'isProven',
+    opts?.provenTimeout ?? DefaultWaitForProvenOpts.provenTimeout,
+    opts?.interval ?? DefaultWaitForProvenOpts.interval,
+  );
+}

package/src/contract/wait_opts.ts

@@ -0,0 +1,26 @@
+import type { TxStatus } from '@aztec-labs/stdlib/tx';
+
+/** Options related to waiting for a tx. */
+export type WaitOpts = {
+  /** The amount of time to ignore TxStatus.DROPPED receipts (in seconds) due to the presumption that it is being propagated by the p2p network. Defaults to 5. */
+  ignoreDroppedReceiptsFor?: number;
+  /** The maximum time (in seconds) to wait for the transaction to be mined. Defaults to 300 (5 min). */
+  timeout?: number;
+  /** The time interval (in seconds) between retries to fetch the transaction receipt. Defaults to 1. */
+  interval?: number;
+  /** Whether to accept a revert as a status code for the tx when waiting for it. If false, will throw if the tx reverts. */
+  dontThrowOnRevert?: boolean;
+  /** The minimum inclusion status to wait for. If set, waits until the receipt reaches this status or higher. Defaults to CHECKPOINTED. */
+  waitForStatus?: TxStatus;
+  /**
+   * The time (in seconds) to wait before the first receipt poll. Defaults to 0. Used to avoid checking for a receipt
+   * right after sending a tx, when we know it cannot have been mined yet. Counts against `timeout`.
+   */
+  initialDelay?: number;
+};
+
+export const DefaultWaitOpts: WaitOpts = {
+  ignoreDroppedReceiptsFor: 5,
+  timeout: 300,
+  interval: 1,
+};

package/src/deployment/contract_deployer.ts

@@ -0,0 +1,40 @@
+import type { ContractArtifact } from '@aztec-labs/stdlib/abi';
+import type { ContractInstanceWithAddress } from '@aztec-labs/stdlib/contract';
+
+import { Contract } from '../contract/contract.js';
+import { type DeployInstantiationOptions, DeployMethod } from '../contract/deploy_method.js';
+import type { Wallet } from '../wallet/wallet.js';
+
+/**
+ * A class for deploying contract.
+ * @remarks Keeping this around even though we have Aztec.nr contract types because it can be useful for non-TS users.
+ */
+export class ContractDeployer {
+  constructor(
+    private artifact: ContractArtifact,
+    private wallet: Wallet,
+    private constructorName?: string,
+  ) {}
+
+  /**
+   * Deploy a contract using the provided instantiation parameters and constructor arguments.
+   * Creates a new DeployMethod instance that can be used to send the deployment transaction.
+   *
+   * The first argument is the {@link DeployInstantiationOptions} (salt, deployer) — pass `{}` to
+   * accept defaults (random salt, deployer = AztecAddress.ZERO). The remaining arguments are the
+   * constructor arguments for the contract.
+   *
+   * @param instantiation - Salt and deployer to mix into the address derivation.
+   * @param args - The constructor arguments for the contract being deployed.
+   * @returns A DeployMethod instance configured with the ABI, PXE, and constructor arguments.
+   */
+  public deploy(args?: any[], instantiation?: DeployInstantiationOptions) {
+    const postDeployCtor = (instance: ContractInstanceWithAddress, wallet: Wallet) =>
+      Contract.at(instance.address, this.artifact, wallet);
+    return DeployMethod.create(
+      this.wallet,
+      { artifact: this.artifact, postDeployCtor, args, constructorNameOrArtifact: this.constructorName },
+      instantiation,
+    );
+  }
+}

package/src/deployment/publish_class.ts

@@ -0,0 +1,34 @@
+import {
+  CONTRACT_CLASS_REGISTRY_BYTECODE_CAPSULE_SLOT,
+  MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS,
+} from '@aztec-labs/constants';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { ProtocolContractAddress } from '@aztec-labs/protocol-contracts';
+import { type ContractArtifact, bufferAsFields } from '@aztec-labs/stdlib/abi';
+import { getContractClassFromArtifact } from '@aztec-labs/stdlib/contract';
+import { Capsule } from '@aztec-labs/stdlib/tx';
+
+import type { ContractFunctionInteraction } from '../contract/contract_function_interaction.js';
+import { ContractClassRegistryContract } from '../contract/protocol_contracts/contract-class-registry.js';
+import type { Wallet } from '../wallet/index.js';
+
+/** Sets up a call to publish a contract class given its artifact. */
+export async function publishContractClass(
+  wallet: Wallet,
+  artifact: ContractArtifact,
+): Promise<ContractFunctionInteraction> {
+  const { artifactHash, privateFunctionsRoot, publicBytecodeCommitment, packedBytecode } =
+    await getContractClassFromArtifact(artifact);
+  const classRegistry = ContractClassRegistryContract.withWallet(wallet);
+
+  const encodedBytecode = bufferAsFields(packedBytecode, MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS);
+  return classRegistry.methods.publish(artifactHash, privateFunctionsRoot, publicBytecodeCommitment).with({
+    capsules: [
+      new Capsule(
+        ProtocolContractAddress.ContractClassRegistry,
+        new Fr(CONTRACT_CLASS_REGISTRY_BYTECODE_CAPSULE_SLOT),
+        encodedBytecode,
+      ),
+    ],
+  });
+}

package/src/deployment/publish_instance.ts

@@ -0,0 +1,24 @@
+import type { ContractInstanceWithAddress } from '@aztec-labs/stdlib/contract';
+
+import type { ContractFunctionInteraction } from '../contract/contract_function_interaction.js';
+import { ContractInstanceRegistryContract } from '../contract/protocol_contracts/contract-instance-registry.js';
+import type { Wallet } from '../wallet/wallet.js';
+
+/**
+ * Sets up a call to the canonical contract instance registry to publish a contract instance.
+ * @param wallet - The wallet to use for the publication (setup) tx.
+ * @param instance - The instance to publish.
+ */
+export function publishInstance(wallet: Wallet, instance: ContractInstanceWithAddress): ContractFunctionInteraction {
+  const contractInstanceRegistry = ContractInstanceRegistryContract.withWallet(wallet);
+  const { salt, currentContractClassId: contractClassId, publicKeys, deployer: instanceDeployer } = instance;
+  const isUniversalDeploy = instanceDeployer.isZero();
+  return contractInstanceRegistry.methods.publish_for_public_execution(
+    salt,
+    contractClassId,
+    instance.initializationHash,
+    instance.immutablesHash,
+    publicKeys,
+    isUniversalDeploy,
+  );
+}