@aztec/stdlib 0.0.1-commit.3469e52 → 0.0.1-commit.35158ae7e

package/dest/checkpoint/validate.js

@@ -0,0 +1,120 @@
+import { BLOBS_PER_CHECKPOINT, FIELDS_PER_BLOB, MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT } from '@aztec/constants';
+import { sum } from '@aztec/foundation/collection';
+import { MAX_BLOCKS_PER_CHECKPOINT } from '../deserialization/index.js';
+export class CheckpointValidationError extends Error {
+    checkpointNumber;
+    slot;
+    constructor(message, checkpointNumber, slot){
+        super(message), this.checkpointNumber = checkpointNumber, this.slot = slot;
+        this.name = 'CheckpointValidationError';
+    }
+}
+/**
+ * Validates a checkpoint. Throws a CheckpointValidationError if any validation fails.
+ * - Validates structural integrity (non-empty, block count, sequential numbers, archive chaining, slot consistency)
+ * - Validates checkpoint blob field count against maxBlobFields limit
+ * - Validates total L2 gas used by checkpoint blocks against the Rollup contract mana limit
+ * - Validates total DA gas used by checkpoint blocks against MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT
+ * - Validates individual block L2 gas and DA gas against maxL2BlockGas and maxDABlockGas limits
+ */ export function validateCheckpoint(checkpoint, opts) {
+    validateCheckpointStructure(checkpoint);
+    validateCheckpointLimits(checkpoint, opts);
+    validateCheckpointBlocksLimits(checkpoint, opts);
+}
+/**
+ * Validates structural integrity of a checkpoint.
+ * - Non-empty block list
+ * - Block count within MAX_BLOCKS_PER_CHECKPOINT
+ * - Checkpoint slot matches the first block's slot
+ * - Checkpoint lastArchiveRoot matches the first block's lastArchive root
+ * - Sequential block numbers without gaps
+ * - Sequential indexWithinCheckpoint starting at 0
+ * - Archive root chaining between consecutive blocks
+ * - Consistent slot number across all blocks
+ * - Global variables (slot, timestamp, coinbase, feeRecipient, gasFees) match checkpoint header for each block
+ */ export function validateCheckpointStructure(checkpoint) {
+    const { blocks, number, slot } = checkpoint;
+    if (blocks.length === 0) {
+        throw new CheckpointValidationError('Checkpoint has no blocks', number, slot);
+    }
+    if (blocks.length > MAX_BLOCKS_PER_CHECKPOINT) {
+        throw new CheckpointValidationError(`Checkpoint has ${blocks.length} blocks, exceeding limit of ${MAX_BLOCKS_PER_CHECKPOINT}`, number, slot);
+    }
+    const firstBlock = blocks[0];
+    if (!checkpoint.header.lastArchiveRoot.equals(firstBlock.header.lastArchive.root)) {
+        throw new CheckpointValidationError(`Checkpoint lastArchiveRoot does not match first block's lastArchive root`, number, slot);
+    }
+    for(let i = 0; i < blocks.length; i++){
+        const block = blocks[i];
+        if (block.indexWithinCheckpoint !== i) {
+            throw new CheckpointValidationError(`Block at index ${i} has indexWithinCheckpoint ${block.indexWithinCheckpoint}, expected ${i}`, number, slot);
+        }
+        if (block.slot !== slot) {
+            throw new CheckpointValidationError(`Block ${block.number} has slot ${block.slot}, expected ${slot} (all blocks must share the same slot)`, number, slot);
+        }
+        if (!checkpoint.header.matchesGlobalVariables(block.header.globalVariables)) {
+            throw new CheckpointValidationError(`Block ${block.number} global variables (slot, timestamp, coinbase, feeRecipient, gasFees) do not match checkpoint header`, number, slot);
+        }
+        if (i > 0) {
+            const prev = blocks[i - 1];
+            if (block.number !== prev.number + 1) {
+                throw new CheckpointValidationError(`Block numbers are not sequential: block at index ${i - 1} has number ${prev.number}, block at index ${i} has number ${block.number}`, number, slot);
+            }
+            if (!block.header.lastArchive.root.equals(prev.archive.root)) {
+                throw new CheckpointValidationError(`Block ${block.number} lastArchive root does not match archive root of block ${prev.number}`, number, slot);
+            }
+        }
+    }
+}
+/** Validates checkpoint blocks gas limits */ function validateCheckpointBlocksLimits(checkpoint, opts) {
+    const { maxL2BlockGas, maxDABlockGas, maxTxsPerBlock } = opts;
+    if (maxL2BlockGas !== undefined) {
+        for (const block of checkpoint.blocks){
+            const blockL2Gas = block.header.totalManaUsed.toNumber();
+            if (blockL2Gas > maxL2BlockGas) {
+                throw new CheckpointValidationError(`Block ${block.number} in checkpoint has L2 gas used ${blockL2Gas} exceeding limit of ${maxL2BlockGas}`, checkpoint.number, checkpoint.slot);
+            }
+        }
+    }
+    if (maxDABlockGas !== undefined) {
+        for (const block of checkpoint.blocks){
+            const blockDAGas = block.computeDAGasUsed();
+            if (blockDAGas > maxDABlockGas) {
+                throw new CheckpointValidationError(`Block ${block.number} in checkpoint has DA gas used ${blockDAGas} exceeding limit of ${maxDABlockGas}`, checkpoint.number, checkpoint.slot);
+            }
+        }
+    }
+    if (maxTxsPerBlock !== undefined) {
+        for (const block of checkpoint.blocks){
+            const blockTxCount = block.body.txEffects.length;
+            if (blockTxCount > maxTxsPerBlock) {
+                throw new CheckpointValidationError(`Block ${block.number} in checkpoint has ${blockTxCount} txs exceeding limit of ${maxTxsPerBlock}`, checkpoint.number, checkpoint.slot);
+            }
+        }
+    }
+}
+/** Validates checkpoint max blob fields, gas limits, and tx limits */ function validateCheckpointLimits(checkpoint, opts) {
+    const { rollupManaLimit, maxTxsPerCheckpoint } = opts;
+    const maxBlobFields = BLOBS_PER_CHECKPOINT * FIELDS_PER_BLOB;
+    const maxDAGas = MAX_PROCESSABLE_DA_GAS_PER_CHECKPOINT;
+    if (rollupManaLimit !== undefined) {
+        const checkpointMana = sum(checkpoint.blocks.map((block)=>block.header.totalManaUsed.toNumber()));
+        if (checkpointMana > rollupManaLimit) {
+            throw new CheckpointValidationError(`Checkpoint mana cost ${checkpointMana} exceeds rollup limit of ${rollupManaLimit}`, checkpoint.number, checkpoint.slot);
+        }
+    }
+    const checkpointDAGas = sum(checkpoint.blocks.map((block)=>block.computeDAGasUsed()));
+    if (checkpointDAGas > maxDAGas) {
+        throw new CheckpointValidationError(`Checkpoint DA gas cost ${checkpointDAGas} exceeds limit of ${maxDAGas}`, checkpoint.number, checkpoint.slot);
+    }
+    const checkpointBlobFields = checkpoint.toBlobFields().length;
+    if (checkpointBlobFields > maxBlobFields) {
+        throw new CheckpointValidationError(`Checkpoint blob field count ${checkpointBlobFields} exceeds limit of ${maxBlobFields}`, checkpoint.number, checkpoint.slot);
+    }
+    if (maxTxsPerCheckpoint !== undefined) {
+        const checkpointTxCount = sum(checkpoint.blocks.map((block)=>block.body.txEffects.length));
+        if (checkpointTxCount > maxTxsPerCheckpoint) {
+            throw new CheckpointValidationError(`Checkpoint tx count ${checkpointTxCount} exceeds limit of ${maxTxsPerCheckpoint}`, checkpoint.number, checkpoint.slot);
+        }
+    }
+}

