@aztec/stdlib 0.0.0-test.1 → 0.0.1-commit.b655e406

package/dest/contract/interfaces/contract_instance_update.js

@@ -3,7 +3,7 @@ import { schemas } from '../../schemas/index.js';
 export const ContractInstanceUpdateSchema = z.object({
     prevContractClassId: schemas.Fr,
     newContractClassId: schemas.Fr,
-    blockOfChange: z.number().int().nonnegative()
+    timestampOfChange: schemas.BigInt
 });
 export const ContractInstanceUpdateWithAddressSchema = ContractInstanceUpdateSchema.and(z.object({
     address: schemas.AztecAddress

package/dest/contract/interfaces/node-info.d.ts

@@ -7,8 +7,8 @@ export interface NodeInfo {
     nodeVersion: string;
     /** L1 chain id. */
     l1ChainId: number;
-    /** Protocol version. */
-    protocolVersion: number;
+    /** Rollup version. */
+    rollupVersion: number;
     /** The node's ENR. */
     enr: string | undefined;
     /** The deployed l1 contract addresses */

package/dest/contract/interfaces/node-info.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"node-info.d.ts","sourceRoot":"","sources":["../../../src/contract/interfaces/node-info.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,mBAAmB,EAA6B,MAAM,uCAAuC,CAAC;AAC5G,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAIxD,OAAO,EAAE,KAAK,yBAAyB,EAAmC,MAAM,kCAAkC,CAAC;AAEnH,yDAAyD;AACzD,MAAM,WAAW,QAAQ;IACvB,2DAA2D;IAC3D,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,wBAAwB;IACxB,eAAe,EAAE,MAAM,CAAC;IACxB,sBAAsB;IACtB,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;IACxB,yCAAyC;IACzC,mBAAmB,EAAE,mBAAmB,CAAC;IACzC,kCAAkC;IAClC,yBAAyB,EAAE,yBAAyB,CAAC;CACtD;AAED,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,QAAQ,CASK,CAAC"}
+{"version":3,"file":"node-info.d.ts","sourceRoot":"","sources":["../../../src/contract/interfaces/node-info.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,mBAAmB,EAA6B,MAAM,uCAAuC,CAAC;AAC5G,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,2BAA2B,CAAC;AAIxD,OAAO,EAAE,KAAK,yBAAyB,EAAmC,MAAM,kCAAkC,CAAC;AAEnH,yDAAyD;AACzD,MAAM,WAAW,QAAQ;IACvB,2DAA2D;IAC3D,WAAW,EAAE,MAAM,CAAC;IACpB,mBAAmB;IACnB,SAAS,EAAE,MAAM,CAAC;IAClB,sBAAsB;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,sBAAsB;IACtB,GAAG,EAAE,MAAM,GAAG,SAAS,CAAC;IACxB,yCAAyC;IACzC,mBAAmB,EAAE,mBAAmB,CAAC;IACzC,kCAAkC;IAClC,yBAAyB,EAAE,yBAAyB,CAAC;CACtD;AAED,eAAO,MAAM,cAAc,EAAE,MAAM,CAAC,QAAQ,CASK,CAAC"}

package/dest/contract/interfaces/node-info.js

@@ -4,7 +4,7 @@ import { ProtocolContractAddressesSchema } from './protocol_contract_addresses.j
 export const NodeInfoSchema = z.object({
     nodeVersion: z.string(),
     l1ChainId: z.number().int().nonnegative(),
-    protocolVersion: z.number().int().nonnegative(),
+    rollupVersion: z.number().int().nonnegative(),
     enr: z.string().optional(),
     l1ContractAddresses: L1ContractAddressesSchema,
     protocolContractAddresses: ProtocolContractAddressesSchema

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

@@ -1,26 +1,26 @@
 import { z } from 'zod';
 import type { AztecAddress } from '../../aztec-address/index.js';
-export declare const ProtocolContractsNames: readonly ["classRegisterer", "feeJuice", "instanceDeployer", "multiCallEntrypoint"];
+export declare const ProtocolContractsNames: readonly ["classRegistry", "feeJuice", "instanceRegistry", "multiCallEntrypoint"];
 export type ProtocolContractAddresses = {
-    classRegisterer: AztecAddress;
+    classRegistry: AztecAddress;
     feeJuice: AztecAddress;
-    instanceDeployer: AztecAddress;
+    instanceRegistry: AztecAddress;
     multiCallEntrypoint: AztecAddress;
 };
 export declare const ProtocolContractAddressesSchema: z.ZodObject<{
-    classRegisterer: import("../../schemas/index.js").ZodFor<AztecAddress>;
+    classRegistry: import("../../schemas/index.js").ZodFor<AztecAddress>;
     feeJuice: import("../../schemas/index.js").ZodFor<AztecAddress>;
-    instanceDeployer: import("../../schemas/index.js").ZodFor<AztecAddress>;
+    instanceRegistry: import("../../schemas/index.js").ZodFor<AztecAddress>;
     multiCallEntrypoint: import("../../schemas/index.js").ZodFor<AztecAddress>;
 }, "strip", z.ZodTypeAny, {
-    classRegisterer: AztecAddress;
+    classRegistry: AztecAddress;
     feeJuice: AztecAddress;
-    instanceDeployer: AztecAddress;
+    instanceRegistry: AztecAddress;
     multiCallEntrypoint: AztecAddress;
 }, {
-    classRegisterer?: any;
+    classRegistry?: any;
     feeJuice?: any;
-    instanceDeployer?: any;
+    instanceRegistry?: any;
     multiCallEntrypoint?: any;
 }>;
 //# sourceMappingURL=protocol_contract_addresses.d.ts.map

package/dest/contract/interfaces/protocol_contract_addresses.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"protocol_contract_addresses.d.ts","sourceRoot":"","sources":["../../../src/contract/interfaces/protocol_contract_addresses.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAGjE,eAAO,MAAM,sBAAsB,qFAKzB,CAAC;AAEX,MAAM,MAAM,yBAAyB,GAAG;IACtC,eAAe,EAAE,YAAY,CAAC;IAC9B,QAAQ,EAAE,YAAY,CAAC;IACvB,gBAAgB,EAAE,YAAY,CAAC;IAC/B,mBAAmB,EAAE,YAAY,CAAC;CACnC,CAAC;AAEF,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;EAK1C,CAAC"}
+{"version":3,"file":"protocol_contract_addresses.d.ts","sourceRoot":"","sources":["../../../src/contract/interfaces/protocol_contract_addresses.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,8BAA8B,CAAC;AAGjE,eAAO,MAAM,sBAAsB,mFAAoF,CAAC;AAExH,MAAM,MAAM,yBAAyB,GAAG;IACtC,aAAa,EAAE,YAAY,CAAC;IAC5B,QAAQ,EAAE,YAAY,CAAC;IACvB,gBAAgB,EAAE,YAAY,CAAC;IAC/B,mBAAmB,EAAE,YAAY,CAAC;CACnC,CAAC;AAEF,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;EAK1C,CAAC"}

package/dest/contract/interfaces/protocol_contract_addresses.js

@@ -1,14 +1,14 @@
 import { z } from 'zod';
 import { schemas } from '../../schemas/index.js';
 export const ProtocolContractsNames = [
-    'classRegisterer',
+    'classRegistry',
     'feeJuice',
-    'instanceDeployer',
+    'instanceRegistry',
     'multiCallEntrypoint'
 ];
 export const ProtocolContractAddressesSchema = z.object({
-    classRegisterer: schemas.AztecAddress,
+    classRegistry: schemas.AztecAddress,
     feeJuice: schemas.AztecAddress,
-    instanceDeployer: schemas.AztecAddress,
+    instanceRegistry: schemas.AztecAddress,
     multiCallEntrypoint: schemas.AztecAddress
 });

package/dest/contract/private_function.d.ts

@@ -1,5 +1,3 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { Fr } from '@aztec/foundation/fields';
 import { type MerkleTree } from '@aztec/foundation/trees';
 import type { PrivateFunction } from './interfaces/contract_class.js';

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

@@ -1 +1 @@
-{"version":3,"file":"private_function.d.ts","sourceRoot":"","sources":["../../src/contract/private_function.ts"],"names":[],"mappings":";;AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,UAAU,EAAwB,MAAM,yBAAyB,CAAC;AAEhF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAOtE,4EAA4E;AAC5E,wBAAsB,2BAA2B,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAI7F;AAED,mFAAmF;AACnF,wBAAsB,2BAA2B,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAIrF;AAOD,qDAAqD;AACrD,wBAAsB,0BAA0B,CAAC,EAAE,EAAE,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,CAErF"}
+{"version":3,"file":"private_function.d.ts","sourceRoot":"","sources":["../../src/contract/private_function.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,UAAU,EAAwB,MAAM,yBAAyB,CAAC;AAEhF,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AAOtE,4EAA4E;AAC5E,wBAAsB,2BAA2B,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC,UAAU,CAAC,CAI7F;AAED,mFAAmF;AACnF,wBAAsB,2BAA2B,CAAC,GAAG,EAAE,eAAe,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAIrF;AAOD,qDAAqD;AACrD,wBAAsB,0BAA0B,CAAC,EAAE,EAAE,eAAe,GAAG,OAAO,CAAC,MAAM,CAAC,CAErF"}

package/dest/contract/private_function_membership_proof.d.ts

@@ -7,7 +7,7 @@ import type { ContractClassPublic, ExecutablePrivateFunctionWithMembershipProof,
  */
 export declare function createPrivateFunctionMembershipProof(selector: FunctionSelector, artifact: ContractArtifact): Promise<PrivateFunctionMembershipProof>;
 /**
- * Verifies that a private function with a membership proof as emitted by the ClassRegisterer contract is valid,
+ * Verifies that a private function with a membership proof as emitted by the ClassRegistry contract is valid,
  * as defined in the protocol specs at contract-deployment/classes:
  *
  * ```
@@ -22,7 +22,7 @@ export declare function createPrivateFunctionMembershipProof(selector: FunctionS
  * // Compute artifact leaf and assert it belongs to the artifact
  * artifact_function_leaf = sha256(selector, metadata_hash, sha256(bytecode))
  * computed_artifact_private_function_tree_root = compute_root(artifact_function_leaf, artifact_function_tree_sibling_path)
- * computed_artifact_hash = sha256(computed_artifact_private_function_tree_root, unconstrained_functions_artifact_tree_root, artifact_metadata_hash)
+ * computed_artifact_hash = sha256(computed_artifact_private_function_tree_root, utility_functions_artifact_tree_root, artifact_metadata_hash)
  * assert computed_artifact_hash == contract_class.artifact_hash
  * ```
  * @param fn - Function to check membership proof for.

package/dest/contract/private_function_membership_proof.js

@@ -25,7 +25,7 @@ import { computePrivateFunctionLeaf, computePrivateFunctionsTree } from './priva
         throw new Error(`Private function with selector ${selector.toString()} not found`);
     }
     // Compute preimage for the artifact hash
-    const { unconstrainedFunctionRoot: unconstrainedFunctionsArtifactTreeRoot, metadataHash: artifactMetadataHash } = await computeArtifactHashPreimage(artifact);
+    const { utilityFunctionRoot: utilityFunctionsTreeRoot, metadataHash: artifactMetadataHash } = await computeArtifactHashPreimage(artifact);
     // We need two sibling paths because private function information is split across two trees:
     // The "private function tree" captures the selectors and verification keys, and is used in the kernel circuit for verifying the proof generated by the app circuit.
     const functionLeaf = await computePrivateFunctionLeaf(privateFunction);
@@ -47,7 +47,7 @@ import { computePrivateFunctionLeaf, computePrivateFunctionsTree } from './priva
         functionLeaf: '0x' + functionLeaf.toString('hex'),
         artifactMetadataHash,
         privateFunctionsTreeRoot: '0x' + functionsTree.root.toString('hex'),
-        unconstrainedFunctionsArtifactTreeRoot,
+        utilityFunctionsTreeRoot,
         artifactFunctionTreeSiblingPath: artifactTreeSiblingPath.map((fr)=>fr.toString()).join(','),
         privateFunctionTreeSiblingPath: functionsTreeSiblingPath.map((fr)=>fr.toString()).join(',')
     });
@@ -56,13 +56,13 @@ import { computePrivateFunctionLeaf, computePrivateFunctionsTree } from './priva
         artifactTreeLeafIndex,
         artifactMetadataHash,
         functionMetadataHash,
-        unconstrainedFunctionsArtifactTreeRoot,
+        utilityFunctionsTreeRoot,
         privateFunctionTreeSiblingPath: functionsTreeSiblingPath,
         privateFunctionTreeLeafIndex: functionsTreeLeafIndex
     };
 }
 /**
- * Verifies that a private function with a membership proof as emitted by the ClassRegisterer contract is valid,
+ * Verifies that a private function with a membership proof as emitted by the ClassRegistry contract is valid,
  * as defined in the protocol specs at contract-deployment/classes:
  *
  * ```
@@ -77,7 +77,7 @@ import { computePrivateFunctionLeaf, computePrivateFunctionsTree } from './priva
  * // Compute artifact leaf and assert it belongs to the artifact
  * artifact_function_leaf = sha256(selector, metadata_hash, sha256(bytecode))
  * computed_artifact_private_function_tree_root = compute_root(artifact_function_leaf, artifact_function_tree_sibling_path)
- * computed_artifact_hash = sha256(computed_artifact_private_function_tree_root, unconstrained_functions_artifact_tree_root, artifact_metadata_hash)
+ * computed_artifact_hash = sha256(computed_artifact_private_function_tree_root, utility_functions_artifact_tree_root, artifact_metadata_hash)
  * assert computed_artifact_hash == contract_class.artifact_hash
  * ```
  * @param fn - Function to check membership proof for.
@@ -105,7 +105,7 @@ import { computePrivateFunctionLeaf, computePrivateFunctionsTree } from './priva
     const computedArtifactPrivateFunctionTreeRoot = Fr.fromBuffer(computedArtifactPrivateFunctionTreeRootBuffer);
     const computedArtifactHash = await computeArtifactHash({
         privateFunctionRoot: computedArtifactPrivateFunctionTreeRoot,
-        unconstrainedFunctionRoot: fn.unconstrainedFunctionsArtifactTreeRoot,
+        utilityFunctionRoot: fn.utilityFunctionsTreeRoot,
         metadataHash: fn.artifactMetadataHash
     });
     if (!contractClass.artifactHash.equals(computedArtifactHash)) {
@@ -114,7 +114,7 @@ import { computePrivateFunctionLeaf, computePrivateFunctionsTree } from './priva
             computedArtifactHash,
             computedFunctionArtifactHash: functionArtifactHash,
             computedArtifactPrivateFunctionTreeRoot,
-            unconstrainedFunctionRoot: fn.unconstrainedFunctionsArtifactTreeRoot,
+            utilityFunctionRoot: fn.utilityFunctionsTreeRoot,
             metadataHash: fn.artifactMetadataHash,
             artifactFunctionTreeSiblingPath: fn.artifactTreeSiblingPath.map((fr)=>fr.toString()).join(',')
         });

package/dest/contract/utility_function_membership_proof.d.ts

@@ -0,0 +1,27 @@
+import { type ContractArtifact, FunctionSelector } from '../abi/index.js';
+import type { ContractClassPublic, UtilityFunctionMembershipProof, UtilityFunctionWithMembershipProof } from './interfaces/index.js';
+/**
+ * Creates a membership proof for a utility  function in a contract class, to be verified via `isValidUtilityFunctionMembershipProof`.
+ * @param selector - Selector of the function to create the proof for.
+ * @param artifact - Artifact of the contract class where the function is defined.
+ */
+export declare function createUtilityFunctionMembershipProof(selector: FunctionSelector, artifact: ContractArtifact): Promise<UtilityFunctionMembershipProof>;
+/**
+ * Verifies that a utility  function with a membership proof as emitted by the ClassRegistry contract is valid,
+ * as defined in the protocol specs at contract-deployment/classes:
+ *
+ * ```
+ * // Load contract class from local db
+ * contract_class = db.get_contract_class(contract_class_id)
+ *
+ * // Compute artifact leaf and assert it belongs to the artifact
+ * artifact_function_leaf = sha256(selector, metadata_hash, sha256(bytecode))
+ * computed_artifact_utility_function_tree_root = compute_root(artifact_function_leaf, artifact_function_tree_sibling_path, artifact_function_tree_leaf_index)
+ * computed_artifact_hash = sha256(private_functions_artifact_tree_root, computed_artifact_utility_function_tree_root, artifact_metadata_hash)
+ * assert computed_artifact_hash == contract_class.artifact_hash
+ * ```
+ * @param fn - Function to check membership proof for.
+ * @param contractClass - In which contract class the function is expected to be.
+ */
+export declare function isValidUtilityFunctionMembershipProof(fn: UtilityFunctionWithMembershipProof, contractClass: Pick<ContractClassPublic, 'artifactHash'>): Promise<boolean>;
+//# sourceMappingURL=utility_function_membership_proof.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"utility_function_membership_proof.d.ts","sourceRoot":"","sources":["../../src/contract/utility_function_membership_proof.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,KAAK,gBAAgB,EAAE,gBAAgB,EAAgB,MAAM,iBAAiB,CAAC;AASxF,OAAO,KAAK,EACV,mBAAmB,EACnB,8BAA8B,EAC9B,kCAAkC,EACnC,MAAM,uBAAuB,CAAC;AAE/B;;;;GAIG;AACH,wBAAsB,oCAAoC,CACxD,QAAQ,EAAE,gBAAgB,EAC1B,QAAQ,EAAE,gBAAgB,GACzB,OAAO,CAAC,8BAA8B,CAAC,CAsCzC;AAED;;;;;;;;;;;;;;;;GAgBG;AACH,wBAAsB,qCAAqC,CACzD,EAAE,EAAE,kCAAkC,EACtC,aAAa,EAAE,IAAI,CAAC,mBAAmB,EAAE,cAAc,CAAC,oBA+BzD"}

package/dest/contract/{unconstrained_function_membership_proof.js → utility_function_membership_proof.js}

@@ -4,20 +4,20 @@ import { computeRootFromSiblingPath } from '@aztec/foundation/trees';
 import { FunctionSelector, FunctionType } from '../abi/index.js';
 import { computeArtifactFunctionTree, computeArtifactHash, computeArtifactHashPreimage, computeFunctionArtifactHash, computeFunctionMetadataHash, getArtifactMerkleTreeHasher } from './artifact_hash.js';
 /**
- * Creates a membership proof for an unconstrained function in a contract class, to be verified via `isValidUnconstrainedFunctionMembershipProof`.
+ * Creates a membership proof for a utility  function in a contract class, to be verified via `isValidUtilityFunctionMembershipProof`.
  * @param selector - Selector of the function to create the proof for.
  * @param artifact - Artifact of the contract class where the function is defined.
- */ export async function createUnconstrainedFunctionMembershipProof(selector, artifact) {
+ */ export async function createUtilityFunctionMembershipProof(selector, artifact) {
     const log = createLogger('circuits:function_membership_proof');
     // Locate function artifact
-    const uncontrainedFunctions = artifact.functions.filter((fn)=>fn.functionType === FunctionType.UNCONSTRAINED);
-    const unconstrainedFunctionsAndSelectors = await Promise.all(uncontrainedFunctions.map(async (fn)=>({
+    const utilityFunctions = artifact.functions.filter((fn)=>fn.functionType === FunctionType.UTILITY);
+    const utilityFunctionsAndSelectors = await Promise.all(utilityFunctions.map(async (fn)=>({
             fn,
             selector: await FunctionSelector.fromNameAndParameters(fn)
         })));
-    const fn = unconstrainedFunctionsAndSelectors.find((fnAndSelector)=>selector.equals(fnAndSelector.selector))?.fn;
+    const fn = utilityFunctionsAndSelectors.find((fnAndSelector)=>selector.equals(fnAndSelector.selector))?.fn;
     if (!fn) {
-        throw new Error(`Unconstrained function with selector ${selector.toString()} not found`);
+        throw new Error(`Utility function with selector ${selector.toString()} not found`);
     }
     // Compute preimage for the artifact hash
     const { privateFunctionRoot: privateFunctionsArtifactTreeRoot, metadataHash: artifactMetadataHash } = await computeArtifactHashPreimage(artifact);
@@ -27,10 +27,10 @@ import { computeArtifactFunctionTree, computeArtifactHash, computeArtifactHashPr
         ...fn,
         functionMetadataHash
     });
-    const artifactTree = await computeArtifactFunctionTree(artifact, FunctionType.UNCONSTRAINED);
+    const artifactTree = await computeArtifactFunctionTree(artifact, FunctionType.UTILITY);
     const artifactTreeLeafIndex = artifactTree.getIndex(functionArtifactHash.toBuffer());
     const artifactTreeSiblingPath = artifactTree.getSiblingPath(artifactTreeLeafIndex).map(Fr.fromBuffer);
-    log.debug(`Computed proof for unconstrained function with selector ${selector.toString()}`, {
+    log.debug(`Computed proof for utility function with selector ${selector.toString()}`, {
         functionArtifactHash,
         functionMetadataHash,
         artifactMetadataHash,
@@ -46,7 +46,7 @@ import { computeArtifactFunctionTree, computeArtifactHash, computeArtifactHashPr
     };
 }
 /**
- * Verifies that an unconstrained function with a membership proof as emitted by the ClassRegisterer contract is valid,
+ * Verifies that a utility  function with a membership proof as emitted by the ClassRegistry contract is valid,
  * as defined in the protocol specs at contract-deployment/classes:
  *
  * ```
@@ -55,20 +55,20 @@ import { computeArtifactFunctionTree, computeArtifactHash, computeArtifactHashPr
  *
  * // Compute artifact leaf and assert it belongs to the artifact
  * artifact_function_leaf = sha256(selector, metadata_hash, sha256(bytecode))
- * computed_artifact_unconstrained_function_tree_root = compute_root(artifact_function_leaf, artifact_function_tree_sibling_path, artifact_function_tree_leaf_index)
- * computed_artifact_hash = sha256(private_functions_artifact_tree_root, computed_artifact_unconstrained_function_tree_root, artifact_metadata_hash)
+ * computed_artifact_utility_function_tree_root = compute_root(artifact_function_leaf, artifact_function_tree_sibling_path, artifact_function_tree_leaf_index)
+ * computed_artifact_hash = sha256(private_functions_artifact_tree_root, computed_artifact_utility_function_tree_root, artifact_metadata_hash)
  * assert computed_artifact_hash == contract_class.artifact_hash
  * ```
  * @param fn - Function to check membership proof for.
  * @param contractClass - In which contract class the function is expected to be.
- */ export async function isValidUnconstrainedFunctionMembershipProof(fn, contractClass) {
+ */ export async function isValidUtilityFunctionMembershipProof(fn, contractClass) {
     const log = createLogger('circuits:function_membership_proof');
     const functionArtifactHash = await computeFunctionArtifactHash(fn);
     const computedArtifactFunctionTreeRootBuffer = await computeRootFromSiblingPath(functionArtifactHash.toBuffer(), fn.artifactTreeSiblingPath.map((fr)=>fr.toBuffer()), fn.artifactTreeLeafIndex, getArtifactMerkleTreeHasher());
     const computedArtifactFunctionTreeRoot = Fr.fromBuffer(computedArtifactFunctionTreeRootBuffer);
     const computedArtifactHash = await computeArtifactHash({
         privateFunctionRoot: fn.privateFunctionsArtifactTreeRoot,
-        unconstrainedFunctionRoot: computedArtifactFunctionTreeRoot,
+        utilityFunctionRoot: computedArtifactFunctionTreeRoot,
         metadataHash: fn.artifactMetadataHash
     });
     if (!contractClass.artifactHash.equals(computedArtifactHash)) {

package/dest/database-version/version_manager.d.ts

@@ -1,16 +1,21 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { EthAddress } from '@aztec/foundation/eth-address';
+import { type Logger } from '@aztec/foundation/log';
 import fs from 'fs/promises';
+import { inspect } from 'node:util';
 import { z } from 'zod';
 /**
  * Represents a version record for storing in a version file.
  */
 export declare class DatabaseVersion {
+    /** The version of the data on disk. Used to perform upgrades */
     readonly schemaVersion: number;
+    /** The rollup the data pertains to */
     readonly rollupAddress: EthAddress;
-    constructor(schemaVersion: number, rollupAddress: EthAddress);
+    constructor(
+    /** The version of the data on disk. Used to perform upgrades */
+    schemaVersion: number, 
+    /** The rollup the data pertains to */
+    rollupAddress: EthAddress);
     toBuffer(): Buffer;
     static fromBuffer(buf: Buffer): DatabaseVersion;
     /**
@@ -37,26 +42,39 @@ export declare class DatabaseVersion {
         rollupAddress: string;
         schemaVersion: number;
     }>;
+    /** Allows for better introspection. */
+    [inspect.custom](): string;
+    toString(): string;
     /**
      * Returns an empty instance
      */
     static empty(): DatabaseVersion;
 }
 export type DatabaseVersionManagerFs = Pick<typeof fs, 'readFile' | 'writeFile' | 'rm' | 'mkdir'>;
+export declare const DATABASE_VERSION_FILE_NAME = "db_version";
+export type DatabaseVersionManagerOptions<T> = {
+    schemaVersion: number;
+    rollupAddress: EthAddress;
+    dataDirectory: string;
+    onOpen: (dataDir: string) => Promise<T>;
+    onUpgrade?: (dataDir: string, currentVersion: number, latestVersion: number) => Promise<void>;
+    fileSystem?: DatabaseVersionManagerFs;
+    log?: Logger;
+};
 /**
  * A manager for handling database versioning and migrations.
  * This class will check the version of data in a directory and either
  * reset or upgrade based on version compatibility.
  */
 export declare class DatabaseVersionManager<T> {
+    static readonly VERSION_FILE = "db_version";
+    private readonly versionFile;
+    private readonly currentVersion;
     private dataDirectory;
     private onOpen;
     private onUpgrade?;
     private fileSystem;
     private log;
-    static readonly VERSION_FILE = "db_version";
-    private readonly versionFile;
-    private readonly currentVersion;
     /**
      * Create a new version manager
      *
@@ -69,7 +87,8 @@ export declare class DatabaseVersionManager<T> {
      * @param log - Optional custom logger
      * @param options - Configuration options
      */
-    constructor(schemaVersion: number, rollupAddress: EthAddress, dataDirectory: string, onOpen: (dataDir: string) => Promise<T>, onUpgrade?: ((dataDir: string, currentVersion: number, latestVersion: number) => Promise<void>) | undefined, fileSystem?: DatabaseVersionManagerFs, log?: import("@aztec/foundation/log").Logger);
+    constructor({ schemaVersion, rollupAddress, dataDirectory, onOpen, onUpgrade, fileSystem, log, }: DatabaseVersionManagerOptions<T>);
+    static writeVersion(version: DatabaseVersion, dataDir: string, fileSystem?: DatabaseVersionManagerFs): Promise<void>;
     /**
      * Checks the stored version against the current version and handles the outcome
      * by either resetting the data directory or calling an upgrade function
@@ -82,11 +101,11 @@ export declare class DatabaseVersionManager<T> {
     /**
      * Writes the current version to the version file
      */
-    private writeVersion;
+    writeVersion(dir?: string): Promise<void>;
     /**
      * Resets the data directory by deleting it and recreating it
      */
-    private resetDataDirectory;
+    resetDataDirectory(): Promise<void>;
     /**
      * Get the data directory path
      */

package/dest/database-version/version_manager.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"version_manager.d.ts","sourceRoot":"","sources":["../../src/database-version/version_manager.ts"],"names":[],"mappings":";;;AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAI3D,OAAO,EAAE,MAAM,aAAa,CAAC;AAE7B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,qBAAa,eAAe;aACE,aAAa,EAAE,MAAM;aAAkB,aAAa,EAAE,UAAU;gBAAhE,aAAa,EAAE,MAAM,EAAkB,aAAa,EAAE,UAAU;IAErF,QAAQ,IAAI,MAAM;WAIX,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe;IAQtD;;OAEG;IACI,GAAG,CAAC,KAAK,EAAE,eAAe,GAAG,SAAS,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAa1D;;OAEG;IACI,MAAM,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO;IAI9C;;OAEG;IACH,MAAM,KAAK,MAAM;;;;;;;;;;;;OAOhB;IAED;;OAEG;IACH,MAAM,CAAC,KAAK;CAGb;AAED,MAAM,MAAM,wBAAwB,GAAG,IAAI,CAAC,OAAO,EAAE,EAAE,UAAU,GAAG,WAAW,GAAG,IAAI,GAAG,OAAO,CAAC,CAAC;AAElG;;;;GAIG;AACH,qBAAa,sBAAsB,CAAC,CAAC;IAqBjC,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,MAAM;IACd,OAAO,CAAC,SAAS,CAAC;IAClB,OAAO,CAAC,UAAU;IAClB,OAAO,CAAC,GAAG;IAxBb,gBAAuB,YAAY,gBAAgB;IAEnD,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAkB;IAEjD;;;;;;;;;;;OAWG;gBAED,aAAa,EAAE,MAAM,EACrB,aAAa,EAAE,UAAU,EACjB,aAAa,EAAE,MAAM,EACrB,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,EACvC,SAAS,CAAC,aAAY,MAAM,kBAAkB,MAAM,iBAAiB,MAAM,KAAK,QAAQ,IAAI,CAAC,aAAA,EAC7F,UAAU,GAAE,wBAA6B,EACzC,GAAG,yCAA6C;IAU1D;;;;;;;OAOG;IACU,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IAmD1C;;OAEG;YACW,YAAY;IAO1B;;OAEG;YACW,kBAAkB;IAUhC;;OAEG;IACI,gBAAgB,IAAI,MAAM;IAIjC;;OAEG;IACI,gBAAgB,IAAI,MAAM;CAGlC"}
+{"version":3,"file":"version_manager.d.ts","sourceRoot":"","sources":["../../src/database-version/version_manager.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAElE,OAAO,EAAE,MAAM,aAAa,CAAC;AAC7B,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;GAEG;AACH,qBAAa,eAAe;IAExB,gEAAgE;aAChD,aAAa,EAAE,MAAM;IACrC,sCAAsC;aACtB,aAAa,EAAE,UAAU;;IAHzC,gEAAgE;IAChD,aAAa,EAAE,MAAM;IACrC,sCAAsC;IACtB,aAAa,EAAE,UAAU;IAGpC,QAAQ,IAAI,MAAM;WAIX,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,eAAe;IAQtD;;OAEG;IACI,GAAG,CAAC,KAAK,EAAE,eAAe,GAAG,SAAS,GAAG,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IAa1D;;OAEG;IACI,MAAM,CAAC,KAAK,EAAE,eAAe,GAAG,OAAO;IAI9C;;OAEG;IACH,MAAM,KAAK,MAAM;;;;;;;;;;;;OAOhB;IAED,uCAAuC;IAChC,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,MAAM;IAI1B,QAAQ,IAAI,MAAM;IAIzB;;OAEG;IACH,MAAM,CAAC,KAAK;CAGb;AAED,MAAM,MAAM,wBAAwB,GAAG,IAAI,CAAC,OAAO,EAAE,EAAE,UAAU,GAAG,WAAW,GAAG,IAAI,GAAG,OAAO,CAAC,CAAC;AAElG,eAAO,MAAM,0BAA0B,eAAe,CAAC;AAEvD,MAAM,MAAM,6BAA6B,CAAC,CAAC,IAAI;IAC7C,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,UAAU,CAAC;IAC1B,aAAa,EAAE,MAAM,CAAC;IACtB,MAAM,EAAE,CAAC,OAAO,EAAE,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC;IACxC,SAAS,CAAC,EAAE,CAAC,OAAO,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,KAAK,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9F,UAAU,CAAC,EAAE,wBAAwB,CAAC;IACtC,GAAG,CAAC,EAAE,MAAM,CAAC;CACd,CAAC;AAEF;;;;GAIG;AACH,qBAAa,sBAAsB,CAAC,CAAC;IACnC,gBAAuB,YAAY,gBAA8B;IAEjE,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAS;IACrC,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAkB;IAEjD,OAAO,CAAC,aAAa,CAAS;IAC9B,OAAO,CAAC,MAAM,CAAkC;IAChD,OAAO,CAAC,SAAS,CAAC,CAAoF;IACtG,OAAO,CAAC,UAAU,CAA2B;IAC7C,OAAO,CAAC,GAAG,CAAS;IAEpB;;;;;;;;;;;OAWG;gBACS,EACV,aAAa,EACb,aAAa,EACb,aAAa,EACb,MAAM,EACN,SAAS,EACT,UAAe,EACf,GAAgD,GACjD,EAAE,6BAA6B,CAAC,CAAC,CAAC;WAetB,YAAY,CAAC,OAAO,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,EAAE,UAAU,GAAE,wBAA6B;IAK9G;;;;;;;OAOG;IACU,IAAI,IAAI,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC;IA+D1C;;OAEG;IACI,YAAY,CAAC,GAAG,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAIhD;;OAEG;IACU,kBAAkB,IAAI,OAAO,CAAC,IAAI,CAAC;IAUhD;;OAEG;IACI,gBAAgB,IAAI,MAAM;IAIjC;;OAEG;IACI,gBAAgB,IAAI,MAAM;CAGlC"}

package/dest/database-version/version_manager.js

@@ -1,7 +1,8 @@
 import { EthAddress } from '@aztec/foundation/eth-address';
-import { jsonParseWithSchemaSync, jsonStringify } from '@aztec/foundation/json-rpc';
+import { jsonParseWithSchema, jsonStringify } from '@aztec/foundation/json-rpc';
 import { createLogger } from '@aztec/foundation/log';
 import fs from 'fs/promises';
+import { inspect } from 'node:util';
 import { join } from 'path';
 import { z } from 'zod';
 /**
@@ -9,7 +10,7 @@ import { z } from 'zod';
  */ export class DatabaseVersion {
     schemaVersion;
     rollupAddress;
-    constructor(schemaVersion, rollupAddress){
+    constructor(/** The version of the data on disk. Used to perform upgrades */ schemaVersion, /** The rollup the data pertains to */ rollupAddress){
         this.schemaVersion = schemaVersion;
         this.rollupAddress = rollupAddress;
     }
@@ -18,7 +19,7 @@ import { z } from 'zod';
     }
     static fromBuffer(buf) {
         try {
-            return jsonParseWithSchemaSync(buf.toString('utf-8'), DatabaseVersion.schema);
+            return jsonParseWithSchema(buf.toString('utf-8'), DatabaseVersion.schema);
         } catch (err) {
             throw new Error(`Failed to deserialize version information: ${err}`, {
                 cause: err
@@ -52,25 +53,32 @@ import { z } from 'zod';
             rollupAddress: EthAddress.schema
         }).transform(({ schemaVersion, rollupAddress })=>new DatabaseVersion(schemaVersion, rollupAddress));
     }
+    /** Allows for better introspection. */ [inspect.custom]() {
+        return this.toString();
+    }
+    toString() {
+        return `DatabaseVersion{schemaVersion=${this.schemaVersion},rollupAddress=${this.rollupAddress}"}`;
+    }
     /**
    * Returns an empty instance
    */ static empty() {
         return new DatabaseVersion(0, EthAddress.ZERO);
     }
 }
+export const DATABASE_VERSION_FILE_NAME = 'db_version';
 /**
  * A manager for handling database versioning and migrations.
  * This class will check the version of data in a directory and either
  * reset or upgrade based on version compatibility.
  */ export class DatabaseVersionManager {
+    static VERSION_FILE = DATABASE_VERSION_FILE_NAME;
+    versionFile;
+    currentVersion;
     dataDirectory;
     onOpen;
     onUpgrade;
     fileSystem;
     log;
-    static VERSION_FILE = 'db_version';
-    versionFile;
-    currentVersion;
     /**
    * Create a new version manager
    *
@@ -82,17 +90,23 @@ import { z } from 'zod';
    * @param fileSystem - An interface to access the filesystem
    * @param log - Optional custom logger
    * @param options - Configuration options
-   */ constructor(schemaVersion, rollupAddress, dataDirectory, onOpen, onUpgrade, fileSystem = fs, log = createLogger(`foundation:version-manager`)){
+   */ constructor({ schemaVersion, rollupAddress, dataDirectory, onOpen, onUpgrade, fileSystem = fs, log = createLogger(`foundation:version-manager`) }){
+        if (schemaVersion < 1) {
+            throw new TypeError(`Invalid schema version received: ${schemaVersion}`);
+        }
+        this.versionFile = join(dataDirectory, DatabaseVersionManager.VERSION_FILE);
+        this.currentVersion = new DatabaseVersion(schemaVersion, rollupAddress);
         this.dataDirectory = dataDirectory;
         this.onOpen = onOpen;
         this.onUpgrade = onUpgrade;
         this.fileSystem = fileSystem;
         this.log = log;
-        if (schemaVersion < 1) {
-            throw new TypeError(`Invalid schema version received: ${schemaVersion}`);
-        }
-        this.versionFile = join(this.dataDirectory, DatabaseVersionManager.VERSION_FILE);
-        this.currentVersion = new DatabaseVersion(schemaVersion, rollupAddress);
+    }
+    static async writeVersion(version, dataDir, fileSystem = fs) {
+        await fileSystem.mkdir(dataDir, {
+            recursive: true
+        });
+        return fileSystem.writeFile(join(dataDir, DatabaseVersionManager.VERSION_FILE), version.toBuffer());
     }
     /**
    * Checks the stored version against the current version and handles the outcome
@@ -104,12 +118,16 @@ import { z } from 'zod';
    */ async open() {
         // const storedVersion = await DatabaseVersion.readVersion(this.versionFile);
         let storedVersion;
+        // a flag to suppress logs about 'resetting the data dir' when starting from an empty state
+        let shouldLogDataReset = true;
         try {
             const versionBuf = await this.fileSystem.readFile(this.versionFile);
             storedVersion = DatabaseVersion.fromBuffer(versionBuf);
         } catch (err) {
             if (err && err.code === 'ENOENT') {
                 storedVersion = DatabaseVersion.empty();
+                // only turn off these logs if the data dir didn't exist before
+                shouldLogDataReset = false;
             } else {
                 this.log.warn(`Failed to read stored version information: ${err}. Defaulting to empty version`);
                 storedVersion = DatabaseVersion.empty();
@@ -128,11 +146,19 @@ import { z } from 'zod';
                     needsReset = true;
                 }
             } else if (cmp !== 0) {
-                this.log.info(`Can't upgrade from version ${storedVersion.schemaVersion} to ${this.currentVersion}. Resetting database at ${this.dataDirectory}`);
+                if (shouldLogDataReset) {
+                    this.log.info(`Can't upgrade from version ${storedVersion} to ${this.currentVersion}. Resetting database at ${this.dataDirectory}`);
+                }
                 needsReset = true;
             }
         } else {
-            this.log.warn('Rollup address changed, resetting data directory');
+            if (shouldLogDataReset) {
+                this.log.warn('Rollup address has changed, resetting data directory', {
+                    versionFile: this.versionFile,
+                    storedVersion,
+                    currentVersion: this.currentVersion
+                });
+            }
             needsReset = true;
         }
         // Handle reset if needed
@@ -148,13 +174,8 @@ import { z } from 'zod';
     }
     /**
    * Writes the current version to the version file
-   */ async writeVersion() {
-        // Ensure the directory exists
-        await this.fileSystem.mkdir(this.dataDirectory, {
-            recursive: true
-        });
-        // Write the version file
-        await this.fileSystem.writeFile(this.versionFile, this.currentVersion.toBuffer());
+   */ writeVersion(dir) {
+        return DatabaseVersionManager.writeVersion(this.currentVersion, dir ?? this.dataDirectory, this.fileSystem);
     }
     /**
    * Resets the data directory by deleting it and recreating it

package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts

@@ -0,0 +1,20 @@
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
+import { ScheduledDelayChange } from './scheduled_delay_change.js';
+import { ScheduledValueChange } from './scheduled_value_change.js';
+export declare const DELAYED_PUBLIC_MUTABLE_VALUES_LEN: number;
+export declare class DelayedPublicMutableValues {
+    svc: ScheduledValueChange;
+    sdc: ScheduledDelayChange;
+    constructor(svc: ScheduledValueChange, sdc: ScheduledDelayChange);
+    static fromFields(fields: Fr[] | FieldReader): DelayedPublicMutableValues;
+    toFields(): Fr[];
+    toBuffer(): Buffer;
+    static fromBuffer(buffer: Buffer | BufferReader, valueSize: number): DelayedPublicMutableValues;
+    static empty(valueSize: number): DelayedPublicMutableValues;
+    static readFromTree(delayedPublicMutableSlot: Fr, readStorage: (storageSlot: Fr) => Promise<Fr>): Promise<DelayedPublicMutableValues>;
+    isEmpty(): boolean;
+    writeToTree(delayedPublicMutableSlot: Fr, storageWrite: (storageSlot: Fr, value: Fr) => Promise<void>): Promise<void>;
+    hash(): Promise<Fr>;
+}
+//# sourceMappingURL=delayed_public_mutable_values.d.ts.map

package/dest/delayed_public_mutable/delayed_public_mutable_values.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"delayed_public_mutable_values.d.ts","sourceRoot":"","sources":["../../src/delayed_public_mutable/delayed_public_mutable_values.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AACnE,OAAO,EAAE,oBAAoB,EAAE,MAAM,6BAA6B,CAAC;AAEnE,eAAO,MAAM,iCAAiC,QAA6B,CAAC;AAE5E,qBAAa,0BAA0B;IAE5B,GAAG,EAAE,oBAAoB;IACzB,GAAG,EAAE,oBAAoB;gBADzB,GAAG,EAAE,oBAAoB,EACzB,GAAG,EAAE,oBAAoB;IAGlC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IA2B5C,QAAQ,IAAI,EAAE,EAAE;IAahB,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,EAAE,SAAS,EAAE,MAAM,GAAG,0BAA0B;IAK/F,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,MAAM;WAIjB,YAAY,CAAC,wBAAwB,EAAE,EAAE,EAAE,WAAW,EAAE,CAAC,WAAW,EAAE,EAAE,KAAK,OAAO,CAAC,EAAE,CAAC;IAQrG,OAAO,IAAI,OAAO;IAIZ,WAAW,CAAC,wBAAwB,EAAE,EAAE,EAAE,YAAY,EAAE,CAAC,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,KAAK,OAAO,CAAC,IAAI,CAAC;IAQrG,IAAI,IAAI,OAAO,CAAC,EAAE,CAAC;CAK1B"}