@aztec/stdlib 0.77.0-testnet-ignition.17

package/dest/interfaces/configs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"configs.d.ts","sourceRoot":"","sources":["../../src/interfaces/configs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AACpE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,qBAAqB,CAAC;AAE3D,KAAK,eAAe,GAAG;IAAE,OAAO,EAAE,YAAY,CAAA;CAAE,CAAC;AACjD,KAAK,uBAAuB,GAAG;IAAE,OAAO,EAAE,YAAY,CAAC;IAAC,QAAQ,EAAE,gBAAgB,CAAA;CAAE,CAAC;AACrF,KAAK,YAAY,GAAG;IAAE,OAAO,EAAE,EAAE,CAAA;CAAE,CAAC;AACpC,KAAK,oBAAoB,GAAG;IAAE,OAAO,EAAE,EAAE,CAAC;IAAC,QAAQ,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAExE,MAAM,MAAM,cAAc,GAAG,eAAe,GAAG,uBAAuB,GAAG,YAAY,GAAG,oBAAoB,CAAC;AAE7G;;GAEG;AACH,MAAM,WAAW,eAAe;IAC9B,gEAAgE;IAChE,4BAA4B,CAAC,EAAE,MAAM,CAAC;IACtC,uDAAuD;IACvD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,uDAAuD;IACvD,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,gCAAgC;IAChC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,gCAAgC;IAChC,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,iCAAiC;IACjC,QAAQ,CAAC,EAAE,UAAU,CAAC;IACtB,+BAA+B;IAC/B,YAAY,CAAC,EAAE,YAAY,CAAC;IAC5B,0DAA0D;IAC1D,oBAAoB,CAAC,EAAE,MAAM,CAAC;IAC9B,kCAAkC;IAClC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,0DAA0D;IAC1D,cAAc,CAAC,EAAE,cAAc,EAAE,CAAC;IAClC,qBAAqB;IACrB,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAC7B,kCAAkC;IAClC,yBAAyB,CAAC,EAAE,UAAU,CAAC;IACvC,6DAA6D;IAC7D,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,gFAAgF;IAChF,4BAA4B,CAAC,EAAE,MAAM,CAAC;CACvC;AASD,eAAO,MAAM,qBAAqB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAeE,CAAC"}

package/dest/interfaces/configs.js

@@ -0,0 +1,34 @@
+import { z } from 'zod';
+import { schemas } from '../schemas/index.js';
+const AllowedElementSchema = z.union([
+    z.object({
+        address: schemas.AztecAddress,
+        selector: schemas.FunctionSelector
+    }),
+    z.object({
+        address: schemas.AztecAddress
+    }),
+    z.object({
+        classId: schemas.Fr,
+        selector: schemas.FunctionSelector
+    }),
+    z.object({
+        classId: schemas.Fr
+    })
+]);
+export const SequencerConfigSchema = z.object({
+    transactionPollingIntervalMS: z.number().optional(),
+    maxTxsPerBlock: z.number().optional(),
+    minTxsPerBlock: z.number().optional(),
+    maxL2BlockGas: z.number().optional(),
+    maxDABlockGas: z.number().optional(),
+    coinbase: schemas.EthAddress.optional(),
+    feeRecipient: schemas.AztecAddress.optional(),
+    acvmWorkingDirectory: z.string().optional(),
+    acvmBinaryPath: z.string().optional(),
+    allowedInSetup: z.array(AllowedElementSchema).optional(),
+    maxBlockSizeInBytes: z.number().optional(),
+    governanceProposerPayload: schemas.EthAddress.optional(),
+    maxL1TxInclusionTimeIntoSlot: z.number().optional(),
+    enforceTimeTable: z.boolean().optional()
+});

package/dest/interfaces/epoch-prover.d.ts

@@ -0,0 +1,38 @@
+import type { Fr } from '@aztec/foundation/fields';
+import type { L2Block } from '../block/l2_block.js';
+import type { Proof } from '../proofs/proof.js';
+import type { RootRollupPublicInputs } from '../rollup/root_rollup.js';
+import type { BlockHeader } from '../tx/block_header.js';
+import type { Tx } from '../tx/tx.js';
+import type { BlockBuilder } from './block-builder.js';
+/** Coordinates the proving of an entire epoch. */
+export interface EpochProver extends Omit<BlockBuilder, 'setBlockCompleted'> {
+    /**
+     * Starts a new epoch. Must be the first method to be called.
+     * @param epochNumber - The epoch number.
+     * @param firstBlockNumber - The block number of the first block in the epoch.
+     * @param totalNumBlocks - The total number of blocks expected in the epoch (must be at least one).
+     **/
+    startNewEpoch(epochNumber: number, firstBlockNumber: number, totalNumBlocks: number): void;
+    /**
+     * Kickstarts tube circuits for the specified txs. These will be used during epoch proving.
+     * Note that if the tube circuits are not started this way, they will be started nontheless after processing.
+     */
+    startTubeCircuits(txs: Tx[]): Promise<void>;
+    /** Returns the block. */
+    setBlockCompleted(blockNumber: number, expectedBlockHeader?: BlockHeader): Promise<L2Block>;
+    /** Pads the epoch with empty block roots if needed and blocks until proven. Throws if proving has failed. */
+    finaliseEpoch(): Promise<{
+        publicInputs: RootRollupPublicInputs;
+        proof: Proof;
+    }>;
+    /** Cancels all proving jobs. */
+    cancel(): void;
+    /** Returns an identifier for the prover or zero if not set. */
+    getProverId(): Fr;
+    /** Returns the block assembled at a given index (zero-based) within the epoch. */
+    getBlock(index: number): L2Block;
+    /** Called when no longer required, cleans up internal resources */
+    stop(): Promise<void>;
+}
+//# sourceMappingURL=epoch-prover.d.ts.map