package/dest/config/index.d.ts

@@ -1,3 +1,5 @@
 export * from './chain-config.js';
 export * from './node-rpc-config.js';
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb25maWcvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxtQkFBbUIsQ0FBQztBQUNsQyxjQUFjLHNCQUFzQixDQUFDIn0=
+export * from './pipelining-config.js';
+export * from './sequencer-config.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb25maWcvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxtQkFBbUIsQ0FBQztBQUNsQyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsd0JBQXdCLENBQUM7QUFDdkMsY0FBYyx1QkFBdUIsQ0FBQyJ9

package/dest/config/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/config/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/config/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC;AACrC,cAAc,wBAAwB,CAAC;AACvC,cAAc,uBAAuB,CAAC"}

package/dest/config/index.js

@@ -1,2 +1,4 @@
 export * from './chain-config.js';
 export * from './node-rpc-config.js';
+export * from './pipelining-config.js';
+export * from './sequencer-config.js';

package/dest/config/node-rpc-config.js

@@ -19,6 +19,6 @@ export const nodeRpcConfigMappings = {
     rpcMaxBodySize: {
         env: 'RPC_MAX_BODY_SIZE',
         description: 'Maximum allowed batch size for JSON RPC batch requests.',
-        defaultValue: '50mb'
+        defaultValue: '1mb'
     }
 };

package/dest/config/pipelining-config.d.ts

@@ -0,0 +1,19 @@
+import { type ConfigMappingsType } from '@aztec/foundation/config';
+import { z } from 'zod';
+export type PipelineConfig = {
+    /** Whether to enable build-ahead proposer pipelining. */
+    enableProposerPipelining: boolean;
+};
+/**
+ * Pipelining config mappings for fields that need to be shared across packages.
+ */
+export declare const pipelineConfigMappings: ConfigMappingsType<PipelineConfig>;
+export declare const PipelineConfigSchema: z.ZodObject<{
+    enableProposerPipelining: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+    enableProposerPipelining: boolean;
+}, {
+    enableProposerPipelining: boolean;
+}>;
+export declare function getPipelineConfigEnvVars(): PipelineConfig;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicGlwZWxpbmluZy1jb25maWcuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb25maWcvcGlwZWxpbmluZy1jb25maWcudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEtBQUssa0JBQWtCLEVBQThDLE1BQU0sMEJBQTBCLENBQUM7QUFFL0csT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUl4QixNQUFNLE1BQU0sY0FBYyxHQUFHO0lBQzNCLHlEQUF5RDtJQUN6RCx3QkFBd0IsRUFBRSxPQUFPLENBQUM7Q0FDbkMsQ0FBQztBQUVGOztHQUVHO0FBQ0gsZUFBTyxNQUFNLHNCQUFzQixFQUFFLGtCQUFrQixDQUFDLGNBQWMsQ0FNckUsQ0FBQztBQUVGLGVBQU8sTUFBTSxvQkFBb0I7Ozs7OztFQUloQyxDQUFDO0FBRUYsd0JBQWdCLHdCQUF3QixJQUFJLGNBQWMsQ0FFekQifQ==

package/dest/config/pipelining-config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pipelining-config.d.ts","sourceRoot":"","sources":["../../src/config/pipelining-config.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,kBAAkB,EAA8C,MAAM,0BAA0B,CAAC;AAE/G,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAIxB,MAAM,MAAM,cAAc,GAAG;IAC3B,yDAAyD;IACzD,wBAAwB,EAAE,OAAO,CAAC;CACnC,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,sBAAsB,EAAE,kBAAkB,CAAC,cAAc,CAMrE,CAAC;AAEF,eAAO,MAAM,oBAAoB;;;;;;EAIhC,CAAC;AAEF,wBAAgB,wBAAwB,IAAI,cAAc,CAEzD"}

package/dest/config/pipelining-config.js

@@ -0,0 +1,18 @@
+import { booleanConfigHelper, getConfigFromMappings } from '@aztec/foundation/config';
+import { z } from 'zod';
+import { zodFor } from '../schemas/index.js';
+/**
+ * Pipelining config mappings for fields that need to be shared across packages.
+ */ export const pipelineConfigMappings = {
+    enableProposerPipelining: {
+        env: 'SEQ_ENABLE_PROPOSER_PIPELINING',
+        description: 'Whether to enable build-ahead proposer pipelining.',
+        ...booleanConfigHelper(false)
+    }
+};
+export const PipelineConfigSchema = zodFor()(z.object({
+    enableProposerPipelining: z.boolean()
+}));
+export function getPipelineConfigEnvVars() {
+    return getConfigFromMappings(pipelineConfigMappings);
+}

package/dest/config/sequencer-config.d.ts

@@ -0,0 +1,12 @@
+import type { ConfigMappingsType } from '@aztec/foundation/config';
+import type { SequencerConfig } from '../interfaces/configs.js';
+/** Default maximum number of transactions per block. */
+export declare const DEFAULT_MAX_TXS_PER_BLOCK = 32;
+/**
+ * Partial sequencer config mappings for fields that need to be shared across packages.
+ * The full sequencer config mappings remain in sequencer-client, but shared fields
+ * (like blockDurationMs needed by both p2p and sequencer-client) are defined here
+ * to avoid duplication.
+ */
+export declare const sharedSequencerConfigMappings: ConfigMappingsType<Pick<SequencerConfig, 'blockDurationMs' | 'expectedBlockProposalsPerSlot' | 'maxTxsPerBlock'>>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic2VxdWVuY2VyLWNvbmZpZy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2NvbmZpZy9zZXF1ZW5jZXItY29uZmlnLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFbkUsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFaEUsd0RBQXdEO0FBQ3hELGVBQU8sTUFBTSx5QkFBeUIsS0FBSyxDQUFDO0FBRTVDOzs7OztHQUtHO0FBQ0gsZUFBTyxNQUFNLDZCQUE2QixFQUFFLGtCQUFrQixDQUM1RCxJQUFJLENBQUMsZUFBZSxFQUFFLGlCQUFpQixHQUFHLCtCQUErQixHQUFHLGdCQUFnQixDQUFDLENBc0I5RixDQUFDIn0=

package/dest/config/sequencer-config.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"sequencer-config.d.ts","sourceRoot":"","sources":["../../src/config/sequencer-config.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,0BAA0B,CAAC;AAEhE,wDAAwD;AACxD,eAAO,MAAM,yBAAyB,KAAK,CAAC;AAE5C;;;;;GAKG;AACH,eAAO,MAAM,6BAA6B,EAAE,kBAAkB,CAC5D,IAAI,CAAC,eAAe,EAAE,iBAAiB,GAAG,+BAA+B,GAAG,gBAAgB,CAAC,CAsB9F,CAAC"}

package/dest/config/sequencer-config.js

