@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/interfaces/slasher.js

@@ -0,0 +1,29 @@
+import { schemas, zodFor } from '@aztec-labs/foundation/schemas';
+import { z } from 'zod';
+export const SlasherConfigSchema = zodFor()(z.object({
+    slashOverridePayload: schemas.EthAddress.optional(),
+    slashValidatorsAlways: z.array(schemas.EthAddress),
+    slashValidatorsNever: z.array(schemas.EthAddress),
+    slashDataWithholdingPenalty: schemas.BigInt,
+    // Tolerated as undefined to allow validating responses from older node images that
+    // predate the per-slot data-withholding watcher (PR #23116).
+    slashDataWithholdingToleranceSlots: z.number().default(3),
+    slashInactivityTargetPercentage: z.number(),
+    slashInactivityConsecutiveEpochThreshold: z.number(),
+    slashInactivityPenalty: schemas.BigInt,
+    slashProposeInvalidAttestationsPenalty: schemas.BigInt,
+    // Tolerated as undefined to allow validating responses from older node images that
+    // predate this slasher penalty being added.
+    slashBroadcastedInvalidCheckpointProposalPenalty: schemas.BigInt.default(0n),
+    slashDuplicateProposalPenalty: schemas.BigInt,
+    slashDuplicateAttestationPenalty: schemas.BigInt,
+    slashProposeDescendantOfCheckpointWithInvalidAttestationsPenalty: schemas.BigInt,
+    slashAttestInvalidCheckpointProposalPenalty: schemas.BigInt,
+    slashUnknownPenalty: schemas.BigInt,
+    slashOffenseExpirationRounds: z.number(),
+    slashMaxPayloadSize: z.number(),
+    slashGracePeriodL2Slots: z.number(),
+    slashBroadcastedInvalidBlockPenalty: schemas.BigInt,
+    slashExecuteRoundsLookBack: z.number(),
+    slashSelfAllowed: z.boolean().optional()
+}));

package/dest/interfaces/tx_provider.d.ts