package/dest/interfaces/epoch-prover.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"epoch-prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/epoch-prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AACpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,oBAAoB,CAAC;AAChD,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAEvD,kDAAkD;AAClD,MAAM,WAAW,WAAY,SAAQ,IAAI,CAAC,YAAY,EAAE,mBAAmB,CAAC;IAC1E;;;;;QAKI;IACJ,aAAa,CAAC,WAAW,EAAE,MAAM,EAAE,gBAAgB,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,GAAG,IAAI,CAAC;IAE3F;;;OAGG;IACH,iBAAiB,CAAC,GAAG,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE5C,yBAAyB;IACzB,iBAAiB,CAAC,WAAW,EAAE,MAAM,EAAE,mBAAmB,CAAC,EAAE,WAAW,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAE5F,6GAA6G;IAC7G,aAAa,IAAI,OAAO,CAAC;QAAE,YAAY,EAAE,sBAAsB,CAAC;QAAC,KAAK,EAAE,KAAK,CAAA;KAAE,CAAC,CAAC;IAEjF,gCAAgC;IAChC,MAAM,IAAI,IAAI,CAAC;IAEf,+DAA+D;IAC/D,WAAW,IAAI,EAAE,CAAC;IAElB,kFAAkF;IAClF,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC;IAEjC,mEAAmE;IACnE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACvB"}

package/dest/interfaces/epoch-prover.js

@@ -0,0 +1 @@
+/** Coordinates the proving of an entire epoch. */ export { };

package/dest/interfaces/get_logs_response.d.ts

@@ -0,0 +1,73 @@
+import { z } from 'zod';
+import { ExtendedContractClassLog } from '../logs/extended_contract_class_log.js';
+import { ExtendedPublicLog } from '../logs/extended_public_log.js';
+import type { ZodFor } from '../schemas/index.js';
+/** Response for the getContractClassLogs archiver call. */
+export type GetContractClassLogsResponse = {
+    /** An array of ExtendedContractClassLog elements. */
+    logs: ExtendedContractClassLog[];
+    /** Indicates if a limit has been reached. */
+    maxLogsHit: boolean;
+};
+export declare const GetContractClassLogsResponseSchema: ZodFor<GetContractClassLogsResponse>;
+/** Response for the getPublicLogs archiver call. */
+export type GetPublicLogsResponse = {
+    /** An array of ExtendedPublicLog elements. */
+    logs: ExtendedPublicLog[];
+    /** Indicates if a limit has been reached. */
+    maxLogsHit: boolean;
+};
+export declare const GetPublicLogsResponseSchema: z.ZodObject<{
+    logs: z.ZodArray<z.ZodEffects<z.ZodObject<{
+        id: z.ZodEffects<z.ZodObject<{
+            blockNumber: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+            txIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+            logIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodNumber>;
+        }, "strip", z.ZodTypeAny, {
+            blockNumber: number;
+            txIndex: number;
+            logIndex: number;
+        }, {
+            blockNumber: string | number | bigint;
+            txIndex: string | number | bigint;
+            logIndex: string | number | bigint;
+        }>, import("../logs/log_id.js").LogId, {
+            blockNumber: string | number | bigint;
+            txIndex: string | number | bigint;
+            logIndex: string | number | bigint;
+        }>;
+        log: ZodFor<import("../logs/public_log.js").PublicLog>;
+    }, "strip", z.ZodTypeAny, {
+        id: import("../logs/log_id.js").LogId;
+        log: import("../logs/public_log.js").PublicLog;
+    }, {
+        id: {
+            blockNumber: string | number | bigint;
+            txIndex: string | number | bigint;
+            logIndex: string | number | bigint;
+        };
+        log?: any;
+    }>, ExtendedPublicLog, {
+        id: {
+            blockNumber: string | number | bigint;
+            txIndex: string | number | bigint;
+            logIndex: string | number | bigint;
+        };
+        log?: any;
+    }>, "many">;
+    maxLogsHit: z.ZodBoolean;
+}, "strip", z.ZodTypeAny, {
+    logs: ExtendedPublicLog[];
+    maxLogsHit: boolean;
+}, {
+    logs: {
+        id: {
+            blockNumber: string | number | bigint;
+            txIndex: string | number | bigint;
+            logIndex: string | number | bigint;
+        };
+        log?: any;
+    }[];
+    maxLogsHit: boolean;
+}>;
+//# sourceMappingURL=get_logs_response.d.ts.map