@@ -0,0 +1,24 @@
+/** Default maximum number of transactions per block. */ export const DEFAULT_MAX_TXS_PER_BLOCK = 32;
+/**
+ * Partial sequencer config mappings for fields that need to be shared across packages.
+ * The full sequencer config mappings remain in sequencer-client, but shared fields
+ * (like blockDurationMs needed by both p2p and sequencer-client) are defined here
+ * to avoid duplication.
+ */ export const sharedSequencerConfigMappings = {
+    blockDurationMs: {
+        env: 'SEQ_BLOCK_DURATION_MS',
+        description: 'Duration per block in milliseconds when building multiple blocks per slot. ' + 'If undefined (default), builds a single block per slot using the full slot duration.',
+        parseEnv: (val)=>val ? parseInt(val, 10) : undefined
+    },
+    expectedBlockProposalsPerSlot: {
+        env: 'SEQ_EXPECTED_BLOCK_PROPOSALS_PER_SLOT',
+        description: 'Expected number of block proposals per slot for P2P peer scoring. ' + '0 (default) disables block proposal scoring. Set to a positive value to enable.',
+        parseEnv: (val)=>val ? parseInt(val, 10) : 0,
+        defaultValue: 0
+    },
+    maxTxsPerBlock: {
+        env: 'SEQ_MAX_TX_PER_BLOCK',
+        description: 'The maximum number of txs to include in a block.',
+        parseEnv: (val)=>val ? parseInt(val, 10) : undefined
+    }
+};

package/dest/contract/contract_address.d.ts

@@ -5,9 +5,9 @@ import type { ContractInstance } from './interfaces/contract_instance.js';
 /**
  * Returns the deployment address for a given contract instance.
  * ```
- * salted_initialization_hash = pedersen([salt, initialization_hash, deployer], GENERATOR__SALTED_INITIALIZATION_HASH)
- * partial_address = pedersen([contract_class_id, salted_initialization_hash], GENERATOR__CONTRACT_PARTIAL_ADDRESS_V1)
- * address = ((poseidon2Hash([public_keys_hash, partial_address, GENERATOR__CONTRACT_ADDRESS_V1]) * G) + ivpk_m).x <- the x-coordinate of the address point
+ * salted_initialization_hash = poseidon2(DOM_SEP__PARTIAL_ADDRESS, [salt, initialization_hash, deployer])
+ * partial_address = poseidon2(DOM_SEP__PARTIAL_ADDRESS, [contract_class_id, salted_initialization_hash])
+ * address = ((poseidon2(DOM_SEP__CONTRACT_ADDRESS_V1, [public_keys_hash, partial_address]) * G) + ivpk_m).x <- the x-coordinate of the address point
  * ```
  * @param instance - A contract instance for which to calculate the deployment address.
  */

package/dest/contract/contract_address.js

@@ -1,4 +1,4 @@
-import { GeneratorIndex } from '@aztec/constants';
+import { DomainSeparator } from '@aztec/constants';
 import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
 import { Fr } from '@aztec/foundation/curves/bn254';
 import { FunctionSelector, encodeArguments } from '../abi/index.js';
@@ -8,9 +8,9 @@ import { computeAddress } from '../keys/index.js';
 /**
  * Returns the deployment address for a given contract instance.
  * ```
- * salted_initialization_hash = pedersen([salt, initialization_hash, deployer], GENERATOR__SALTED_INITIALIZATION_HASH)
- * partial_address = pedersen([contract_class_id, salted_initialization_hash], GENERATOR__CONTRACT_PARTIAL_ADDRESS_V1)
- * address = ((poseidon2Hash([public_keys_hash, partial_address, GENERATOR__CONTRACT_ADDRESS_V1]) * G) + ivpk_m).x <- the x-coordinate of the address point
+ * salted_initialization_hash = poseidon2(DOM_SEP__PARTIAL_ADDRESS, [salt, initialization_hash, deployer])
+ * partial_address = poseidon2(DOM_SEP__PARTIAL_ADDRESS, [contract_class_id, salted_initialization_hash])
+ * address = ((poseidon2(DOM_SEP__CONTRACT_ADDRESS_V1, [public_keys_hash, partial_address]) * G) + ivpk_m).x <- the x-coordinate of the address point
  * ```
  * @param instance - A contract instance for which to calculate the deployment address.
  */ export async function computeContractAddressFromInstance(instance) {
@@ -25,7 +25,7 @@ import { computeAddress } from '../keys/index.js';
     return poseidon2HashWithSeparator([
         instance.originalContractClassId,
         saltedInitializationHash
-    ], GeneratorIndex.PARTIAL_ADDRESS);
+    ], DomainSeparator.PARTIAL_ADDRESS);
 }
 /**
  * Computes the salted initialization hash for an address, defined as the hash of the salt and initialization hash.
@@ -35,7 +35,7 @@ import { computeAddress } from '../keys/index.js';
         instance.salt,
         instance.initializationHash,
         instance.deployer
-    ], GeneratorIndex.PARTIAL_ADDRESS);
+    ], DomainSeparator.PARTIAL_ADDRESS);
 }
 /**
  * Computes the initialization hash for an instance given its constructor function and arguments.
@@ -60,5 +60,5 @@ import { computeAddress } from '../keys/index.js';
     return poseidon2HashWithSeparator([
         initFn,
         argsHash
-    ], GeneratorIndex.CONSTRUCTOR);
+    ], DomainSeparator.INITIALIZER);
 }

package/dest/contract/contract_class.d.ts

@@ -3,7 +3,7 @@ import { type ContractArtifact, type FunctionArtifact } from '../abi/index.js';
 import { type ContractClassIdPreimage } from './contract_class_id.js';
 import type { ContractClass, ContractClassWithId } from './interfaces/index.js';
 /** Contract artifact including its artifact hash */
