@aztec/stdlib 0.0.0-test.1 → 0.0.1-fake-ceab37513c

package/dest/interfaces/slasher.d.ts

@@ -0,0 +1,86 @@
+import type { EthAddress } from '@aztec/foundation/eth-address';
+import { z } from 'zod';
+export type SlasherClientType = 'empire' | 'tally';
+export interface SlasherConfig {
+    slashOverridePayload?: EthAddress;
+    slashMinPenaltyPercentage: number;
+    slashMaxPenaltyPercentage: number;
+    slashSelfAllowed?: boolean;
+    slashValidatorsAlways: EthAddress[];
+    slashValidatorsNever: EthAddress[];
+    slashInactivityTargetPercentage: number;
+    slashInactivityConsecutiveEpochThreshold: number;
+    slashPrunePenalty: bigint;
+    slashDataWithholdingPenalty: bigint;
+    slashInactivityPenalty: bigint;
+    slashBroadcastedInvalidBlockPenalty: bigint;
+    slashProposeInvalidAttestationsPenalty: bigint;
+    slashAttestDescendantOfInvalidPenalty: bigint;
+    slashUnknownPenalty: bigint;
+    slashOffenseExpirationRounds: number;
+    slashMaxPayloadSize: number;
+    slashGracePeriodL2Slots: number;
+    slashExecuteRoundsLookBack: number;
+}
+export declare const SlasherConfigSchema: z.ZodObject<{
+    slashOverridePayload: z.ZodOptional<z.ZodType<EthAddress, any, string>>;
+    slashMinPenaltyPercentage: z.ZodNumber;
+    slashMaxPenaltyPercentage: z.ZodNumber;
+    slashValidatorsAlways: z.ZodArray<z.ZodType<EthAddress, any, string>, "many">;
+    slashValidatorsNever: z.ZodArray<z.ZodType<EthAddress, any, string>, "many">;
+    slashPrunePenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashDataWithholdingPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashInactivityTargetPercentage: z.ZodNumber;
+    slashInactivityConsecutiveEpochThreshold: z.ZodNumber;
+    slashInactivityPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashProposeInvalidAttestationsPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashAttestDescendantOfInvalidPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashUnknownPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashOffenseExpirationRounds: z.ZodNumber;
+    slashMaxPayloadSize: z.ZodNumber;
+    slashGracePeriodL2Slots: z.ZodNumber;
+    slashBroadcastedInvalidBlockPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    slashExecuteRoundsLookBack: z.ZodNumber;
+    slashSelfAllowed: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    slashMinPenaltyPercentage: number;
+    slashMaxPenaltyPercentage: number;
+    slashValidatorsAlways: EthAddress[];
+    slashValidatorsNever: EthAddress[];
+    slashPrunePenalty: bigint;
+    slashDataWithholdingPenalty: bigint;
+    slashInactivityTargetPercentage: number;
+    slashInactivityConsecutiveEpochThreshold: number;
+    slashInactivityPenalty: bigint;
+    slashProposeInvalidAttestationsPenalty: bigint;
+    slashAttestDescendantOfInvalidPenalty: bigint;
+    slashUnknownPenalty: bigint;
+    slashOffenseExpirationRounds: number;
+    slashMaxPayloadSize: number;
+    slashGracePeriodL2Slots: number;
+    slashBroadcastedInvalidBlockPenalty: bigint;
+    slashExecuteRoundsLookBack: number;
+    slashOverridePayload?: EthAddress | undefined;
+    slashSelfAllowed?: boolean | undefined;
+}, {
+    slashMinPenaltyPercentage: number;
+    slashMaxPenaltyPercentage: number;
+    slashValidatorsAlways: string[];
+    slashValidatorsNever: string[];
+    slashPrunePenalty: string | number | bigint;
+    slashDataWithholdingPenalty: string | number | bigint;
+    slashInactivityTargetPercentage: number;
+    slashInactivityConsecutiveEpochThreshold: number;
+    slashInactivityPenalty: string | number | bigint;
+    slashProposeInvalidAttestationsPenalty: string | number | bigint;
+    slashAttestDescendantOfInvalidPenalty: string | number | bigint;
+    slashUnknownPenalty: string | number | bigint;
+    slashOffenseExpirationRounds: number;
+    slashMaxPayloadSize: number;
+    slashGracePeriodL2Slots: number;
+    slashBroadcastedInvalidBlockPenalty: string | number | bigint;
+    slashExecuteRoundsLookBack: number;
+    slashOverridePayload?: string | undefined;
+    slashSelfAllowed?: boolean | undefined;
+}>;
+//# sourceMappingURL=slasher.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"slasher.d.ts","sourceRoot":"","sources":["../../src/interfaces/slasher.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAGhE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,OAAO,CAAC;AAEnD,MAAM,WAAW,aAAa;IAC5B,oBAAoB,CAAC,EAAE,UAAU,CAAC;IAClC,yBAAyB,EAAE,MAAM,CAAC;IAClC,yBAAyB,EAAE,MAAM,CAAC;IAClC,gBAAgB,CAAC,EAAE,OAAO,CAAC;IAC3B,qBAAqB,EAAE,UAAU,EAAE,CAAC;IACpC,oBAAoB,EAAE,UAAU,EAAE,CAAC;IACnC,+BAA+B,EAAE,MAAM,CAAC;IACxC,wCAAwC,EAAE,MAAM,CAAC;IACjD,iBAAiB,EAAE,MAAM,CAAC;IAC1B,2BAA2B,EAAE,MAAM,CAAC;IACpC,sBAAsB,EAAE,MAAM,CAAC;IAC/B,mCAAmC,EAAE,MAAM,CAAC;IAC5C,sCAAsC,EAAE,MAAM,CAAC;IAC/C,qCAAqC,EAAE,MAAM,CAAC;IAC9C,mBAAmB,EAAE,MAAM,CAAC;IAC5B,4BAA4B,EAAE,MAAM,CAAC;IACrC,mBAAmB,EAAE,MAAM,CAAC;IAC5B,uBAAuB,EAAE,MAAM,CAAC;IAChC,0BAA0B,EAAE,MAAM,CAAC;CACpC;AAED,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAoBE,CAAC"}