package/dest/interfaces/get_logs_response.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"get_logs_response.d.ts","sourceRoot":"","sources":["../../src/interfaces/get_logs_response.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,wBAAwB,EAAE,MAAM,wCAAwC,CAAC;AAClF,OAAO,EAAE,iBAAiB,EAAE,MAAM,gCAAgC,CAAC;AACnE,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,qBAAqB,CAAC;AAElD,2DAA2D;AAC3D,MAAM,MAAM,4BAA4B,GAAG;IACzC,qDAAqD;IACrD,IAAI,EAAE,wBAAwB,EAAE,CAAC;IACjC,6CAA6C;IAC7C,UAAU,EAAE,OAAO,CAAC;CACrB,CAAC;AAEF,eAAO,MAAM,kCAAkC,EAAE,MAAM,CAAC,4BAA4B,CAGlF,CAAC;AAEH,oDAAoD;AACpD,MAAM,MAAM,qBAAqB,GAAG;IAClC,8CAA8C;IAC9C,IAAI,EAAE,iBAAiB,EAAE,CAAC;IAC1B,6CAA6C;IAC7C,UAAU,EAAE,OAAO,CAAC;CACrB,CAAC;AAEF,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAGE,CAAC"}

package/dest/interfaces/get_logs_response.js

@@ -0,0 +1,11 @@
+import { z } from 'zod';
+import { ExtendedContractClassLog } from '../logs/extended_contract_class_log.js';
+import { ExtendedPublicLog } from '../logs/extended_public_log.js';
+export const GetContractClassLogsResponseSchema = z.object({
+    logs: z.array(ExtendedContractClassLog.schema),
+    maxLogsHit: z.boolean()
+});
+export const GetPublicLogsResponseSchema = z.object({
+    logs: z.array(ExtendedPublicLog.schema),
+    maxLogsHit: z.boolean()
+});

package/dest/interfaces/l2_logs_source.d.ts

@@ -0,0 +1,42 @@
+import type { Fr } from '@aztec/foundation/fields';
+import type { LogFilter } from '../logs/log_filter.js';
+import type { PrivateLog } from '../logs/private_log.js';
+import type { TxScopedL2Log } from '../logs/tx_scoped_l2_log.js';
+import type { GetContractClassLogsResponse, GetPublicLogsResponse } from './get_logs_response.js';
+/**
+ * Interface of classes allowing for the retrieval of logs.
+ */
+export interface L2LogsSource {
+    /**
+     * Retrieves all private logs from up to `limit` blocks, starting from the block number `from`.
+     * @param from - The block number from which to begin retrieving logs.
+     * @param limit - The maximum number of blocks to retrieve logs from.
+     * @returns An array of private logs from the specified range of blocks.
+     */
+    getPrivateLogs(from: number, limit: number): Promise<PrivateLog[]>;
+    /**
+     * Gets all logs that match any of the received tags (i.e. logs with their first field equal to a tag).
+     * @param tags - The tags to filter the logs by.
+     * @returns For each received tag, an array of matching logs is returned. An empty array implies no logs match
+     * that tag.
+     */
+    getLogsByTags(tags: Fr[]): Promise<TxScopedL2Log[][]>;
+    /**
+     * Gets public logs based on the provided filter.
+     * @param filter - The filter to apply to the logs.
+     * @returns The requested logs.
+     */
+    getPublicLogs(filter: LogFilter): Promise<GetPublicLogsResponse>;
+    /**
+     * Gets contract class logs based on the provided filter.
+     * @param filter - The filter to apply to the logs.
+     * @returns The requested logs.
+     */
+    getContractClassLogs(filter: LogFilter): Promise<GetContractClassLogsResponse>;
+    /**
+     * Gets the number of the latest L2 block processed by the implementation.
+     * @returns The number of the latest L2 block processed by the implementation.
+     */
+    getBlockNumber(): Promise<number>;
+}
+//# sourceMappingURL=l2_logs_source.d.ts.map

package/dest/interfaces/l2_logs_source.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"l2_logs_source.d.ts","sourceRoot":"","sources":["../../src/interfaces/l2_logs_source.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AACvD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,KAAK,EAAE,4BAA4B,EAAE,qBAAqB,EAAE,MAAM,wBAAwB,CAAC;AAElG;;GAEG;AACH,MAAM,WAAW,YAAY;IAC3B;;;;;OAKG;IACH,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAEnE;;;;;OAKG;IACH,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,aAAa,EAAE,EAAE,CAAC,CAAC;IAEtD;;;;OAIG;IACH,aAAa,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAEjE;;;;OAIG;IACH,oBAAoB,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAE/E;;;OAGG;IACH,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;CACnC"}

package/dest/interfaces/l2_logs_source.js

@@ -0,0 +1,3 @@
+/**
+ * Interface of classes allowing for the retrieval of logs.
+ */ export { };

package/dest/interfaces/merkle_tree_operations.d.ts