-type ContractArtifactWithHash = ContractArtifact & {
+export type ContractArtifactWithHash = ContractArtifact & {
     artifactHash: Fr;
 };
 /** Creates a ContractClass from a contract compilation artifact. */
@@ -13,5 +13,4 @@ export declare function getContractClassPrivateFunctionFromArtifact(f: FunctionA
  * For a given private function, computes the hash of its vk.
  */
 export declare function computeVerificationKeyHash(f: FunctionArtifact): Promise<Fr>;
-export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3RfY2xhc3MuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdC9jb250cmFjdF9jbGFzcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLEtBQUssZ0JBQWdCLEVBQUUsS0FBSyxnQkFBZ0IsRUFBa0MsTUFBTSxpQkFBaUIsQ0FBQztBQUcvRyxPQUFPLEVBQUUsS0FBSyx1QkFBdUIsRUFBc0MsTUFBTSx3QkFBd0IsQ0FBQztBQUMxRyxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUVoRixvREFBb0Q7QUFDcEQsS0FBSyx3QkFBd0IsR0FBRyxnQkFBZ0IsR0FBRztJQUFFLFlBQVksRUFBRSxFQUFFLENBQUE7Q0FBRSxDQUFDO0FBS3hFLG9FQUFvRTtBQUNwRSx3QkFBc0IsNEJBQTRCLENBQ2hELFFBQVEsRUFBRSxnQkFBZ0IsR0FBRyx3QkFBd0IsR0FDcEQsT0FBTyxDQUFDLG1CQUFtQixHQUFHLHVCQUF1QixDQUFDLENBMEJ4RDtBQUVELHdCQUFzQiwyQ0FBMkMsQ0FDL0QsQ0FBQyxFQUFFLGdCQUFnQixHQUNsQixPQUFPLENBQUMsYUFBYSxDQUFDLGtCQUFrQixDQUFDLENBQUMsTUFBTSxDQUFDLENBQUMsQ0FLcEQ7QUFFRDs7R0FFRztBQUNILHdCQUFzQiwwQkFBMEIsQ0FBQyxDQUFDLEVBQUUsZ0JBQWdCLGVBS25FIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3RfY2xhc3MuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdC9jb250cmFjdF9jbGFzcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxFQUFFLEtBQUssZ0JBQWdCLEVBQUUsS0FBSyxnQkFBZ0IsRUFBa0MsTUFBTSxpQkFBaUIsQ0FBQztBQUcvRyxPQUFPLEVBQUUsS0FBSyx1QkFBdUIsRUFBc0MsTUFBTSx3QkFBd0IsQ0FBQztBQUMxRyxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUVoRixvREFBb0Q7QUFDcEQsTUFBTSxNQUFNLHdCQUF3QixHQUFHLGdCQUFnQixHQUFHO0lBQUUsWUFBWSxFQUFFLEVBQUUsQ0FBQTtDQUFFLENBQUM7QUFLL0Usb0VBQW9FO0FBQ3BFLHdCQUFzQiw0QkFBNEIsQ0FDaEQsUUFBUSxFQUFFLGdCQUFnQixHQUFHLHdCQUF3QixHQUNwRCxPQUFPLENBQUMsbUJBQW1CLEdBQUcsdUJBQXVCLENBQUMsQ0EwQnhEO0FBRUQsd0JBQXNCLDJDQUEyQyxDQUMvRCxDQUFDLEVBQUUsZ0JBQWdCLEdBQ2xCLE9BQU8sQ0FBQyxhQUFhLENBQUMsa0JBQWtCLENBQUMsQ0FBQyxNQUFNLENBQUMsQ0FBQyxDQUtwRDtBQUVEOztHQUVHO0FBQ0gsd0JBQXNCLDBCQUEwQixDQUFDLENBQUMsRUFBRSxnQkFBZ0IsZUFLbkUifQ==

package/dest/contract/contract_class.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contract_class.d.ts","sourceRoot":"","sources":["../../src/contract/contract_class.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAkC,MAAM,iBAAiB,CAAC;AAG/G,OAAO,EAAE,KAAK,uBAAuB,EAAsC,MAAM,wBAAwB,CAAC;AAC1G,OAAO,KAAK,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAEhF,oDAAoD;AACpD,KAAK,wBAAwB,GAAG,gBAAgB,GAAG;IAAE,YAAY,EAAE,EAAE,CAAA;CAAE,CAAC;AAKxE,oEAAoE;AACpE,wBAAsB,4BAA4B,CAChD,QAAQ,EAAE,gBAAgB,GAAG,wBAAwB,GACpD,OAAO,CAAC,mBAAmB,GAAG,uBAAuB,CAAC,CA0BxD;AAED,wBAAsB,2CAA2C,CAC/D,CAAC,EAAE,gBAAgB,GAClB,OAAO,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAKpD;AAED;;GAEG;AACH,wBAAsB,0BAA0B,CAAC,CAAC,EAAE,gBAAgB,eAKnE"}
+{"version":3,"file":"contract_class.d.ts","sourceRoot":"","sources":["../../src/contract/contract_class.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,KAAK,gBAAgB,EAAE,KAAK,gBAAgB,EAAkC,MAAM,iBAAiB,CAAC;AAG/G,OAAO,EAAE,KAAK,uBAAuB,EAAsC,MAAM,wBAAwB,CAAC;AAC1G,OAAO,KAAK,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAEhF,oDAAoD;AACpD,MAAM,MAAM,wBAAwB,GAAG,gBAAgB,GAAG;IAAE,YAAY,EAAE,EAAE,CAAA;CAAE,CAAC;AAK/E,oEAAoE;AACpE,wBAAsB,4BAA4B,CAChD,QAAQ,EAAE,gBAAgB,GAAG,wBAAwB,GACpD,OAAO,CAAC,mBAAmB,GAAG,uBAAuB,CAAC,CA0BxD;AAED,wBAAsB,2CAA2C,CAC/D,CAAC,EAAE,gBAAgB,GAClB,OAAO,CAAC,aAAa,CAAC,kBAAkB,CAAC,CAAC,MAAM,CAAC,CAAC,CAKpD;AAED;;GAEG;AACH,wBAAsB,0BAA0B,CAAC,CAAC,EAAE,gBAAgB,eAKnE"}

package/dest/contract/contract_class_id.d.ts

@@ -5,10 +5,10 @@ import type { ContractClass } from './interfaces/contract_class.js';
  *
  * ```
  * version = 1
- * private_function_leaves = private_functions.map(fn => pedersen([fn.function_selector as Field, fn.vk_hash], GENERATOR__FUNCTION_LEAF))
+ * private_function_leaves = private_functions.map(fn => poseidon2(DOM_SEP__PRIVATE_FUNCTION_LEAF, [fn.function_selector as Field, fn.vk_hash]))
  * private_functions_root = merkleize(private_function_leaves)
  * bytecode_commitment = calculate_commitment(packed_bytecode)
- * contract_class_id = pedersen([version, artifact_hash, private_functions_root, bytecode_commitment], GENERATOR__CLASS_IDENTIFIER)
+ * contract_class_id = poseidon2(DOM_SEP__CONTRACT_CLASS_ID, [version, artifact_hash, private_functions_root, bytecode_commitment])
  * ```
  * @param contractClass - Contract class.
  * @returns The identifier.
@@ -27,4 +27,4 @@ export type ContractClassIdPreimage = {
     publicBytecodeCommitment: Fr;
 };
 export declare function computePublicBytecodeCommitment(packedBytecode: Buffer): Promise<Fr>;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3RfY2xhc3NfaWQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdC9jb250cmFjdF9jbGFzc19pZC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFFQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFLcEQsT0FBTyxLQUFLLEVBQUUsYUFBYSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFHcEU7Ozs7Ozs7Ozs7OztHQVlHO0FBQ0gsd0JBQXNCLHNCQUFzQixDQUFDLGFBQWEsRUFBRSxhQUFhLEdBQUcsdUJBQXVCLEdBQUcsT0FBTyxDQUFDLEVBQUUsQ0FBQyxDQUVoSDtBQUVELDJFQUEyRTtBQUMzRSx3QkFBc0Isa0NBQWtDLENBQ3RELGFBQWEsRUFBRSxhQUFhLEdBQUcsdUJBQXVCLEdBQ3JELE9BQU8sQ0FBQyx1QkFBdUIsR0FBRztJQUFFLEVBQUUsRUFBRSxFQUFFLENBQUE7Q0FBRSxDQUFDLENBZS9DO0FBRUQsMEVBQTBFO0FBQzFFLHdCQUFzQiw4QkFBOEIsQ0FBQyxhQUFhLEVBQUUsYUFBYSxHQUFHLE9BQU8sQ0FBQyx1QkFBdUIsQ0FBQyxDQUluSDtBQUVELHVDQUF1QztBQUN2QyxNQUFNLE1BQU0sdUJBQXVCLEdBQUc7SUFDcEMsWUFBWSxFQUFFLEVBQUUsQ0FBQztJQUNqQixvQkFBb0IsRUFBRSxFQUFFLENBQUM7SUFDekIsd0JBQXdCLEVBQUUsRUFBRSxDQUFDO0NBQzlCLENBQUM7QUFFRix3QkFBc0IsK0JBQStCLENBQUMsY0FBYyxFQUFFLE1BQU0sZUFjM0UifQ==
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3RfY2xhc3NfaWQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdC9jb250cmFjdF9jbGFzc19pZC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFFQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFLcEQsT0FBTyxLQUFLLEVBQUUsYUFBYSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFHcEU7Ozs7Ozs7Ozs7OztHQVlHO0FBQ0gsd0JBQXNCLHNCQUFzQixDQUFDLGFBQWEsRUFBRSxhQUFhLEdBQUcsdUJBQXVCLEdBQUcsT0FBTyxDQUFDLEVBQUUsQ0FBQyxDQUVoSDtBQUVELDJFQUEyRTtBQUMzRSx3QkFBc0Isa0NBQWtDLENBQ3RELGFBQWEsRUFBRSxhQUFhLEdBQUcsdUJBQXVCLEdBQ3JELE9BQU8sQ0FBQyx1QkFBdUIsR0FBRztJQUFFLEVBQUUsRUFBRSxFQUFFLENBQUE7Q0FBRSxDQUFDLENBZS9DO0FBRUQsMEVBQTBFO0FBQzFFLHdCQUFzQiw4QkFBOEIsQ0FBQyxhQUFhLEVBQUUsYUFBYSxHQUFHLE9BQU8sQ0FBQyx1QkFBdUIsQ0FBQyxDQUluSDtBQUVELHVDQUF1QztBQUN2QyxNQUFNLE1BQU0sdUJBQXVCLEdBQUc7SUFDcEMsWUFBWSxFQUFFLEVBQUUsQ0FBQztJQUNqQixvQkFBb0IsRUFBRSxFQUFFLENBQUM7SUFDekIsd0JBQXdCLEVBQUUsRUFBRSxDQUFDO0NBQzlCLENBQUM7QUFFRix3QkFBc0IsK0JBQStCLENBQUMsY0FBYyxFQUFFLE1BQU0sZUFlM0UifQ==

package/dest/contract/contract_class_id.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contract_class_id.d.ts","sourceRoot":"","sources":["../../src/contract/contract_class_id.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAKpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAGpE;;;;;;;;;;;;GAYG;AACH,wBAAsB,sBAAsB,CAAC,aAAa,EAAE,aAAa,GAAG,uBAAuB,GAAG,OAAO,CAAC,EAAE,CAAC,CAEhH;AAED,2EAA2E;AAC3E,wBAAsB,kCAAkC,CACtD,aAAa,EAAE,aAAa,GAAG,uBAAuB,GACrD,OAAO,CAAC,uBAAuB,GAAG;IAAE,EAAE,EAAE,EAAE,CAAA;CAAE,CAAC,CAe/C;AAED,0EAA0E;AAC1E,wBAAsB,8BAA8B,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAInH;AAED,uCAAuC;AACvC,MAAM,MAAM,uBAAuB,GAAG;IACpC,YAAY,EAAE,EAAE,CAAC;IACjB,oBAAoB,EAAE,EAAE,CAAC;IACzB,wBAAwB,EAAE,EAAE,CAAC;CAC9B,CAAC;AAEF,wBAAsB,+BAA+B,CAAC,cAAc,EAAE,MAAM,eAc3E"}
+{"version":3,"file":"contract_class_id.d.ts","sourceRoot":"","sources":["../../src/contract/contract_class_id.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAKpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,gCAAgC,CAAC;AAGpE;;;;;;;;;;;;GAYG;AACH,wBAAsB,sBAAsB,CAAC,aAAa,EAAE,aAAa,GAAG,uBAAuB,GAAG,OAAO,CAAC,EAAE,CAAC,CAEhH;AAED,2EAA2E;AAC3E,wBAAsB,kCAAkC,CACtD,aAAa,EAAE,aAAa,GAAG,uBAAuB,GACrD,OAAO,CAAC,uBAAuB,GAAG;IAAE,EAAE,EAAE,EAAE,CAAA;CAAE,CAAC,CAe/C;AAED,0EAA0E;AAC1E,wBAAsB,8BAA8B,CAAC,aAAa,EAAE,aAAa,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAInH;AAED,uCAAuC;AACvC,MAAM,MAAM,uBAAuB,GAAG;IACpC,YAAY,EAAE,EAAE,CAAC;IACjB,oBAAoB,EAAE,EAAE,CAAC;IACzB,wBAAwB,EAAE,EAAE,CAAC;CAC9B,CAAC;AAEF,wBAAsB,+BAA+B,CAAC,cAAc,EAAE,MAAM,eAe3E"}

package/dest/contract/contract_class_id.js

@@ -1,4 +1,4 @@
-import { GeneratorIndex, MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS } from '@aztec/constants';
+import { DomainSeparator, MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS } from '@aztec/constants';
 import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
 import { Fr } from '@aztec/foundation/curves/bn254';
 import { strict as assert } from 'assert';
@@ -9,10 +9,10 @@ import { computePrivateFunctionsRoot } from './private_function.js';
  *
  * ```
  * version = 1
- * private_function_leaves = private_functions.map(fn => pedersen([fn.function_selector as Field, fn.vk_hash], GENERATOR__FUNCTION_LEAF))
+ * private_function_leaves = private_functions.map(fn => poseidon2(DOM_SEP__PRIVATE_FUNCTION_LEAF, [fn.function_selector as Field, fn.vk_hash]))
  * private_functions_root = merkleize(private_function_leaves)
  * bytecode_commitment = calculate_commitment(packed_bytecode)
- * contract_class_id = pedersen([version, artifact_hash, private_functions_root, bytecode_commitment], GENERATOR__CLASS_IDENTIFIER)
+ * contract_class_id = poseidon2(DOM_SEP__CONTRACT_CLASS_ID, [version, artifact_hash, private_functions_root, bytecode_commitment])
  * ```
  * @param contractClass - Contract class.
  * @returns The identifier.
@@ -27,7 +27,7 @@ import { computePrivateFunctionsRoot } from './private_function.js';
         artifactHash,
         privateFunctionsRoot,
         publicBytecodeCommitment
-    ], GeneratorIndex.CONTRACT_CLASS_ID);
+    ], DomainSeparator.CONTRACT_CLASS_ID);
     return {
         id,
         artifactHash,
@@ -45,12 +45,13 @@ import { computePrivateFunctionsRoot } from './private_function.js';
     };
 }
 export async function computePublicBytecodeCommitment(packedBytecode) {
-    // Encode the buffer into field elements (chunked into 32 bytes each)
+    // Encode the buffer into field elements (chunked into 31 bytes each)
     // The first element is the length of the bytecode (in bytes)
     const [bytecodeLengthAsField, ...bytecodeAsFields] = bufferAsFields(packedBytecode, MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS);
     const bytecodeLength = Math.ceil(bytecodeLengthAsField.toNumber() / (Fr.SIZE_IN_BYTES - 1));
     assert(bytecodeLength < MAX_PACKED_PUBLIC_BYTECODE_SIZE_IN_FIELDS, 'Bytecode exceeds maximum deployable size');
     // NOTE: hash the bytecode here only up to the actual length of the bytecode.
     // We do not hash the entire max bytecode length!
-    return await poseidon2HashWithSeparator(bytecodeAsFields.slice(0, bytecodeLength), GeneratorIndex.PUBLIC_BYTECODE);
+    const sep = BigInt(DomainSeparator.PUBLIC_BYTECODE) + (bytecodeLengthAsField.toBigInt() << 32n);
+    return await poseidon2HashWithSeparator(bytecodeAsFields.slice(0, bytecodeLength), new Fr(sep).toNumber());
 }

