@aztec-labs/stdlib 6.0.0-nightly.20260829

package/dest/rollup/checkpoint_rollup_public_inputs.js

@@ -0,0 +1,136 @@
+import { BlobAccumulator, FinalBlobBatchingChallenges } from '@aztec-labs/blob-lib/types';
+import { MAX_CHECKPOINTS_PER_EPOCH } from '@aztec-labs/constants';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { EthAddress } from '@aztec-labs/foundation/eth-address';
+import { bufferSchemaFor } from '@aztec-labs/foundation/schemas';
+import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec-labs/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { EpochConstantData } from './epoch_constant_data.js';
+/**
+ * Output of the checkpoint root and checkpoint merge rollup circuits.
+ */ export class CheckpointRollupPublicInputs {
+    constants;
+    previousArchive;
+    newArchive;
+    previousOutHash;
+    newOutHash;
+    startInboxRollingHash;
+    endInboxRollingHash;
+    checkpointHeaderHashes;
+    fees;
+    startBlobAccumulator;
+    endBlobAccumulator;
+    finalBlobChallenges;
+    constructor(/**
+     * Constants for the entire epoch.
+     */ constants, /**
+     * Archive tree immediately before this checkpoint range.
+     */ previousArchive, /**
+     * Archive tree after adding this checkpoint range.
+     */ newArchive, /**
+     * The out hash tree snapshot immediately before this checkpoint range.
+     */ previousOutHash, /**
+     * The out hash tree snapshot after applying this checkpoint range.
+     */ newOutHash, /**
+     * Inbox rolling hash before consuming this checkpoint range's messages.
+     */ startInboxRollingHash, /**
+     * Inbox rolling hash after consuming this checkpoint range's messages (the end value lands in the checkpoint
+     * header). Checkpoint merges assert `right.start == left.end` for chain continuity.
+     */ endInboxRollingHash, /**
+     * The hashes of the headers of the constituent checkpoints.
+     */ checkpointHeaderHashes, /**
+     * The summed transaction fees and recipients of the constituent checkpoints.
+     */ fees, /**
+     * Accumulated opening proofs for all blobs before this checkpoint range.
+     */ startBlobAccumulator, /**
+     * Accumulated opening proofs for all blobs after applying this checkpoint range.
+     */ endBlobAccumulator, /**
+     * Final values z and gamma, shared across the epoch.
+     */ finalBlobChallenges){
+        this.constants = constants;
+        this.previousArchive = previousArchive;
+        this.newArchive = newArchive;
+        this.previousOutHash = previousOutHash;
+        this.newOutHash = newOutHash;
+        this.startInboxRollingHash = startInboxRollingHash;
+        this.endInboxRollingHash = endInboxRollingHash;
+        this.checkpointHeaderHashes = checkpointHeaderHashes;
+        this.fees = fees;
+        this.startBlobAccumulator = startBlobAccumulator;
+        this.endBlobAccumulator = endBlobAccumulator;
+        this.finalBlobChallenges = finalBlobChallenges;
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CheckpointRollupPublicInputs(reader.readObject(EpochConstantData), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readArray(MAX_CHECKPOINTS_PER_EPOCH, Fr), reader.readArray(MAX_CHECKPOINTS_PER_EPOCH, FeeRecipient), reader.readObject(BlobAccumulator), reader.readObject(BlobAccumulator), reader.readObject(FinalBlobBatchingChallenges));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.constants, this.previousArchive, this.newArchive, this.previousOutHash, this.newOutHash, this.startInboxRollingHash, this.endInboxRollingHash, this.checkpointHeaderHashes, this.fees, this.startBlobAccumulator, this.endBlobAccumulator, this.finalBlobChallenges);
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromString(str) {
+        return CheckpointRollupPublicInputs.fromBuffer(hexToBuffer(str));
+    }
+    /** Returns a buffer representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    toInspect() {
+        return {
+            checkpointHeaderHash: this.checkpointHeaderHashes[0].toString(),
+            previousArchiveRoot: this.previousArchive.root.toString(),
+            newArchiveRoot: this.newArchive.root.toString(),
+            previousOutHashRoot: this.previousOutHash.root.toString(),
+            newOutHashRoot: this.newOutHash.root.toString(),
+            startInboxRollingHash: this.startInboxRollingHash.toString(),
+            endInboxRollingHash: this.endInboxRollingHash.toString()
+        };
+    }
+    /** Creates an instance from a hex string. */ static get schema() {
+        return bufferSchemaFor(CheckpointRollupPublicInputs);
+    }
+}
+export class FeeRecipient {
+    recipient;
+    value;
+    constructor(recipient, value){
+        this.recipient = recipient;
+        this.value = value;
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new FeeRecipient(reader.readObject(EthAddress), Fr.fromBuffer(reader));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.recipient, this.value);
+    }
+    static getFields(fields) {
+        return [
+            fields.recipient,
+            fields.value
+        ];
+    }
+    toFields() {
+        return serializeToFields(...FeeRecipient.getFields(this));
+    }
+    static empty() {
+        return new FeeRecipient(EthAddress.ZERO, Fr.ZERO);
+    }
+    isEmpty() {
+        return this.value.isZero() && this.recipient.isZero();
+    }
+    toFriendlyJSON() {
+        if (this.isEmpty()) {
+            return {};
+        }
+        return {
+            recipient: this.recipient.toString(),
+            value: this.value.toString()
+        };
+    }
+    static random() {
+        return new FeeRecipient(EthAddress.random(), Fr.random());
+    }
+}