@@ -0,0 +1,226 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import type { Fr } from '@aztec/foundation/fields';
+import { type IndexedTreeLeafPreimage, SiblingPath } from '@aztec/foundation/trees';
+import type { MerkleTreeId } from '../trees/merkle_tree_id.js';
+import type { NullifierLeaf } from '../trees/nullifier_leaf.js';
+import type { PublicDataTreeLeaf } from '../trees/public_data_leaf.js';
+import type { BlockHeader } from '../tx/block_header.js';
+import type { StateReference } from '../tx/state_reference.js';
+/**
+ * Type alias for the nullifier tree ID.
+ */
+export type IndexedTreeId = MerkleTreeId.NULLIFIER_TREE | MerkleTreeId.PUBLIC_DATA_TREE;
+export type FrTreeId = Exclude<MerkleTreeId, IndexedTreeId>;
+/**
+ * Witness data for a leaf update.
+ */
+export interface LeafUpdateWitnessData<N extends number> {
+    /**
+     * Preimage of the leaf before updating.
+     */
+    leafPreimage: IndexedTreeLeafPreimage;
+    /**
+     * Sibling path to prove membership of the leaf.
+     */
+    siblingPath: SiblingPath<N>;
+    /**
+     * The index of the leaf.
+     */
+    index: bigint;
+}
+/**
+ * The result of a batch insertion in an indexed merkle tree.
+ */
+export interface BatchInsertionResult<TreeHeight extends number, SubtreeSiblingPathHeight extends number> {
+    /**
+     * Data for the leaves to be updated when inserting the new ones.
+     */
+    lowLeavesWitnessData?: LeafUpdateWitnessData<TreeHeight>[];
+    /**
+     * Sibling path "pointing to" where the new subtree should be inserted into the tree.
+     */
+    newSubtreeSiblingPath: SiblingPath<SubtreeSiblingPathHeight>;
+    /**
+     * The new leaves being inserted in high to low order. This order corresponds with the order of the low leaves witness.
+     */
+    sortedNewLeaves: Buffer[];
+    /**
+     * The indexes of the sorted new leaves to the original ones.
+     */
+    sortedNewLeavesIndexes: number[];
+}
+/**
+ * The result of a sequential insertion in an indexed merkle tree.
+ */
+export interface SequentialInsertionResult<TreeHeight extends number> {
+    /**
+     * Data for the leaves to be updated when inserting the new ones.
+     */
+    lowLeavesWitnessData: LeafUpdateWitnessData<TreeHeight>[];
+    /**
+     * Data for the inserted leaves
+     */
+    insertionWitnessData: LeafUpdateWitnessData<TreeHeight>[];
+}
+/**
+ *  Defines tree information.
+ */
+export interface TreeInfo {
+    /**
+     * The tree ID.
+     */
+    treeId: MerkleTreeId;
+    /**
+     * The tree root.
+     */
+    root: Buffer;
+    /**
+     * The number of leaves in the tree.
+     */
+    size: bigint;
+    /**
+     * The depth of the tree.
+     */
+    depth: number;
+}
+type LeafTypes = {
+    [MerkleTreeId.NULLIFIER_TREE]: Buffer;
+    [MerkleTreeId.NOTE_HASH_TREE]: Fr;
+    [MerkleTreeId.PUBLIC_DATA_TREE]: Buffer;
+    [MerkleTreeId.L1_TO_L2_MESSAGE_TREE]: Fr;
+    [MerkleTreeId.ARCHIVE]: Fr;
+};
+type LeafValueTypes = {
+    [MerkleTreeId.NULLIFIER_TREE]: NullifierLeaf;
+    [MerkleTreeId.NOTE_HASH_TREE]: Fr;
+    [MerkleTreeId.PUBLIC_DATA_TREE]: PublicDataTreeLeaf;
+    [MerkleTreeId.L1_TO_L2_MESSAGE_TREE]: Fr;
+    [MerkleTreeId.ARCHIVE]: Fr;
+};
+export type MerkleTreeLeafType<ID extends MerkleTreeId> = LeafTypes[ID];
+export type MerkleTreeLeafValue<ID extends MerkleTreeId> = LeafValueTypes[ID];
+/**
+ * Defines the interface for operations on a set of Merkle Trees.
+ */
+export interface MerkleTreeReadOperations {
+    /**
+     * Returns information about the given tree.
+     * @param treeId - The tree to be queried.
+     */
+    getTreeInfo(treeId: MerkleTreeId): Promise<TreeInfo>;
+    /**
+     * Gets the current state reference.
+     */
+    getStateReference(): Promise<StateReference>;
+    /**
+     * Gets the initial header.
+     */
+    getInitialHeader(): BlockHeader;
+    /**
+     * Gets sibling path for a leaf.
+     * @param treeId - The tree to be queried for a sibling path.
+     * @param index - The index of the leaf for which a sibling path should be returned.
+     */
+    getSiblingPath<N extends number>(treeId: MerkleTreeId, index: bigint): Promise<SiblingPath<N>>;
+    /**
+     * Returns the previous index for a given value in an indexed tree.
+     * @param treeId - The tree for which the previous value index is required.
+     * @param value - The value to be queried.
+     */
+    getPreviousValueIndex<ID extends IndexedTreeId>(treeId: ID, value: bigint): Promise<{
+        /**
+         * The index of the found leaf.
+         */
+        index: bigint;
+        /**
+         * A flag indicating if the corresponding leaf's value is equal to `newValue`.
+         */
+        alreadyPresent: boolean;
+    } | undefined>;
+    /**
+     * Returns the data at a specific leaf.
+     * @param treeId - The tree for which leaf data should be returned.
+     * @param index - The index of the leaf required.
+     */
+    getLeafPreimage<ID extends IndexedTreeId>(treeId: ID, index: bigint): Promise<IndexedTreeLeafPreimage | undefined>;
+    /**
+     * Returns the index containing a leaf value.
+     * @param treeId - The tree for which the index should be returned.
+     * @param value - The value to search for in the tree.
+     */
+    findLeafIndices<ID extends MerkleTreeId>(treeId: ID, values: MerkleTreeLeafType<ID>[]): Promise<(bigint | undefined)[]>;
+    /**
+     * Returns the first index containing a leaf value after `startIndex`.
+     * @param treeId - The tree for which the index should be returned.
+     * @param value - The value to search for in the tree.
+     * @param startIndex - The index to start searching from (used when skipping nullified messages)
+     */
+    findLeafIndicesAfter<ID extends MerkleTreeId>(treeId: ID, values: MerkleTreeLeafType<ID>[], startIndex: bigint): Promise<(bigint | undefined)[]>;
+    /**
+     * Gets the value for a leaf in the tree.
+     * @param treeId - The tree for which the index should be returned.
+     * @param index - The index of the leaf.
+     */
+    getLeafValue<ID extends MerkleTreeId>(treeId: ID, index: bigint): Promise<MerkleTreeLeafType<typeof treeId> | undefined>;
+    /**
+     * Get the block numbers for a set of leaf indices
+     * @param treeId - The tree for which the block numbers should be returned.
+     * @param leafIndices - The indices to be queried.
+     */
+    getBlockNumbersForLeafIndices<ID extends MerkleTreeId>(treeId: ID, leafIndices: bigint[]): Promise<(bigint | undefined)[]>;
+}
+export interface MerkleTreeCheckpointOperations {
+    /**
+     * Checkpoints the current fork state
+     */
+    createCheckpoint(): Promise<void>;
+    /**
+     * Commits the current checkpoint
+     */
+    commitCheckpoint(): Promise<void>;
+    /**
+     * Reverts the current checkpoint
+     */
+    revertCheckpoint(): Promise<void>;
+}
+export interface MerkleTreeWriteOperations extends MerkleTreeReadOperations, MerkleTreeCheckpointOperations {
+    /**
+     * Appends leaves to a given tree.
+     * @param treeId - The tree to be updated.
+     * @param leaves - The set of leaves to be appended.
+     */
+    appendLeaves<ID extends MerkleTreeId>(treeId: ID, leaves: MerkleTreeLeafType<ID>[]): Promise<void>;
+    /**
+     * Inserts the block hash into the archive.
+     * This includes all of the current roots of all of the data trees and the current blocks global vars.
+     * @param header - The header to insert into the archive.
+     */
+    updateArchive(header: BlockHeader): Promise<void>;
+    /**
+     * Batch insert multiple leaves into the tree.
+     * @param leaves - Leaves to insert into the tree.
+     * @param treeId - The tree on which to insert.
+     * @param subtreeHeight - Height of the subtree.
+     * @returns The witness data for the leaves to be updated when inserting the new ones.
+     */
+    batchInsert<TreeHeight extends number, SubtreeSiblingPathHeight extends number, ID extends IndexedTreeId>(treeId: ID, leaves: Buffer[], subtreeHeight: number): Promise<BatchInsertionResult<TreeHeight, SubtreeSiblingPathHeight>>;
+    /**
+     * Inserts multiple leaves into the tree, getting witnesses at every step.
+     * Note: This method doesn't support inserting empty leaves.
+     * @param treeId - The tree on which to insert.
+     * @param leaves - The leaves to insert.
+     * @returns The witnesses for the low leaf updates and the insertions.
+     */
+    sequentialInsert<TreeHeight extends number, ID extends IndexedTreeId>(treeId: ID, leaves: Buffer[]): Promise<SequentialInsertionResult<TreeHeight>>;
+    /**
+     * Closes the database, discarding any uncommitted changes.
+     */
+    close(): Promise<void>;
+}
+/**
+ * Outputs a tree leaves using for debugging purposes.
+ */
+export declare function inspectTree(db: MerkleTreeReadOperations, treeId: MerkleTreeId, log?: import("@aztec/foundation/log").Logger): Promise<void>;
+export {};
+//# sourceMappingURL=merkle_tree_operations.d.ts.map