package/dest/contract/index.d.ts

@@ -6,11 +6,9 @@ export * from './contract_deployment_data.js';
 export * from './contract_instance.js';
 export * from './contract_instance_update.js';
 export * from './private_function.js';
-export * from './private_function_membership_proof.js';
-export * from './utility_function_membership_proof.js';
 export * from './interfaces/index.js';
 export * from './contract_function_dao.js';
 export * from './partial_address.js';
 export * from './deployment_info.js';
 export * from './complete_address.js';
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdC9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLG9CQUFvQixDQUFDO0FBQ25DLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyxxQkFBcUIsQ0FBQztBQUNwQyxjQUFjLHdCQUF3QixDQUFDO0FBQ3ZDLGNBQWMsK0JBQStCLENBQUM7QUFDOUMsY0FBYyx3QkFBd0IsQ0FBQztBQUN2QyxjQUFjLCtCQUErQixDQUFDO0FBQzlDLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyx3Q0FBd0MsQ0FBQztBQUN2RCxjQUFjLHdDQUF3QyxDQUFDO0FBQ3ZELGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyw0QkFBNEIsQ0FBQztBQUMzQyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsc0JBQXNCLENBQUM7QUFDckMsY0FBYyx1QkFBdUIsQ0FBQyJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9jb250cmFjdC9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLG9CQUFvQixDQUFDO0FBQ25DLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyxxQkFBcUIsQ0FBQztBQUNwQyxjQUFjLHdCQUF3QixDQUFDO0FBQ3ZDLGNBQWMsK0JBQStCLENBQUM7QUFDOUMsY0FBYyx3QkFBd0IsQ0FBQztBQUN2QyxjQUFjLCtCQUErQixDQUFDO0FBQzlDLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyx1QkFBdUIsQ0FBQztBQUN0QyxjQUFjLDRCQUE0QixDQUFDO0FBQzNDLGNBQWMsc0JBQXNCLENBQUM7QUFDckMsY0FBYyxzQkFBc0IsQ0FBQztBQUNyQyxjQUFjLHVCQUF1QixDQUFDIn0=