@@ -0,0 +1,33 @@
+import type { L2Block } from '@aztec-labs/stdlib/block';
+import type { BlockProposal } from '@aztec-labs/stdlib/p2p';
+import { type Tx, TxHash } from '@aztec-labs/stdlib/tx';
+import type { PeerId } from '@libp2p/interface';
+export interface ITxProvider {
+    getAvailableTxs(txHashes: TxHash[]): Promise<{
+        txs: Tx[];
+        missingTxs: TxHash[];
+    }>;
+    /**
+     * Checks whether each tx hash is currently held by the local tx pool. Returns a parallel
+     * boolean array (one entry per input hash). Does not fetch from the network.
+     */
+    hasTxs(txHashes: TxHash[]): Promise<boolean[]>;
+    /**
+     * Collects the txs for a block proposal from the tx pool, the proposal body, and the network.
+     * @throws InvalidBlockProposalTxsError - If a tx carried in the proposal fails minimum integrity validation.
+     */
+    getTxsForBlockProposal(blockProposal: BlockProposal, blockNumber: number, opts: {
+        pinnedPeer: PeerId | undefined;
+        deadline: Date;
+    }): Promise<{
+        txs: Tx[];
+        missingTxs: TxHash[];
+    }>;
+    getTxsForBlock(block: L2Block, opts: {
+        deadline: Date;
+    }): Promise<{
+        txs: Tx[];
+        missingTxs: TxHash[];
+    }>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfcHJvdmlkZXIuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9pbnRlcmZhY2VzL3R4X3Byb3ZpZGVyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLE9BQU8sRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQ3hELE9BQU8sS0FBSyxFQUFFLGFBQWEsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQzVELE9BQU8sRUFBRSxLQUFLLEVBQUUsRUFBRSxNQUFNLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUN4RCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUVoRCxNQUFNLFdBQVcsV0FBVztJQUMxQixlQUFlLENBQUMsUUFBUSxFQUFFLE1BQU0sRUFBRSxHQUFHLE9BQU8sQ0FBQztRQUFFLEdBQUcsRUFBRSxFQUFFLEVBQUUsQ0FBQztRQUFDLFVBQVUsRUFBRSxNQUFNLEVBQUUsQ0FBQTtLQUFFLENBQUMsQ0FBQztJQUVsRjs7O09BR0c7SUFDSCxNQUFNLENBQUMsUUFBUSxFQUFFLE1BQU0sRUFBRSxHQUFHLE9BQU8sQ0FBQyxPQUFPLEVBQUUsQ0FBQyxDQUFDO0lBRS9DOzs7T0FHRztJQUNILHNCQUFzQixDQUNwQixhQUFhLEVBQUUsYUFBYSxFQUM1QixXQUFXLEVBQUUsTUFBTSxFQUNuQixJQUFJLEVBQUU7UUFBRSxVQUFVLEVBQUUsTUFBTSxHQUFHLFNBQVMsQ0FBQztRQUFDLFFBQVEsRUFBRSxJQUFJLENBQUE7S0FBRSxHQUN2RCxPQUFPLENBQUM7UUFBRSxHQUFHLEVBQUUsRUFBRSxFQUFFLENBQUM7UUFBQyxVQUFVLEVBQUUsTUFBTSxFQUFFLENBQUE7S0FBRSxDQUFDLENBQUM7SUFFaEQsY0FBYyxDQUFDLEtBQUssRUFBRSxPQUFPLEVBQUUsSUFBSSxFQUFFO1FBQUUsUUFBUSxFQUFFLElBQUksQ0FBQTtLQUFFLEdBQUcsT0FBTyxDQUFDO1FBQUUsR0FBRyxFQUFFLEVBQUUsRUFBRSxDQUFDO1FBQUMsVUFBVSxFQUFFLE1BQU0sRUFBRSxDQUFBO0tBQUUsQ0FBQyxDQUFDO0NBQ3hHIn0=

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

@@ -0,0 +1 @@
+{"version":3,"file":"tx_provider.d.ts","sourceRoot":"","sources":["../../src/interfaces/tx_provider.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AACxD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC5D,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACxD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAEhD,MAAM,WAAW,WAAW;IAC1B,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC;QAAE,GAAG,EAAE,EAAE,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAElF;;;OAGG;IACH,MAAM,CAAC,QAAQ,EAAE,MAAM,EAAE,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAE/C;;;OAGG;IACH,sBAAsB,CACpB,aAAa,EAAE,aAAa,EAC5B,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE;QAAE,UAAU,EAAE,MAAM,GAAG,SAAS,CAAC;QAAC,QAAQ,EAAE,IAAI,CAAA;KAAE,GACvD,OAAO,CAAC;QAAE,GAAG,EAAE,EAAE,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;IAEhD,cAAc,CAAC,KAAK,EAAE,OAAO,EAAE,IAAI,EAAE;QAAE,QAAQ,EAAE,IAAI,CAAA;KAAE,GAAG,OAAO,CAAC;QAAE,GAAG,EAAE,EAAE,EAAE,CAAC;QAAC,UAAU,EAAE,MAAM,EAAE,CAAA;KAAE,CAAC,CAAC;CACxG"}

package/dest/interfaces/tx_provider.js

@@ -0,0 +1 @@
+export { };

package/dest/interfaces/validator.d.ts

@@ -0,0 +1,179 @@
+import type { CheckpointNumber, SlotNumber } from '@aztec-labs/foundation/branded-types';
+import type { SecretValue } from '@aztec-labs/foundation/config';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { EthAddress } from '@aztec-labs/foundation/eth-address';
+import type { Signature } from '@aztec-labs/foundation/eth-signature';
+import type { SequencerConfig, SlasherConfig } from '@aztec-labs/stdlib/interfaces/server';
+import type { BlockProposal, BlockProposalOptions, CheckpointAttestation, CheckpointProposal, CheckpointProposalOptions, ValidatedBlockProposal, ValidatedCheckpointProposalCore } from '@aztec-labs/stdlib/p2p';
+import type { CheckpointHeader } from '@aztec-labs/stdlib/rollup';
+import type { BlockHeader, Tx } from '@aztec-labs/stdlib/tx';
+import type { PeerId } from '@libp2p/interface';
+import { z } from 'zod';
+import type { CommitteeAttestationsAndSigners } from '../block/index.js';
+import type { ChainConfig } from '../config/chain-config.js';
+import { type LocalSignerConfig, type ValidatorHASignerConfig } from '../ha-signing/index.js';
+/**
+ * Validator client configuration
+ */
+export type ValidatorClientConfig = ValidatorHASignerConfig & LocalSignerConfig & {
+    /** The L1 chain id used for EIP-712 proposal-path signing. */
+    l1ChainId: ChainConfig['l1ChainId'];
+    /** The private keys of the validators participating in attestation duties */
+    validatorPrivateKeys?: SecretValue<`0x${string}`[]>;
+    /** The addresses of the validators to use with remote signers */
+    validatorAddresses?: EthAddress[];
+    /** Do not run the validator */
+    disableValidator: boolean;
+    /** Temporarily disable these specific validator addresses */
+    disabledValidators: EthAddress[];
+    /** Interval between polling for new attestations from peers */
+    attestationPollingIntervalMs: number;
+    /** Whether to always reexecute block proposals, even for non-validator nodes or when out of the current committee */
+    alwaysReexecuteBlockProposals?: boolean;
+    /** Whether to run in fisherman mode: validates all proposals and attestations but does not broadcast attestations or participate in consensus */
+    fishermanMode?: boolean;
+    /** Skip checkpoint proposal validation and always attest (default: false) */
+    skipCheckpointProposalValidation?: boolean;
+    /** Skip pushing re-executed blocks to archiver (default: false) */
+    skipPushProposedBlocksToArchiver?: boolean;
+    /** Agree to attest to equivocated checkpoint proposals (for testing purposes only) */
+    attestToEquivocatedProposals?: boolean;
+    /** Accept proposal validation regardless of slot timing (for testing only) */
+    skipProposalSlotValidation?: boolean;
+    /** Maximum L2 gas per block for validation. Proposals exceeding this limit are rejected. */
+    validateMaxL2BlockGas?: number;
+    /** Maximum DA gas per block for validation. Proposals exceeding this limit are rejected. */
+    validateMaxDABlockGas?: number;
+    /** Maximum transactions per block for validation. Proposals exceeding this limit are rejected. */
+    validateMaxTxsPerBlock?: number;
+    /** Maximum transactions per checkpoint for validation. Proposals exceeding this limit are rejected. */
+    validateMaxTxsPerCheckpoint?: number;
+};
+export type ValidatorClientFullConfig = ValidatorClientConfig & Pick<SequencerConfig, 'txPublicSetupAllowListExtend' | 'broadcastInvalidBlockProposal' | 'maxBlocksPerCheckpoint'> & Required<Pick<SequencerConfig, 'blockDurationMs'>> & Pick<SlasherConfig, 'slashBroadcastedInvalidBlockPenalty' | 'slashBroadcastedInvalidCheckpointProposalPenalty' | 'slashDuplicateProposalPenalty' | 'slashDuplicateAttestationPenalty' | 'slashAttestInvalidCheckpointProposalPenalty'> & {
+    /**
+     * Whether transactions are disabled for this node
+     * @remarks This should match the property in P2PConfig. It's not picked from there to avoid circular dependencies.
+     */
+    disableTransactions?: boolean;
+    /**
+     * Maximum clock-disparity tolerance (ms) applied to proposal/attestation receive windows.
+     * @remarks Mirrors the property in P2PConfig. It's not picked from there to avoid circular dependencies.
+     */
+    maxGossipClockDisparityMs?: number;
+};
+export declare const ValidatorClientConfigSchema: z.ZodObject<{
+    rollupAddress: z.ZodType<EthAddress, string, z.core.$ZodTypeInternals<EthAddress, string>>;
+    nodeId: z.ZodString;
+    pollingIntervalMs: z.ZodNumber;
+    peerSigningTimeoutMs: z.ZodNumber;
+    signerCallTimeoutMs: z.ZodOptional<z.ZodNumber>;
+    maxStuckDutiesAgeMs: z.ZodOptional<z.ZodNumber>;
+    cleanupOldDutiesAfterHours: z.ZodOptional<z.ZodNumber>;
+    haSigningEnabled: z.ZodBoolean;
+    databaseUrl: z.ZodOptional<z.ZodType<SecretValue<string>, any, z.core.$ZodTypeInternals<SecretValue<string>, any>>>;
+    poolMaxCount: z.ZodOptional<z.ZodNumber>;
+    poolMinCount: z.ZodOptional<z.ZodNumber>;
+    poolIdleTimeoutMs: z.ZodOptional<z.ZodNumber>;
+    poolConnectionTimeoutMs: z.ZodOptional<z.ZodNumber>;
+    dataDirectory: z.ZodOptional<z.ZodString>;
+    dataStoreMapSizeKb: z.ZodNumber;
+    signingProtectionMapSizeKb: z.ZodOptional<z.ZodNumber>;
+    allowEphemeralSigningProtection: z.ZodOptional<z.ZodBoolean>;
+    l1ChainId: z.ZodNumber;
+    validatorAddresses: z.ZodOptional<z.ZodArray<z.ZodType<EthAddress, string, z.core.$ZodTypeInternals<EthAddress, string>>>>;
+    disableValidator: z.ZodBoolean;
+    disabledValidators: z.ZodArray<z.ZodType<EthAddress, string, z.core.$ZodTypeInternals<EthAddress, string>>>;
+    attestationPollingIntervalMs: z.ZodNumber;
+    alwaysReexecuteBlockProposals: z.ZodOptional<z.ZodBoolean>;
+    fishermanMode: z.ZodOptional<z.ZodBoolean>;
+    skipCheckpointProposalValidation: z.ZodOptional<z.ZodBoolean>;
+    skipPushProposedBlocksToArchiver: z.ZodOptional<z.ZodBoolean>;
+    attestToEquivocatedProposals: z.ZodOptional<z.ZodBoolean>;
+    skipProposalSlotValidation: z.ZodOptional<z.ZodBoolean>;
+    validateMaxL2BlockGas: z.ZodOptional<z.ZodNumber>;
+    validateMaxDABlockGas: z.ZodOptional<z.ZodNumber>;
+    validateMaxTxsPerBlock: z.ZodOptional<z.ZodNumber>;
+    validateMaxTxsPerCheckpoint: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export declare const ValidatorClientFullConfigSchema: z.ZodObject<{
+    rollupAddress: z.ZodType<EthAddress, string, z.core.$ZodTypeInternals<EthAddress, string>>;
+    nodeId: z.ZodString;
+    pollingIntervalMs: z.ZodNumber;
+    peerSigningTimeoutMs: z.ZodNumber;
+    signerCallTimeoutMs: z.ZodOptional<z.ZodNumber>;
+    maxStuckDutiesAgeMs: z.ZodOptional<z.ZodNumber>;
+    cleanupOldDutiesAfterHours: z.ZodOptional<z.ZodNumber>;
+    haSigningEnabled: z.ZodBoolean;
+    databaseUrl: z.ZodOptional<z.ZodType<SecretValue<string>, any, z.core.$ZodTypeInternals<SecretValue<string>, any>>>;
+    poolMaxCount: z.ZodOptional<z.ZodNumber>;
+    poolMinCount: z.ZodOptional<z.ZodNumber>;
+    poolIdleTimeoutMs: z.ZodOptional<z.ZodNumber>;
+    poolConnectionTimeoutMs: z.ZodOptional<z.ZodNumber>;
+    dataDirectory: z.ZodOptional<z.ZodString>;
+    dataStoreMapSizeKb: z.ZodNumber;
+    signingProtectionMapSizeKb: z.ZodOptional<z.ZodNumber>;
+    allowEphemeralSigningProtection: z.ZodOptional<z.ZodBoolean>;
+    l1ChainId: z.ZodNumber;
+    validatorAddresses: z.ZodOptional<z.ZodArray<z.ZodType<EthAddress, string, z.core.$ZodTypeInternals<EthAddress, string>>>>;
+    disableValidator: z.ZodBoolean;
+    disabledValidators: z.ZodArray<z.ZodType<EthAddress, string, z.core.$ZodTypeInternals<EthAddress, string>>>;
+    attestationPollingIntervalMs: z.ZodNumber;
+    alwaysReexecuteBlockProposals: z.ZodOptional<z.ZodBoolean>;
+    fishermanMode: z.ZodOptional<z.ZodBoolean>;
+    skipCheckpointProposalValidation: z.ZodOptional<z.ZodBoolean>;
+    skipPushProposedBlocksToArchiver: z.ZodOptional<z.ZodBoolean>;
+    attestToEquivocatedProposals: z.ZodOptional<z.ZodBoolean>;
+    skipProposalSlotValidation: z.ZodOptional<z.ZodBoolean>;
+    validateMaxL2BlockGas: z.ZodOptional<z.ZodNumber>;
+    validateMaxDABlockGas: z.ZodOptional<z.ZodNumber>;
+    validateMaxTxsPerBlock: z.ZodOptional<z.ZodNumber>;
+    validateMaxTxsPerCheckpoint: z.ZodOptional<z.ZodNumber>;
+    txPublicSetupAllowListExtend: z.ZodOptional<z.ZodArray<z.ZodUnion<readonly [z.ZodObject<{
+        address: import("@aztec-labs/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+        selector: import("@aztec-labs/foundation/schemas").ZodFor<import("../abi/function_selector.js").FunctionSelector>;
+        onlySelf: z.ZodOptional<z.ZodBoolean>;
+        rejectNullMsgSender: z.ZodOptional<z.ZodBoolean>;
+        calldataLength: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>, z.ZodObject<{
+        classId: import("@aztec-labs/foundation/schemas").ZodFor<Fr>;
+        selector: import("@aztec-labs/foundation/schemas").ZodFor<import("../abi/function_selector.js").FunctionSelector>;
+        onlySelf: z.ZodOptional<z.ZodBoolean>;
+        rejectNullMsgSender: z.ZodOptional<z.ZodBoolean>;
+        calldataLength: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strip>]>>>;
+    broadcastInvalidBlockProposal: z.ZodOptional<z.ZodBoolean>;
+    blockDurationMs: z.ZodNumber;
+    maxBlocksPerCheckpoint: z.ZodOptional<z.ZodNumber>;
+    slashBroadcastedInvalidBlockPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashBroadcastedInvalidCheckpointProposalPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashDuplicateProposalPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashDuplicateAttestationPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    slashAttestInvalidCheckpointProposalPenalty: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+    disableTransactions: z.ZodOptional<z.ZodBoolean>;
+    maxGossipClockDisparityMs: z.ZodOptional<z.ZodNumber>;
+}, z.core.$strip>;
+export interface Validator {
+    start(): Promise<void>;
+    updateConfig(config: Partial<ValidatorClientFullConfig>): void;
+    createBlockProposal(blockHeader: BlockHeader, checkpointNumber: CheckpointNumber, indexWithinCheckpoint: number, archive: Fr, txs: Tx[], proposerAddress: EthAddress | undefined, options: BlockProposalOptions): Promise<BlockProposal | undefined>;
+    /** Creates a checkpoint proposal for the last block in a checkpoint */
+    createCheckpointProposal(checkpointHeader: CheckpointHeader, archive: Fr, checkpointNumber: CheckpointNumber, feeAssetPriceModifier: bigint, lastBlockProposal: BlockProposal | undefined, proposerAddress: EthAddress | undefined, options: CheckpointProposalOptions): Promise<CheckpointProposal>;
+    /**
+     * Validate a block proposal from a peer that has already passed p2p ingress validation.
+     * Note: Validators do NOT attest to individual blocks - attestations are only for checkpoint proposals.
+     * @returns true if the proposal is valid, false otherwise
+     */
+    validateBlockProposal(proposal: ValidatedBlockProposal, sender: PeerId): Promise<boolean>;
+    /**
+     * Validate and attest to a checkpoint proposal from a peer that has already passed p2p ingress validation.
+     * @returns Checkpoint attestations if valid, undefined otherwise
+     */
+    attestToCheckpointProposal(proposal: ValidatedCheckpointProposalCore, sender: PeerId): Promise<CheckpointAttestation[] | undefined>;
+    broadcastBlockProposal(proposal: BlockProposal): Promise<void>;
+    /** Collect own attestations for a checkpoint proposal (used when skipping p2p attestation collection) */
+    collectOwnAttestations(proposal: CheckpointProposal, checkpointNumber: CheckpointNumber): Promise<CheckpointAttestation[]>;
+    /** Collect attestations from the p2p network for a checkpoint proposal */
+    collectAttestations(proposal: CheckpointProposal, required: number, deadline: Date, checkpointNumber: CheckpointNumber): Promise<CheckpointAttestation[]>;
+    signAttestationsAndSigners(attestationsAndSigners: CommitteeAttestationsAndSigners, proposer: EthAddress, slot: SlotNumber, checkpointNumber: CheckpointNumber): Promise<Signature>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmFsaWRhdG9yLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvaW50ZXJmYWNlcy92YWxpZGF0b3IudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsZ0JBQWdCLEVBQUUsVUFBVSxFQUFFLE1BQU0sc0NBQXNDLENBQUM7QUFDekYsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDakUsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLHFDQUFxQyxDQUFDO0FBQ3pELE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLG9DQUFvQyxDQUFDO0FBQ3JFLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLHNDQUFzQyxDQUFDO0FBRXRFLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxhQUFhLEVBQUUsTUFBTSxzQ0FBc0MsQ0FBQztBQUMzRixPQUFPLEtBQUssRUFDVixhQUFhLEVBQ2Isb0JBQW9CLEVBQ3BCLHFCQUFxQixFQUNyQixrQkFBa0IsRUFDbEIseUJBQXlCLEVBQ3pCLHNCQUFzQixFQUN0QiwrQkFBK0IsRUFDaEMsTUFBTSx3QkFBd0IsQ0FBQztBQUNoQyxPQUFPLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ2xFLE9BQU8sS0FBSyxFQUFFLFdBQVcsRUFBRSxFQUFFLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUM3RCxPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUNoRCxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sS0FBSyxFQUFFLCtCQUErQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDekUsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFDN0QsT0FBTyxFQUNMLEtBQUssaUJBQWlCLEVBRXRCLEtBQUssdUJBQXVCLEVBRTdCLE1BQU0sd0JBQXdCLENBQUM7QUFHaEM7O0dBRUc7QUFDSCxNQUFNLE1BQU0scUJBQXFCLEdBQUcsdUJBQXVCLEdBQ3pELGlCQUFpQixHQUFHO0lBQ2xCLDhEQUE4RDtJQUM5RCxTQUFTLEVBQUUsV0FBVyxDQUFDLFdBQVcsQ0FBQyxDQUFDO0lBRXBDLDZFQUE2RTtJQUM3RSxvQkFBb0IsQ0FBQyxFQUFFLFdBQVcsQ0FBQyxLQUFLLE1BQU0sRUFBRSxFQUFFLENBQUMsQ0FBQztJQUVwRCxpRUFBaUU7SUFDakUsa0JBQWtCLENBQUMsRUFBRSxVQUFVLEVBQUUsQ0FBQztJQUVsQywrQkFBK0I7SUFDL0IsZ0JBQWdCLEVBQUUsT0FBTyxDQUFDO0lBRTFCLDZEQUE2RDtJQUM3RCxrQkFBa0IsRUFBRSxVQUFVLEVBQUUsQ0FBQztJQUVqQywrREFBK0Q7SUFDL0QsNEJBQTRCLEVBQUUsTUFBTSxDQUFDO0lBRXJDLHFIQUFxSDtJQUNySCw2QkFBNkIsQ0FBQyxFQUFFLE9BQU8sQ0FBQztJQUV4QyxpSkFBaUo7SUFDakosYUFBYSxDQUFDLEVBQUUsT0FBTyxDQUFDO0lBRXhCLDZFQUE2RTtJQUM3RSxnQ0FBZ0MsQ0FBQyxFQUFFLE9BQU8sQ0FBQztJQUUzQyxtRUFBbUU7SUFDbkUsZ0NBQWdDLENBQUMsRUFBRSxPQUFPLENBQUM7SUFFM0Msc0ZBQXNGO0lBQ3RGLDRCQUE0QixDQUFDLEVBQUUsT0FBTyxDQUFDO0lBRXZDLDhFQUE4RTtJQUM5RSwwQkFBMEIsQ0FBQyxFQUFFLE9BQU8sQ0FBQztJQUVyQyw0RkFBNEY7SUFDNUYscUJBQXFCLENBQUMsRUFBRSxNQUFNLENBQUM7SUFFL0IsNEZBQTRGO0lBQzVGLHFCQUFxQixDQUFDLEVBQUUsTUFBTSxDQUFDO0lBRS9CLGtHQUFrRztJQUNsRyxzQkFBc0IsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUVoQyx1R0FBdUc7SUFDdkcsMkJBQTJCLENBQUMsRUFBRSxNQUFNLENBQUM7Q0FDdEMsQ0FBQztBQUVKLE1BQU0sTUFBTSx5QkFBeUIsR0FBRyxxQkFBcUIsR0FDM0QsSUFBSSxDQUFDLGVBQWUsRUFBRSw4QkFBOEIsR0FBRywrQkFBK0IsR0FBRyx3QkFBd0IsQ0FBQyxHQUdsSCxRQUFRLENBQUMsSUFBSSxDQUFDLGVBQWUsRUFBRSxpQkFBaUIsQ0FBQyxDQUFDLEdBQ2xELElBQUksQ0FDRixhQUFhLEVBQ1gscUNBQXFDLEdBQ3JDLGtEQUFrRCxHQUNsRCwrQkFBK0IsR0FDL0Isa0NBQWtDLEdBQ2xDLDZDQUE2QyxDQUNoRCxHQUFHO0lBQ0Y7OztPQUdHO0lBQ0gsbUJBQW1CLENBQUMsRUFBRSxPQUFPLENBQUM7SUFFOUI7OztPQUdHO0lBQ0gseUJBQXlCLENBQUMsRUFBRSxNQUFNLENBQUM7Q0FDcEMsQ0FBQztBQUVKLGVBQU8sTUFBTSwyQkFBMkI7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztpQkFrQnZDLENBQUM7QUFFRixlQUFPLE1BQU0sK0JBQStCOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztpQkFjM0MsQ0FBQztBQUVGLE1BQU0sV0FBVyxTQUFTO0lBQ3hCLEtBQUssSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUM7SUFDdkIsWUFBWSxDQUFDLE1BQU0sRUFBRSxPQUFPLENBQUMseUJBQXlCLENBQUMsR0FBRyxJQUFJLENBQUM7SUFHL0QsbUJBQW1CLENBQ2pCLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLGdCQUFnQixFQUFFLGdCQUFnQixFQUNsQyxxQkFBcUIsRUFBRSxNQUFNLEVBQzdCLE9BQU8sRUFBRSxFQUFFLEVBQ1gsR0FBRyxFQUFFLEVBQUUsRUFBRSxFQUNULGVBQWUsRUFBRSxVQUFVLEdBQUcsU0FBUyxFQUN2QyxPQUFPLEVBQUUsb0JBQW9CLEdBQzVCLE9BQU8sQ0FBQyxhQUFhLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFdEMsdUVBQXVFO0lBQ3ZFLHdCQUF3QixDQUN0QixnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMsT0FBTyxFQUFFLEVBQUUsRUFDWCxnQkFBZ0IsRUFBRSxnQkFBZ0IsRUFDbEMscUJBQXFCLEVBQUUsTUFBTSxFQUM3QixpQkFBaUIsRUFBRSxhQUFhLEdBQUcsU0FBUyxFQUM1QyxlQUFlLEVBQUUsVUFBVSxHQUFHLFNBQVMsRUFDdkMsT0FBTyxFQUFFLHlCQUF5QixHQUNqQyxPQUFPLENBQUMsa0JBQWtCLENBQUMsQ0FBQztJQUUvQjs7OztPQUlHO0lBQ0gscUJBQXFCLENBQUMsUUFBUSxFQUFFLHNCQUFzQixFQUFFLE1BQU0sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUFDO0lBRTFGOzs7T0FHRztJQUNILDBCQUEwQixDQUN4QixRQUFRLEVBQUUsK0JBQStCLEVBQ3pDLE1BQU0sRUFBRSxNQUFNLEdBQ2IsT0FBTyxDQUFDLHFCQUFxQixFQUFFLEdBQUcsU0FBUyxDQUFDLENBQUM7SUFFaEQsc0JBQXNCLENBQUMsUUFBUSxFQUFFLGFBQWEsR0FBRyxPQUFPLENBQUMsSUFBSSxDQUFDLENBQUM7SUFFL0QseUdBQXlHO0lBQ3pHLHNCQUFzQixDQUNwQixRQUFRLEVBQUUsa0JBQWtCLEVBQzVCLGdCQUFnQixFQUFFLGdCQUFnQixHQUNqQyxPQUFPLENBQUMscUJBQXFCLEVBQUUsQ0FBQyxDQUFDO0lBRXBDLDBFQUEwRTtJQUMxRSxtQkFBbUIsQ0FDakIsUUFBUSxFQUFFLGtCQUFrQixFQUM1QixRQUFRLEVBQUUsTUFBTSxFQUNoQixRQUFRLEVBQUUsSUFBSSxFQUNkLGdCQUFnQixFQUFFLGdCQUFnQixHQUNqQyxPQUFPLENBQUMscUJBQXFCLEVBQUUsQ0FBQyxDQUFDO0lBRXBDLDBCQUEwQixDQUN4QixzQkFBc0IsRUFBRSwrQkFBK0IsRUFDdkQsUUFBUSxFQUFFLFVBQVUsRUFDcEIsSUFBSSxFQUFFLFVBQVUsRUFDaEIsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQ2pDLE9BQU8sQ0FBQyxTQUFTLENBQUMsQ0FBQztDQUN2QiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"validator.d.ts","sourceRoot":"","sources":["../../src/interfaces/validator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,UAAU,EAAE,MAAM,sCAAsC,CAAC;AACzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AACjE,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,sCAAsC,CAAC;AAEtE,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,sCAAsC,CAAC;AAC3F,OAAO,KAAK,EACV,aAAa,EACb,oBAAoB,EACpB,qBAAqB,EACrB,kBAAkB,EAClB,yBAAyB,EACzB,sBAAsB,EACtB,+BAA+B,EAChC,MAAM,wBAAwB,CAAC;AAChC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,EAAE,WAAW,EAAE,EAAE,EAAE,MAAM,uBAAuB,CAAC;AAC7D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,+BAA+B,EAAE,MAAM,mBAAmB,CAAC;AACzE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,2BAA2B,CAAC;AAC7D,OAAO,EACL,KAAK,iBAAiB,EAEtB,KAAK,uBAAuB,EAE7B,MAAM,wBAAwB,CAAC;AAGhC;;GAEG;AACH,MAAM,MAAM,qBAAqB,GAAG,uBAAuB,GACzD,iBAAiB,GAAG;IAClB,8DAA8D;IAC9D,SAAS,EAAE,WAAW,CAAC,WAAW,CAAC,CAAC;IAEpC,6EAA6E;IAC7E,oBAAoB,CAAC,EAAE,WAAW,CAAC,KAAK,MAAM,EAAE,EAAE,CAAC,CAAC;IAEpD,iEAAiE;IACjE,kBAAkB,CAAC,EAAE,UAAU,EAAE,CAAC;IAElC,+BAA+B;IAC/B,gBAAgB,EAAE,OAAO,CAAC;IAE1B,6DAA6D;IAC7D,kBAAkB,EAAE,UAAU,EAAE,CAAC;IAEjC,+DAA+D;IAC/D,4BAA4B,EAAE,MAAM,CAAC;IAErC,qHAAqH;IACrH,6BAA6B,CAAC,EAAE,OAAO,CAAC;IAExC,iJAAiJ;IACjJ,aAAa,CAAC,EAAE,OAAO,CAAC;IAExB,6EAA6E;IAC7E,gCAAgC,CAAC,EAAE,OAAO,CAAC;IAE3C,mEAAmE;IACnE,gCAAgC,CAAC,EAAE,OAAO,CAAC;IAE3C,sFAAsF;IACtF,4BAA4B,CAAC,EAAE,OAAO,CAAC;IAEvC,8EAA8E;IAC9E,0BAA0B,CAAC,EAAE,OAAO,CAAC;IAErC,4FAA4F;IAC5F,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAE/B,4FAA4F;IAC5F,qBAAqB,CAAC,EAAE,MAAM,CAAC;IAE/B,kGAAkG;IAClG,sBAAsB,CAAC,EAAE,MAAM,CAAC;IAEhC,uGAAuG;IACvG,2BAA2B,CAAC,EAAE,MAAM,CAAC;CACtC,CAAC;AAEJ,MAAM,MAAM,yBAAyB,GAAG,qBAAqB,GAC3D,IAAI,CAAC,eAAe,EAAE,8BAA8B,GAAG,+BAA+B,GAAG,wBAAwB,CAAC,GAGlH,QAAQ,CAAC,IAAI,CAAC,eAAe,EAAE,iBAAiB,CAAC,CAAC,GAClD,IAAI,CACF,aAAa,EACX,qCAAqC,GACrC,kDAAkD,GAClD,+BAA+B,GAC/B,kCAAkC,GAClC,6CAA6C,CAChD,GAAG;IACF;;;OAGG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;IAE9B;;;OAGG;IACH,yBAAyB,CAAC,EAAE,MAAM,CAAC;CACpC,CAAC;AAEJ,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAkBvC,CAAC;AAEF,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;iBAc3C,CAAC;AAEF,MAAM,WAAW,SAAS;IACxB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IACvB,YAAY,CAAC,MAAM,EAAE,OAAO,CAAC,yBAAyB,CAAC,GAAG,IAAI,CAAC;IAG/D,mBAAmB,CACjB,WAAW,EAAE,WAAW,EACxB,gBAAgB,EAAE,gBAAgB,EAClC,qBAAqB,EAAE,MAAM,EAC7B,OAAO,EAAE,EAAE,EACX,GAAG,EAAE,EAAE,EAAE,EACT,eAAe,EAAE,UAAU,GAAG,SAAS,EACvC,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CAAC;IAEtC,uEAAuE;IACvE,wBAAwB,CACtB,gBAAgB,EAAE,gBAAgB,EAClC,OAAO,EAAE,EAAE,EACX,gBAAgB,EAAE,gBAAgB,EAClC,qBAAqB,EAAE,MAAM,EAC7B,iBAAiB,EAAE,aAAa,GAAG,SAAS,EAC5C,eAAe,EAAE,UAAU,GAAG,SAAS,EACvC,OAAO,EAAE,yBAAyB,GACjC,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAE/B;;;;OAIG;IACH,qBAAqB,CAAC,QAAQ,EAAE,sBAAsB,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAE1F;;;OAGG;IACH,0BAA0B,CACxB,QAAQ,EAAE,+BAA+B,EACzC,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,qBAAqB,EAAE,GAAG,SAAS,CAAC,CAAC;IAEhD,sBAAsB,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAE/D,yGAAyG;IACzG,sBAAsB,CACpB,QAAQ,EAAE,kBAAkB,EAC5B,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAEpC,0EAA0E;IAC1E,mBAAmB,CACjB,QAAQ,EAAE,kBAAkB,EAC5B,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,IAAI,EACd,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,qBAAqB,EAAE,CAAC,CAAC;IAEpC,0BAA0B,CACxB,sBAAsB,EAAE,+BAA+B,EACvD,QAAQ,EAAE,UAAU,EACpB,IAAI,EAAE,UAAU,EAChB,gBAAgB,EAAE,gBAAgB,GACjC,OAAO,CAAC,SAAS,CAAC,CAAC;CACvB"}

package/dest/interfaces/validator.js

@@ -0,0 +1,34 @@
+import { schemas, zodFor } from '@aztec-labs/foundation/schemas';
+import { z } from 'zod';
+import { LocalSignerConfigSchema, ValidatorHASignerConfigSchema } from '../ha-signing/index.js';
+import { AllowedElementSchema } from './allowed_element.js';
+export const ValidatorClientConfigSchema = zodFor()(ValidatorHASignerConfigSchema.merge(LocalSignerConfigSchema).extend({
+    l1ChainId: z.number().int().nonnegative(),
+    validatorAddresses: z.array(schemas.EthAddress).optional(),
+    disableValidator: z.boolean(),
+    disabledValidators: z.array(schemas.EthAddress),
+    attestationPollingIntervalMs: z.number().min(0),
+    alwaysReexecuteBlockProposals: z.boolean().optional(),
+    fishermanMode: z.boolean().optional(),
+    skipCheckpointProposalValidation: z.boolean().optional(),
+    skipPushProposedBlocksToArchiver: z.boolean().optional(),
+    attestToEquivocatedProposals: z.boolean().optional(),
+    skipProposalSlotValidation: z.boolean().optional(),
+    validateMaxL2BlockGas: z.number().optional(),
+    validateMaxDABlockGas: z.number().optional(),
+    validateMaxTxsPerBlock: z.number().optional(),
+    validateMaxTxsPerCheckpoint: z.number().optional()
+}));
+export const ValidatorClientFullConfigSchema = zodFor()(ValidatorClientConfigSchema.extend({
+    txPublicSetupAllowListExtend: z.array(AllowedElementSchema).optional(),
+    broadcastInvalidBlockProposal: z.boolean().optional(),
+    blockDurationMs: z.number().positive(),
+    maxBlocksPerCheckpoint: z.number().positive().optional(),
+    slashBroadcastedInvalidBlockPenalty: schemas.BigInt,
+    slashBroadcastedInvalidCheckpointProposalPenalty: schemas.BigInt,
+    slashDuplicateProposalPenalty: schemas.BigInt,
+    slashDuplicateAttestationPenalty: schemas.BigInt,
+    slashAttestInvalidCheckpointProposalPenalty: schemas.BigInt,
+    disableTransactions: z.boolean().optional(),
+    maxGossipClockDisparityMs: z.number().optional()
+}));

package/dest/interfaces/world_state.d.ts

@@ -0,0 +1,93 @@
+import { BlockNumber } from '@aztec-labs/foundation/branded-types';
+import type { PromiseWithResolvers } from '@aztec-labs/foundation/promise';
+import { z } from 'zod';
+import type { BlockHash } from '../block/block_hash.js';
+import type { SnapshotDataKeys } from '../snapshots/types.js';
+import type { MerkleTreeReadOperations, MerkleTreeWriteOperations } from './merkle_tree_operations.js';
+export type { SnapshotDataKeys };
+/**
+ * Defines the possible states of the world state synchronizer.
+ */
+export declare enum WorldStateRunningState {
+    IDLE = 0,
+    SYNCHING = 1,
+    RUNNING = 2,
+    STOPPED = 3
+}
+export interface WorldStateSyncStatus {
+    latestBlockNumber: BlockNumber;
+    latestBlockHash: string;
+    finalizedBlockNumber: BlockNumber;
+    oldestHistoricBlockNumber: BlockNumber;
+    treesAreSynched: boolean;
+}
+/**
+ * Defines the status of the world state synchronizer.
+ */
+export interface WorldStateSynchronizerStatus {
+    /**
+     * The current state of the world state synchronizer.
+     */
+    state: WorldStateRunningState;
+    /**
+     * The block numbers that the world state synchronizer is synced to.
+     */
+    syncSummary: WorldStateSyncStatus;
+}
+/** Provides writeable forks of the world state at a given block number. */
+export interface ForkMerkleTreeOperations {
+    /**
+     * Forks the world state at the given block number, defaulting to the latest one.
+     * @param block - The block number to fork at.
+     * @param opts - Optional parameters:
+     *  - closeDelayMs: number of milliseconds to wait before closing the fork on dispose.
+     */
+    fork(block?: BlockNumber, opts?: {
+        closeDelayMs?: number;
+    }): Promise<MerkleTreeWriteOperations>;
+    /** Backups the db to the target path. */
+    backupTo(dstPath: string, compact?: boolean): Promise<Record<Exclude<SnapshotDataKeys, 'archiver'>, string>>;
+}
+export interface ReadonlyWorldStateAccess {
+    /** Returns an instance of MerkleTreeAdminOperations that will not include uncommitted data. */
+    getCommitted(): MerkleTreeReadOperations;
+    /** Gets a handle that allows reading the state as it was at the given block number. */
+    getSnapshot(blockNumber: number): MerkleTreeReadOperations;
+}
+/** Defines the interface for a world state synchronizer. */
+export interface WorldStateSynchronizer extends ReadonlyWorldStateAccess, ForkMerkleTreeOperations {
+    /**
+     * Returns a read handle to the world state at `blockNumber`, but only after verifying that the block at that
+     * height is on the fork identified by `blockHash`. This pins the returned view to a specific fork so a reorg
+     * that replaced the block at `blockNumber` cannot be served silently, closing the gap between resolving a query
+     * and reading its snapshot.
+     *
+     * Rejects if the block at `blockNumber` does not match `blockHash` (a reorg), or if the block's hash cannot be
+     * read from the requested view. Both are transient from a caller's perspective: re-resolving the query against
+     * the current chain and retrying may succeed or produce a more precise error. However, if the block's history
+     * has been pruned away (it predates the oldest historical block kept by world state), the rejection is terminal:
+     * retrying cannot bring the data back.
+     */
+    getVerifiedSnapshot(blockNumber: BlockNumber, blockHash: BlockHash): Promise<MerkleTreeReadOperations>;
+    /** Starts the synchronizer. */
+    start(): Promise<void | PromiseWithResolvers<void>>;
+    /** Returns the current status of the synchronizer. */
+    status(): Promise<WorldStateSynchronizerStatus>;
+    /** Stops the synchronizer and its database. */
+    stop(): Promise<void>;
+    /** Stops the synchronizer from syncing, but keeps the database online. */
+    stopSync(): Promise<void>;
+    /** Resumes synching after a stopSync call. */
+    resumeSync(): void;
+    /**
+     * Forces an immediate sync to an optionally provided minimum block number.
+     * @param targetBlockNumber - The target block number that we must sync to. Will download unproven blocks if needed to reach it.
+     * @param blockHash - If provided, verifies the block at targetBlockNumber matches this hash. On mismatch, triggers a resync (reorg detection).
+     * @returns A promise that resolves with the block number the world state was synced to
+     */
+    syncImmediate(minBlockNumber?: BlockNumber, blockHash?: BlockHash): Promise<BlockNumber>;
+    /** Deletes the db */
+    clear(): Promise<void>;
+}
+export declare const WorldStateSyncStatusSchema: z.ZodType<WorldStateSyncStatus, any>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid29ybGRfc3RhdGUuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9pbnRlcmZhY2VzL3dvcmxkX3N0YXRlLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQXFCLE1BQU0sc0NBQXNDLENBQUM7QUFDdEYsT0FBTyxLQUFLLEVBQUUsb0JBQW9CLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUMzRSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLE9BQU8sS0FBSyxFQUFFLFNBQVMsRUFBRSxNQUFNLHdCQUF3QixDQUFDO0FBQ3hELE9BQU8sS0FBSyxFQUFFLGdCQUFnQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFDOUQsT0FBTyxLQUFLLEVBQUUsd0JBQXdCLEVBQUUseUJBQXlCLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUV2RyxZQUFZLEVBQUUsZ0JBQWdCLEVBQUUsQ0FBQztBQUVqQzs7R0FFRztBQUNILG9CQUFZLHNCQUFzQjtJQUNoQyxJQUFJLElBQUE7SUFDSixRQUFRLElBQUE7SUFDUixPQUFPLElBQUE7SUFDUCxPQUFPLElBQUE7Q0FDUjtBQUVELE1BQU0sV0FBVyxvQkFBb0I7SUFDbkMsaUJBQWlCLEVBQUUsV0FBVyxDQUFDO0lBQy9CLGVBQWUsRUFBRSxNQUFNLENBQUM7SUFDeEIsb0JBQW9CLEVBQUUsV0FBVyxDQUFDO0lBQ2xDLHlCQUF5QixFQUFFLFdBQVcsQ0FBQztJQUN2QyxlQUFlLEVBQUUsT0FBTyxDQUFDO0NBQzFCO0FBRUQ7O0dBRUc7QUFDSCxNQUFNLFdBQVcsNEJBQTRCO0lBQzNDOztPQUVHO0lBQ0gsS0FBSyxFQUFFLHNCQUFzQixDQUFDO0lBQzlCOztPQUVHO0lBQ0gsV0FBVyxFQUFFLG9CQUFvQixDQUFDO0NBQ25DO0FBRUQsMkVBQTJFO0FBQzNFLE1BQU0sV0FBVyx3QkFBd0I7SUFDdkM7Ozs7O09BS0c7SUFDSCxJQUFJLENBQUMsS0FBSyxDQUFDLEVBQUUsV0FBVyxFQUFFLElBQUksQ0FBQyxFQUFFO1FBQUUsWUFBWSxDQUFDLEVBQUUsTUFBTSxDQUFBO0tBQUUsR0FBRyxPQUFPLENBQUMseUJBQXlCLENBQUMsQ0FBQztJQUVoRyx5Q0FBeUM7SUFDekMsUUFBUSxDQUFDLE9BQU8sRUFBRSxNQUFNLEVBQUUsT0FBTyxDQUFDLEVBQUUsT0FBTyxHQUFHLE9BQU8sQ0FBQyxNQUFNLENBQUMsT0FBTyxDQUFDLGdCQUFnQixFQUFFLFVBQVUsQ0FBQyxFQUFFLE1BQU0sQ0FBQyxDQUFDLENBQUM7Q0FDOUc7QUFFRCxNQUFNLFdBQVcsd0JBQXdCO0lBQ3ZDLCtGQUErRjtJQUMvRixZQUFZLElBQUksd0JBQXdCLENBQUM7SUFFekMsdUZBQXVGO0lBQ3ZGLFdBQVcsQ0FBQyxXQUFXLEVBQUUsTUFBTSxHQUFHLHdCQUF3QixDQUFDO0NBQzVEO0FBRUQsNERBQTREO0FBQzVELE1BQU0sV0FBVyxzQkFBdUIsU0FBUSx3QkFBd0IsRUFBRSx3QkFBd0I7SUFDaEc7Ozs7Ozs7Ozs7O09BV0c7SUFDSCxtQkFBbUIsQ0FBQyxXQUFXLEVBQUUsV0FBVyxFQUFFLFNBQVMsRUFBRSxTQUFTLEdBQUcsT0FBTyxDQUFDLHdCQUF3QixDQUFDLENBQUM7SUFFdkcsK0JBQStCO0lBQy9CLEtBQUssSUFBSSxPQUFPLENBQUMsSUFBSSxHQUFHLG9CQUFvQixDQUFDLElBQUksQ0FBQyxDQUFDLENBQUM7SUFFcEQsc0RBQXNEO0lBQ3RELE1BQU0sSUFBSSxPQUFPLENBQUMsNEJBQTRCLENBQUMsQ0FBQztJQUVoRCwrQ0FBK0M7SUFDL0MsSUFBSSxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUV0QiwwRUFBMEU7SUFDMUUsUUFBUSxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUUxQiw4Q0FBOEM7SUFDOUMsVUFBVSxJQUFJLElBQUksQ0FBQztJQUVuQjs7Ozs7T0FLRztJQUNILGFBQWEsQ0FBQyxjQUFjLENBQUMsRUFBRSxXQUFXLEVBQUUsU0FBUyxDQUFDLEVBQUUsU0FBUyxHQUFHLE9BQU8sQ0FBQyxXQUFXLENBQUMsQ0FBQztJQUV6RixxQkFBcUI7SUFDckIsS0FBSyxJQUFJLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FBQztDQUN4QjtBQUVELGVBQU8sTUFBTSwwQkFBMEIsRUFBRSxDQUFDLENBQUMsT0FBTyxDQUFDLG9CQUFvQixFQUFFLEdBQUcsQ0FNMUUsQ0FBQyJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"world_state.d.ts","sourceRoot":"","sources":["../../src/interfaces/world_state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAqB,MAAM,sCAAsC,CAAC;AACtF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,gCAAgC,CAAC;AAC3E,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,wBAAwB,CAAC;AACxD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,KAAK,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAEvG,YAAY,EAAE,gBAAgB,EAAE,CAAC;AAEjC;;GAEG;AACH,oBAAY,sBAAsB;IAChC,IAAI,IAAA;IACJ,QAAQ,IAAA;IACR,OAAO,IAAA;IACP,OAAO,IAAA;CACR;AAED,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,WAAW,CAAC;IAC/B,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,WAAW,CAAC;IAClC,yBAAyB,EAAE,WAAW,CAAC;IACvC,eAAe,EAAE,OAAO,CAAC;CAC1B;AAED;;GAEG;AACH,MAAM,WAAW,4BAA4B;IAC3C;;OAEG;IACH,KAAK,EAAE,sBAAsB,CAAC;IAC9B;;OAEG;IACH,WAAW,EAAE,oBAAoB,CAAC;CACnC;AAED,2EAA2E;AAC3E,MAAM,WAAW,wBAAwB;IACvC;;;;;OAKG;IACH,IAAI,CAAC,KAAK,CAAC,EAAE,WAAW,EAAE,IAAI,CAAC,EAAE;QAAE,YAAY,CAAC,EAAE,MAAM,CAAA;KAAE,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;IAEhG,yCAAyC;IACzC,QAAQ,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,OAAO,CAAC,gBAAgB,EAAE,UAAU,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC;CAC9G;AAED,MAAM,WAAW,wBAAwB;IACvC,+FAA+F;IAC/F,YAAY,IAAI,wBAAwB,CAAC;IAEzC,uFAAuF;IACvF,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,wBAAwB,CAAC;CAC5D;AAED,4DAA4D;AAC5D,MAAM,WAAW,sBAAuB,SAAQ,wBAAwB,EAAE,wBAAwB;IAChG;;;;;;;;;;;OAWG;IACH,mBAAmB,CAAC,WAAW,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,wBAAwB,CAAC,CAAC;IAEvG,+BAA+B;IAC/B,KAAK,IAAI,OAAO,CAAC,IAAI,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC,CAAC;IAEpD,sDAAsD;IACtD,MAAM,IAAI,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAEhD,+CAA+C;IAC/C,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtB,0EAA0E;IAC1E,QAAQ,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAE1B,8CAA8C;IAC9C,UAAU,IAAI,IAAI,CAAC;IAEnB;;;;;OAKG;IACH,aAAa,CAAC,cAAc,CAAC,EAAE,WAAW,EAAE,SAAS,CAAC,EAAE,SAAS,GAAG,OAAO,CAAC,WAAW,CAAC,CAAC;IAEzF,qBAAqB;IACrB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxB;AAED,eAAO,MAAM,0BAA0B,EAAE,CAAC,CAAC,OAAO,CAAC,oBAAoB,EAAE,GAAG,CAM1E,CAAC"}

package/dest/interfaces/world_state.js

@@ -0,0 +1,18 @@
+import { BlockNumberSchema } from '@aztec-labs/foundation/branded-types';
+import { z } from 'zod';
+/**
+ * Defines the possible states of the world state synchronizer.
+ */ export var WorldStateRunningState = /*#__PURE__*/ function(WorldStateRunningState) {
+    WorldStateRunningState[WorldStateRunningState["IDLE"] = 0] = "IDLE";
+    WorldStateRunningState[WorldStateRunningState["SYNCHING"] = 1] = "SYNCHING";
+    WorldStateRunningState[WorldStateRunningState["RUNNING"] = 2] = "RUNNING";
+    WorldStateRunningState[WorldStateRunningState["STOPPED"] = 3] = "STOPPED";
+    return WorldStateRunningState;
+}({});
+export const WorldStateSyncStatusSchema = z.object({
+    finalizedBlockNumber: BlockNumberSchema,
+    latestBlockNumber: BlockNumberSchema,
+    latestBlockHash: z.string(),
+    oldestHistoricBlockNumber: BlockNumberSchema,
+    treesAreSynched: z.boolean()
+});

package/dest/kernel/claimed_length_array.d.ts

@@ -0,0 +1,34 @@
+import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, FieldReader, type Serializable, type Tuple } from '@aztec-labs/foundation/serialize';
+import { inspect } from 'util';
+export declare class ClaimedLengthArray<T extends Serializable, N extends number> {
+    array: Tuple<T, N>;
+    claimedLength: number;
+    constructor(array: Tuple<T, N>, claimedLength: number);
+    static fromBuffer<T extends Serializable, N extends number>(buffer: Buffer | BufferReader, deserializer: {
+        fromBuffer: (reader: BufferReader) => T;
+    }, arrayLength: N): ClaimedLengthArray<T, N>;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromFields<T extends Serializable, N extends number>(fields: Fr[] | FieldReader, deserializer: {
+        fromFields: (reader: FieldReader) => T;
+    }, arrayLength: N): ClaimedLengthArray<T, N>;
+    toFields(): Fr[];
+    static empty<T extends Serializable, N extends number>(elem: {
+        empty: () => T;
+    }, arraySize: number): ClaimedLengthArray<T, N>;
+    isEmpty(): boolean;
+    getActiveItems(): T[];
+    getSize(): number;
+    [inspect.custom](): string;
+}
+export declare function ClaimedLengthArrayFromBuffer<T extends Serializable, N extends number>(deserializer: {
+    fromBuffer: (reader: BufferReader) => T;
+}, arrayLength: N): {
+    fromBuffer: (reader: BufferReader) => ClaimedLengthArray<T, N>;
+};
+export declare function ClaimedLengthArrayFromFields<T extends Serializable, N extends number>(deserializer: {
+    fromFields: (reader: FieldReader) => T;
+}, arrayLength: N): {
+    fromFields: (reader: FieldReader) => ClaimedLengthArray<T, N>;
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2xhaW1lZF9sZW5ndGhfYXJyYXkuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9rZXJuZWwvY2xhaW1lZF9sZW5ndGhfYXJyYXkudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxLQUFLLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFDOUQsT0FBTyxFQUNMLFlBQVksRUFDWixXQUFXLEVBQ1gsS0FBSyxZQUFZLEVBQ2pCLEtBQUssS0FBSyxFQUdYLE1BQU0sa0NBQWtDLENBQUM7QUFDMUMsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLE1BQU0sQ0FBQztBQUUvQixxQkFBYSxrQkFBa0IsQ0FBQyxDQUFDLFNBQVMsWUFBWSxFQUFFLENBQUMsU0FBUyxNQUFNO0lBRTdELEtBQUssRUFBRSxLQUFLLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQztJQUVsQixhQUFhLEVBQUUsTUFBTTtJQUg5QixZQUNTLEtBQUssRUFBRSxLQUFLLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxFQUVsQixhQUFhLEVBQUUsTUFBTSxFQUMxQjtJQUVKLE1BQU0sQ0FBQyxVQUFVLENBQUMsQ0FBQyxTQUFTLFlBQVksRUFBRSxDQUFDLFNBQVMsTUFBTSxFQUN4RCxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksRUFDN0IsWUFBWSxFQUFFO1FBQ1osVUFBVSxFQUFFLENBQUMsTUFBTSxFQUFFLFlBQVksS0FBSyxDQUFDLENBQUM7S0FDekMsRUFDRCxXQUFXLEVBQUUsQ0FBQyxHQUNiLGtCQUFrQixDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FLMUI7SUFFRCxRQUFRLDRCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxDQUFDLFNBQVMsWUFBWSxFQUFFLENBQUMsU0FBUyxNQUFNLEVBQ3hELE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLEVBQzFCLFlBQVksRUFBRTtRQUNaLFVBQVUsRUFBRSxDQUFDLE1BQU0sRUFBRSxXQUFXLEtBQUssQ0FBQyxDQUFDO0tBQ3hDLEVBQ0QsV0FBVyxFQUFFLENBQUMsR0FDYixrQkFBa0IsQ0FBQyxDQUFDLEVBQUUsQ0FBQyxDQUFDLENBSzFCO0lBRUQsUUFBUSxTQUVQO0lBRUQsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFDLFNBQVMsWUFBWSxFQUFFLENBQUMsU0FBUyxNQUFNLEVBQ25ELElBQUksRUFBRTtRQUFFLEtBQUssRUFBRSxNQUFNLENBQUMsQ0FBQTtLQUFFLEVBQ3hCLFNBQVMsRUFBRSxNQUFNLEdBQ2hCLGtCQUFrQixDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FHMUI7SUFFRCxPQUFPLFlBRU47SUFFRCxjQUFjLElBQUksQ0FBQyxFQUFFLENBRXBCO0lBRUQsT0FBTyxXQUVOO0lBRUQsQ0FBQyxPQUFPLENBQUMsTUFBTSxDQUFDLFdBT2Y7Q0FDRjtBQUVELHdCQUFnQiw0QkFBNEIsQ0FBQyxDQUFDLFNBQVMsWUFBWSxFQUFFLENBQUMsU0FBUyxNQUFNLEVBQ25GLFlBQVksRUFBRTtJQUNaLFVBQVUsRUFBRSxDQUFDLE1BQU0sRUFBRSxZQUFZLEtBQUssQ0FBQyxDQUFDO0NBQ3pDLEVBQ0QsV0FBVyxFQUFFLENBQUMsR0FDYjtJQUNELFVBQVUsRUFBRSxDQUFDLE1BQU0sRUFBRSxZQUFZLEtBQUssa0JBQWtCLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDO0NBQ2hFLENBRUE7QUFFRCx3QkFBZ0IsNEJBQTRCLENBQUMsQ0FBQyxTQUFTLFlBQVksRUFBRSxDQUFDLFNBQVMsTUFBTSxFQUNuRixZQUFZLEVBQUU7SUFDWixVQUFVLEVBQUUsQ0FBQyxNQUFNLEVBQUUsV0FBVyxLQUFLLENBQUMsQ0FBQztDQUN4QyxFQUNELFdBQVcsRUFBRSxDQUFDLEdBQ2I7SUFDRCxVQUFVLEVBQUUsQ0FBQyxNQUFNLEVBQUUsV0FBVyxLQUFLLGtCQUFrQixDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQztDQUMvRCxDQUVBIn0=

package/dest/kernel/claimed_length_array.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"claimed_length_array.d.ts","sourceRoot":"","sources":["../../src/kernel/claimed_length_array.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAC9D,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,YAAY,EACjB,KAAK,KAAK,EAGX,MAAM,kCAAkC,CAAC;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAE/B,qBAAa,kBAAkB,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,SAAS,MAAM;IAE7D,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;IAElB,aAAa,EAAE,MAAM;IAH9B,YACS,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAElB,aAAa,EAAE,MAAM,EAC1B;IAEJ,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,SAAS,MAAM,EACxD,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,YAAY,EAAE;QACZ,UAAU,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,CAAC,CAAC;KACzC,EACD,WAAW,EAAE,CAAC,GACb,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAK1B;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,SAAS,MAAM,EACxD,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,EAC1B,YAAY,EAAE;QACZ,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,CAAC,CAAC;KACxC,EACD,WAAW,EAAE,CAAC,GACb,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAK1B;IAED,QAAQ,SAEP;IAED,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,SAAS,MAAM,EACnD,IAAI,EAAE;QAAE,KAAK,EAAE,MAAM,CAAC,CAAA;KAAE,EACxB,SAAS,EAAE,MAAM,GAChB,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAG1B;IAED,OAAO,YAEN;IAED,cAAc,IAAI,CAAC,EAAE,CAEpB;IAED,OAAO,WAEN;IAED,CAAC,OAAO,CAAC,MAAM,CAAC,WAOf;CACF;AAED,wBAAgB,4BAA4B,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,SAAS,MAAM,EACnF,YAAY,EAAE;IACZ,UAAU,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,CAAC,CAAC;CACzC,EACD,WAAW,EAAE,CAAC,GACb;IACD,UAAU,EAAE,CAAC,MAAM,EAAE,YAAY,KAAK,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAChE,CAEA;AAED,wBAAgB,4BAA4B,CAAC,CAAC,SAAS,YAAY,EAAE,CAAC,SAAS,MAAM,EACnF,YAAY,EAAE;IACZ,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,CAAC,CAAC;CACxC,EACD,WAAW,EAAE,CAAC,GACb;IACD,UAAU,EAAE,CAAC,MAAM,EAAE,WAAW,KAAK,kBAAkB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC/D,CAEA"}

package/dest/kernel/claimed_length_array.js

@@ -0,0 +1,60 @@
+var _computedKey;
+import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec-labs/foundation/serialize';
+import { inspect } from 'util';
+_computedKey = inspect.custom;
+export class ClaimedLengthArray {
+    array;
+    claimedLength;
+    constructor(array, // Named `claimedLength` instead of `length` to avoid being confused with array.length.
+    claimedLength){
+        this.array = array;
+        this.claimedLength = claimedLength;
+    }
+    static fromBuffer(buffer, deserializer, arrayLength) {
+        const reader = BufferReader.asReader(buffer);
+        const array = reader.readArray(arrayLength, deserializer);
+        const claimedLength = reader.readNumber();
+        return new ClaimedLengthArray(array, claimedLength);
+    }
+    toBuffer() {
+        return serializeToBuffer(this.array, this.claimedLength);
+    }
+    static fromFields(fields, deserializer, arrayLength) {
+        const reader = FieldReader.asReader(fields);
+        const array = reader.readArray(arrayLength, deserializer);
+        const claimedLength = reader.readU32();
+        return new ClaimedLengthArray(array, claimedLength);
+    }
+    toFields() {
+        return serializeToFields(this.array, this.claimedLength);
+    }
+    static empty(elem, arraySize) {
+        const array = Array(arraySize).fill(elem.empty());
+        return new ClaimedLengthArray(array, 0);
+    }
+    isEmpty() {
+        return this.claimedLength === 0;
+    }
+    getActiveItems() {
+        return this.array.slice(0, this.claimedLength);
+    }
+    getSize() {
+        return this.toBuffer().length;
+    }
+    [_computedKey]() {
+        return `ClaimedLengthArray {
+      array: [${this.getActiveItems().map((x)=>inspect(x)).join(', ')}],
+      claimedLength: ${this.claimedLength},
+    `;
+    }
+}
+export function ClaimedLengthArrayFromBuffer(deserializer, arrayLength) {
+    return {
+        fromBuffer: (reader)=>ClaimedLengthArray.fromBuffer(reader, deserializer, arrayLength)
+    };
+}
+export function ClaimedLengthArrayFromFields(deserializer, arrayLength) {
+    return {
+        fromFields: (reader)=>ClaimedLengthArray.fromFields(reader, deserializer, arrayLength)
+    };
+}

package/dest/kernel/hiding_kernel_private_inputs.d.ts

@@ -0,0 +1,19 @@
+import { BufferReader } from '@aztec-labs/foundation/serialize';
+import { VkData } from '../vks/index.js';
+import { PrivateToPublicKernelCircuitPublicInputs } from './private_to_public_kernel_circuit_public_inputs.js';
+import { PrivateToRollupKernelCircuitPublicInputs } from './private_to_rollup_kernel_circuit_public_inputs.js';
+export declare class HidingKernelToRollupPrivateInputs {
+    previousKernelPublicInputs: PrivateToRollupKernelCircuitPublicInputs;
+    previousKernelVkData: VkData;
+    constructor(previousKernelPublicInputs: PrivateToRollupKernelCircuitPublicInputs, previousKernelVkData: VkData);
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): HidingKernelToRollupPrivateInputs;
+}
+export declare class HidingKernelToPublicPrivateInputs {
+    previousKernelPublicInputs: PrivateToPublicKernelCircuitPublicInputs;
+    previousKernelVkData: VkData;
+    constructor(previousKernelPublicInputs: PrivateToPublicKernelCircuitPublicInputs, previousKernelVkData: VkData);
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): HidingKernelToPublicPrivateInputs;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaGlkaW5nX2tlcm5lbF9wcml2YXRlX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2tlcm5lbC9oaWRpbmdfa2VybmVsX3ByaXZhdGVfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sa0NBQWtDLENBQUM7QUFFbkYsT0FBTyxFQUFFLE1BQU0sRUFBRSxNQUFNLGlCQUFpQixDQUFDO0FBQ3pDLE9BQU8sRUFBRSx3Q0FBd0MsRUFBRSxNQUFNLHFEQUFxRCxDQUFDO0FBQy9HLE9BQU8sRUFBRSx3Q0FBd0MsRUFBRSxNQUFNLHFEQUFxRCxDQUFDO0FBRS9HLHFCQUFhLGlDQUFpQztJQUVuQywwQkFBMEIsRUFBRSx3Q0FBd0M7SUFDcEUsb0JBQW9CLEVBQUUsTUFBTTtJQUZyQyxZQUNTLDBCQUEwQixFQUFFLHdDQUF3QyxFQUNwRSxvQkFBb0IsRUFBRSxNQUFNLEVBQ2pDO0lBRUosUUFBUSw0QkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLHFDQUc5QztDQUNGO0FBRUQscUJBQWEsaUNBQWlDO0lBRW5DLDBCQUEwQixFQUFFLHdDQUF3QztJQUNwRSxvQkFBb0IsRUFBRSxNQUFNO0lBRnJDLFlBQ1MsMEJBQTBCLEVBQUUsd0NBQXdDLEVBQ3BFLG9CQUFvQixFQUFFLE1BQU0sRUFDakM7SUFFSixRQUFRLDRCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVkscUNBRzlDO0NBQ0YifQ==

package/dest/kernel/hiding_kernel_private_inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hiding_kernel_private_inputs.d.ts","sourceRoot":"","sources":["../../src/kernel/hiding_kernel_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAqB,MAAM,kCAAkC,CAAC;AAEnF,OAAO,EAAE,MAAM,EAAE,MAAM,iBAAiB,CAAC;AACzC,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAC/G,OAAO,EAAE,wCAAwC,EAAE,MAAM,qDAAqD,CAAC;AAE/G,qBAAa,iCAAiC;IAEnC,0BAA0B,EAAE,wCAAwC;IACpE,oBAAoB,EAAE,MAAM;IAFrC,YACS,0BAA0B,EAAE,wCAAwC,EACpE,oBAAoB,EAAE,MAAM,EACjC;IAEJ,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,qCAG9C;CACF;AAED,qBAAa,iCAAiC;IAEnC,0BAA0B,EAAE,wCAAwC;IACpE,oBAAoB,EAAE,MAAM;IAFrC,YACS,0BAA0B,EAAE,wCAAwC,EACpE,oBAAoB,EAAE,MAAM,EACjC;IAEJ,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,qCAG9C;CACF"}

package/dest/kernel/hiding_kernel_private_inputs.js

@@ -0,0 +1,34 @@
+import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { VkData } from '../vks/index.js';
+import { PrivateToPublicKernelCircuitPublicInputs } from './private_to_public_kernel_circuit_public_inputs.js';
+import { PrivateToRollupKernelCircuitPublicInputs } from './private_to_rollup_kernel_circuit_public_inputs.js';
+export class HidingKernelToRollupPrivateInputs {
+    previousKernelPublicInputs;
+    previousKernelVkData;
+    constructor(previousKernelPublicInputs, previousKernelVkData){
+        this.previousKernelPublicInputs = previousKernelPublicInputs;
+        this.previousKernelVkData = previousKernelVkData;
+    }
+    toBuffer() {
+        return serializeToBuffer(this.previousKernelPublicInputs, this.previousKernelVkData);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new this(reader.readObject(PrivateToRollupKernelCircuitPublicInputs), reader.readObject(VkData));
+    }
+}
+export class HidingKernelToPublicPrivateInputs {
+    previousKernelPublicInputs;
+    previousKernelVkData;
+    constructor(previousKernelPublicInputs, previousKernelVkData){
+        this.previousKernelPublicInputs = previousKernelPublicInputs;
+        this.previousKernelVkData = previousKernelVkData;
+    }
+    toBuffer() {
+        return serializeToBuffer(this.previousKernelPublicInputs, this.previousKernelVkData);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new this(reader.readObject(PrivateToPublicKernelCircuitPublicInputs), reader.readObject(VkData));
+    }
+}

package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts

@@ -0,0 +1,16 @@
+import { type MAX_NOTE_HASHES_PER_TX, MAX_NOTE_HASH_READ_REQUESTS_PER_TX, type NOTE_HASH_TREE_HEIGHT } from '@aztec-labs/constants';
+import type { Fr } from '@aztec-labs/foundation/curves/bn254';
+import type { MembershipWitness } from '@aztec-labs/foundation/trees';
+import type { ClaimedLengthArray } from '../claimed_length_array.js';
+import type { ScopedNoteHash } from '../note_hash.js';
+import type { ScopedReadRequest } from './read_request.js';
+import { ReadRequestResetActions } from './read_request_hints.js';
+export declare function isValidNoteHashReadRequest(readRequest: ScopedReadRequest, noteHash: ScopedNoteHash): boolean;
+export declare function getNoteHashReadRequestResetActions(noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashes: ClaimedLengthArray<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>): ReadRequestResetActions<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>;
+export declare function buildNoteHashReadRequestHintsFromResetActions<PENDING extends number, SETTLED extends number>(oracle: {
+    getNoteHashMembershipWitness(noteHash: Fr): Promise<MembershipWitness<typeof NOTE_HASH_TREE_HEIGHT> | undefined>;
+}, noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashes: ClaimedLengthArray<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, resetActions: ReadRequestResetActions<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, maxPending?: PENDING, maxSettled?: SETTLED): Promise<import("./note_hash_read_request_hints.js").NoteHashReadRequestHints<PENDING, SETTLED>>;
+export declare function buildNoteHashReadRequestHints<PENDING extends number, SETTLED extends number>(oracle: {
+    getNoteHashMembershipWitness(noteHash: Fr): Promise<MembershipWitness<typeof NOTE_HASH_TREE_HEIGHT>>;
+}, noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashes: ClaimedLengthArray<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, maxPending?: PENDING, maxSettled?: SETTLED): Promise<import("./note_hash_read_request_hints.js").NoteHashReadRequestHints<PENDING, SETTLED>>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVpbGRfbm90ZV9oYXNoX3JlYWRfcmVxdWVzdF9oaW50cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vLi4vc3JjL2tlcm5lbC9oaW50cy9idWlsZF9ub3RlX2hhc2hfcmVhZF9yZXF1ZXN0X2hpbnRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFDTCxLQUFLLHNCQUFzQixFQUMzQixrQ0FBa0MsRUFDbEMsS0FBSyxxQkFBcUIsRUFDM0IsTUFBTSx1QkFBdUIsQ0FBQztBQUMvQixPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUM5RCxPQUFPLEtBQUssRUFBRSxpQkFBaUIsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBRXRFLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sNEJBQTRCLENBQUM7QUFDckUsT0FBTyxLQUFLLEVBQUUsY0FBYyxFQUFFLE1BQU0saUJBQWlCLENBQUM7QUFFdEQsT0FBTyxLQUFLLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUMzRCxPQUFPLEVBQTBDLHVCQUF1QixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFMUcsd0JBQWdCLDBCQUEwQixDQUFDLFdBQVcsRUFBRSxpQkFBaUIsRUFBRSxRQUFRLEVBQUUsY0FBYyxXQU1sRztBQUVELHdCQUFnQixrQ0FBa0MsQ0FDaEQsb0JBQW9CLEVBQUUsa0JBQWtCLENBQUMsaUJBQWlCLEVBQUUsT0FBTyxrQ0FBa0MsQ0FBQyxFQUN0RyxVQUFVLEVBQUUsa0JBQWtCLENBQUMsY0FBYyxFQUFFLE9BQU8sc0JBQXNCLENBQUMsR0FDNUUsdUJBQXVCLENBQUMsT0FBTyxrQ0FBa0MsQ0FBQyxDQWdDcEU7QUFFRCx3QkFBc0IsNkNBQTZDLENBQUMsT0FBTyxTQUFTLE1BQU0sRUFBRSxPQUFPLFNBQVMsTUFBTSxFQUNoSCxNQUFNLEVBQUU7SUFDTiw0QkFBNEIsQ0FBQyxRQUFRLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxPQUFPLHFCQUFxQixDQUFDLEdBQUcsU0FBUyxDQUFDLENBQUM7Q0FDbEgsRUFDRCxvQkFBb0IsRUFBRSxrQkFBa0IsQ0FBQyxpQkFBaUIsRUFBRSxPQUFPLGtDQUFrQyxDQUFDLEVBQ3RHLFVBQVUsRUFBRSxrQkFBa0IsQ0FBQyxjQUFjLEVBQUUsT0FBTyxzQkFBc0IsQ0FBQyxFQUM3RSxZQUFZLEVBQUUsdUJBQXVCLENBQUMsT0FBTyxrQ0FBa0MsQ0FBQyxFQUNoRixVQUFVLEdBQUUsT0FBdUQsRUFDbkUsVUFBVSxHQUFFLE9BQXVELG1HQXVDcEU7QUFFRCx3QkFBc0IsNkJBQTZCLENBQUMsT0FBTyxTQUFTLE1BQU0sRUFBRSxPQUFPLFNBQVMsTUFBTSxFQUNoRyxNQUFNLEVBQUU7SUFDTiw0QkFBNEIsQ0FBQyxRQUFRLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxPQUFPLHFCQUFxQixDQUFDLENBQUMsQ0FBQztDQUN0RyxFQUNELG9CQUFvQixFQUFFLGtCQUFrQixDQUFDLGlCQUFpQixFQUFFLE9BQU8sa0NBQWtDLENBQUMsRUFDdEcsVUFBVSxFQUFFLGtCQUFrQixDQUFDLGNBQWMsRUFBRSxPQUFPLHNCQUFzQixDQUFDLEVBQzdFLFVBQVUsR0FBRSxPQUF1RCxFQUNuRSxVQUFVLEdBQUUsT0FBdUQsbUdBV3BFIn0=

package/dest/kernel/hints/build_note_hash_read_request_hints.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"build_note_hash_read_request_hints.d.ts","sourceRoot":"","sources":["../../../src/kernel/hints/build_note_hash_read_request_hints.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,sBAAsB,EAC3B,kCAAkC,EAClC,KAAK,qBAAqB,EAC3B,MAAM,uBAAuB,CAAC;AAC/B,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAC9D,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,8BAA8B,CAAC;AAEtE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAEtD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAA0C,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAE1G,wBAAgB,0BAA0B,CAAC,WAAW,EAAE,iBAAiB,EAAE,QAAQ,EAAE,cAAc,WAMlG;AAED,wBAAgB,kCAAkC,CAChD,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACtG,UAAU,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC,GAC5E,uBAAuB,CAAC,OAAO,kCAAkC,CAAC,CAgCpE;AAED,wBAAsB,6CAA6C,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAChH,MAAM,EAAE;IACN,4BAA4B,CAAC,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,GAAG,SAAS,CAAC,CAAC;CAClH,EACD,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACtG,UAAU,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC,EAC7E,YAAY,EAAE,uBAAuB,CAAC,OAAO,kCAAkC,CAAC,EAChF,UAAU,GAAE,OAAuD,EACnE,UAAU,GAAE,OAAuD,mGAuCpE;AAED,wBAAsB,6BAA6B,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAChG,MAAM,EAAE;IACN,4BAA4B,CAAC,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;CACtG,EACD,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACtG,UAAU,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC,EAC7E,UAAU,GAAE,OAAuD,EACnE,UAAU,GAAE,OAAuD,mGAWpE"}