package/dest/interfaces/slasher.js

@@ -0,0 +1,23 @@
+import { schemas } from '@aztec/foundation/schemas';
+import { z } from 'zod';
+export const SlasherConfigSchema = z.object({
+    slashOverridePayload: schemas.EthAddress.optional(),
+    slashMinPenaltyPercentage: z.number(),
+    slashMaxPenaltyPercentage: z.number(),
+    slashValidatorsAlways: z.array(schemas.EthAddress),
+    slashValidatorsNever: z.array(schemas.EthAddress),
+    slashPrunePenalty: schemas.BigInt,
+    slashDataWithholdingPenalty: schemas.BigInt,
+    slashInactivityTargetPercentage: z.number(),
+    slashInactivityConsecutiveEpochThreshold: z.number(),
+    slashInactivityPenalty: schemas.BigInt,
+    slashProposeInvalidAttestationsPenalty: schemas.BigInt,
+    slashAttestDescendantOfInvalidPenalty: 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,24 @@
+import type { L2Block } from '@aztec/stdlib/block';
+import type { BlockProposal } from '@aztec/stdlib/p2p';
+import { type Tx, TxHash } from '@aztec/stdlib/tx';
+import type { PeerId } from '@libp2p/interface';
+export interface ITxProvider {
+    getAvailableTxs(txHashes: TxHash[]): Promise<{
+        txs: Tx[];
+        missingTxs: TxHash[];
+    }>;
+    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=tx_provider.d.ts.map

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,qBAAqB,CAAC;AACnD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EAAE,KAAK,EAAE,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAEnD,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,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,159 @@
+import type { SecretValue } from '@aztec/foundation/config';
+import type { EthAddress } from '@aztec/foundation/eth-address';
+import type { Signature } from '@aztec/foundation/eth-signature';
+import { Fr } from '@aztec/foundation/fields';
+import { type ZodFor } from '@aztec/foundation/schemas';
+import type { SequencerConfig, SlasherConfig } from '@aztec/stdlib/interfaces/server';
+import type { BlockAttestation, BlockProposal, BlockProposalOptions } from '@aztec/stdlib/p2p';
+import type { ProposedBlockHeader, StateReference, Tx } from '@aztec/stdlib/tx';
+import type { PeerId } from '@libp2p/interface';
+import { z } from 'zod';
+import type { CommitteeAttestationsAndSigners } from '../block/index.js';
+/**
+ * Validator client configuration
+ */
+export interface ValidatorClientConfig {
+    /** 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 re-execute transactions in a block proposal before attesting */
+    validatorReexecute: boolean;
+    /** Will re-execute until this many milliseconds are left in the slot */
+    validatorReexecuteDeadlineMs: number;
+    /** Whether to always reexecute block proposals, even for non-validator nodes or when out of the currnet committee */
+    alwaysReexecuteBlockProposals?: boolean;
+}
+export type ValidatorClientFullConfig = ValidatorClientConfig & Pick<SequencerConfig, 'txPublicSetupAllowList'> & Pick<SlasherConfig, 'slashBroadcastedInvalidBlockPenalty'> & {
+    /**
+     * 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;
+};
+export declare const ValidatorClientConfigSchema: z.ZodObject<{
+    validatorAddresses: z.ZodOptional<z.ZodArray<z.ZodType<EthAddress, any, string>, "many">>;
+    disableValidator: z.ZodBoolean;
+    disabledValidators: z.ZodArray<z.ZodType<EthAddress, any, string>, "many">;
+    attestationPollingIntervalMs: z.ZodNumber;
+    validatorReexecute: z.ZodBoolean;
+    validatorReexecuteDeadlineMs: z.ZodNumber;
+    alwaysReexecuteBlockProposals: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    disableValidator: boolean;
+    disabledValidators: EthAddress[];
+    attestationPollingIntervalMs: number;
+    validatorReexecute: boolean;
+    validatorReexecuteDeadlineMs: number;
+    validatorAddresses?: EthAddress[] | undefined;
+    alwaysReexecuteBlockProposals?: boolean | undefined;
+}, {
+    disableValidator: boolean;
+    disabledValidators: string[];
+    attestationPollingIntervalMs: number;
+    validatorReexecute: boolean;
+    validatorReexecuteDeadlineMs: number;
+    validatorAddresses?: string[] | undefined;
+    alwaysReexecuteBlockProposals?: boolean | undefined;
+}>;
+export declare const ValidatorClientFullConfigSchema: z.ZodObject<{
+    validatorAddresses: z.ZodOptional<z.ZodArray<z.ZodType<EthAddress, any, string>, "many">>;
+    disableValidator: z.ZodBoolean;
+    disabledValidators: z.ZodArray<z.ZodType<EthAddress, any, string>, "many">;
+    attestationPollingIntervalMs: z.ZodNumber;
+    validatorReexecute: z.ZodBoolean;
+    validatorReexecuteDeadlineMs: z.ZodNumber;
+    alwaysReexecuteBlockProposals: z.ZodOptional<z.ZodBoolean>;
+} & {
+    txPublicSetupAllowList: z.ZodOptional<z.ZodArray<z.ZodUnion<[z.ZodObject<{
+        address: ZodFor<import("../aztec-address/index.js").AztecAddress>;
+        selector: ZodFor<import("../abi/function_selector.js").FunctionSelector>;
+    }, "strip", z.ZodTypeAny, {
+        selector: import("../abi/function_selector.js").FunctionSelector;
+        address: import("../aztec-address/index.js").AztecAddress;
+    }, {
+        selector?: any;
+        address?: any;
+    }>, z.ZodObject<{
+        address: ZodFor<import("../aztec-address/index.js").AztecAddress>;
+    }, "strip", z.ZodTypeAny, {
+        address: import("../aztec-address/index.js").AztecAddress;
+    }, {
+        address?: any;
+    }>, z.ZodObject<{
+        classId: ZodFor<Fr>;
+        selector: ZodFor<import("../abi/function_selector.js").FunctionSelector>;
+    }, "strip", z.ZodTypeAny, {
+        selector: import("../abi/function_selector.js").FunctionSelector;
+        classId: Fr;
+    }, {
+        selector?: any;
+        classId?: any;
+    }>, z.ZodObject<{
+        classId: ZodFor<Fr>;
+    }, "strip", z.ZodTypeAny, {
+        classId: Fr;
+    }, {
+        classId?: any;
+    }>]>, "many">>;
+    slashBroadcastedInvalidBlockPenalty: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
+    disableTransactions: z.ZodOptional<z.ZodBoolean>;
+}, "strip", z.ZodTypeAny, {
+    slashBroadcastedInvalidBlockPenalty: bigint;
+    disableValidator: boolean;
+    disabledValidators: EthAddress[];
+    attestationPollingIntervalMs: number;
+    validatorReexecute: boolean;
+    validatorReexecuteDeadlineMs: number;
+    txPublicSetupAllowList?: ({
+        selector: import("../abi/function_selector.js").FunctionSelector;
+        address: import("../aztec-address/index.js").AztecAddress;
+    } | {
+        address: import("../aztec-address/index.js").AztecAddress;
+    } | {
+        selector: import("../abi/function_selector.js").FunctionSelector;
+        classId: Fr;
+    } | {
+        classId: Fr;
+    })[] | undefined;
+    validatorAddresses?: EthAddress[] | undefined;
+    alwaysReexecuteBlockProposals?: boolean | undefined;
+    disableTransactions?: boolean | undefined;
+}, {
+    slashBroadcastedInvalidBlockPenalty: string | number | bigint;
+    disableValidator: boolean;
+    disabledValidators: string[];
+    attestationPollingIntervalMs: number;
+    validatorReexecute: boolean;
+    validatorReexecuteDeadlineMs: number;
+    txPublicSetupAllowList?: ({
+        selector?: any;
+        address?: any;
+    } | {
+        address?: any;
+    } | {
+        selector?: any;
+        classId?: any;
+    } | {
+        classId?: any;
+    })[] | undefined;
+    validatorAddresses?: string[] | undefined;
+    alwaysReexecuteBlockProposals?: boolean | undefined;
+    disableTransactions?: boolean | undefined;
+}>;
+export interface Validator {
+    start(): Promise<void>;
+    updateConfig(config: Partial<ValidatorClientFullConfig>): void;
+    createBlockProposal(blockNumber: number, header: ProposedBlockHeader, archive: Fr, stateReference: StateReference, txs: Tx[], proposerAddress: EthAddress | undefined, options: BlockProposalOptions): Promise<BlockProposal | undefined>;
+    attestToProposal(proposal: BlockProposal, sender: PeerId): Promise<BlockAttestation[] | undefined>;
+    broadcastBlockProposal(proposal: BlockProposal): Promise<void>;
+    collectAttestations(proposal: BlockProposal, required: number, deadline: Date): Promise<BlockAttestation[]>;
+    signAttestationsAndSigners(attestationsAndSigners: CommitteeAttestationsAndSigners, proposer: EthAddress): Promise<Signature>;
+}
+//# sourceMappingURL=validator.d.ts.map

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,WAAW,EAAE,MAAM,0BAA0B,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAChE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,KAAK,MAAM,EAAW,MAAM,2BAA2B,CAAC;AACjE,OAAO,KAAK,EAAE,eAAe,EAAE,aAAa,EAAE,MAAM,iCAAiC,CAAC;AACtF,OAAO,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,oBAAoB,EAAE,MAAM,mBAAmB,CAAC;AAC/F,OAAO,KAAK,EAAE,mBAAmB,EAAE,cAAc,EAAE,EAAE,EAAE,MAAM,kBAAkB,CAAC;AAEhF,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;AAGzE;;GAEG;AACH,MAAM,WAAW,qBAAqB;IACpC,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,8EAA8E;IAC9E,kBAAkB,EAAE,OAAO,CAAC;IAE5B,wEAAwE;IACxE,4BAA4B,EAAE,MAAM,CAAC;IAErC,qHAAqH;IACrH,6BAA6B,CAAC,EAAE,OAAO,CAAC;CACzC;AAED,MAAM,MAAM,yBAAyB,GAAG,qBAAqB,GAC3D,IAAI,CAAC,eAAe,EAAE,wBAAwB,CAAC,GAC/C,IAAI,CAAC,aAAa,EAAE,qCAAqC,CAAC,GAAG;IAC3D;;;OAGG;IACH,mBAAmB,CAAC,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEJ,eAAO,MAAM,2BAA2B;;;;;;;;;;;;;;;;;;;;;;;;EAQgC,CAAC;AAEzE,eAAO,MAAM,+BAA+B;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;EAIgC,CAAC;AAE7E,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,MAAM,EACnB,MAAM,EAAE,mBAAmB,EAC3B,OAAO,EAAE,EAAE,EACX,cAAc,EAAE,cAAc,EAC9B,GAAG,EAAE,EAAE,EAAE,EACT,eAAe,EAAE,UAAU,GAAG,SAAS,EACvC,OAAO,EAAE,oBAAoB,GAC5B,OAAO,CAAC,aAAa,GAAG,SAAS,CAAC,CAAC;IACtC,gBAAgB,CAAC,QAAQ,EAAE,aAAa,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,gBAAgB,EAAE,GAAG,SAAS,CAAC,CAAC;IAEnG,sBAAsB,CAAC,QAAQ,EAAE,aAAa,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC/D,mBAAmB,CAAC,QAAQ,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,GAAG,OAAO,CAAC,gBAAgB,EAAE,CAAC,CAAC;IAC5G,0BAA0B,CACxB,sBAAsB,EAAE,+BAA+B,EACvD,QAAQ,EAAE,UAAU,GACnB,OAAO,CAAC,SAAS,CAAC,CAAC;CACvB"}

package/dest/interfaces/validator.js

@@ -0,0 +1,17 @@
+import { schemas } from '@aztec/foundation/schemas';
+import { z } from 'zod';
+import { AllowedElementSchema } from './allowed_element.js';
+export const ValidatorClientConfigSchema = z.object({
+    validatorAddresses: z.array(schemas.EthAddress).optional(),
+    disableValidator: z.boolean(),
+    disabledValidators: z.array(schemas.EthAddress),
+    attestationPollingIntervalMs: z.number().min(0),
+    validatorReexecute: z.boolean(),
+    validatorReexecuteDeadlineMs: z.number().min(0),
+    alwaysReexecuteBlockProposals: z.boolean().optional()
+});
+export const ValidatorClientFullConfigSchema = ValidatorClientConfigSchema.extend({
+    txPublicSetupAllowList: z.array(AllowedElementSchema).optional(),
+    slashBroadcastedInvalidBlockPenalty: schemas.BigInt,
+    disableTransactions: z.boolean().optional()
+});

package/dest/interfaces/world_state.d.ts

@@ -1,5 +1,8 @@
+import type { PromiseWithResolvers } from '@aztec/foundation/promise';
 import { z } from 'zod';
+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.
  */
@@ -12,7 +15,7 @@ export declare enum WorldStateRunningState {
 export interface WorldStateSyncStatus {
     latestBlockNumber: number;
     latestBlockHash: string;
-    finalisedBlockNumber: number;
+    finalizedBlockNumber: number;
     oldestHistoricBlockNumber: number;
     treesAreSynched: boolean;
 }
@@ -35,48 +38,47 @@ export interface ForkMerkleTreeOperations {
     fork(block?: number): Promise<MerkleTreeWriteOperations>;
     /** Gets a handle that allows reading the state as it was at the given block number. */
     getSnapshot(blockNumber: number): MerkleTreeReadOperations;
+    /** Backups the db to the target path. */
+    backupTo(dstPath: string, compact?: boolean): Promise<Record<Exclude<SnapshotDataKeys, 'archiver'>, string>>;
 }
 /** Defines the interface for a world state synchronizer. */
 export interface WorldStateSynchronizer extends ForkMerkleTreeOperations {
-    /**
-     * Starts the synchronizer.
-     * @returns A promise that resolves once the initial sync is completed.
-     */
-    start(): void;
-    /**
-     * Returns the current status of the synchronizer.
-     * @returns The current status of the synchronizer.
-     */
+    /** Starts the synchronizer. */
+    start(): Promise<void | PromiseWithResolvers<void>>;
+    /** Returns the current status of the synchronizer. */
     status(): Promise<WorldStateSynchronizerStatus>;
-    /**
-     * Stops the synchronizer.
-     */
+    /** 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 minBlockNumber - The minimum block number that we must sync to
+     * @param targetBlockNumber - The target block number that we must sync to. Will download unproven blocks if needed to reach it.
+     * @param skipThrowIfTargetNotReached - Whether to skip throwing if the target block number is not reached.
      * @returns A promise that resolves with the block number the world state was synced to
      */
-    syncImmediate(minBlockNumber?: number): Promise<number>;
-    /**
-     * Returns an instance of MerkleTreeAdminOperations that will not include uncommitted data.
-     */
+    syncImmediate(minBlockNumber?: number, skipThrowIfTargetNotReached?: boolean): Promise<number>;
+    /** Returns an instance of MerkleTreeAdminOperations that will not include uncommitted data. */
     getCommitted(): MerkleTreeReadOperations;
+    /** Deletes the db */
+    clear(): Promise<void>;
 }
 export declare const WorldStateSyncStatusSchema: z.ZodObject<{
-    finalisedBlockNumber: z.ZodNumber;
+    finalizedBlockNumber: z.ZodNumber;
     latestBlockNumber: z.ZodNumber;
     latestBlockHash: z.ZodString;
     oldestHistoricBlockNumber: z.ZodNumber;
     treesAreSynched: z.ZodBoolean;
 }, "strip", z.ZodTypeAny, {
-    finalisedBlockNumber: number;
+    finalizedBlockNumber: number;
     latestBlockNumber: number;
     latestBlockHash: string;
     oldestHistoricBlockNumber: number;
     treesAreSynched: boolean;
 }, {
-    finalisedBlockNumber: number;
+    finalizedBlockNumber: number;
     latestBlockNumber: number;
     latestBlockHash: string;
     oldestHistoricBlockNumber: number;

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

@@ -1 +1 @@
-{"version":3,"file":"world_state.d.ts","sourceRoot":"","sources":["../../src/interfaces/world_state.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,KAAK,EAAE,wBAAwB,EAAE,yBAAyB,EAAE,MAAM,6BAA6B,CAAC;AAEvG;;GAEG;AACH,oBAAY,sBAAsB;IAChC,IAAI,IAAA;IACJ,QAAQ,IAAA;IACR,OAAO,IAAA;IACP,OAAO,IAAA;CACR;AAED,MAAM,WAAW,oBAAoB;IACnC,iBAAiB,EAAE,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,yBAAyB,EAAE,MAAM,CAAC;IAClC,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,qFAAqF;IACrF,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;IAEzD,uFAAuF;IACvF,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,wBAAwB,CAAC;CAC5D;AAED,4DAA4D;AAC5D,MAAM,WAAW,sBAAuB,SAAQ,wBAAwB;IACtE;;;OAGG;IACH,KAAK,IAAI,IAAI,CAAC;IAEd;;;OAGG;IACH,MAAM,IAAI,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAEhD;;OAEG;IACH,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAEtB;;;;OAIG;IACH,aAAa,CAAC,cAAc,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAExD;;OAEG;IACH,YAAY,IAAI,wBAAwB,CAAC;CAC1C;AAED,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;EAMK,CAAC"}
+{"version":3,"file":"world_state.d.ts","sourceRoot":"","sources":["../../src/interfaces/world_state.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,2BAA2B,CAAC;AAEtE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,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,MAAM,CAAC;IAC1B,eAAe,EAAE,MAAM,CAAC;IACxB,oBAAoB,EAAE,MAAM,CAAC;IAC7B,yBAAyB,EAAE,MAAM,CAAC;IAClC,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,qFAAqF;IACrF,IAAI,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,yBAAyB,CAAC,CAAC;IAEzD,uFAAuF;IACvF,WAAW,CAAC,WAAW,EAAE,MAAM,GAAG,wBAAwB,CAAC;IAE3D,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,4DAA4D;AAC5D,MAAM,WAAW,sBAAuB,SAAQ,wBAAwB;IACtE,+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,MAAM,EAAE,2BAA2B,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAE/F,+FAA+F;IAC/F,YAAY,IAAI,wBAAwB,CAAC;IAEzC,qBAAqB;IACrB,KAAK,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACxB;AAED,eAAO,MAAM,0BAA0B;;;;;;;;;;;;;;;;;;EAMK,CAAC"}

package/dest/interfaces/world_state.js

@@ -9,7 +9,7 @@ import { z } from 'zod';
     return WorldStateRunningState;
 }({});
 export const WorldStateSyncStatusSchema = z.object({
-    finalisedBlockNumber: z.number().int().nonnegative(),
+    finalizedBlockNumber: z.number().int().nonnegative(),
     latestBlockNumber: z.number().int().nonnegative(),
     latestBlockHash: z.string(),
     oldestHistoricBlockNumber: z.number().int().nonnegative(),

package/dest/kernel/claimed_length_array.d.ts

@@ -0,0 +1,34 @@
+import type { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader, type Serializable, type Tuple } from '@aztec/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=claimed_length_array.d.ts.map

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,0BAA0B,CAAC;AACnD,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,YAAY,EACjB,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC,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;gBAFrB,KAAK,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAElB,aAAa,EAAE,MAAM;IAG9B,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;IAO3B,QAAQ;IAIR,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;IAO3B,QAAQ;IAIR,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;IAK3B,OAAO;IAIP,cAAc,IAAI,CAAC,EAAE;IAIrB,OAAO;IAIP,CAAC,OAAO,CAAC,MAAM,CAAC;CAQjB;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,58 @@
+import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
+import { inspect } from 'util';
+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;
+    }
+    [inspect.custom]() {
+        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/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=hiding_kernel_private_inputs.d.ts.map

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,6BAA6B,CAAC;AAE9E,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;gBAD5B,0BAA0B,EAAE,wCAAwC,EACpE,oBAAoB,EAAE,MAAM;IAGrC,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;CAIhD;AAED,qBAAa,iCAAiC;IAEnC,0BAA0B,EAAE,wCAAwC;IACpE,oBAAoB,EAAE,MAAM;gBAD5B,0BAA0B,EAAE,wCAAwC,EACpE,oBAAoB,EAAE,MAAM;IAGrC,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;CAIhD"}

package/dest/kernel/hiding_kernel_private_inputs.js

@@ -0,0 +1,34 @@
+import { BufferReader, serializeToBuffer } from '@aztec/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

@@ -1,15 +1,15 @@
 import { type MAX_NOTE_HASHES_PER_TX, MAX_NOTE_HASH_READ_REQUESTS_PER_TX, type NOTE_HASH_TREE_HEIGHT } from '@aztec/constants';
-import type { Tuple } from '@aztec/foundation/serialize';
 import type { MembershipWitness } from '@aztec/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 { ReadRequestResetStates } from './read_request_hints.js';
+import { ReadRequestResetActions } from './read_request_hints.js';
 export declare function isValidNoteHashReadRequest(readRequest: ScopedReadRequest, noteHash: ScopedNoteHash): boolean;
-export declare function getNoteHashReadRequestResetStates(noteHashReadRequests: Tuple<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashes: Tuple<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, futureNoteHashes: ScopedNoteHash[]): ReadRequestResetStates<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>;
-export declare function buildNoteHashReadRequestHintsFromResetStates<PENDING extends number, SETTLED extends number>(oracle: {
+export declare function getNoteHashReadRequestResetActions(noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashes: ClaimedLengthArray<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, futureNoteHashes: ScopedNoteHash[]): ReadRequestResetActions<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>;
+export declare function buildNoteHashReadRequestHintsFromResetActions<PENDING extends number, SETTLED extends number>(oracle: {
     getNoteHashMembershipWitness(leafIndex: bigint): Promise<MembershipWitness<typeof NOTE_HASH_TREE_HEIGHT>>;
-}, noteHashReadRequests: Tuple<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashes: Tuple<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, resetStates: ReadRequestResetStates<typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashLeafIndexMap: Map<bigint, bigint>, maxPending?: PENDING, maxSettled?: SETTLED): Promise<import("./note_hash_read_request_hints.js").NoteHashReadRequestHints<PENDING, SETTLED>>;
+}, 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>, noteHashLeafIndexMap: Map<bigint, bigint>, 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(leafIndex: bigint): Promise<MembershipWitness<typeof NOTE_HASH_TREE_HEIGHT>>;
-}, noteHashReadRequests: Tuple<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashes: Tuple<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, noteHashLeafIndexMap: Map<bigint, bigint>, futureNoteHashes: ScopedNoteHash[], maxPending?: PENDING, maxSettled?: SETTLED): Promise<import("./note_hash_read_request_hints.js").NoteHashReadRequestHints<PENDING, SETTLED>>;
+}, noteHashReadRequests: ClaimedLengthArray<ScopedReadRequest, typeof MAX_NOTE_HASH_READ_REQUESTS_PER_TX>, noteHashes: ClaimedLengthArray<ScopedNoteHash, typeof MAX_NOTE_HASHES_PER_TX>, noteHashLeafIndexMap: Map<bigint, bigint>, futureNoteHashes: ScopedNoteHash[], maxPending?: PENDING, maxSettled?: SETTLED): Promise<import("./note_hash_read_request_hints.js").NoteHashReadRequestHints<PENDING, SETTLED>>;
 //# sourceMappingURL=build_note_hash_read_request_hints.d.ts.map

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

@@ -1 +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,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,6BAA6B,CAAC;AACzD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAEjE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,iBAAiB,CAAC;AAGtD,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAC3D,OAAO,EAAmB,sBAAsB,EAAoB,MAAM,yBAAyB,CAAC;AAGpG,wBAAgB,0BAA0B,CAAC,WAAW,EAAE,iBAAiB,EAAE,QAAQ,EAAE,cAAc,WAMlG;AAED,wBAAgB,iCAAiC,CAC/C,oBAAoB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACzF,UAAU,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC,EAChE,gBAAgB,EAAE,cAAc,EAAE,GACjC,sBAAsB,CAAC,OAAO,kCAAkC,CAAC,CAkCnE;AAED,wBAAsB,4CAA4C,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAC/G,MAAM,EAAE;IACN,4BAA4B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;CAC3G,EACD,oBAAoB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACzF,UAAU,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC,EAChE,WAAW,EAAE,sBAAsB,CAAC,OAAO,kCAAkC,CAAC,EAC9E,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACzC,UAAU,GAAE,OAAuD,EACnE,UAAU,GAAE,OAAuD,mGA6BpE;AAED,wBAAsB,6BAA6B,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAChG,MAAM,EAAE;IACN,4BAA4B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;CAC3G,EACD,oBAAoB,EAAE,KAAK,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACzF,UAAU,EAAE,KAAK,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC,EAChE,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACzC,gBAAgB,EAAE,cAAc,EAAE,EAClC,UAAU,GAAE,OAAuD,EACnE,UAAU,GAAE,OAAuD,mGAYpE"}
+{"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,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AAEjE,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;AAG1G,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,EAC7E,gBAAgB,EAAE,cAAc,EAAE,GACjC,uBAAuB,CAAC,OAAO,kCAAkC,CAAC,CAiCpE;AAED,wBAAsB,6CAA6C,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAChH,MAAM,EAAE;IACN,4BAA4B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;CAC3G,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,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACzC,UAAU,GAAE,OAAuD,EACnE,UAAU,GAAE,OAAuD,mGA6BpE;AAED,wBAAsB,6BAA6B,CAAC,OAAO,SAAS,MAAM,EAAE,OAAO,SAAS,MAAM,EAChG,MAAM,EAAE;IACN,4BAA4B,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,iBAAiB,CAAC,OAAO,qBAAqB,CAAC,CAAC,CAAC;CAC3G,EACD,oBAAoB,EAAE,kBAAkB,CAAC,iBAAiB,EAAE,OAAO,kCAAkC,CAAC,EACtG,UAAU,EAAE,kBAAkB,CAAC,cAAc,EAAE,OAAO,sBAAsB,CAAC,EAC7E,oBAAoB,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,EACzC,gBAAgB,EAAE,cAAc,EAAE,EAClC,UAAU,GAAE,OAAuD,EACnE,UAAU,GAAE,OAAuD,mGAYpE"}