package/dest/interfaces/merkle_tree_operations.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"merkle_tree_operations.d.ts","sourceRoot":"","sources":["../../src/interfaces/merkle_tree_operations.ts"],"names":[],"mappings":";;AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,EAAE,KAAK,uBAAuB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEpF,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAC/D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,4BAA4B,CAAC;AAChE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AACvE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAE/D;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,YAAY,CAAC,cAAc,GAAG,YAAY,CAAC,gBAAgB,CAAC;AAExF,MAAM,MAAM,QAAQ,GAAG,OAAO,CAAC,YAAY,EAAE,aAAa,CAAC,CAAC;AAE5D;;GAEG;AACH,MAAM,WAAW,qBAAqB,CAAC,CAAC,SAAS,MAAM;IACrD;;OAEG;IACH,YAAY,EAAE,uBAAuB,CAAC;IACtC;;OAEG;IACH,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC;IAC5B;;OAEG;IACH,KAAK,EAAE,MAAM,CAAC;CACf;AAED;;GAEG;AACH,MAAM,WAAW,oBAAoB,CAAC,UAAU,SAAS,MAAM,EAAE,wBAAwB,SAAS,MAAM;IACtG;;OAEG;IACH,oBAAoB,CAAC,EAAE,qBAAqB,CAAC,UAAU,CAAC,EAAE,CAAC;IAC3D;;OAEG;IACH,qBAAqB,EAAE,WAAW,CAAC,wBAAwB,CAAC,CAAC;IAC7D;;OAEG;IACH,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B;;OAEG;IACH,sBAAsB,EAAE,MAAM,EAAE,CAAC;CAClC;AAED;;GAEG;AACH,MAAM,WAAW,yBAAyB,CAAC,UAAU,SAAS,MAAM;IAClE;;OAEG;IACH,oBAAoB,EAAE,qBAAqB,CAAC,UAAU,CAAC,EAAE,CAAC;IAC1D;;OAEG;IACH,oBAAoB,EAAE,qBAAqB,CAAC,UAAU,CAAC,EAAE,CAAC;CAC3D;AAED;;GAEG;AACH,MAAM,WAAW,QAAQ;IACvB;;OAEG;IACH,MAAM,EAAE,YAAY,CAAC;IACrB;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IACb;;OAEG;IACH,IAAI,EAAE,MAAM,CAAC;IAEb;;OAEG;IACH,KAAK,EAAE,MAAM,CAAC;CACf;AAED,KAAK,SAAS,GAAG;IACf,CAAC,YAAY,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;IACtC,CAAC,YAAY,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC;IAClC,CAAC,YAAY,CAAC,gBAAgB,CAAC,EAAE,MAAM,CAAC;IACxC,CAAC,YAAY,CAAC,qBAAqB,CAAC,EAAE,EAAE,CAAC;IACzC,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;CAC5B,CAAC;AAEF,KAAK,cAAc,GAAG;IACpB,CAAC,YAAY,CAAC,cAAc,CAAC,EAAE,aAAa,CAAC;IAC7C,CAAC,YAAY,CAAC,cAAc,CAAC,EAAE,EAAE,CAAC;IAClC,CAAC,YAAY,CAAC,gBAAgB,CAAC,EAAE,kBAAkB,CAAC;IACpD,CAAC,YAAY,CAAC,qBAAqB,CAAC,EAAE,EAAE,CAAC;IACzC,CAAC,YAAY,CAAC,OAAO,CAAC,EAAE,EAAE,CAAC;CAC5B,CAAC;AAEF,MAAM,MAAM,kBAAkB,CAAC,EAAE,SAAS,YAAY,IAAI,SAAS,CAAC,EAAE,CAAC,CAAC;AAExE,MAAM,MAAM,mBAAmB,CAAC,EAAE,SAAS,YAAY,IAAI,cAAc,CAAC,EAAE,CAAC,CAAC;AAE9E;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC;;;OAGG;IACH,WAAW,CAAC,MAAM,EAAE,YAAY,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAErD;;OAEG;IACH,iBAAiB,IAAI,OAAO,CAAC,cAAc,CAAC,CAAC;IAE7C;;OAEG;IACH,gBAAgB,IAAI,WAAW,CAAC;IAEhC;;;;OAIG;IACH,cAAc,CAAC,CAAC,SAAS,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IAE/F;;;;OAIG;IACH,qBAAqB,CAAC,EAAE,SAAS,aAAa,EAC5C,MAAM,EAAE,EAAE,EACV,KAAK,EAAE,MAAM,GACZ,OAAO,CACN;QACE;;WAEG;QACH,KAAK,EAAE,MAAM,CAAC;QACd;;WAEG;QACH,cAAc,EAAE,OAAO,CAAC;KACzB,GACD,SAAS,CACZ,CAAC;IAEF;;;;OAIG;IACH,eAAe,CAAC,EAAE,SAAS,aAAa,EAAE,MAAM,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,GAAG,SAAS,CAAC,CAAC;IAEnH;;;;OAIG;IACH,eAAe,CAAC,EAAE,SAAS,YAAY,EACrC,MAAM,EAAE,EAAE,EACV,MAAM,EAAE,kBAAkB,CAAC,EAAE,CAAC,EAAE,GAC/B,OAAO,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAEnC;;;;;OAKG;IACH,oBAAoB,CAAC,EAAE,SAAS,YAAY,EAC1C,MAAM,EAAE,EAAE,EACV,MAAM,EAAE,kBAAkB,CAAC,EAAE,CAAC,EAAE,EAChC,UAAU,EAAE,MAAM,GACjB,OAAO,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;IAEnC;;;;OAIG;IACH,YAAY,CAAC,EAAE,SAAS,YAAY,EAClC,MAAM,EAAE,EAAE,EACV,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,kBAAkB,CAAC,OAAO,MAAM,CAAC,GAAG,SAAS,CAAC,CAAC;IAE1D;;;;OAIG;IACH,6BAA6B,CAAC,EAAE,SAAS,YAAY,EACnD,MAAM,EAAE,EAAE,EACV,WAAW,EAAE,MAAM,EAAE,GACpB,OAAO,CAAC,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC,CAAC;CACpC;AAED,MAAM,WAAW,8BAA8B;IAC7C;;OAEG;IACH,gBAAgB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAElC;;OAEG;IACH,gBAAgB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAElC;;OAEG;IACH,gBAAgB,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACnC;AAED,MAAM,WAAW,yBAA0B,SAAQ,wBAAwB,EAAE,8BAA8B;IACzG;;;;OAIG;IACH,YAAY,CAAC,EAAE,SAAS,YAAY,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,kBAAkB,CAAC,EAAE,CAAC,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEnG;;;;OAIG;IACH,aAAa,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAElD;;;;;;OAMG;IACH,WAAW,CAAC,UAAU,SAAS,MAAM,EAAE,wBAAwB,SAAS,MAAM,EAAE,EAAE,SAAS,aAAa,EACtG,MAAM,EAAE,EAAE,EACV,MAAM,EAAE,MAAM,EAAE,EAChB,aAAa,EAAE,MAAM,GACpB,OAAO,CAAC,oBAAoB,CAAC,UAAU,EAAE,wBAAwB,CAAC,CAAC,CAAC;IAEvE;;;;;;OAMG;IACH,gBAAgB,CAAC,UAAU,SAAS,MAAM,EAAE,EAAE,SAAS,aAAa,EAClE,MAAM,EAAE,EAAE,EACV,MAAM,EAAE,MAAM,EAAE,GACf,OAAO,CAAC,yBAAyB,CAAC,UAAU,CAAC,CAAC,CAAC;IAElD;;OAEG;IACH,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxB;AAED;;GAEG;AACH,wBAAsB,WAAW,CAC/B,EAAE,EAAE,wBAAwB,EAC5B,MAAM,EAAE,YAAY,EACpB,GAAG,yCAAqC,iBAUzC"}

