@aztec/stdlib 0.0.0-test.0 → 0.0.1-commit.023c3e5

package/dest/rollup/checkpoint_header.js

@@ -0,0 +1,214 @@
+var _computedKey;
+import { SlotNumber } from '@aztec/foundation/branded-types';
+import { sha256ToField } from '@aztec/foundation/crypto/sha256';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { inspect } from 'util';
+import { z } from 'zod';
+import { AztecAddress } from '../aztec-address/index.js';
+import { GasFees } from '../gas/index.js';
+import { schemas } from '../schemas/index.js';
+_computedKey = inspect.custom;
+/**
+ * Header of a checkpoint. A checkpoint is a collection of blocks submitted to L1 all within the same slot.
+ * TODO(palla/mbps): Should this include chainId and version as well? Is this used just in circuits?
+ * TODO(palla/mbps): What about CheckpointNumber?
+ */ export class CheckpointHeader {
+    lastArchiveRoot;
+    blockHeadersHash;
+    blobsHash;
+    inHash;
+    epochOutHash;
+    slotNumber;
+    timestamp;
+    coinbase;
+    feeRecipient;
+    gasFees;
+    totalManaUsed;
+    constructor(/** Root of the archive tree before this block is added. */ lastArchiveRoot, /** Hash of the headers of all blocks in this checkpoint. */ blockHeadersHash, /** Hash of the blobs in the checkpoint. */ blobsHash, /** Root of the l1 to l2 messages subtree. */ inHash, /**
+     * The root of the epoch out hash balanced tree. The out hash of the first checkpoint in the epoch is inserted at
+     * index 0, the second at index 1, and so on.
+     * Note: This is not necessarily the final epoch out hash. It includes only the out hashes of checkpoints up to and
+     * including the current checkpoint. Any subsequent checkpoints added to the same epoch are not reflected in this
+     * value.
+     */ epochOutHash, /** Slot number of the L2 block */ slotNumber, /** Timestamp of the L2 block. */ timestamp, /** Recipient of block reward. */ coinbase, /** Address to receive fees. */ feeRecipient, /** Global gas prices for this block. */ gasFees, /** Total mana used in the block, computed by the root rollup circuit */ totalManaUsed){
+        this.lastArchiveRoot = lastArchiveRoot;
+        this.blockHeadersHash = blockHeadersHash;
+        this.blobsHash = blobsHash;
+        this.inHash = inHash;
+        this.epochOutHash = epochOutHash;
+        this.slotNumber = slotNumber;
+        this.timestamp = timestamp;
+        this.coinbase = coinbase;
+        this.feeRecipient = feeRecipient;
+        this.gasFees = gasFees;
+        this.totalManaUsed = totalManaUsed;
+    }
+    static get schema() {
+        return z.object({
+            lastArchiveRoot: schemas.Fr,
+            blockHeadersHash: schemas.Fr,
+            blobsHash: schemas.Fr,
+            inHash: schemas.Fr,
+            epochOutHash: schemas.Fr,
+            slotNumber: schemas.SlotNumber,
+            timestamp: schemas.BigInt,
+            coinbase: schemas.EthAddress,
+            feeRecipient: schemas.AztecAddress,
+            gasFees: GasFees.schema,
+            totalManaUsed: schemas.Fr
+        }).transform(CheckpointHeader.from);
+    }
+    static getFields(fields) {
+        return [
+            fields.lastArchiveRoot,
+            fields.blockHeadersHash,
+            fields.blobsHash,
+            fields.inHash,
+            fields.epochOutHash,
+            fields.slotNumber,
+            fields.timestamp,
+            fields.coinbase,
+            fields.feeRecipient,
+            fields.gasFees,
+            fields.totalManaUsed
+        ];
+    }
+    static from(fields) {
+        return new CheckpointHeader(...CheckpointHeader.getFields(fields));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CheckpointHeader(reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(Fr), SlotNumber(Fr.fromBuffer(reader).toNumber()), reader.readUInt64(), reader.readObject(EthAddress), reader.readObject(AztecAddress), reader.readObject(GasFees), reader.readObject(Fr));
+    }
+    equals(other) {
+        return this.lastArchiveRoot.equals(other.lastArchiveRoot) && this.blockHeadersHash.equals(other.blockHeadersHash) && this.blobsHash.equals(other.blobsHash) && this.inHash.equals(other.inHash) && this.epochOutHash.equals(other.epochOutHash) && this.slotNumber === other.slotNumber && this.timestamp === other.timestamp && this.coinbase.equals(other.coinbase) && this.feeRecipient.equals(other.feeRecipient) && this.gasFees.equals(other.gasFees) && this.totalManaUsed.equals(other.totalManaUsed);
+    }
+    /** Returns true if the global variables match those in the checkpoint header. */ matchesGlobalVariables(other) {
+        return this.coinbase.equals(other.coinbase) && this.feeRecipient.equals(other.feeRecipient) && this.gasFees.equals(other.gasFees) && this.slotNumber === other.slotNumber && this.timestamp === other.timestamp;
+    }
+    toBuffer() {
+        // Note: The order here must match the order in the ProposedHeaderLib solidity library.
+        return serializeToBuffer([
+            this.lastArchiveRoot,
+            this.blockHeadersHash,
+            this.blobsHash,
+            this.inHash,
+            this.epochOutHash,
+            new Fr(this.slotNumber),
+            bigintToUInt64BE(this.timestamp),
+            this.coinbase,
+            this.feeRecipient,
+            this.gasFees,
+            this.totalManaUsed
+        ]);
+    }
+    hash() {
+        return sha256ToField([
+            this.toBuffer()
+        ]);
+    }
+    static empty(fields = {}) {
+        return CheckpointHeader.from({
+            lastArchiveRoot: Fr.ZERO,
+            blockHeadersHash: Fr.ZERO,
+            blobsHash: Fr.ZERO,
+            inHash: Fr.ZERO,
+            epochOutHash: Fr.ZERO,
+            slotNumber: SlotNumber.ZERO,
+            timestamp: 0n,
+            coinbase: EthAddress.ZERO,
+            feeRecipient: AztecAddress.ZERO,
+            gasFees: GasFees.empty(),
+            totalManaUsed: Fr.ZERO,
+            ...fields
+        });
+    }
+    static random(overrides = {}) {
+        return CheckpointHeader.from({
+            lastArchiveRoot: Fr.random(),
+            blockHeadersHash: Fr.random(),
+            blobsHash: Fr.random(),
+            inHash: Fr.random(),
+            epochOutHash: Fr.random(),
+            slotNumber: SlotNumber(Math.floor(Math.random() * 1000) + 1),
+            timestamp: BigInt(Math.floor(Date.now() / 1000)),
+            coinbase: EthAddress.random(),
+            feeRecipient: new AztecAddress(Fr.random()),
+            gasFees: GasFees.random(),
+            totalManaUsed: new Fr(BigInt(Math.floor(Math.random() * 1000000))),
+            ...overrides
+        });
+    }
+    isEmpty() {
+        return this.lastArchiveRoot.isZero() && this.blockHeadersHash.isZero() && this.blobsHash.isZero() && this.inHash.isZero() && this.epochOutHash.isZero() && this.slotNumber === 0 && this.timestamp === 0n && this.coinbase.isZero() && this.feeRecipient.isZero() && this.gasFees.isEmpty() && this.totalManaUsed.isZero();
+    }
+    /**
+   * Serializes this instance into a string.
+   * @returns Encoded string.
+   */ toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromString(str) {
+        return CheckpointHeader.fromBuffer(hexToBuffer(str));
+    }
+    static fromViem(header) {
+        return new CheckpointHeader(Fr.fromString(header.lastArchiveRoot), Fr.fromString(header.blockHeadersHash), Fr.fromString(header.blobsHash), Fr.fromString(header.inHash), Fr.fromString(header.outHash), SlotNumber.fromBigInt(header.slotNumber), header.timestamp, new EthAddress(hexToBuffer(header.coinbase)), new AztecAddress(hexToBuffer(header.feeRecipient)), new GasFees(header.gasFees.feePerDaGas, header.gasFees.feePerL2Gas), new Fr(header.totalManaUsed));
+    }
+    /**
+   * Returns the slot number as a SlotNumber branded type.
+   * @deprecated Use slotNumber directly instead.
+   */ getSlotNumber() {
+        return this.slotNumber;
+    }
+    toViem() {
+        return {
+            lastArchiveRoot: this.lastArchiveRoot.toString(),
+            blockHeadersHash: this.blockHeadersHash.toString(),
+            blobsHash: this.blobsHash.toString(),
+            inHash: this.inHash.toString(),
+            outHash: this.epochOutHash.toString(),
+            slotNumber: BigInt(this.slotNumber),
+            timestamp: this.timestamp,
+            coinbase: this.coinbase.toString(),
+            feeRecipient: `0x${this.feeRecipient.toBuffer().toString('hex').padStart(64, '0')}`,
+            gasFees: {
+                feePerDaGas: this.gasFees.feePerDaGas,
+                feePerL2Gas: this.gasFees.feePerL2Gas
+            },
+            totalManaUsed: this.totalManaUsed.toBigInt()
+        };
+    }
+    toInspect() {
+        return {
+            lastArchive: this.lastArchiveRoot.toString(),
+            blockHeadersHash: this.blockHeadersHash.toString(),
+            blobsHash: this.blobsHash.toString(),
+            inHash: this.inHash.toString(),
+            epochOutHash: this.epochOutHash.toString(),
+            slotNumber: this.slotNumber,
+            timestamp: this.timestamp,
+            coinbase: this.coinbase.toString(),
+            feeRecipient: this.feeRecipient.toString(),
+            gasFees: this.gasFees.toInspect(),
+            totalManaUsed: this.totalManaUsed.toBigInt()
+        };
+    }
+    [_computedKey]() {
+        return `Header {
+  lastArchiveRoot: ${this.lastArchiveRoot.toString()},
+  blockHeadersHash: ${this.blockHeadersHash.toString()},
+  blobsHash: ${inspect(this.blobsHash)},
+  inHash: ${inspect(this.inHash)},
+  epochOutHash: ${inspect(this.epochOutHash)},
+  slotNumber: ${this.slotNumber},
+  timestamp: ${this.timestamp},
+  coinbase: ${this.coinbase.toString()},
+  feeRecipient: ${this.feeRecipient.toString()},
+  gasFees: { da:${this.gasFees.feePerDaGas}, l2:${this.gasFees.feePerL2Gas} },
+  totalManaUsed: ${this.totalManaUsed.toBigInt()},
+}`;
+    }
+}