package/dest/contract/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/contract/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,uBAAuB,CAAC;AACtC,cAAc,qBAAqB,CAAC;AACpC,cAAc,wBAAwB,CAAC;AACvC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,uBAAuB,CAAC;AACtC,cAAc,wCAAwC,CAAC;AACvD,cAAc,wCAAwC,CAAC;AACvD,cAAc,uBAAuB,CAAC;AACtC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/contract/index.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,cAAc,uBAAuB,CAAC;AACtC,cAAc,qBAAqB,CAAC;AACpC,cAAc,wBAAwB,CAAC;AACvC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,uBAAuB,CAAC;AACtC,cAAc,uBAAuB,CAAC;AACtC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,sBAAsB,CAAC;AACrC,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC"}

package/dest/contract/index.js

@@ -6,8 +6,6 @@ export * from './contract_deployment_data.js';
 export * from './contract_instance.js';
 export * from './contract_instance_update.js';
 export * from './private_function.js';
-export * from './private_function_membership_proof.js';
-export * from './utility_function_membership_proof.js';
 export * from './interfaces/index.js';
 export * from './contract_function_dao.js';
 export * from './partial_address.js';

package/dest/contract/interfaces/contract_class.d.ts

@@ -28,40 +28,6 @@ export interface PrivateFunction {
     /** Hash of the verification key associated to this private function. */
     vkHash: Fr;
 }