package/dest/interfaces/merkle_tree_operations.js

@@ -0,0 +1,13 @@
+import { createLogger } from '@aztec/foundation/log';
+/**
+ * Outputs a tree leaves using for debugging purposes.
+ */ export async function inspectTree(db, treeId, log = createLogger('types:inspect-tree')) {
+    const info = await db.getTreeInfo(treeId);
+    const output = [
+        `Tree id=${treeId} size=${info.size} root=0x${info.root.toString('hex')}`
+    ];
+    for(let i = 0; i < info.size; i++){
+        output.push(` Leaf ${i}: ${await db.getLeafValue(treeId, BigInt(i)).then((x)=>x?.toString('hex') ?? '[undefined]')}`);
+    }
+    log.info(output.join('\n'));
+}

package/dest/interfaces/p2p-bootstrap.d.ts

@@ -0,0 +1,14 @@
+import type { ApiSchemaFor } from '../schemas/index.js';
+/** Exposed API to the P2P bootstrap node. */
+export interface P2PBootstrapApi {
+    /**
+     * Returns the ENR for this node.
+     */
+    getEncodedEnr(): Promise<string>;
+    /**
+     * Returns ENRs for all nodes in the routing table.
+     */
+    getRoutingTable(): Promise<string[]>;
+}
+export declare const P2PBootstrapApiSchema: ApiSchemaFor<P2PBootstrapApi>;
+//# sourceMappingURL=p2p-bootstrap.d.ts.map