package/dest/rollup/checkpoint_merge_rollup_private_inputs.d.ts

@@ -0,0 +1,30 @@
+import { BufferReader } from '@aztec/foundation/serialize';
+import { type RollupHonkProofData } from '../proofs/proof_data.js';
+import { CheckpointRollupPublicInputs } from './checkpoint_rollup_public_inputs.js';
+/**
+ * Represents inputs of the checkpoint merge rollup circuit.
+ */
+export declare class CheckpointMergeRollupPrivateInputs {
+    /**
+     * Previous rollup data from the 2 checkpoint root or merge rollup circuits that preceded this checkpoint merge rollup circuit.
+     */
+    previousRollups: [
+        RollupHonkProofData<CheckpointRollupPublicInputs>,
+        RollupHonkProofData<CheckpointRollupPublicInputs>
+    ];
+    constructor(
+    /**
+     * Previous rollup data from the 2 checkpoint root or merge rollup circuits that preceded this checkpoint merge rollup circuit.
+     */
+    previousRollups: [
+        RollupHonkProofData<CheckpointRollupPublicInputs>,
+        RollupHonkProofData<CheckpointRollupPublicInputs>
+    ]);
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointMergeRollupPrivateInputs;
+    toString(): `0x${string}`;
+    static fromString(str: string): CheckpointMergeRollupPrivateInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<CheckpointMergeRollupPrivateInputs, any, string>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9tZXJnZV9yb2xsdXBfcHJpdmF0ZV9pbnB1dHMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9yb2xsdXAvY2hlY2twb2ludF9tZXJnZV9yb2xsdXBfcHJpdmF0ZV9pbnB1dHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLFlBQVksRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUc5RSxPQUFPLEVBQWEsS0FBSyxtQkFBbUIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBQzlFLE9BQU8sRUFBRSw0QkFBNEIsRUFBRSxNQUFNLHNDQUFzQyxDQUFDO0FBRXBGOztHQUVHO0FBQ0gscUJBQWEsa0NBQWtDO0lBRTNDOztPQUVHO0lBQ0ksZUFBZSxFQUFFO1FBQ3RCLG1CQUFtQixDQUFDLDRCQUE0QixDQUFDO1FBQ2pELG1CQUFtQixDQUFDLDRCQUE0QixDQUFDO0tBQ2xEO0lBUEg7SUFDRTs7T0FFRztJQUNJLGVBQWUsRUFBRTtRQUN0QixtQkFBbUIsQ0FBQyw0QkFBNEIsQ0FBQztRQUNqRCxtQkFBbUIsQ0FBQyw0QkFBNEIsQ0FBQztLQUNsRCxFQUNDO0lBRUosUUFBUSw0QkFFUDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLHNDQU05QztJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLHNDQUU1QjtJQUVELE1BQU0sNEJBRUw7SUFFRCxNQUFNLEtBQUssTUFBTSwyRUFFaEI7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_merge_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_merge_rollup_private_inputs.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAa,KAAK,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAC9E,OAAO,EAAE,4BAA4B,EAAE,MAAM,sCAAsC,CAAC;AAEpF;;GAEG;AACH,qBAAa,kCAAkC;IAE3C;;OAEG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,4BAA4B,CAAC;QACjD,mBAAmB,CAAC,4BAA4B,CAAC;KAClD;IAPH;IACE;;OAEG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,4BAA4B,CAAC;QACjD,mBAAmB,CAAC,4BAA4B,CAAC;KAClD,EACC;IAEJ,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,sCAM9C;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,sCAE5B;IAED,MAAM,4BAEL;IAED,MAAM,KAAK,MAAM,2EAEhB;CACF"}

package/dest/rollup/checkpoint_merge_rollup_private_inputs.js

@@ -0,0 +1,37 @@
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { ProofData } from '../proofs/proof_data.js';
+import { CheckpointRollupPublicInputs } from './checkpoint_rollup_public_inputs.js';
+/**
+ * Represents inputs of the checkpoint merge rollup circuit.
+ */ export class CheckpointMergeRollupPrivateInputs {
+    previousRollups;
+    constructor(/**
+     * Previous rollup data from the 2 checkpoint root or merge rollup circuits that preceded this checkpoint merge rollup circuit.
+     */ previousRollups){
+        this.previousRollups = previousRollups;
+    }
+    toBuffer() {
+        return serializeToBuffer(this.previousRollups);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CheckpointMergeRollupPrivateInputs([
+            ProofData.fromBuffer(reader, CheckpointRollupPublicInputs),
+            ProofData.fromBuffer(reader, CheckpointRollupPublicInputs)
+        ]);
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromString(str) {
+        return CheckpointMergeRollupPrivateInputs.fromBuffer(hexToBuffer(str));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(CheckpointMergeRollupPrivateInputs);
+    }
+}

package/dest/rollup/checkpoint_rollup_public_inputs.d.ts

@@ -0,0 +1,122 @@
+import { BlobAccumulator, FinalBlobBatchingChallenges } from '@aztec/blob-lib/types';
+import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+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 declare class CheckpointRollupPublicInputs {
+    /**
+     * Constants for the entire epoch.
+     */
+    constants: EpochConstantData;
+    /**
+     * Archive tree immediately before this checkpoint range.
+     */
+    previousArchive: AppendOnlyTreeSnapshot;
+    /**
+     * Archive tree after adding this checkpoint range.
+     */
+    newArchive: AppendOnlyTreeSnapshot;
+    /**
+     * The out hash tree snapshot immediately before this checkpoint range.
+     */
+    previousOutHash: AppendOnlyTreeSnapshot;
+    /**
+     * The out hash tree snapshot after applying this checkpoint range.
+     */
+    newOutHash: AppendOnlyTreeSnapshot;
+    /**
+     * The hashes of the headers of the constituent checkpoints.
+     */
+    checkpointHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>;
+    /**
+     * The summed transaction fees and recipients of the constituent checkpoints.
+     */
+    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>;
+    /**
+     * Accumulated opening proofs for all blobs before this checkpoint range.
+     */
+    startBlobAccumulator: BlobAccumulator;
+    /**
+     * Accumulated opening proofs for all blobs after applying this checkpoint range.
+     */
+    endBlobAccumulator: BlobAccumulator;
+    /**
+     * Final values z and gamma, shared across the epoch.
+     */
+    finalBlobChallenges: FinalBlobBatchingChallenges;
+    constructor(
+    /**
+     * Constants for the entire epoch.
+     */
+    constants: EpochConstantData, 
+    /**
+     * Archive tree immediately before this checkpoint range.
+     */
+    previousArchive: AppendOnlyTreeSnapshot, 
+    /**
+     * Archive tree after adding this checkpoint range.
+     */
+    newArchive: AppendOnlyTreeSnapshot, 
+    /**
+     * The out hash tree snapshot immediately before this checkpoint range.
+     */
+    previousOutHash: AppendOnlyTreeSnapshot, 
+    /**
+     * The out hash tree snapshot after applying this checkpoint range.
+     */
+    newOutHash: AppendOnlyTreeSnapshot, 
+    /**
+     * The hashes of the headers of the constituent checkpoints.
+     */
+    checkpointHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>, 
+    /**
+     * The summed transaction fees and recipients of the constituent checkpoints.
+     */
+    fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>, 
+    /**
+     * Accumulated opening proofs for all blobs before this checkpoint range.
+     */
+    startBlobAccumulator: BlobAccumulator, 
+    /**
+     * Accumulated opening proofs for all blobs after applying this checkpoint range.
+     */
+    endBlobAccumulator: BlobAccumulator, 
+    /**
+     * Final values z and gamma, shared across the epoch.
+     */
+    finalBlobChallenges: FinalBlobBatchingChallenges);
+    static fromBuffer(buffer: Buffer | BufferReader): CheckpointRollupPublicInputs;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    toString(): `0x${string}`;
+    static fromString(str: string): CheckpointRollupPublicInputs;
+    /** Returns a buffer representation for JSON serialization. */
+    toJSON(): Buffer<ArrayBufferLike>;
+    /** Creates an instance from a hex string. */
+    static get schema(): import("zod").ZodType<CheckpointRollupPublicInputs, any, string>;
+}
+export declare class FeeRecipient {
+    recipient: EthAddress;
+    value: Fr;
+    constructor(recipient: EthAddress, value: Fr);
+    static fromBuffer(buffer: Buffer | BufferReader): FeeRecipient;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static getFields(fields: FieldsOf<FeeRecipient>): readonly [EthAddress, Fr];
+    toFields(): Fr[];
+    static empty(): FeeRecipient;
+    isEmpty(): boolean;
+    toFriendlyJSON(): {
+        recipient?: undefined;
+        value?: undefined;
+    } | {
+        recipient: `0x${string}`;
+        value: `0x${string}`;
+    };
+    static random(): FeeRecipient;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9yb2xsdXBfcHVibGljX2lucHV0cy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3JvbGx1cC9jaGVja3BvaW50X3JvbGx1cF9wdWJsaWNfaW5wdXRzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxlQUFlLEVBQUUsMkJBQTJCLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUNyRixPQUFPLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUM1RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFVBQVUsRUFBRSxNQUFNLCtCQUErQixDQUFDO0FBRTNELE9BQU8sRUFBRSxZQUFZLEVBQUUsS0FBSyxLQUFLLEVBQXdDLE1BQU0sNkJBQTZCLENBQUM7QUFFN0csT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFeEQsT0FBTyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sdUNBQXVDLENBQUM7QUFDL0UsT0FBTyxFQUFFLGlCQUFpQixFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFN0Q7O0dBRUc7QUFDSCxxQkFBYSw0QkFBNEI7SUFFckM7O09BRUc7SUFDSSxTQUFTLEVBQUUsaUJBQWlCO0lBQ25DOztPQUVHO0lBQ0ksZUFBZSxFQUFFLHNCQUFzQjtJQUM5Qzs7T0FFRztJQUNJLFVBQVUsRUFBRSxzQkFBc0I7SUFDekM7O09BRUc7SUFDSSxlQUFlLEVBQUUsc0JBQXNCO0lBQzlDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLHNCQUFzQjtJQUN6Qzs7T0FFRztJQUNJLHNCQUFzQixFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyx3QkFBd0IsQ0FBQztJQUN6RTs7T0FFRztJQUNJLElBQUksRUFBRSxLQUFLLENBQUMsWUFBWSxFQUFFLE9BQU8sd0JBQXdCLENBQUM7SUFDakU7O09BRUc7SUFDSSxvQkFBb0IsRUFBRSxlQUFlO0lBQzVDOztPQUVHO0lBQ0ksa0JBQWtCLEVBQUUsZUFBZTtJQUMxQzs7T0FFRztJQUNJLG1CQUFtQixFQUFFLDJCQUEyQjtJQXhDekQ7SUFDRTs7T0FFRztJQUNJLFNBQVMsRUFBRSxpQkFBaUI7SUFDbkM7O09BRUc7SUFDSSxlQUFlLEVBQUUsc0JBQXNCO0lBQzlDOztPQUVHO0lBQ0ksVUFBVSxFQUFFLHNCQUFzQjtJQUN6Qzs7T0FFRztJQUNJLGVBQWUsRUFBRSxzQkFBc0I7SUFDOUM7O09BRUc7SUFDSSxVQUFVLEVBQUUsc0JBQXNCO0lBQ3pDOztPQUVHO0lBQ0ksc0JBQXNCLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLHdCQUF3QixDQUFDO0lBQ3pFOztPQUVHO0lBQ0ksSUFBSSxFQUFFLEtBQUssQ0FBQyxZQUFZLEVBQUUsT0FBTyx3QkFBd0IsQ0FBQztJQUNqRTs7T0FFRztJQUNJLG9CQUFvQixFQUFFLGVBQWU7SUFDNUM7O09BRUc7SUFDSSxrQkFBa0IsRUFBRSxlQUFlO0lBQzFDOztPQUVHO0lBQ0ksbUJBQW1CLEVBQUUsMkJBQTJCLEVBQ3JEO0lBRUosTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksZ0NBYzlDO0lBRUQsUUFBUSw0QkFhUDtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLGdDQUU1QjtJQUVELDhEQUE4RDtJQUM5RCxNQUFNLDRCQUVMO0lBRUQsNkNBQTZDO0lBQzdDLE1BQU0sS0FBSyxNQUFNLHFFQUVoQjtDQUNGO0FBRUQscUJBQWEsWUFBWTtJQUVkLFNBQVMsRUFBRSxVQUFVO0lBQ3JCLEtBQUssRUFBRSxFQUFFO0lBRmxCLFlBQ1MsU0FBUyxFQUFFLFVBQVUsRUFDckIsS0FBSyxFQUFFLEVBQUUsRUFDZDtJQUVKLE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsWUFBWSxDQUc3RDtJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsU0FBUyxDQUFDLE1BQU0sRUFBRSxRQUFRLENBQUMsWUFBWSxDQUFDLDZCQUU5QztJQUVELFFBQVEsU0FFUDtJQUVELE1BQU0sQ0FBQyxLQUFLLGlCQUVYO0lBRUQsT0FBTyxZQUVOO0lBRUQsY0FBYzs7Ozs7O01BS2I7SUFFRCxNQUFNLENBQUMsTUFBTSxpQkFFWjtDQUNGIn0=

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/checkpoint_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,2BAA2B,EAAE,MAAM,uBAAuB,CAAC;AACrF,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAE3D,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAE7D;;GAEG;AACH,qBAAa,4BAA4B;IAErC;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IACzE;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IAxCzD;IACE;;OAEG;IACI,SAAS,EAAE,iBAAiB;IACnC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IACzE;;OAEG;IACI,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IACjE;;OAEG;IACI,oBAAoB,EAAE,eAAe;IAC5C;;OAEG;IACI,kBAAkB,EAAE,eAAe;IAC1C;;OAEG;IACI,mBAAmB,EAAE,2BAA2B,EACrD;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,gCAc9C;IAED,QAAQ,4BAaP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,gCAE5B;IAED,8DAA8D;IAC9D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,qEAEhB;CACF;AAED,qBAAa,YAAY;IAEd,SAAS,EAAE,UAAU;IACrB,KAAK,EAAE,EAAE;IAFlB,YACS,SAAS,EAAE,UAAU,EACrB,KAAK,EAAE,EAAE,EACd;IAEJ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,YAAY,CAG7D;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC,6BAE9C;IAED,QAAQ,SAEP;IAED,MAAM,CAAC,KAAK,iBAEX;IAED,OAAO,YAEN;IAED,cAAc;;;;;;MAKb;IAED,MAAM,CAAC,MAAM,iBAEZ;CACF"}

package/dest/rollup/checkpoint_rollup_public_inputs.js

@@ -0,0 +1,116 @@
+import { BlobAccumulator, FinalBlobBatchingChallenges } from '@aztec/blob-lib/types';
+import { AZTEC_MAX_EPOCH_DURATION } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/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;
+    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, /**
+     * 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.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), reader.readArray(AZTEC_MAX_EPOCH_DURATION, Fr), reader.readArray(AZTEC_MAX_EPOCH_DURATION, FeeRecipient), reader.readObject(BlobAccumulator), reader.readObject(BlobAccumulator), reader.readObject(FinalBlobBatchingChallenges));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.constants, this.previousArchive, this.newArchive, this.previousOutHash, this.newOutHash, 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();
+    }
+    /** 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());
+    }
+}