@aztec/stdlib 2.1.0-rc.9 → 3.0.0-devnet.2

package/dest/rollup/block_root_rollup_private_inputs.d.ts

@@ -0,0 +1,236 @@
+import { SpongeBlob } from '@aztec/blob-lib/types';
+import { ARCHIVE_HEIGHT, L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
+import { type RollupHonkProofData, type UltraHonkProofData } from '../proofs/proof_data.js';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { StateReference } from '../tx/state_reference.js';
+import type { UInt64 } from '../types/shared.js';
+import { CheckpointConstantData } from './checkpoint_constant_data.js';
+import { TxRollupPublicInputs } from './tx_rollup_public_inputs.js';
+export declare class BlockRootFirstRollupPrivateInputs {
+    /**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */
+    l1ToL2Roots: UltraHonkProofData<ParityPublicInputs>;
+    /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */
+    previousRollups: [RollupHonkProofData<TxRollupPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>];
+    /**
+     * The l1 to l2 message tree snapshot immediately before this block.
+     */
+    previousL1ToL2: AppendOnlyTreeSnapshot;
+    /**
+     * Hint for inserting the new l1 to l2 message subtree root into `previousL1ToL2`.
+     */
+    newL1ToL2MessageSubtreeRootSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH>;
+    /**
+     * Hint for inserting the new block hash to the last archive.
+     */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
+    constructor(
+    /**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */
+    l1ToL2Roots: UltraHonkProofData<ParityPublicInputs>, 
+    /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */
+    previousRollups: [RollupHonkProofData<TxRollupPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>], 
+    /**
+     * The l1 to l2 message tree snapshot immediately before this block.
+     */
+    previousL1ToL2: AppendOnlyTreeSnapshot, 
+    /**
+     * Hint for inserting the new l1 to l2 message subtree root into `previousL1ToL2`.
+     */
+    newL1ToL2MessageSubtreeRootSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH>, 
+    /**
+     * Hint for inserting the new block hash to the last archive.
+     */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>);
+    static from(fields: FieldsOf<BlockRootFirstRollupPrivateInputs>): BlockRootFirstRollupPrivateInputs;
+    static getFields(fields: FieldsOf<BlockRootFirstRollupPrivateInputs>): readonly [UltraHonkProofData<ParityPublicInputs>, [RollupHonkProofData<TxRollupPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>], AppendOnlyTreeSnapshot, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootFirstRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<BlockRootFirstRollupPrivateInputs, any, string>;
+}
+export declare class BlockRootSingleTxFirstRollupPrivateInputs {
+    /**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */
+    l1ToL2Roots: UltraHonkProofData<ParityPublicInputs>;
+    /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */
+    previousRollup: RollupHonkProofData<TxRollupPublicInputs>;
+    /**
+     * The l1 to l2 message tree snapshot immediately before this block.
+     */
+    previousL1ToL2: AppendOnlyTreeSnapshot;
+    /**
+     * Hint for inserting the new l1 to l2 message subtree root.
+     */
+    newL1ToL2MessageSubtreeRootSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH>;
+    /**
+     * Hint for inserting the new block hash to the last archive.
+     */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
+    constructor(
+    /**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */
+    l1ToL2Roots: UltraHonkProofData<ParityPublicInputs>, 
+    /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */
+    previousRollup: RollupHonkProofData<TxRollupPublicInputs>, 
+    /**
+     * The l1 to l2 message tree snapshot immediately before this block.
+     */
+    previousL1ToL2: AppendOnlyTreeSnapshot, 
+    /**
+     * Hint for inserting the new l1 to l2 message subtree root.
+     */
+    newL1ToL2MessageSubtreeRootSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH>, 
+    /**
+     * Hint for inserting the new block hash to the last archive.
+     */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>);
+    static from(fields: FieldsOf<BlockRootSingleTxFirstRollupPrivateInputs>): BlockRootSingleTxFirstRollupPrivateInputs;
+    static getFields(fields: FieldsOf<BlockRootSingleTxFirstRollupPrivateInputs>): readonly [UltraHonkProofData<ParityPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>, AppendOnlyTreeSnapshot, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootSingleTxFirstRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<BlockRootSingleTxFirstRollupPrivateInputs, any, string>;
+}
+export declare class BlockRootEmptyTxFirstRollupPrivateInputs {
+    /**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */
+    l1ToL2Roots: UltraHonkProofData<ParityPublicInputs>;
+    /**
+     * The archive after applying the previous block.
+     */
+    previousArchive: AppendOnlyTreeSnapshot;
+    /**
+     * The state reference of the previous block.
+     */
+    previousState: StateReference;
+    /**
+     * The constants of the checkpoint.
+     */
+    constants: CheckpointConstantData;
+    /**
+     * The start sponge blob of this block. No data has been absorbed into it yet, since it's the first block. But the
+     * number of expected fields must be set to the total number of fields in the entire checkpoint.
+     */
+    startSpongeBlob: SpongeBlob;
+    /**
+     * The timestamp of this block.
+     */
+    timestamp: UInt64;
+    /**
+     * Hint for inserting the new l1 to l2 message subtree root.
+     */
+    newL1ToL2MessageSubtreeRootSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH>;
+    /**
+     * Hint for inserting the new block hash to the last archive.
+     */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
+    constructor(
+    /**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */
+    l1ToL2Roots: UltraHonkProofData<ParityPublicInputs>, 
+    /**
+     * The archive after applying the previous block.
+     */
+    previousArchive: AppendOnlyTreeSnapshot, 
+    /**
+     * The state reference of the previous block.
+     */
+    previousState: StateReference, 
+    /**
+     * The constants of the checkpoint.
+     */
+    constants: CheckpointConstantData, 
+    /**
+     * The start sponge blob of this block. No data has been absorbed into it yet, since it's the first block. But the
+     * number of expected fields must be set to the total number of fields in the entire checkpoint.
+     */
+    startSpongeBlob: SpongeBlob, 
+    /**
+     * The timestamp of this block.
+     */
+    timestamp: UInt64, 
+    /**
+     * Hint for inserting the new l1 to l2 message subtree root.
+     */
+    newL1ToL2MessageSubtreeRootSiblingPath: Tuple<Fr, typeof L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH>, 
+    /**
+     * Hint for inserting the new block hash to the last archive.
+     */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>);
+    static from(fields: FieldsOf<BlockRootEmptyTxFirstRollupPrivateInputs>): BlockRootEmptyTxFirstRollupPrivateInputs;
+    static getFields(fields: FieldsOf<BlockRootEmptyTxFirstRollupPrivateInputs>): readonly [UltraHonkProofData<ParityPublicInputs>, AppendOnlyTreeSnapshot, StateReference, CheckpointConstantData, SpongeBlob, bigint, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootEmptyTxFirstRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<BlockRootEmptyTxFirstRollupPrivateInputs, any, string>;
+}
+export declare class BlockRootRollupPrivateInputs {
+    /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */
+    previousRollups: [RollupHonkProofData<TxRollupPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>];
+    /**
+     * Hint for inserting the new block hash to the last archive.
+     */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
+    constructor(
+    /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */
+    previousRollups: [RollupHonkProofData<TxRollupPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>], 
+    /**
+     * Hint for inserting the new block hash to the last archive.
+     */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>);
+    static from(fields: FieldsOf<BlockRootRollupPrivateInputs>): BlockRootRollupPrivateInputs;
+    static getFields(fields: FieldsOf<BlockRootRollupPrivateInputs>): readonly [[RollupHonkProofData<TxRollupPublicInputs>, RollupHonkProofData<TxRollupPublicInputs>], [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<BlockRootRollupPrivateInputs, any, string>;
+}
+export declare class BlockRootSingleTxRollupPrivateInputs {
+    /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */
+    previousRollup: RollupHonkProofData<TxRollupPublicInputs>;
+    /**
+     * Hint for inserting the new block hash to the last archive.
+     */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
+    constructor(
+    /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */
+    previousRollup: RollupHonkProofData<TxRollupPublicInputs>, 
+    /**
+     * Hint for inserting the new block hash to the last archive.
+     */
+    newArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>);
+    static from(fields: FieldsOf<BlockRootSingleTxRollupPrivateInputs>): BlockRootSingleTxRollupPrivateInputs;
+    static getFields(fields: FieldsOf<BlockRootSingleTxRollupPrivateInputs>): readonly [RollupHonkProofData<TxRollupPublicInputs>, [Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr, Fr]];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRootSingleTxRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<BlockRootSingleTxRollupPrivateInputs, any, string>;
+}
+//# sourceMappingURL=block_root_rollup_private_inputs.d.ts.map

package/dest/rollup/block_root_rollup_private_inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"block_root_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_root_rollup_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,6CAA6C,EAAE,MAAM,kBAAkB,CAAC;AACjG,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAuC,MAAM,6BAA6B,CAAC;AAC5G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AACvE,OAAO,EAAa,KAAK,mBAAmB,EAAE,KAAK,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AACvG,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,oBAAoB,EAAE,MAAM,8BAA8B,CAAC;AAEpE,qBAAa,iCAAiC;IAE1C;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAC9G;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,sCAAsC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,6CAA6C,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAnB9D;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAC9G;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,sCAAsC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,6CAA6C,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAI/D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC;IAUpE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C,MAAM;IAIN,MAAM,KAAK,MAAM,0EAEhB;CACF;AAED,qBAAa,yCAAyC;IAElD;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,cAAc,EAAE,mBAAmB,CAAC,oBAAoB,CAAC;IAChE;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,sCAAsC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,6CAA6C,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAnB9D;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,cAAc,EAAE,mBAAmB,CAAC,oBAAoB,CAAC;IAChE;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,sCAAsC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,6CAA6C,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yCAAyC,CAAC;IAMvE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yCAAyC,CAAC;IAU5E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C,MAAM;IAIN,MAAM,KAAK,MAAM,kFAEhB;CACF;AAED,qBAAa,wCAAwC;IAEjD;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,aAAa,EAAE,cAAc;IACpC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;;OAGG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;OAEG;IACI,sCAAsC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,6CAA6C,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAhC9D;;OAEG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IAC1D;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,aAAa,EAAE,cAAc;IACpC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;;OAGG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;OAEG;IACI,sCAAsC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,6CAA6C,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAItE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,wCAAwC,CAAC;IAa3E,QAAQ;IAaR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAc/C,MAAM;IAIN,MAAM,KAAK,MAAM,iFAEhB;CACF;AAED,qBAAa,4BAA4B;IAErC;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAP9D;;OAEG;IACI,eAAe,EAAE,CAAC,mBAAmB,CAAC,oBAAoB,CAAC,EAAE,mBAAmB,CAAC,oBAAoB,CAAC,CAAC;IAC9G;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IAI1D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC;IAI/D,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,MAAM;IAIN,MAAM,KAAK,MAAM,qEAEhB;CACF;AAED,qBAAa,oCAAoC;IAE7C;;OAEG;IACI,cAAc,EAAE,mBAAmB,CAAC,oBAAoB,CAAC;IAChE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAP9D;;OAEG;IACI,cAAc,EAAE,mBAAmB,CAAC,oBAAoB,CAAC;IAChE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,oCAAoC,CAAC;IAIlE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,oCAAoC,CAAC;IAIvE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,MAAM;IAIN,MAAM,KAAK,MAAM,6EAEhB;CACF"}

package/dest/rollup/block_root_rollup_private_inputs.js

@@ -0,0 +1,257 @@
+import { SpongeBlob } from '@aztec/blob-lib/types';
+import { ARCHIVE_HEIGHT, L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
+import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
+import { ProofData } from '../proofs/proof_data.js';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { StateReference } from '../tx/state_reference.js';
+import { CheckpointConstantData } from './checkpoint_constant_data.js';
+import { TxRollupPublicInputs } from './tx_rollup_public_inputs.js';
+export class BlockRootFirstRollupPrivateInputs {
+    l1ToL2Roots;
+    previousRollups;
+    previousL1ToL2;
+    newL1ToL2MessageSubtreeRootSiblingPath;
+    newArchiveSiblingPath;
+    constructor(/**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */ l1ToL2Roots, /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */ previousRollups, /**
+     * The l1 to l2 message tree snapshot immediately before this block.
+     */ previousL1ToL2, /**
+     * Hint for inserting the new l1 to l2 message subtree root into `previousL1ToL2`.
+     */ newL1ToL2MessageSubtreeRootSiblingPath, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.l1ToL2Roots = l1ToL2Roots;
+        this.previousRollups = previousRollups;
+        this.previousL1ToL2 = previousL1ToL2;
+        this.newL1ToL2MessageSubtreeRootSiblingPath = newL1ToL2MessageSubtreeRootSiblingPath;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootFirstRollupPrivateInputs(...BlockRootFirstRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.l1ToL2Roots,
+            fields.previousRollups,
+            fields.previousL1ToL2,
+            fields.newL1ToL2MessageSubtreeRootSiblingPath,
+            fields.newArchiveSiblingPath
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...BlockRootFirstRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockRootFirstRollupPrivateInputs(ProofData.fromBuffer(reader, ParityPublicInputs), [
+            ProofData.fromBuffer(reader, TxRollupPublicInputs),
+            ProofData.fromBuffer(reader, TxRollupPublicInputs)
+        ], AppendOnlyTreeSnapshot.fromBuffer(reader), reader.readArray(L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(BlockRootFirstRollupPrivateInputs);
+    }
+}
+export class BlockRootSingleTxFirstRollupPrivateInputs {
+    l1ToL2Roots;
+    previousRollup;
+    previousL1ToL2;
+    newL1ToL2MessageSubtreeRootSiblingPath;
+    newArchiveSiblingPath;
+    constructor(/**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */ l1ToL2Roots, /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */ previousRollup, /**
+     * The l1 to l2 message tree snapshot immediately before this block.
+     */ previousL1ToL2, /**
+     * Hint for inserting the new l1 to l2 message subtree root.
+     */ newL1ToL2MessageSubtreeRootSiblingPath, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.l1ToL2Roots = l1ToL2Roots;
+        this.previousRollup = previousRollup;
+        this.previousL1ToL2 = previousL1ToL2;
+        this.newL1ToL2MessageSubtreeRootSiblingPath = newL1ToL2MessageSubtreeRootSiblingPath;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootSingleTxFirstRollupPrivateInputs(...BlockRootSingleTxFirstRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.l1ToL2Roots,
+            fields.previousRollup,
+            fields.previousL1ToL2,
+            fields.newL1ToL2MessageSubtreeRootSiblingPath,
+            fields.newArchiveSiblingPath
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...BlockRootSingleTxFirstRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockRootSingleTxFirstRollupPrivateInputs(ProofData.fromBuffer(reader, ParityPublicInputs), ProofData.fromBuffer(reader, TxRollupPublicInputs), AppendOnlyTreeSnapshot.fromBuffer(reader), reader.readArray(L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(BlockRootSingleTxFirstRollupPrivateInputs);
+    }
+}
+export class BlockRootEmptyTxFirstRollupPrivateInputs {
+    l1ToL2Roots;
+    previousArchive;
+    previousState;
+    constants;
+    startSpongeBlob;
+    timestamp;
+    newL1ToL2MessageSubtreeRootSiblingPath;
+    newArchiveSiblingPath;
+    constructor(/**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */ l1ToL2Roots, /**
+     * The archive after applying the previous block.
+     */ previousArchive, /**
+     * The state reference of the previous block.
+     */ previousState, /**
+     * The constants of the checkpoint.
+     */ constants, /**
+     * The start sponge blob of this block. No data has been absorbed into it yet, since it's the first block. But the
+     * number of expected fields must be set to the total number of fields in the entire checkpoint.
+     */ startSpongeBlob, /**
+     * The timestamp of this block.
+     */ timestamp, /**
+     * Hint for inserting the new l1 to l2 message subtree root.
+     */ newL1ToL2MessageSubtreeRootSiblingPath, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.l1ToL2Roots = l1ToL2Roots;
+        this.previousArchive = previousArchive;
+        this.previousState = previousState;
+        this.constants = constants;
+        this.startSpongeBlob = startSpongeBlob;
+        this.timestamp = timestamp;
+        this.newL1ToL2MessageSubtreeRootSiblingPath = newL1ToL2MessageSubtreeRootSiblingPath;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootEmptyTxFirstRollupPrivateInputs(...BlockRootEmptyTxFirstRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.l1ToL2Roots,
+            fields.previousArchive,
+            fields.previousState,
+            fields.constants,
+            fields.startSpongeBlob,
+            fields.timestamp,
+            fields.newL1ToL2MessageSubtreeRootSiblingPath,
+            fields.newArchiveSiblingPath
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer([
+            this.l1ToL2Roots,
+            this.previousArchive,
+            this.previousState,
+            this.constants,
+            this.startSpongeBlob,
+            bigintToUInt64BE(this.timestamp),
+            this.newL1ToL2MessageSubtreeRootSiblingPath,
+            this.newArchiveSiblingPath
+        ]);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockRootEmptyTxFirstRollupPrivateInputs(ProofData.fromBuffer(reader, ParityPublicInputs), AppendOnlyTreeSnapshot.fromBuffer(reader), StateReference.fromBuffer(reader), CheckpointConstantData.fromBuffer(reader), SpongeBlob.fromBuffer(reader), reader.readUInt64(), reader.readArray(L1_TO_L2_MSG_SUBTREE_ROOT_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(BlockRootEmptyTxFirstRollupPrivateInputs);
+    }
+}
+export class BlockRootRollupPrivateInputs {
+    previousRollups;
+    newArchiveSiblingPath;
+    constructor(/**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */ previousRollups, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.previousRollups = previousRollups;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootRollupPrivateInputs(...BlockRootRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.previousRollups,
+            fields.newArchiveSiblingPath
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...BlockRootRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockRootRollupPrivateInputs([
+            ProofData.fromBuffer(reader, TxRollupPublicInputs),
+            ProofData.fromBuffer(reader, TxRollupPublicInputs)
+        ], reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(BlockRootRollupPrivateInputs);
+    }
+}
+export class BlockRootSingleTxRollupPrivateInputs {
+    previousRollup;
+    newArchiveSiblingPath;
+    constructor(/**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */ previousRollup, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.previousRollup = previousRollup;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootSingleTxRollupPrivateInputs(...BlockRootSingleTxRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.previousRollup,
+            fields.newArchiveSiblingPath
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...BlockRootSingleTxRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockRootSingleTxRollupPrivateInputs(ProofData.fromBuffer(reader, TxRollupPublicInputs), reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(BlockRootSingleTxRollupPrivateInputs);
+    }
+}

package/dest/rollup/checkpoint_constant_data.d.ts

@@ -0,0 +1,54 @@
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { AztecAddress } from '../aztec-address/index.js';
+import { GasFees } from '../gas/gas_fees.js';
+/**
+ * Constants that are the same for the entire checkpoint.
+ */
+export declare class CheckpointConstantData {
+    /** ChainId of the rollup. */
+    chainId: Fr;
+    /** Version of the rollup. */
+    version: Fr;
+    /** Root of the verification key tree. */
+    vkTreeRoot: Fr;
+    /** Hash of the protocol contracts list. */
+    protocolContractsHash: Fr;
+    /** Identifier of the prover. */
+    proverId: Fr;
+    /** Slot number of the checkpoint. */
+    slotNumber: Fr;
+    /** Coinbase address of the rollup. */
+    coinbase: EthAddress;
+    /** Address to receive fees. */
+    feeRecipient: AztecAddress;
+    /** Global gas fees for this checkpoint. */
+    gasFees: GasFees;
+    constructor(
+    /** ChainId of the rollup. */
+    chainId: Fr, 
+    /** Version of the rollup. */
+    version: Fr, 
+    /** Root of the verification key tree. */
+    vkTreeRoot: Fr, 
+    /** Hash of the protocol contracts list. */
+    protocolContractsHash: Fr, 
+    /** Identifier of the prover. */
+    proverId: Fr, 
+    /** Slot number of the checkpoint. */
+    slotNumber: Fr, 
+    /** Coinbase address of the rollup. */
+    coinbase: EthAddress, 
+    /** Address to receive fees. */
+    feeRecipient: AztecAddress, 
+    /** Global gas fees for this checkpoint. */
+    gasFees: GasFees);
+    static from(fields: FieldsOf<CheckpointConstantData>): CheckpointConstantData;
+    static getFields(fields: FieldsOf<CheckpointConstantData>): readonly [Fr, Fr, Fr, Fr, Fr, Fr, EthAddress, AztecAddress, GasFees];
+    static empty(): CheckpointConstantData;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointConstantData;
+}
+//# sourceMappingURL=checkpoint_constant_data.d.ts.map

package/dest/rollup/checkpoint_constant_data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_constant_data.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_constant_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAE7C;;GAEG;AACH,qBAAa,sBAAsB;IAE/B,6BAA6B;IACtB,OAAO,EAAE,EAAE;IAClB,6BAA6B;IACtB,OAAO,EAAE,EAAE;IAClB,yCAAyC;IAClC,UAAU,EAAE,EAAE;IACrB,2CAA2C;IACpC,qBAAqB,EAAE,EAAE;IAChC,gCAAgC;IACzB,QAAQ,EAAE,EAAE;IACnB,qCAAqC;IAC9B,UAAU,EAAE,EAAE;IACrB,sCAAsC;IAC/B,QAAQ,EAAE,UAAU;IAC3B,+BAA+B;IACxB,YAAY,EAAE,YAAY;IACjC,2CAA2C;IACpC,OAAO,EAAE,OAAO;;IAjBvB,6BAA6B;IACtB,OAAO,EAAE,EAAE;IAClB,6BAA6B;IACtB,OAAO,EAAE,EAAE;IAClB,yCAAyC;IAClC,UAAU,EAAE,EAAE;IACrB,2CAA2C;IACpC,qBAAqB,EAAE,EAAE;IAChC,gCAAgC;IACzB,QAAQ,EAAE,EAAE;IACnB,qCAAqC;IAC9B,UAAU,EAAE,EAAE;IACrB,sCAAsC;IAC/B,QAAQ,EAAE,UAAU;IAC3B,+BAA+B;IACxB,YAAY,EAAE,YAAY;IACjC,2CAA2C;IACpC,OAAO,EAAE,OAAO;IAGzB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAIpD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAczD,MAAM,CAAC,KAAK;IAcZ,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;CAchD"}

package/dest/rollup/checkpoint_constant_data.js

@@ -0,0 +1,55 @@
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { AztecAddress } from '../aztec-address/index.js';
+import { GasFees } from '../gas/gas_fees.js';
+/**
+ * Constants that are the same for the entire checkpoint.
+ */ export class CheckpointConstantData {
+    chainId;
+    version;
+    vkTreeRoot;
+    protocolContractsHash;
+    proverId;
+    slotNumber;
+    coinbase;
+    feeRecipient;
+    gasFees;
+    constructor(/** ChainId of the rollup. */ chainId, /** Version of the rollup. */ version, /** Root of the verification key tree. */ vkTreeRoot, /** Hash of the protocol contracts list. */ protocolContractsHash, /** Identifier of the prover. */ proverId, /** Slot number of the checkpoint. */ slotNumber, /** Coinbase address of the rollup. */ coinbase, /** Address to receive fees. */ feeRecipient, /** Global gas fees for this checkpoint. */ gasFees){
+        this.chainId = chainId;
+        this.version = version;
+        this.vkTreeRoot = vkTreeRoot;
+        this.protocolContractsHash = protocolContractsHash;
+        this.proverId = proverId;
+        this.slotNumber = slotNumber;
+        this.coinbase = coinbase;
+        this.feeRecipient = feeRecipient;
+        this.gasFees = gasFees;
+    }
+    static from(fields) {
+        return new CheckpointConstantData(...CheckpointConstantData.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.chainId,
+            fields.version,
+            fields.vkTreeRoot,
+            fields.protocolContractsHash,
+            fields.proverId,
+            fields.slotNumber,
+            fields.coinbase,
+            fields.feeRecipient,
+            fields.gasFees
+        ];
+    }
+    static empty() {
+        return new CheckpointConstantData(Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO, EthAddress.ZERO, AztecAddress.ZERO, GasFees.empty());
+    }
+    toBuffer() {
+        return serializeToBuffer(...CheckpointConstantData.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CheckpointConstantData(Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readObject(EthAddress), reader.readObject(AztecAddress), reader.readObject(GasFees));
+    }
+}

package/dest/{tx/proposed_block_header.d.ts → rollup/checkpoint_header.d.ts}

@@ -7,10 +7,9 @@ import type { FieldsOf } from '@aztec/foundation/types';
 import { inspect } from 'util';
 import { AztecAddress } from '../aztec-address/index.js';
 import { GasFees } from '../gas/index.js';
+import { ContentCommitment } from '../tx/content_commitment.js';
 import type { UInt64 } from '../types/shared.js';
-import { ContentCommitment } from './content_commitment.js';
-/** The proposed values of an L2 block. */
-export declare class ProposedBlockHeader {
+export declare class CheckpointHeader {
     /** Root of the archive tree before this block is added. */
     lastArchiveRoot: Fr;
     /** Content commitment of the L2 block. */
@@ -44,23 +43,23 @@ export declare class ProposedBlockHeader {
     gasFees: GasFees, 
     /** Total mana used in the block, computed by the root rollup circuit */
     totalManaUsed: Fr);
-    static get schema(): ZodFor<ProposedBlockHeader>;
-    static getFields(fields: FieldsOf<ProposedBlockHeader>): readonly [Fr, ContentCommitment, Fr, bigint, EthAddress, AztecAddress, GasFees, Fr];
-    static from(fields: FieldsOf<ProposedBlockHeader>): ProposedBlockHeader;
-    static fromBuffer(buffer: Buffer | BufferReader): ProposedBlockHeader;
-    equals(other: ProposedBlockHeader): boolean;
+    static get schema(): ZodFor<CheckpointHeader>;
+    static getFields(fields: FieldsOf<CheckpointHeader>): readonly [Fr, ContentCommitment, Fr, bigint, EthAddress, AztecAddress, GasFees, Fr];
+    static from(fields: FieldsOf<CheckpointHeader>): CheckpointHeader;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointHeader;
+    equals(other: CheckpointHeader): boolean;
     toBuffer(): Buffer<ArrayBufferLike>;
     hash(): Fr;
-    static empty(fields?: Partial<FieldsOf<ProposedBlockHeader>>): ProposedBlockHeader;
-    static random(): ProposedBlockHeader;
+    static empty(fields?: Partial<FieldsOf<CheckpointHeader>>): CheckpointHeader;
+    static random(): CheckpointHeader;
     isEmpty(): boolean;
     /**
      * Serializes this instance into a string.
      * @returns Encoded string.
      */
     toString(): `0x${string}`;
-    static fromString(str: string): ProposedBlockHeader;
-    static fromViem(header: ViemHeader): ProposedBlockHeader;
+    static fromString(str: string): CheckpointHeader;
+    static fromViem(header: ViemHeader): CheckpointHeader;
     toViem(): ViemHeader;
     toInspect(): {
         lastArchive: `0x${string}`;
@@ -81,4 +80,4 @@ export declare class ProposedBlockHeader {
     };
     [inspect.custom](): string;
 }
-//# sourceMappingURL=proposed_block_header.d.ts.map
+//# sourceMappingURL=checkpoint_header.d.ts.map