package/dest/interfaces/p2p-bootstrap.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"p2p-bootstrap.d.ts","sourceRoot":"","sources":["../../src/interfaces/p2p-bootstrap.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,qBAAqB,CAAC;AAExD,6CAA6C;AAC7C,MAAM,WAAW,eAAe;IAC9B;;OAEG;IACH,aAAa,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAEjC;;OAEG;IACH,eAAe,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;CACtC;AAED,eAAO,MAAM,qBAAqB,EAAE,YAAY,CAAC,eAAe,CAG/D,CAAC"}

package/dest/interfaces/p2p-bootstrap.js

@@ -0,0 +1,5 @@
+import { z } from 'zod';
+export const P2PBootstrapApiSchema = {
+    getEncodedEnr: z.function().returns(z.string()),
+    getRoutingTable: z.function().returns(z.array(z.string()))
+};

package/dest/interfaces/p2p.d.ts

@@ -0,0 +1,49 @@
+import { BlockAttestation } from '../p2p/block_attestation.js';
+import type { P2PClientType } from '../p2p/client_type.js';
+import { type ApiSchemaFor } from '../schemas/index.js';
+import { Tx } from '../tx/tx.js';
+export type PeerInfo = {
+    status: 'connected';
+    score: number;
+    id: string;
+} | {
+    status: 'dialing';
+    dialStatus: string;
+    id: string;
+    addresses: string[];
+} | {
+    status: 'cached';
+    id: string;
+    addresses: string[];
+    enr: string;
+    dialAttempts: number;
+};
+/** Exposed API to the P2P module. */
+export interface P2PApiWithoutAttestations {
+    /**
+     * Returns all pending transactions in the transaction pool.
+     * @returns An array of Txs.
+     */
+    getPendingTxs(): Promise<Tx[]>;
+    /**
+     * Returns the ENR for this node, if any.
+     */
+    getEncodedEnr(): Promise<string | undefined>;
+    /**
+     * Returns info for all connected, dialing, and cached peers.
+     */
+    getPeers(includePending?: boolean): Promise<PeerInfo[]>;
+}
+export interface P2PClient extends P2PApiWithoutAttestations {
+    /**
+     * Queries the Attestation pool for attestations for the given slot
+     *
+     * @param slot - the slot to query
+     * @param proposalId - the proposal id to query, or undefined to query all proposals for the slot
+     * @returns BlockAttestations
+     */
+    getAttestationsForSlot(slot: bigint, proposalId?: string): Promise<BlockAttestation[]>;
+}
+export type P2PApi<T extends P2PClientType = P2PClientType.Full> = T extends P2PClientType.Full ? P2PClient & P2PApiWithoutAttestations : P2PApiWithoutAttestations;
+export declare const P2PApiSchema: ApiSchemaFor<P2PApi>;
+//# sourceMappingURL=p2p.d.ts.map