package/dest/rollup/checkpoint_root_rollup_private_inputs.d.ts

@@ -0,0 +1,162 @@
+import { BlobAccumulator, FinalBlobBatchingChallenges } from '@aztec-labs/blob-lib/types';
+import { ARCHIVE_HEIGHT, BLOBS_PER_CHECKPOINT, OUT_HASH_TREE_HEIGHT } from '@aztec-labs/constants';
+import { BLS12Point } from '@aztec-labs/foundation/curves/bls12';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, type Tuple } from '@aztec-labs/foundation/serialize';
+import type { FieldsOf } from '@aztec-labs/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 { BlockHeader } from '../tx/block_header.js';
+import { BlockRollupPublicInputs } from './block_rollup_public_inputs.js';
+export declare class CheckpointRootRollupHints {
+    /**
+     * The header of the previous block before this checkpoint.
+     */
+    previousBlockHeader: BlockHeader;
+    /**
+     * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
+     */
+    previousArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>;
+    /**
+     * The out hash tree snapshot immediately before this checkpoint.
+     */
+    previousOutHash: AppendOnlyTreeSnapshot;
+    /**
+     * Hint for inserting the new out hash into the out hash tree.
+     */
+    newOutHashSiblingPath: Tuple<Fr, typeof OUT_HASH_TREE_HEIGHT>;
+    /**
+     * The current blob accumulation state across the epoch.
+     */
+    startBlobAccumulator: BlobAccumulator;
+    /**
+     * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
+     */
+    finalBlobChallenges: FinalBlobBatchingChallenges;
+    /**
+     * Flat list of all tx effects which will be added to the blob.
+     * Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
+     * Tuple<Fr, FIELDS_PER_BLOB * BLOBS_PER_CHECKPOINT>
+     */
+    blobFields: Fr[];
+    /**
+     * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
+     */
+    blobCommitments: Tuple<BLS12Point, typeof BLOBS_PER_CHECKPOINT>;
+    /**
+     * The hash of eth blob hashes for this block
+     * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
+     */
+    blobsHash: Fr;
+    constructor(
+    /**
+     * The header of the previous block before this checkpoint.
+     */
+    previousBlockHeader: BlockHeader, 
+    /**
+     * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
+     */
+    previousArchiveSiblingPath: Tuple<Fr, typeof ARCHIVE_HEIGHT>, 
+    /**
+     * The out hash tree snapshot immediately before this checkpoint.
+     */
+    previousOutHash: AppendOnlyTreeSnapshot, 
+    /**
+     * Hint for inserting the new out hash into the out hash tree.
+     */
+    newOutHashSiblingPath: Tuple<Fr, typeof OUT_HASH_TREE_HEIGHT>, 
+    /**
+     * The current blob accumulation state across the epoch.
+     */
+    startBlobAccumulator: BlobAccumulator, 
+    /**
+     * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
+     */
+    finalBlobChallenges: FinalBlobBatchingChallenges, 
+    /**
+     * Flat list of all tx effects which will be added to the blob.
+     * Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
+     * Tuple<Fr, FIELDS_PER_BLOB * BLOBS_PER_CHECKPOINT>
+     */
+    blobFields: Fr[], 
+    /**
+     * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
+     */
+    blobCommitments: Tuple<BLS12Point, typeof BLOBS_PER_CHECKPOINT>, 
+    /**
+     * The hash of eth blob hashes for this block
+     * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
+     */
+    blobsHash: Fr);
+    static from(fields: FieldsOf<CheckpointRootRollupHints>): CheckpointRootRollupHints;
+    static getFields(fields: FieldsOf<CheckpointRootRollupHints>): readonly [BlockHeader, [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], AppendOnlyTreeSnapshot, [Fr, Fr, Fr, Fr, Fr], BlobAccumulator, FinalBlobBatchingChallenges, Fr[], [BLS12Point, BLS12Point, BLS12Point, BLS12Point, BLS12Point, BLS12Point], Fr];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointRootRollupHints;
+    toString(): `0x${string}`;
+    static fromString(str: string): CheckpointRootRollupHints;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<CheckpointRootRollupHints, string, import("zod/v4/core").$ZodTypeInternals<CheckpointRootRollupHints, string>>;
+}
+export declare class CheckpointRootRollupPrivateInputs {
+    previousRollups: [
+        RollupHonkProofData<BlockRollupPublicInputs>,
+        RollupHonkProofData<BlockRollupPublicInputs>
+    ];
+    /**
+     * Inbox parity proof over the checkpoint's L1-to-L2 messages: it commits to the checkpoint's
+     * message list, and its message sponge is checked against the blocks' accumulated one.
+     */
+    inboxParity: UltraHonkProofData<ParityPublicInputs>;
+    hints: CheckpointRootRollupHints;
+    constructor(previousRollups: [
+        RollupHonkProofData<BlockRollupPublicInputs>,
+        RollupHonkProofData<BlockRollupPublicInputs>
+    ], 
+    /**
+     * Inbox parity proof over the checkpoint's L1-to-L2 messages: it commits to the checkpoint's
+     * message list, and its message sponge is checked against the blocks' accumulated one.
+     */
+    inboxParity: UltraHonkProofData<ParityPublicInputs>, hints: CheckpointRootRollupHints);
+    static from(fields: FieldsOf<CheckpointRootRollupPrivateInputs>): CheckpointRootRollupPrivateInputs;
+    static getFields(fields: FieldsOf<CheckpointRootRollupPrivateInputs>): readonly [[RollupHonkProofData<BlockRollupPublicInputs>, RollupHonkProofData<BlockRollupPublicInputs>], UltraHonkProofData<ParityPublicInputs>, CheckpointRootRollupHints];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointRootRollupPrivateInputs;
+    toString(): `0x${string}`;
+    static fromString(str: string): CheckpointRootRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<CheckpointRootRollupPrivateInputs, string, import("zod/v4/core").$ZodTypeInternals<CheckpointRootRollupPrivateInputs, string>>;
+}
+export declare class CheckpointRootSingleBlockRollupPrivateInputs {
+    previousRollup: RollupHonkProofData<BlockRollupPublicInputs>;
+    /**
+     * Inbox parity proof over the checkpoint's L1-to-L2 messages: it commits to the checkpoint's
+     * message list, and its message sponge is checked against the block's accumulated one.
+     */
+    inboxParity: UltraHonkProofData<ParityPublicInputs>;
+    hints: CheckpointRootRollupHints;
+    constructor(previousRollup: RollupHonkProofData<BlockRollupPublicInputs>, 
+    /**
+     * Inbox parity proof over the checkpoint's L1-to-L2 messages: it commits to the checkpoint's
+     * message list, and its message sponge is checked against the block's accumulated one.
+     */
+    inboxParity: UltraHonkProofData<ParityPublicInputs>, hints: CheckpointRootRollupHints);
+    static from(fields: FieldsOf<CheckpointRootSingleBlockRollupPrivateInputs>): CheckpointRootSingleBlockRollupPrivateInputs;
+    static getFields(fields: FieldsOf<CheckpointRootSingleBlockRollupPrivateInputs>): readonly [RollupHonkProofData<BlockRollupPublicInputs>, UltraHonkProofData<ParityPublicInputs>, CheckpointRootRollupHints];
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointRootSingleBlockRollupPrivateInputs;
+    toString(): `0x${string}`;
+    static fromString(str: string): CheckpointRootSingleBlockRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<CheckpointRootSingleBlockRollupPrivateInputs, string, import("zod/v4/core").$ZodTypeInternals<CheckpointRootSingleBlockRollupPrivateInputs, string>>;
+}
+export declare class CheckpointPaddingRollupPrivateInputs {
+    constructor();
+    toBuffer(): Buffer<ArrayBuffer>;
+    static fromBuffer(_buffer: Buffer | BufferReader): CheckpointPaddingRollupPrivateInputs;
+    toString(): `0x${string}`;
+    static fromString(_str: string): CheckpointPaddingRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBuffer>;
+    static get schema(): import("zod").ZodType<CheckpointPaddingRollupPrivateInputs, string, import("zod/v4/core").$ZodTypeInternals<CheckpointPaddingRollupPrivateInputs, string>>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9yb290X3JvbGx1cF9wcml2YXRlX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9jaGVja3BvaW50X3Jvb3Rfcm9sbHVwX3ByaXZhdGVfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxlQUFlLEVBQUUsMkJBQTJCLEVBQUUsTUFBTSw0QkFBNEIsQ0FBQztBQUMxRixPQUFPLEVBQUUsY0FBYyxFQUFFLG9CQUFvQixFQUFtQixvQkFBb0IsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3BILE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUNqRSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0scUNBQXFDLENBQUM7QUFFekQsT0FBTyxFQUFFLFlBQVksRUFBRSxLQUFLLEtBQUssRUFBcUIsTUFBTSxrQ0FBa0MsQ0FBQztBQUUvRixPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUU3RCxPQUFPLEVBQUUsa0JBQWtCLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUN2RSxPQUFPLEVBQWEsS0FBSyxtQkFBbUIsRUFBRSxLQUFLLGtCQUFrQixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFDdkcsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sdUNBQXVDLENBQUM7QUFDL0UsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3BELE9BQU8sRUFBRSx1QkFBdUIsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBRTFFLHFCQUFhLHlCQUF5QjtJQUVsQzs7T0FFRztJQUNJLG1CQUFtQixFQUFFLFdBQVc7SUFDdkM7O09BRUc7SUFDSSwwQkFBMEIsRUFBRSxLQUFLLENBQUMsRUFBRSxFQUFFLE9BQU8sY0FBYyxDQUFDO0lBQ25FOztPQUVHO0lBQ0ksZUFBZSxFQUFFLHNCQUFzQjtJQUM5Qzs7T0FFRztJQUNJLHFCQUFxQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxvQkFBb0IsQ0FBQztJQUNwRTs7T0FFRztJQUNJLG9CQUFvQixFQUFFLGVBQWU7SUFDNUM7O09BRUc7SUFDSSxtQkFBbUIsRUFBRSwyQkFBMkI7SUFDdkQ7Ozs7T0FJRztJQUNJLFVBQVUsRUFBRSxFQUFFLEVBQUU7SUFDdkI7O09BRUc7SUFDSSxlQUFlLEVBQUUsS0FBSyxDQUFDLFVBQVUsRUFBRSxPQUFPLG9CQUFvQixDQUFDO0lBQ3RFOzs7T0FHRztJQUNJLFNBQVMsRUFBRSxFQUFFO0lBdkN0QjtJQUNFOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsV0FBVztJQUN2Qzs7T0FFRztJQUNJLDBCQUEwQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxjQUFjLENBQUM7SUFDbkU7O09BRUc7SUFDSSxlQUFlLEVBQUUsc0JBQXNCO0lBQzlDOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLG9CQUFvQixDQUFDO0lBQ3BFOztPQUVHO0lBQ0ksb0JBQW9CLEVBQUUsZUFBZTtJQUM1Qzs7T0FFRztJQUNJLG1CQUFtQixFQUFFLDJCQUEyQjtJQUN2RDs7OztPQUlHO0lBQ0ksVUFBVSxFQUFFLEVBQUUsRUFBRTtJQUN2Qjs7T0FFRztJQUNJLGVBQWUsRUFBRSxLQUFLLENBQUMsVUFBVSxFQUFFLE9BQU8sb0JBQW9CLENBQUM7SUFDdEU7OztPQUdHO0lBQ0ksU0FBUyxFQUFFLEVBQUUsRUFDbEI7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMseUJBQXlCLENBQUMsNkJBRXREO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLHlCQUF5QixDQUFDLG9VQVkzRDtJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSw2QkFlOUM7SUFFRCxRQUFRLGtCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSw2QkFFNUI7SUFFRCxNQUFNLDRCQUVMO0lBRUQsTUFBTSxLQUFLLE1BQU0seUlBRWhCO0NBQ0Y7QUFFRCxxQkFBYSxpQ0FBaUM7SUFFbkMsZUFBZSxFQUFFO1FBQ3RCLG1CQUFtQixDQUFDLHVCQUF1QixDQUFDO1FBQzVDLG1CQUFtQixDQUFDLHVCQUF1QixDQUFDO0tBQzdDO0lBQ0Q7OztPQUdHO0lBQ0ksV0FBVyxFQUFFLGtCQUFrQixDQUFDLGtCQUFrQixDQUFDO0lBQ25ELEtBQUssRUFBRSx5QkFBeUI7SUFWekMsWUFDUyxlQUFlLEVBQUU7UUFDdEIsbUJBQW1CLENBQUMsdUJBQXVCLENBQUM7UUFDNUMsbUJBQW1CLENBQUMsdUJBQXVCLENBQUM7S0FDN0M7SUFDRDs7O09BR0c7SUFDSSxXQUFXLEVBQUUsa0JBQWtCLENBQUMsa0JBQWtCLENBQUMsRUFDbkQsS0FBSyxFQUFFLHlCQUF5QixFQUNyQztJQUVKLE1BQU0sQ0FBQyxJQUFJLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyxpQ0FBaUMsQ0FBQyxxQ0FFOUQ7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsaUNBQWlDLENBQUMsOEtBRW5FO0lBRUQsUUFBUSw0QkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLHFDQU85QztJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLHFDQUU1QjtJQUVELE1BQU0sNEJBRUw7SUFFRCxNQUFNLEtBQUssTUFBTSx5SkFFaEI7Q0FDRjtBQUVELHFCQUFhLDRDQUE0QztJQUU5QyxjQUFjLEVBQUUsbUJBQW1CLENBQUMsdUJBQXVCLENBQUM7SUFDbkU7OztPQUdHO0lBQ0ksV0FBVyxFQUFFLGtCQUFrQixDQUFDLGtCQUFrQixDQUFDO0lBQ25ELEtBQUssRUFBRSx5QkFBeUI7SUFQekMsWUFDUyxjQUFjLEVBQUUsbUJBQW1CLENBQUMsdUJBQXVCLENBQUM7SUFDbkU7OztPQUdHO0lBQ0ksV0FBVyxFQUFFLGtCQUFrQixDQUFDLGtCQUFrQixDQUFDLEVBQ25ELEtBQUssRUFBRSx5QkFBeUIsRUFDckM7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsNENBQTRDLENBQUMsZ0RBSXpFO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDRDQUE0QyxDQUFDLDhIQUU5RTtJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxnREFPOUM7SUFFRCxRQUFRLGtCQUVQO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxnREFFNUI7SUFFRCxNQUFNLDRCQUVMO0lBRUQsTUFBTSxLQUFLLE1BQU0sK0tBRWhCO0NBQ0Y7QUFHRCxxQkFBYSxvQ0FBb0M7SUFDL0MsY0FBZ0I7SUFFaEIsUUFBUSx3QkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsT0FBTyxFQUFFLE1BQU0sR0FBRyxZQUFZLHdDQUUvQztJQUVELFFBQVEsSUFBSSxLQUFLLE1BQU0sRUFBRSxDQUV4QjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsSUFBSSxFQUFFLE1BQU0sd0NBRTdCO0lBRUQsTUFBTSx3QkFFTDtJQUVELE1BQU0sS0FBSyxNQUFNLCtKQUVoQjtDQUNGIn0=

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_root_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_root_rollup_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,MAAM,4BAA4B,CAAC;AAC1F,OAAO,EAAE,cAAc,EAAE,oBAAoB,EAAmB,oBAAoB,EAAE,MAAM,uBAAuB,CAAC;AACpH,OAAO,EAAE,UAAU,EAAE,MAAM,qCAAqC,CAAC;AACjE,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AAEzD,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,kCAAkC,CAAC;AAE/F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAE7D,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,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E,qBAAa,yBAAyB;IAElC;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,oBAAoB,CAAC;IACpE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,oBAAoB,CAAC;IACtE;;;OAGG;IACI,SAAS,EAAE,EAAE;IAvCtB;IACE;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,oBAAoB,CAAC;IACpE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,oBAAoB,CAAC;IACtE;;;OAGG;IACI,SAAS,EAAE,EAAE,EAClB;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC,6BAEtD;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,yBAAyB,CAAC,oUAY3D;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,6BAe9C;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,6BAE5B;IAED,MAAM,4BAEL;IAED,MAAM,KAAK,MAAM,yIAEhB;CACF;AAED,qBAAa,iCAAiC;IAEnC,eAAe,EAAE;QACtB,mBAAmB,CAAC,uBAAuB,CAAC;QAC5C,mBAAmB,CAAC,uBAAuB,CAAC;KAC7C;IACD;;;OAGG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IACnD,KAAK,EAAE,yBAAyB;IAVzC,YACS,eAAe,EAAE;QACtB,mBAAmB,CAAC,uBAAuB,CAAC;QAC5C,mBAAmB,CAAC,uBAAuB,CAAC;KAC7C;IACD;;;OAGG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC,EACnD,KAAK,EAAE,yBAAyB,EACrC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC,qCAE9D;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iCAAiC,CAAC,8KAEnE;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,qCAO9C;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,qCAE5B;IAED,MAAM,4BAEL;IAED,MAAM,KAAK,MAAM,yJAEhB;CACF;AAED,qBAAa,4CAA4C;IAE9C,cAAc,EAAE,mBAAmB,CAAC,uBAAuB,CAAC;IACnE;;;OAGG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC;IACnD,KAAK,EAAE,yBAAyB;IAPzC,YACS,cAAc,EAAE,mBAAmB,CAAC,uBAAuB,CAAC;IACnE;;;OAGG;IACI,WAAW,EAAE,kBAAkB,CAAC,kBAAkB,CAAC,EACnD,KAAK,EAAE,yBAAyB,EACrC;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,4CAA4C,CAAC,gDAIzE;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4CAA4C,CAAC,8HAE9E;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,gDAO9C;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,gDAE5B;IAED,MAAM,4BAEL;IAED,MAAM,KAAK,MAAM,+KAEhB;CACF;AAGD,qBAAa,oCAAoC;IAC/C,cAAgB;IAEhB,QAAQ,wBAEP;IAED,MAAM,CAAC,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,YAAY,wCAE/C;IAED,QAAQ,IAAI,KAAK,MAAM,EAAE,CAExB;IAED,MAAM,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,wCAE7B;IAED,MAAM,wBAEL;IAED,MAAM,KAAK,MAAM,+JAEhB;CACF"}

package/dest/rollup/checkpoint_root_rollup_private_inputs.js

@@ -0,0 +1,203 @@
+import { BlobAccumulator, FinalBlobBatchingChallenges } from '@aztec-labs/blob-lib/types';
+import { ARCHIVE_HEIGHT, BLOBS_PER_CHECKPOINT, FIELDS_PER_BLOB, OUT_HASH_TREE_HEIGHT } from '@aztec-labs/constants';
+import { BLS12Point } from '@aztec-labs/foundation/curves/bls12';
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { bufferSchemaFor } from '@aztec-labs/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec-labs/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec-labs/foundation/string';
+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 { BlockHeader } from '../tx/block_header.js';
+import { BlockRollupPublicInputs } from './block_rollup_public_inputs.js';
+export class CheckpointRootRollupHints {
+    previousBlockHeader;
+    previousArchiveSiblingPath;
+    previousOutHash;
+    newOutHashSiblingPath;
+    startBlobAccumulator;
+    finalBlobChallenges;
+    blobFields;
+    blobCommitments;
+    blobsHash;
+    constructor(/**
+     * The header of the previous block before this checkpoint.
+     */ previousBlockHeader, /**
+     * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
+     */ previousArchiveSiblingPath, /**
+     * The out hash tree snapshot immediately before this checkpoint.
+     */ previousOutHash, /**
+     * Hint for inserting the new out hash into the out hash tree.
+     */ newOutHashSiblingPath, /**
+     * The current blob accumulation state across the epoch.
+     */ startBlobAccumulator, /**
+     * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
+     */ finalBlobChallenges, /**
+     * Flat list of all tx effects which will be added to the blob.
+     * Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
+     * Tuple<Fr, FIELDS_PER_BLOB * BLOBS_PER_CHECKPOINT>
+     */ blobFields, /**
+     * KZG commitments representing the blob (precomputed in ts, injected to use inside circuit).
+     */ blobCommitments, /**
+     * The hash of eth blob hashes for this block
+     * See yarn-project/foundation/src/blob/index.ts or body.ts for calculation
+     */ blobsHash){
+        this.previousBlockHeader = previousBlockHeader;
+        this.previousArchiveSiblingPath = previousArchiveSiblingPath;
+        this.previousOutHash = previousOutHash;
+        this.newOutHashSiblingPath = newOutHashSiblingPath;
+        this.startBlobAccumulator = startBlobAccumulator;
+        this.finalBlobChallenges = finalBlobChallenges;
+        this.blobFields = blobFields;
+        this.blobCommitments = blobCommitments;
+        this.blobsHash = blobsHash;
+    }
+    static from(fields) {
+        return new CheckpointRootRollupHints(...CheckpointRootRollupHints.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.previousBlockHeader,
+            fields.previousArchiveSiblingPath,
+            fields.previousOutHash,
+            fields.newOutHashSiblingPath,
+            fields.startBlobAccumulator,
+            fields.finalBlobChallenges,
+            fields.blobFields,
+            fields.blobCommitments,
+            fields.blobsHash
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...CheckpointRootRollupHints.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CheckpointRootRollupHints(BlockHeader.fromBuffer(reader), reader.readArray(ARCHIVE_HEIGHT, Fr), reader.readObject(AppendOnlyTreeSnapshot), reader.readArray(OUT_HASH_TREE_HEIGHT, Fr), reader.readObject(BlobAccumulator), reader.readObject(FinalBlobBatchingChallenges), // Below line gives error 'Type instantiation is excessively deep and possibly infinite. ts(2589)'
+        // reader.readArray(FIELDS_PER_BLOB, Fr),
+        Array.from({
+            length: FIELDS_PER_BLOB * BLOBS_PER_CHECKPOINT
+        }, ()=>Fr.fromBuffer(reader)), reader.readArray(BLOBS_PER_CHECKPOINT, BLS12Point), Fr.fromBuffer(reader));
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromString(str) {
+        return CheckpointRootRollupHints.fromBuffer(hexToBuffer(str));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(CheckpointRootRollupHints);
+    }
+}
+export class CheckpointRootRollupPrivateInputs {
+    previousRollups;
+    inboxParity;
+    hints;
+    constructor(previousRollups, /**
+     * Inbox parity proof over the checkpoint's L1-to-L2 messages: it commits to the checkpoint's
+     * message list, and its message sponge is checked against the blocks' accumulated one.
+     */ inboxParity, hints){
+        this.previousRollups = previousRollups;
+        this.inboxParity = inboxParity;
+        this.hints = hints;
+    }
+    static from(fields) {
+        return new CheckpointRootRollupPrivateInputs(...CheckpointRootRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.previousRollups,
+            fields.inboxParity,
+            fields.hints
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...CheckpointRootRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CheckpointRootRollupPrivateInputs([
+            ProofData.fromBuffer(reader, BlockRollupPublicInputs),
+            ProofData.fromBuffer(reader, BlockRollupPublicInputs)
+        ], ProofData.fromBuffer(reader, ParityPublicInputs), CheckpointRootRollupHints.fromBuffer(reader));
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromString(str) {
+        return CheckpointRootRollupPrivateInputs.fromBuffer(hexToBuffer(str));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(CheckpointRootRollupPrivateInputs);
+    }
+}
+export class CheckpointRootSingleBlockRollupPrivateInputs {
+    previousRollup;
+    inboxParity;
+    hints;
+    constructor(previousRollup, /**
+     * Inbox parity proof over the checkpoint's L1-to-L2 messages: it commits to the checkpoint's
+     * message list, and its message sponge is checked against the block's accumulated one.
+     */ inboxParity, hints){
+        this.previousRollup = previousRollup;
+        this.inboxParity = inboxParity;
+        this.hints = hints;
+    }
+    static from(fields) {
+        return new CheckpointRootSingleBlockRollupPrivateInputs(...CheckpointRootSingleBlockRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.previousRollup,
+            fields.inboxParity,
+            fields.hints
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...CheckpointRootSingleBlockRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CheckpointRootSingleBlockRollupPrivateInputs(ProofData.fromBuffer(reader, BlockRollupPublicInputs), ProofData.fromBuffer(reader, ParityPublicInputs), CheckpointRootRollupHints.fromBuffer(reader));
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromString(str) {
+        return CheckpointRootSingleBlockRollupPrivateInputs.fromBuffer(hexToBuffer(str));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(CheckpointRootSingleBlockRollupPrivateInputs);
+    }
+}
+// Checkpoint padding circuit does not have any private inputs.
+export class CheckpointPaddingRollupPrivateInputs {
+    constructor(){}
+    toBuffer() {
+        return Buffer.alloc(0);
+    }
+    static fromBuffer(_buffer) {
+        return new CheckpointPaddingRollupPrivateInputs();
+    }
+    toString() {
+        return '0x';
+    }
+    static fromString(_str) {
+        return new CheckpointPaddingRollupPrivateInputs();
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(CheckpointPaddingRollupPrivateInputs);
+    }
+}

package/dest/rollup/epoch_constant_data.d.ts

@@ -0,0 +1,56 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader } from '@aztec-labs/foundation/serialize';
+import type { FieldsOf } from '@aztec-labs/foundation/types';
+/**
+ * Constants that are the same for the entire epoch.
+ */
+export declare class EpochConstantData {
+    /**
+     * 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 of the epoch.
+     */
+    proverId: Fr;
+    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 of the epoch.
+     */
+    proverId: Fr);
+    static from(fields: FieldsOf<EpochConstantData>): EpochConstantData;
+    static getFields(fields: FieldsOf<EpochConstantData>): readonly [Fr, Fr, Fr, Fr, Fr];
+    toFields(): Fr[];
+    static fromBuffer(buffer: Buffer | BufferReader): EpochConstantData;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static empty(): EpochConstantData;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXBvY2hfY29uc3RhbnRfZGF0YS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9lcG9jaF9jb25zdGFudF9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxxQ0FBcUMsQ0FBQztBQUN6RCxPQUFPLEVBQUUsWUFBWSxFQUF3QyxNQUFNLGtDQUFrQyxDQUFDO0FBQ3RHLE9BQU8sS0FBSyxFQUFFLFFBQVEsRUFBRSxNQUFNLDhCQUE4QixDQUFDO0FBRTdEOztHQUVHO0FBQ0gscUJBQWEsaUJBQWlCO0lBRTFCOztPQUVHO0lBQ0ksT0FBTyxFQUFFLEVBQUU7SUFDbEI7O09BRUc7SUFDSSxPQUFPLEVBQUUsRUFBRTtJQUNsQjs7T0FFRztJQUNJLFVBQVUsRUFBRSxFQUFFO0lBQ3JCOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsRUFBRTtJQUNoQzs7T0FFRztJQUNJLFFBQVEsRUFBRSxFQUFFO0lBcEJyQjtJQUNFOztPQUVHO0lBQ0ksT0FBTyxFQUFFLEVBQUU7SUFDbEI7O09BRUc7SUFDSSxPQUFPLEVBQUUsRUFBRTtJQUNsQjs7T0FFRztJQUNJLFVBQVUsRUFBRSxFQUFFO0lBQ3JCOztPQUVHO0lBQ0kscUJBQXFCLEVBQUUsRUFBRTtJQUNoQzs7T0FFRztJQUNJLFFBQVEsRUFBRSxFQUFFLEVBQ2pCO0lBRUosTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGlCQUFpQixDQUFDLEdBQUcsaUJBQWlCLENBRWxFO0lBRUQsTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLGlCQUFpQixDQUFDLGlDQUVuRDtJQUVELFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FFZjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsaUJBQWlCLENBU2xFO0lBRUQsUUFBUSw0QkFFUDtJQUVELE1BQU0sQ0FBQyxLQUFLLHNCQUVYO0NBQ0YifQ==

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

@@ -0,0 +1 @@
+{"version":3,"file":"epoch_constant_data.d.ts","sourceRoot":"","sources":["../../src/rollup/epoch_constant_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,qCAAqC,CAAC;AACzD,OAAO,EAAE,YAAY,EAAwC,MAAM,kCAAkC,CAAC;AACtG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,8BAA8B,CAAC;AAE7D;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAChC;;OAEG;IACI,QAAQ,EAAE,EAAE;IApBrB;IACE;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,qBAAqB,EAAE,EAAE;IAChC;;OAEG;IACI,QAAQ,EAAE,EAAE,EACjB;IAEJ,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,iBAAiB,CAElE;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,iCAEnD;IAED,QAAQ,IAAI,EAAE,EAAE,CAEf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB,CASlE;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,KAAK,sBAEX;CACF"}

package/dest/rollup/epoch_constant_data.js

@@ -0,0 +1,53 @@
+import { Fr } from '@aztec-labs/foundation/curves/bn254';
+import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec-labs/foundation/serialize';
+/**
+ * Constants that are the same for the entire epoch.
+ */ export class EpochConstantData {
+    chainId;
+    version;
+    vkTreeRoot;
+    protocolContractsHash;
+    proverId;
+    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 of the epoch.
+     */ proverId){
+        this.chainId = chainId;
+        this.version = version;
+        this.vkTreeRoot = vkTreeRoot;
+        this.protocolContractsHash = protocolContractsHash;
+        this.proverId = proverId;
+    }
+    static from(fields) {
+        return new EpochConstantData(...EpochConstantData.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.chainId,
+            fields.version,
+            fields.vkTreeRoot,
+            fields.protocolContractsHash,
+            fields.proverId
+        ];
+    }
+    toFields() {
+        return serializeToFields(...EpochConstantData.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new EpochConstantData(Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader));
+    }
+    toBuffer() {
+        return serializeToBuffer(...EpochConstantData.getFields(this));
+    }
+    static empty() {
+        return new EpochConstantData(Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO, Fr.ZERO);
+    }
+}

package/dest/rollup/index.d.ts

@@ -0,0 +1,23 @@
+export * from './avm_proof_data.js';
+export * from './base_rollup_hints.js';
+export * from './block_constant_data.js';
+export * from './block_headers_hash.js';
+export * from './block_merge_rollup_private_inputs.js';
+export * from './block_rollup_public_inputs.js';
+export * from './block_root_rollup_private_inputs.js';
+export * from './checkpoint_constant_data.js';
+export * from './checkpoint_header.js';
+export * from './checkpoint_merge_rollup_private_inputs.js';
+export * from './checkpoint_rollup_public_inputs.js';
+export * from './checkpoint_root_rollup_private_inputs.js';
+export * from './epoch_constant_data.js';
+export * from './private_tx_base_rollup_private_inputs.js';
+export * from './public_tx_base_rollup_private_inputs.js';
+export * from './public_chonk_verifier_private_inputs.js';
+export * from './public_chonk_verifier_public_inputs.js';
+export * from './root_rollup_private_inputs.js';
+export * from './root_rollup_public_inputs.js';
+export * from './tree_snapshot_diff_hints.js';
+export * from './tx_merge_rollup_private_inputs.js';
+export * from './tx_rollup_public_inputs.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsY0FBYyxxQkFBcUIsQ0FBQztBQUNwQyxjQUFjLHdCQUF3QixDQUFDO0FBQ3ZDLGNBQWMsMEJBQTBCLENBQUM7QUFDekMsY0FBYyx5QkFBeUIsQ0FBQztBQUN4QyxjQUFjLHdDQUF3QyxDQUFDO0FBQ3ZELGNBQWMsaUNBQWlDLENBQUM7QUFDaEQsY0FBYyx1Q0FBdUMsQ0FBQztBQUN0RCxjQUFjLCtCQUErQixDQUFDO0FBQzlDLGNBQWMsd0JBQXdCLENBQUM7QUFDdkMsY0FBYyw2Q0FBNkMsQ0FBQztBQUM1RCxjQUFjLHNDQUFzQyxDQUFDO0FBQ3JELGNBQWMsNENBQTRDLENBQUM7QUFDM0QsY0FBYywwQkFBMEIsQ0FBQztBQUN6QyxjQUFjLDRDQUE0QyxDQUFDO0FBQzNELGNBQWMsMkNBQTJDLENBQUM7QUFDMUQsY0FBYywyQ0FBMkMsQ0FBQztBQUMxRCxjQUFjLDBDQUEwQyxDQUFDO0FBQ3pELGNBQWMsaUNBQWlDLENBQUM7QUFDaEQsY0FBYyxnQ0FBZ0MsQ0FBQztBQUMvQyxjQUFjLCtCQUErQixDQUFDO0FBQzlDLGNBQWMscUNBQXFDLENBQUM7QUFDcEQsY0FBYyw4QkFBOEIsQ0FBQyJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rollup/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,wCAAwC,CAAC;AACvD,cAAc,iCAAiC,CAAC;AAChD,cAAc,uCAAuC,CAAC;AACtD,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,6CAA6C,CAAC;AAC5D,cAAc,sCAAsC,CAAC;AACrD,cAAc,4CAA4C,CAAC;AAC3D,cAAc,0BAA0B,CAAC;AACzC,cAAc,4CAA4C,CAAC;AAC3D,cAAc,2CAA2C,CAAC;AAC1D,cAAc,2CAA2C,CAAC;AAC1D,cAAc,0CAA0C,CAAC;AACzD,cAAc,iCAAiC,CAAC;AAChD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,+BAA+B,CAAC;AAC9C,cAAc,qCAAqC,CAAC;AACpD,cAAc,8BAA8B,CAAC"}