-/** Private function definition with executable bytecode. */
-export interface ExecutablePrivateFunction extends PrivateFunction {
-    /** ACIR and Brillig bytecode */
-    bytecode: Buffer;
-}
-/** Utility function definition. */
-export interface UtilityFunction {
-    /** Selector of the function. Calculated as the hash of the method name and parameters. The specification of this is not enforced by the protocol. */
-    selector: FunctionSelector;
-    /** Brillig. */
-    bytecode: Buffer;
-}
-/** Sibling paths and sibling commitments for proving membership of a private function within a contract class. */
-export type PrivateFunctionMembershipProof = {
-    artifactMetadataHash: Fr;
-    functionMetadataHash: Fr;
-    utilityFunctionsTreeRoot: Fr;
-    privateFunctionTreeSiblingPath: Fr[];
-    privateFunctionTreeLeafIndex: number;
-    artifactTreeSiblingPath: Fr[];
-    artifactTreeLeafIndex: number;
-};
-/** A private function with a membership proof. */
-export type ExecutablePrivateFunctionWithMembershipProof = ExecutablePrivateFunction & PrivateFunctionMembershipProof;
-/** Sibling paths and commitments for proving membership of a utility  function within a contract class. */
-export type UtilityFunctionMembershipProof = {
-    artifactMetadataHash: Fr;
-    functionMetadataHash: Fr;
-    privateFunctionsArtifactTreeRoot: Fr;
-    artifactTreeSiblingPath: Fr[];
-    artifactTreeLeafIndex: number;
-};
-/** A utility function with a membership proof. */
-export type UtilityFunctionWithMembershipProof = UtilityFunction & UtilityFunctionMembershipProof;
 export declare const ContractClassSchema: z.ZodObject<{
     version: z.ZodLiteral<1>;
     artifactHash: z.ZodType<Fr, any, string>;
@@ -139,137 +105,18 @@ export declare const ContractClassWithIdSchema: z.ZodObject<{
     packedBytecode?: any;
     id: string;
 }>;
-/** A contract class with public bytecode information, and optional private and utility functions. */
-export type ContractClassPublic = {
-    privateFunctions: ExecutablePrivateFunctionWithMembershipProof[];
-    utilityFunctions: UtilityFunctionWithMembershipProof[];
-} & Pick<ContractClassCommitments, 'id' | 'privateFunctionsRoot'> & Omit<ContractClass, 'privateFunctions'>;
+/** A contract class with public bytecode information. */
+export type ContractClassPublic = Pick<ContractClassCommitments, 'id' | 'privateFunctionsRoot'> & Omit<ContractClass, 'privateFunctions'>;
 export type ContractClassPublicWithCommitment = ContractClassPublic & Pick<ContractClassCommitments, 'publicBytecodeCommitment'>;
 export declare const ContractClassPublicSchema: z.ZodIntersection<z.ZodObject<{
     id: z.ZodType<Fr, any, string>;
     privateFunctionsRoot: z.ZodType<Fr, any, string>;
-    privateFunctions: z.ZodArray<z.ZodIntersection<z.ZodIntersection<z.ZodObject<{
-        selector: import("@aztec/foundation/schemas").ZodFor<FunctionSelector>;
-        vkHash: z.ZodType<Fr, any, string>;
-    }, "strip", z.ZodTypeAny, {
-        selector: FunctionSelector;
-        vkHash: Fr;
-    }, {
-        selector?: any;
-        vkHash: string;
-    }>, z.ZodObject<{
-        bytecode: import("@aztec/foundation/schemas").ZodFor<Buffer<ArrayBufferLike>>;
-    }, "strip", z.ZodTypeAny, {
-        bytecode: Buffer<ArrayBufferLike>;
-    }, {
-        bytecode?: any;
-    }>>, z.ZodObject<{
-        artifactMetadataHash: z.ZodType<Fr, any, string>;
-        functionMetadataHash: z.ZodType<Fr, any, string>;
-        utilityFunctionsTreeRoot: z.ZodType<Fr, any, string>;
-        privateFunctionTreeSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-        privateFunctionTreeLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-        artifactTreeSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-        artifactTreeLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-    }, "strip", z.ZodTypeAny, {
-        artifactMetadataHash: Fr;
-        functionMetadataHash: Fr;
-        utilityFunctionsTreeRoot: Fr;
-        privateFunctionTreeSiblingPath: Fr[];
-        privateFunctionTreeLeafIndex: number;
-        artifactTreeSiblingPath: Fr[];
-        artifactTreeLeafIndex: number;
-    }, {
-        artifactMetadataHash: string;
-        functionMetadataHash: string;
-        utilityFunctionsTreeRoot: string;
-        privateFunctionTreeSiblingPath: string[];
-        privateFunctionTreeLeafIndex: string | number | bigint;
-        artifactTreeSiblingPath: string[];
-        artifactTreeLeafIndex: string | number | bigint;
-    }>>, "many">;
-    utilityFunctions: z.ZodArray<z.ZodIntersection<z.ZodObject<{
-        selector: import("@aztec/foundation/schemas").ZodFor<FunctionSelector>;
-        bytecode: import("@aztec/foundation/schemas").ZodFor<Buffer<ArrayBufferLike>>;
-    }, "strip", z.ZodTypeAny, {
-        selector: FunctionSelector;
-        bytecode: Buffer<ArrayBufferLike>;
-    }, {
-        selector?: any;
-        bytecode?: any;
-    }>, z.ZodObject<{
-        artifactMetadataHash: z.ZodType<Fr, any, string>;
-        functionMetadataHash: z.ZodType<Fr, any, string>;
-        privateFunctionsArtifactTreeRoot: z.ZodType<Fr, any, string>;
-        artifactTreeSiblingPath: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
-        artifactTreeLeafIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
-    }, "strip", z.ZodTypeAny, {
-        artifactMetadataHash: Fr;
-        functionMetadataHash: Fr;
-        privateFunctionsArtifactTreeRoot: Fr;
-        artifactTreeSiblingPath: Fr[];
-        artifactTreeLeafIndex: number;
-    }, {
-        artifactMetadataHash: string;
-        functionMetadataHash: string;
-        privateFunctionsArtifactTreeRoot: string;
-        artifactTreeSiblingPath: string[];
-        artifactTreeLeafIndex: string | number | bigint;
-    }>>, "many">;
 }, "strip", z.ZodTypeAny, {
     id: Fr;
     privateFunctionsRoot: Fr;
-    privateFunctions: ({
-        selector: FunctionSelector;
-        vkHash: Fr;
-    } & {
-        bytecode: Buffer<ArrayBufferLike>;
-    } & {
-        artifactMetadataHash: Fr;
-        functionMetadataHash: Fr;
-        utilityFunctionsTreeRoot: Fr;
-        privateFunctionTreeSiblingPath: Fr[];
-        privateFunctionTreeLeafIndex: number;
-        artifactTreeSiblingPath: Fr[];
-        artifactTreeLeafIndex: number;
-    })[];
-    utilityFunctions: ({
-        selector: FunctionSelector;
-        bytecode: Buffer<ArrayBufferLike>;
-    } & {
-        artifactMetadataHash: Fr;
-        functionMetadataHash: Fr;
-        privateFunctionsArtifactTreeRoot: Fr;
-        artifactTreeSiblingPath: Fr[];
-        artifactTreeLeafIndex: number;
-    })[];
 }, {
     id: string;
     privateFunctionsRoot: string;
-    privateFunctions: ({
-        selector?: any;
-        vkHash: string;
-    } & {
-        bytecode?: any;
-    } & {
-        artifactMetadataHash: string;
-        functionMetadataHash: string;
-        utilityFunctionsTreeRoot: string;
-        privateFunctionTreeSiblingPath: string[];
-        privateFunctionTreeLeafIndex: string | number | bigint;
-        artifactTreeSiblingPath: string[];
-        artifactTreeLeafIndex: string | number | bigint;
-    })[];
-    utilityFunctions: ({
-        selector?: any;
-        bytecode?: any;
-    } & {
-        artifactMetadataHash: string;
-        functionMetadataHash: string;
-        privateFunctionsArtifactTreeRoot: string;
-        artifactTreeSiblingPath: string[];
-        artifactTreeLeafIndex: string | number | bigint;
-    })[];
 }>, z.ZodObject<Omit<{
     version: z.ZodLiteral<1>;
     artifactHash: z.ZodType<Fr, any, string>;
@@ -305,4 +152,4 @@ export type ContractClassPublicWithBlockNumber = {
  */
 export declare function contractClassPublicFromPlainObject(obj: any): ContractClassPublic;
 export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3RfY2xhc3MuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250cmFjdC9pbnRlcmZhY2VzL2NvbnRyYWN0X2NsYXNzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRCxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRXRELFFBQUEsTUFBTSxPQUFPLEdBQWEsQ0FBQztBQUUzQjs7OztHQUlHO0FBQ0gsTUFBTSxXQUFXLGFBQWE7SUFDNUIscUNBQXFDO0lBQ3JDLE9BQU8sRUFBRSxPQUFPLE9BQU8sQ0FBQztJQUN4Qjs7OztPQUlHO0lBQ0gsWUFBWSxFQUFFLEVBQUUsQ0FBQztJQUNqQixtRUFBbUU7SUFDbkUsZ0JBQWdCLEVBQUUsZUFBZSxFQUFFLENBQUM7SUFDcEMsMkRBQTJEO0lBQzNELGNBQWMsRUFBRSxNQUFNLENBQUM7Q0FDeEI7QUFFRCwyREFBMkQ7QUFDM0QsTUFBTSxXQUFXLGVBQWU7SUFDOUIscUpBQXFKO0lBQ3JKLFFBQVEsRUFBRSxnQkFBZ0IsQ0FBQztJQUMzQix3RUFBd0U7SUFDeEUsTUFBTSxFQUFFLEVBQUUsQ0FBQztDQUNaO0FBU0QsNERBQTREO0FBQzVELE1BQU0sV0FBVyx5QkFBMEIsU0FBUSxlQUFlO0lBQ2hFLGdDQUFnQztJQUNoQyxRQUFRLEVBQUUsTUFBTSxDQUFDO0NBQ2xCO0FBTUQsbUNBQW1DO0FBQ25DLE1BQU0sV0FBVyxlQUFlO0lBQzlCLHFKQUFxSjtJQUNySixRQUFRLEVBQUUsZ0JBQWdCLENBQUM7SUFDM0IsZUFBZTtJQUNmLFFBQVEsRUFBRSxNQUFNLENBQUM7Q0FDbEI7QUFTRCxrSEFBa0g7QUFDbEgsTUFBTSxNQUFNLDhCQUE4QixHQUFHO0lBQzNDLG9CQUFvQixFQUFFLEVBQUUsQ0FBQztJQUN6QixvQkFBb0IsRUFBRSxFQUFFLENBQUM7SUFDekIsd0JBQXdCLEVBQUUsRUFBRSxDQUFDO0lBQzdCLDhCQUE4QixFQUFFLEVBQUUsRUFBRSxDQUFDO0lBQ3JDLDRCQUE0QixFQUFFLE1BQU0sQ0FBQztJQUNyQyx1QkFBdUIsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUM5QixxQkFBcUIsRUFBRSxNQUFNLENBQUM7Q0FDL0IsQ0FBQztBQWNGLGtEQUFrRDtBQUNsRCxNQUFNLE1BQU0sNENBQTRDLEdBQUcseUJBQXlCLEdBQUcsOEJBQThCLENBQUM7QUFFdEgsMkdBQTJHO0FBQzNHLE1BQU0sTUFBTSw4QkFBOEIsR0FBRztJQUMzQyxvQkFBb0IsRUFBRSxFQUFFLENBQUM7SUFDekIsb0JBQW9CLEVBQUUsRUFBRSxDQUFDO0lBQ3pCLGdDQUFnQyxFQUFFLEVBQUUsQ0FBQztJQUNyQyx1QkFBdUIsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUM5QixxQkFBcUIsRUFBRSxNQUFNLENBQUM7Q0FDL0IsQ0FBQztBQVlGLGtEQUFrRDtBQUNsRCxNQUFNLE1BQU0sa0NBQWtDLEdBQUcsZUFBZSxHQUFHLDhCQUE4QixDQUFDO0FBRWxHLGVBQU8sTUFBTSxtQkFBbUI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztFQU8vQixDQUFDO0FBRUYsaURBQWlEO0FBQ2pELFVBQVUsd0JBQXdCO0lBQ2hDLHdDQUF3QztJQUN4QyxFQUFFLEVBQUUsRUFBRSxDQUFDO0lBQ1AseUNBQXlDO0lBQ3pDLHdCQUF3QixFQUFFLEVBQUUsQ0FBQztJQUM3QiwwQ0FBMEM7SUFDMUMsb0JBQW9CLEVBQUUsRUFBRSxDQUFDO0NBQzFCO0FBRUQsZ0RBQWdEO0FBQ2hELE1BQU0sTUFBTSxtQkFBbUIsR0FBRyxhQUFhLEdBQUcsSUFBSSxDQUFDLHdCQUF3QixFQUFFLElBQUksQ0FBQyxDQUFDO0FBRXZGLGVBQU8sTUFBTSx5QkFBeUI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7RUFJckMsQ0FBQztBQUVGLHFHQUFxRztBQUNyRyxNQUFNLE1BQU0sbUJBQW1CLEdBQUc7SUFDaEMsZ0JBQWdCLEVBQUUsNENBQTRDLEVBQUUsQ0FBQztJQUNqRSxnQkFBZ0IsRUFBRSxrQ0FBa0MsRUFBRSxDQUFDO0NBQ3hELEdBQUcsSUFBSSxDQUFDLHdCQUF3QixFQUFFLElBQUksR0FBRyxzQkFBc0IsQ0FBQyxHQUMvRCxJQUFJLENBQUMsYUFBYSxFQUFFLGtCQUFrQixDQUFDLENBQUM7QUFFMUMsTUFBTSxNQUFNLGlDQUFpQyxHQUFHLG1CQUFtQixHQUNqRSxJQUFJLENBQUMsd0JBQXdCLEVBQUUsMEJBQTBCLENBQUMsQ0FBQztBQUU3RCxlQUFPLE1BQU0seUJBQXlCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7R0FTckMsQ0FBQztBQUVGLHFFQUFxRTtBQUNyRSxNQUFNLE1BQU0sa0NBQWtDLEdBQUc7SUFBRSxhQUFhLEVBQUUsTUFBTSxDQUFBO0NBQUUsR0FBRyxtQkFBbUIsQ0FBQztBQUVqRzs7Ozs7R0FLRztBQUNILHdCQUFnQixrQ0FBa0MsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLG1CQUFtQixDQVVoRiJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3RfY2xhc3MuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9jb250cmFjdC9pbnRlcmZhY2VzL2NvbnRyYWN0X2NsYXNzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRCxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRXRELFFBQUEsTUFBTSxPQUFPLEdBQWEsQ0FBQztBQUUzQjs7OztHQUlHO0FBQ0gsTUFBTSxXQUFXLGFBQWE7SUFDNUIscUNBQXFDO0lBQ3JDLE9BQU8sRUFBRSxPQUFPLE9BQU8sQ0FBQztJQUN4Qjs7OztPQUlHO0lBQ0gsWUFBWSxFQUFFLEVBQUUsQ0FBQztJQUNqQixtRUFBbUU7SUFDbkUsZ0JBQWdCLEVBQUUsZUFBZSxFQUFFLENBQUM7SUFDcEMsMkRBQTJEO0lBQzNELGNBQWMsRUFBRSxNQUFNLENBQUM7Q0FDeEI7QUFFRCwyREFBMkQ7QUFDM0QsTUFBTSxXQUFXLGVBQWU7SUFDOUIscUpBQXFKO0lBQ3JKLFFBQVEsRUFBRSxnQkFBZ0IsQ0FBQztJQUMzQix3RUFBd0U7SUFDeEUsTUFBTSxFQUFFLEVBQUUsQ0FBQztDQUNaO0FBU0QsZUFBTyxNQUFNLG1CQUFtQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0VBTy9CLENBQUM7QUFFRixpREFBaUQ7QUFDakQsVUFBVSx3QkFBd0I7SUFDaEMsd0NBQXdDO0lBQ3hDLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDUCx5Q0FBeUM7SUFDekMsd0JBQXdCLEVBQUUsRUFBRSxDQUFDO0lBQzdCLDBDQUEwQztJQUMxQyxvQkFBb0IsRUFBRSxFQUFFLENBQUM7Q0FDMUI7QUFFRCxnREFBZ0Q7QUFDaEQsTUFBTSxNQUFNLG1CQUFtQixHQUFHLGFBQWEsR0FBRyxJQUFJLENBQUMsd0JBQXdCLEVBQUUsSUFBSSxDQUFDLENBQUM7QUFFdkYsZUFBTyxNQUFNLHlCQUF5Qjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztFQUlyQyxDQUFDO0FBRUYseURBQXlEO0FBQ3pELE1BQU0sTUFBTSxtQkFBbUIsR0FBRyxJQUFJLENBQUMsd0JBQXdCLEVBQUUsSUFBSSxHQUFHLHNCQUFzQixDQUFDLEdBQzdGLElBQUksQ0FBQyxhQUFhLEVBQUUsa0JBQWtCLENBQUMsQ0FBQztBQUUxQyxNQUFNLE1BQU0saUNBQWlDLEdBQUcsbUJBQW1CLEdBQ2pFLElBQUksQ0FBQyx3QkFBd0IsRUFBRSwwQkFBMEIsQ0FBQyxDQUFDO0FBRTdELGVBQU8sTUFBTSx5QkFBeUI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7R0FPckMsQ0FBQztBQUVGLHFFQUFxRTtBQUNyRSxNQUFNLE1BQU0sa0NBQWtDLEdBQUc7SUFBRSxhQUFhLEVBQUUsTUFBTSxDQUFBO0NBQUUsR0FBRyxtQkFBbUIsQ0FBQztBQUVqRzs7Ozs7R0FLRztBQUNILHdCQUFnQixrQ0FBa0MsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLG1CQUFtQixDQVFoRiJ9