package/dest/interfaces/p2p.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"p2p.d.ts","sourceRoot":"","sources":["../../src/interfaces/p2p.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,gBAAgB,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,KAAK,YAAY,EAAqB,MAAM,qBAAqB,CAAC;AAC3E,OAAO,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AAEjC,MAAM,MAAM,QAAQ,GAChB;IAAE,MAAM,EAAE,WAAW,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,MAAM,EAAE,SAAS,CAAC;IAAC,UAAU,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,CAAA;CAAE,GAC1E;IAAE,MAAM,EAAE,QAAQ,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,SAAS,EAAE,MAAM,EAAE,CAAC;IAAC,GAAG,EAAE,MAAM,CAAC;IAAC,YAAY,EAAE,MAAM,CAAA;CAAE,CAAC;AAc7F,qCAAqC;AACrC,MAAM,WAAW,yBAAyB;IACxC;;;OAGG;IACH,aAAa,IAAI,OAAO,CAAC,EAAE,EAAE,CAAC,CAAC;IAE/B;;OAEG;IACH,aAAa,IAAI,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAE7C;;OAEG;IACH,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,QAAQ,EAAE,CAAC,CAAC;CACzD;AAED,MAAM,WAAW,SAAU,SAAQ,yBAAyB;IAC1D;;;;;;OAMG;IACH,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;CACxF;AAED,MAAM,MAAM,MAAM,CAAC,CAAC,SAAS,aAAa,GAAG,aAAa,CAAC,IAAI,IAAI,CAAC,SAAS,aAAa,CAAC,IAAI,GAC3F,SAAS,GAAG,yBAAyB,GACrC,yBAAyB,CAAC;AAE9B,eAAO,MAAM,YAAY,EAAE,YAAY,CAAC,MAAM,CAQ7C,CAAC"}

package/dest/interfaces/p2p.js

@@ -0,0 +1,30 @@
+import { z } from 'zod';
+import { BlockAttestation } from '../p2p/block_attestation.js';
+import { optional, schemas } from '../schemas/index.js';
+import { Tx } from '../tx/tx.js';
+const PeerInfoSchema = z.discriminatedUnion('status', [
+    z.object({
+        status: z.literal('connected'),
+        score: z.number(),
+        id: z.string()
+    }),
+    z.object({
+        status: z.literal('dialing'),
+        dialStatus: z.string(),
+        id: z.string(),
+        addresses: z.array(z.string())
+    }),
+    z.object({
+        status: z.literal('cached'),
+        id: z.string(),
+        addresses: z.array(z.string()),
+        enr: z.string(),
+        dialAttempts: z.number()
+    })
+]);
+export const P2PApiSchema = {
+    getAttestationsForSlot: z.function().args(schemas.BigInt, optional(z.string())).returns(z.array(BlockAttestation.schema)),
+    getPendingTxs: z.function().returns(z.array(Tx.schema)),
+    getEncodedEnr: z.function().returns(z.string().optional()),
+    getPeers: z.function().args(optional(z.boolean())).returns(z.array(PeerInfoSchema))
+};