@aztec/stdlib 3.0.0-nightly.20250917 → 3.0.0-nightly.20250918

package/dest/rollup/checkpoint_root_rollup.js

@@ -0,0 +1,178 @@
+import { BlobAccumulatorPublicInputs, FinalBlobBatchingChallenges } from '@aztec/blob-lib';
+import { ARCHIVE_HEIGHT, BLOBS_PER_BLOCK, FIELDS_PER_BLOB } from '@aztec/constants';
+import { BLS12Point, Fr } from '@aztec/foundation/fields';
+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 { BlockHeader } from '../tx/block_header.js';
+import { BlockRollupPublicInputs } from './block_rollup_public_inputs.js';
+export class CheckpointRootRollupHints {
+    previousBlockHeader;
+    previousArchiveSiblingPath;
+    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 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_BLOCK>
+     */ 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.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.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(BlobAccumulatorPublicInputs), 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_BLOCK
+        }, ()=>Fr.fromBuffer(reader)), reader.readArray(BLOBS_PER_BLOCK, 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;
+    hints;
+    constructor(previousRollups, hints){
+        this.previousRollups = previousRollups;
+        this.hints = hints;
+    }
+    static from(fields) {
+        return new CheckpointRootRollupPrivateInputs(...CheckpointRootRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.previousRollups,
+            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)
+        ], 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;
+    hints;
+    constructor(previousRollup, hints){
+        this.previousRollup = previousRollup;
+        this.hints = hints;
+    }
+    static from(fields) {
+        return new CheckpointRootSingleBlockRollupPrivateInputs(...CheckpointRootSingleBlockRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.previousRollup,
+            fields.hints
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...CheckpointRootSingleBlockRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CheckpointRootSingleBlockRollupPrivateInputs(ProofData.fromBuffer(reader, BlockRollupPublicInputs), 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

@@ -5,6 +5,14 @@ import type { FieldsOf } from '@aztec/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.
      */
@@ -18,6 +26,14 @@ export declare class EpochConstantData {
      */
     proverId: Fr;
     constructor(
+    /**
+     * ChainId of the rollup.
+     */
+    chainId: Fr, 
+    /**
+     * Version of the rollup.
+     */
+    version: Fr, 
     /**
      * Root of the verification key tree.
      */
@@ -31,9 +47,10 @@ export declare class EpochConstantData {
      */
     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;
-    static getFields(fields: FieldsOf<EpochConstantData>): readonly [Fr, Fr, Fr];
-    static empty(): EpochConstantData;
     toBuffer(): Buffer<ArrayBufferLike>;
+    static empty(): EpochConstantData;
 }
 //# sourceMappingURL=epoch_constant_data.d.ts.map

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

@@ -1 +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,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD;;GAEG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,EAAE;;IAXnB;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,EAAE;IAGrB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,iBAAiB;IAInE,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB;IAKnE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC;IAIpD,MAAM,CAAC,KAAK;IAIZ,QAAQ;CAGT"}
+{"version":3,"file":"epoch_constant_data.d.ts","sourceRoot":"","sources":["../../src/rollup/epoch_constant_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAwC,MAAM,6BAA6B,CAAC;AACjG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD;;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,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,EAAE;;IAnBnB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,UAAU,EAAE,EAAE;IACrB;;OAEG;IACI,wBAAwB,EAAE,EAAE;IACnC;;OAEG;IACI,QAAQ,EAAE,EAAE;IAGrB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC,GAAG,iBAAiB;IAInE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,iBAAiB,CAAC;IAUpD,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB;IAWnE,QAAQ;IAIR,MAAM,CAAC,KAAK;CAGb"}

package/dest/rollup/epoch_constant_data.js

@@ -1,18 +1,26 @@
 import { Fr } from '@aztec/foundation/fields';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
 /**
  * Constants that are the same for the entire epoch.
  */ export class EpochConstantData {
+    chainId;
+    version;
     vkTreeRoot;
     protocolContractTreeRoot;
     proverId;
     constructor(/**
+     * ChainId of the rollup.
+     */ chainId, /**
+     * Version of the rollup.
+     */ version, /**
      * Root of the verification key tree.
      */ vkTreeRoot, /**
      * Root of the protocol contract tree.
      */ protocolContractTreeRoot, /**
      * Identifier of the prover of the epoch.
      */ proverId){
+        this.chainId = chainId;
+        this.version = version;
         this.vkTreeRoot = vkTreeRoot;
         this.protocolContractTreeRoot = protocolContractTreeRoot;
         this.proverId = proverId;
@@ -20,21 +28,26 @@ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
     static from(fields) {
         return new EpochConstantData(...EpochConstantData.getFields(fields));
     }
-    static fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        return new EpochConstantData(Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader));
-    }
     static getFields(fields) {
         return [
+            fields.chainId,
+            fields.version,
             fields.vkTreeRoot,
             fields.protocolContractTreeRoot,
             fields.proverId
         ];
     }
-    static empty() {
-        return new EpochConstantData(Fr.ZERO, Fr.ZERO, Fr.ZERO);
+    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

@@ -3,16 +3,19 @@ export * from './base_or_merge_rollup_public_inputs.js';
 export * from './base_rollup_hints.js';
 export * from './block_constant_data.js';
 export * from './block_merge_rollup.js';
-export * from './block_root_or_block_merge_public_inputs.js';
-export * from './empty_block_root_rollup_inputs.js';
-export * from './epoch_constant_data.js';
+export * from './block_rollup_public_inputs.js';
 export * from './block_root_rollup.js';
+export * from './checkpoint_constant_data.js';
+export * from './checkpoint_header.js';
+export * from './checkpoint_merge_rollup.js';
+export * from './checkpoint_rollup_public_inputs.js';
+export * from './checkpoint_root_rollup.js';
+export * from './epoch_constant_data.js';
 export * from './merge_rollup.js';
-export * from './padding_block_root_rollup_inputs.js';
-export * from './previous_rollup_block_data.js';
 export * from './previous_rollup_data.js';
 export * from './private_base_rollup_inputs.js';
 export * from './public_base_rollup_inputs.js';
+export * from './rollup_proof_data.js';
 export * from './public_tube_private_inputs.js';
 export * from './root_rollup.js';
 export * from './state_diff_hints.js';

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rollup/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,yCAAyC,CAAC;AACxD,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,8CAA8C,CAAC;AAC7D,cAAc,qCAAqC,CAAC;AACpD,cAAc,0BAA0B,CAAC;AACzC,cAAc,wBAAwB,CAAC;AACvC,cAAc,mBAAmB,CAAC;AAClC,cAAc,uCAAuC,CAAC;AACtD,cAAc,iCAAiC,CAAC;AAChD,cAAc,2BAA2B,CAAC;AAC1C,cAAc,iCAAiC,CAAC;AAChD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,iCAAiC,CAAC;AAChD,cAAc,kBAAkB,CAAC;AACjC,cAAc,uBAAuB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/rollup/index.ts"],"names":[],"mappings":"AAAA,cAAc,qBAAqB,CAAC;AACpC,cAAc,yCAAyC,CAAC;AACxD,cAAc,wBAAwB,CAAC;AACvC,cAAc,0BAA0B,CAAC;AACzC,cAAc,yBAAyB,CAAC;AACxC,cAAc,iCAAiC,CAAC;AAChD,cAAc,wBAAwB,CAAC;AACvC,cAAc,+BAA+B,CAAC;AAC9C,cAAc,wBAAwB,CAAC;AACvC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,sCAAsC,CAAC;AACrD,cAAc,6BAA6B,CAAC;AAC5C,cAAc,0BAA0B,CAAC;AACzC,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,iCAAiC,CAAC;AAChD,cAAc,gCAAgC,CAAC;AAC/C,cAAc,wBAAwB,CAAC;AACvC,cAAc,iCAAiC,CAAC;AAChD,cAAc,kBAAkB,CAAC;AACjC,cAAc,uBAAuB,CAAC"}

package/dest/rollup/index.js

@@ -3,16 +3,19 @@ export * from './base_or_merge_rollup_public_inputs.js';
 export * from './base_rollup_hints.js';
 export * from './block_constant_data.js';
 export * from './block_merge_rollup.js';
-export * from './block_root_or_block_merge_public_inputs.js';
-export * from './empty_block_root_rollup_inputs.js';
-export * from './epoch_constant_data.js';
+export * from './block_rollup_public_inputs.js';
 export * from './block_root_rollup.js';
+export * from './checkpoint_constant_data.js';
+export * from './checkpoint_header.js';
+export * from './checkpoint_merge_rollup.js';
+export * from './checkpoint_rollup_public_inputs.js';
+export * from './checkpoint_root_rollup.js';
+export * from './epoch_constant_data.js';
 export * from './merge_rollup.js';
-export * from './padding_block_root_rollup_inputs.js';
-export * from './previous_rollup_block_data.js';
 export * from './previous_rollup_data.js';
 export * from './private_base_rollup_inputs.js';
 export * from './public_base_rollup_inputs.js';
+export * from './rollup_proof_data.js';
 export * from './public_tube_private_inputs.js';
 export * from './root_rollup.js';
 export * from './state_diff_hints.js';

package/dest/rollup/rollup_proof_data.d.ts

@@ -0,0 +1,10 @@
+import { NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH } from '@aztec/constants';
+import type { Bufferable } from '@aztec/foundation/serialize';
+import type { ParityPublicInputs } from '../parity/index.js';
+import { ProofData } from '../proofs/index.js';
+/**
+ * Represents the data of a nested recursive rollup proof.
+ */
+export type RollupProofData<T extends Bufferable> = ProofData<T, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>;
+export type RootParityProofData = ProofData<ParityPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>;
+//# sourceMappingURL=rollup_proof_data.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"rollup_proof_data.d.ts","sourceRoot":"","sources":["../../src/rollup/rollup_proof_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,6BAA6B,EAAE,yCAAyC,EAAE,MAAM,kBAAkB,CAAC;AAC5G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,6BAA6B,CAAC;AAE9D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AAE/C;;GAEG;AACH,MAAM,MAAM,eAAe,CAAC,CAAC,SAAS,UAAU,IAAI,SAAS,CAAC,CAAC,EAAE,OAAO,yCAAyC,CAAC,CAAC;AAEnH,MAAM,MAAM,mBAAmB,GAAG,SAAS,CAAC,kBAAkB,EAAE,OAAO,6BAA6B,CAAC,CAAC"}

package/dest/rollup/rollup_proof_data.js

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

package/dest/rollup/root_rollup.d.ts

@@ -3,25 +3,32 @@ import { AZTEC_MAX_EPOCH_DURATION } 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 { FeeRecipient } from './block_root_or_block_merge_public_inputs.js';
-import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
+import { CheckpointRollupPublicInputs, FeeRecipient } from './checkpoint_rollup_public_inputs.js';
+import { EpochConstantData } from './epoch_constant_data.js';
+import type { RollupProofData } from './rollup_proof_data.js';
 /**
  * Represents inputs of the root rollup circuit.
  */
-export declare class RootRollupInputs {
+export declare class RootRollupPrivateInputs {
     /**
      * The previous rollup data.
      * Note: Root rollup circuit is the latest circuit the chain of circuits and the previous rollup data is the data
-     * from 2 block merge circuits.
+     * from 2 checkpoint root/merge/padding circuits.
      */
-    previousRollupData: [PreviousRollupBlockData, PreviousRollupBlockData];
+    previousRollups: [
+        RollupProofData<CheckpointRollupPublicInputs>,
+        RollupProofData<CheckpointRollupPublicInputs>
+    ];
     constructor(
     /**
      * The previous rollup data.
      * Note: Root rollup circuit is the latest circuit the chain of circuits and the previous rollup data is the data
-     * from 2 block merge circuits.
+     * from 2 checkpoint root/merge/padding circuits.
      */
-    previousRollupData: [PreviousRollupBlockData, PreviousRollupBlockData]);
+    previousRollups: [
+        RollupProofData<CheckpointRollupPublicInputs>,
+        RollupProofData<CheckpointRollupPublicInputs>
+    ]);
     /**
      * Serializes the inputs to a buffer.
      * @returns - The inputs serialized to a buffer.
@@ -35,31 +42,31 @@ export declare class RootRollupInputs {
     /**
      * Creates a new instance from fields.
      * @param fields - Fields to create the instance from.
-     * @returns A new RootRollupInputs instance.
+     * @returns A new RootRollupPrivateInputs instance.
      */
-    static from(fields: FieldsOf<RootRollupInputs>): RootRollupInputs;
+    static from(fields: FieldsOf<RootRollupPrivateInputs>): RootRollupPrivateInputs;
     /**
      * Extracts fields from an instance.
      * @param fields - Fields to create the instance from.
      * @returns An array of fields.
      */
-    static getFields(fields: FieldsOf<RootRollupInputs>): readonly [[PreviousRollupBlockData, PreviousRollupBlockData]];
+    static getFields(fields: FieldsOf<RootRollupPrivateInputs>): readonly [[RollupProofData<CheckpointRollupPublicInputs>, RollupProofData<CheckpointRollupPublicInputs>]];
     /**
      * Deserializes the inputs from a buffer.
      * @param buffer - A buffer to deserialize from.
-     * @returns A new RootRollupInputs instance.
+     * @returns A new RootRollupPrivateInputs instance.
      */
-    static fromBuffer(buffer: Buffer | BufferReader): RootRollupInputs;
+    static fromBuffer(buffer: Buffer | BufferReader): RootRollupPrivateInputs;
     /**
      * Deserializes the inputs from a hex string.
      * @param str - A hex string to deserialize from.
-     * @returns A new RootRollupInputs instance.
+     * @returns A new RootRollupPrivateInputs instance.
      */
-    static fromString(str: string): RootRollupInputs;
+    static fromString(str: string): RootRollupPrivateInputs;
     /** Returns a representation for JSON serialization. */
     toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a string. */
-    static get schema(): import("zod").ZodType<RootRollupInputs, any, string>;
+    static get schema(): import("zod").ZodType<RootRollupPrivateInputs, any, string>;
 }
 /**
  * Represents public inputs of the root rollup circuit.
@@ -71,20 +78,16 @@ export declare class RootRollupPublicInputs {
     previousArchiveRoot: Fr;
     /** Root of the archive tree after this rollup is processed */
     endArchiveRoot: Fr;
-    proposedBlockHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>;
+    checkpointHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>;
     fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>;
-    chainId: Fr;
-    version: Fr;
-    vkTreeRoot: Fr;
-    protocolContractTreeRoot: Fr;
-    proverId: Fr;
+    constants: EpochConstantData;
     blobPublicInputs: FinalBlobAccumulatorPublicInputs;
     constructor(
     /** Root of the archive tree before this rollup is processed */
     previousArchiveRoot: Fr, 
     /** Root of the archive tree after this rollup is processed */
-    endArchiveRoot: Fr, proposedBlockHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>, fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>, chainId: Fr, version: Fr, vkTreeRoot: Fr, protocolContractTreeRoot: Fr, proverId: Fr, blobPublicInputs: FinalBlobAccumulatorPublicInputs);
-    static getFields(fields: FieldsOf<RootRollupPublicInputs>): readonly [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], [FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient], Fr, Fr, Fr, Fr, Fr, FinalBlobAccumulatorPublicInputs];
+    endArchiveRoot: Fr, checkpointHeaderHashes: Tuple<Fr, typeof AZTEC_MAX_EPOCH_DURATION>, fees: Tuple<FeeRecipient, typeof AZTEC_MAX_EPOCH_DURATION>, constants: EpochConstantData, blobPublicInputs: FinalBlobAccumulatorPublicInputs);
+    static getFields(fields: FieldsOf<RootRollupPublicInputs>): readonly [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], [FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient, FeeRecipient], EpochConstantData, FinalBlobAccumulatorPublicInputs];
     toBuffer(): Buffer<ArrayBufferLike>;
     toFields(): Fr[];
     static from(fields: FieldsOf<RootRollupPublicInputs>): RootRollupPublicInputs;

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

@@ -1 +1 @@
-{"version":3,"file":"root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/root_rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gCAAgC,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,8CAA8C,CAAC;AAC5E,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E;;GAEG;AACH,qBAAa,gBAAgB;IAEzB;;;;OAIG;IACI,kBAAkB,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;;IAL7E;;;;OAIG;IACI,kBAAkB,EAAE,CAAC,uBAAuB,EAAE,uBAAuB,CAAC;IAG/E;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC,GAAG,gBAAgB;IAIjE;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC;IAInD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gBAAgB;IAQlE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,yDAEhB;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAsB;IAE/B,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE;IAClB,yBAAyB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IACrE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IAC1D,OAAO,EAAE,EAAE;IACX,OAAO,EAAE,EAAE;IACX,UAAU,EAAE,EAAE;IACd,wBAAwB,EAAE,EAAE;IAC5B,QAAQ,EAAE,EAAE;IACZ,gBAAgB,EAAE,gCAAgC;;IAXzD,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE,EAClB,yBAAyB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC,EACrE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC,EAC1D,OAAO,EAAE,EAAE,EACX,OAAO,EAAE,EAAE,EACX,UAAU,EAAE,EAAE,EACd,wBAAwB,EAAE,EAAE,EAC5B,QAAQ,EAAE,EAAE,EACZ,gBAAgB,EAAE,gCAAgC;IAG3D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAezD,QAAQ;IAIR,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB;IAI7E;;;;OAIG;WACW,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IAgB/E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;IAED,gFAAgF;IAChF,MAAM,CAAC,MAAM;CAcd"}
+{"version":3,"file":"root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/root_rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gCAAgC,EAAE,MAAM,iBAAiB,CAAC;AACnE,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAwC,MAAM,6BAA6B,CAAC;AAE7G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGxD,OAAO,EAAE,4BAA4B,EAAE,YAAY,EAAE,MAAM,sCAAsC,CAAC;AAClG,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAE9D;;GAEG;AACH,qBAAa,uBAAuB;IAEhC;;;;OAIG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,4BAA4B,CAAC;QAC7C,eAAe,CAAC,4BAA4B,CAAC;KAC9C;;IARD;;;;OAIG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,4BAA4B,CAAC;QAC7C,eAAe,CAAC,4BAA4B,CAAC;KAC9C;IAGH;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAIrD;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,gEAEhB;CACF;AAED;;;;GAIG;AACH,qBAAa,sBAAsB;IAE/B,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE;IAClB,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAClE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC;IAC1D,SAAS,EAAE,iBAAiB;IAC5B,gBAAgB,EAAE,gCAAgC;;IAPzD,+DAA+D;IACxD,mBAAmB,EAAE,EAAE;IAC9B,8DAA8D;IACvD,cAAc,EAAE,EAAE,EAClB,sBAAsB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC,EAClE,IAAI,EAAE,KAAK,CAAC,YAAY,EAAE,OAAO,wBAAwB,CAAC,EAC1D,SAAS,EAAE,iBAAiB,EAC5B,gBAAgB,EAAE,gCAAgC;IAG3D,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC;IAWzD,QAAQ;IAIR,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,sBAAsB,CAAC,GAAG,sBAAsB;IAI7E;;;;OAIG;WACW,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,sBAAsB;IAY/E,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,uDAAuD;IACvD,MAAM;IAIN,yCAAyC;IACzC,MAAM,KAAK,MAAM,+DAEhB;IAED,gFAAgF;IAChF,MAAM,CAAC,MAAM;CAUd"}

package/dest/rollup/root_rollup.js

@@ -5,24 +5,25 @@ import { Fr } from '@aztec/foundation/fields';
 import { bufferSchemaFor } from '@aztec/foundation/schemas';
 import { BufferReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
-import { FeeRecipient } from './block_root_or_block_merge_public_inputs.js';
-import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
+import { ProofData } from '../proofs/proof_data.js';
+import { CheckpointRollupPublicInputs, FeeRecipient } from './checkpoint_rollup_public_inputs.js';
+import { EpochConstantData } from './epoch_constant_data.js';
 /**
  * Represents inputs of the root rollup circuit.
- */ export class RootRollupInputs {
-    previousRollupData;
+ */ export class RootRollupPrivateInputs {
+    previousRollups;
     constructor(/**
      * The previous rollup data.
      * Note: Root rollup circuit is the latest circuit the chain of circuits and the previous rollup data is the data
-     * from 2 block merge circuits.
-     */ previousRollupData){
-        this.previousRollupData = previousRollupData;
+     * from 2 checkpoint root/merge/padding circuits.
+     */ previousRollups){
+        this.previousRollups = previousRollups;
     }
     /**
    * Serializes the inputs to a buffer.
    * @returns - The inputs serialized to a buffer.
    */ toBuffer() {
-        return serializeToBuffer(...RootRollupInputs.getFields(this));
+        return serializeToBuffer(...RootRollupPrivateInputs.getFields(this));
     }
     /**
    * Serializes the inputs to a hex string.
@@ -33,9 +34,9 @@ import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
     /**
    * Creates a new instance from fields.
    * @param fields - Fields to create the instance from.
-   * @returns A new RootRollupInputs instance.
+   * @returns A new RootRollupPrivateInputs instance.
    */ static from(fields) {
-        return new RootRollupInputs(...RootRollupInputs.getFields(fields));
+        return new RootRollupPrivateInputs(...RootRollupPrivateInputs.getFields(fields));
     }
     /**
    * Extracts fields from an instance.
@@ -43,32 +44,32 @@ import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
    * @returns An array of fields.
    */ static getFields(fields) {
         return [
-            fields.previousRollupData
+            fields.previousRollups
         ];
     }
     /**
    * Deserializes the inputs from a buffer.
    * @param buffer - A buffer to deserialize from.
-   * @returns A new RootRollupInputs instance.
+   * @returns A new RootRollupPrivateInputs instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new RootRollupInputs([
-            reader.readObject(PreviousRollupBlockData),
-            reader.readObject(PreviousRollupBlockData)
+        return new RootRollupPrivateInputs([
+            ProofData.fromBuffer(reader, CheckpointRollupPublicInputs),
+            ProofData.fromBuffer(reader, CheckpointRollupPublicInputs)
         ]);
     }
     /**
    * Deserializes the inputs from a hex string.
    * @param str - A hex string to deserialize from.
-   * @returns A new RootRollupInputs instance.
+   * @returns A new RootRollupPrivateInputs instance.
    */ static fromString(str) {
-        return RootRollupInputs.fromBuffer(hexToBuffer(str));
+        return RootRollupPrivateInputs.fromBuffer(hexToBuffer(str));
     }
     /** Returns a representation for JSON serialization. */ toJSON() {
         return this.toBuffer();
     }
     /** Creates an instance from a string. */ static get schema() {
-        return bufferSchemaFor(RootRollupInputs);
+        return bufferSchemaFor(RootRollupPrivateInputs);
     }
 }
 /**
@@ -78,37 +79,25 @@ import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
  */ export class RootRollupPublicInputs {
     previousArchiveRoot;
     endArchiveRoot;
-    proposedBlockHeaderHashes;
+    checkpointHeaderHashes;
     fees;
-    chainId;
-    version;
-    vkTreeRoot;
-    protocolContractTreeRoot;
-    proverId;
+    constants;
     blobPublicInputs;
-    constructor(/** Root of the archive tree before this rollup is processed */ previousArchiveRoot, /** Root of the archive tree after this rollup is processed */ endArchiveRoot, proposedBlockHeaderHashes, fees, chainId, version, vkTreeRoot, protocolContractTreeRoot, proverId, blobPublicInputs){
+    constructor(/** Root of the archive tree before this rollup is processed */ previousArchiveRoot, /** Root of the archive tree after this rollup is processed */ endArchiveRoot, checkpointHeaderHashes, fees, constants, blobPublicInputs){
         this.previousArchiveRoot = previousArchiveRoot;
         this.endArchiveRoot = endArchiveRoot;
-        this.proposedBlockHeaderHashes = proposedBlockHeaderHashes;
+        this.checkpointHeaderHashes = checkpointHeaderHashes;
         this.fees = fees;
-        this.chainId = chainId;
-        this.version = version;
-        this.vkTreeRoot = vkTreeRoot;
-        this.protocolContractTreeRoot = protocolContractTreeRoot;
-        this.proverId = proverId;
+        this.constants = constants;
         this.blobPublicInputs = blobPublicInputs;
     }
     static getFields(fields) {
         return [
             fields.previousArchiveRoot,
             fields.endArchiveRoot,
-            fields.proposedBlockHeaderHashes,
+            fields.checkpointHeaderHashes,
             fields.fees,
-            fields.chainId,
-            fields.version,
-            fields.vkTreeRoot,
-            fields.protocolContractTreeRoot,
-            fields.proverId,
+            fields.constants,
             fields.blobPublicInputs
         ];
     }
@@ -127,7 +116,7 @@ import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
    * @returns The deserialized `RootRollupPublicInputs` object.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new RootRollupPublicInputs(Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readArray(AZTEC_MAX_EPOCH_DURATION, Fr), reader.readArray(AZTEC_MAX_EPOCH_DURATION, FeeRecipient), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readObject(FinalBlobAccumulatorPublicInputs));
+        return new RootRollupPublicInputs(Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readArray(AZTEC_MAX_EPOCH_DURATION, Fr), reader.readArray(AZTEC_MAX_EPOCH_DURATION, FeeRecipient), EpochConstantData.fromBuffer(reader), reader.readObject(FinalBlobAccumulatorPublicInputs));
     }
     toString() {
         return bufferToHex(this.toBuffer());
@@ -142,6 +131,6 @@ import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
         return bufferSchemaFor(RootRollupPublicInputs);
     }
     /** Creates a random instance. Used for testing only - will not prove/verify. */ static random() {
-        return new RootRollupPublicInputs(Fr.random(), Fr.random(), makeTuple(AZTEC_MAX_EPOCH_DURATION, Fr.random), makeTuple(AZTEC_MAX_EPOCH_DURATION, FeeRecipient.random), Fr.random(), Fr.random(), Fr.random(), Fr.random(), Fr.random(), FinalBlobAccumulatorPublicInputs.random());
+        return new RootRollupPublicInputs(Fr.random(), Fr.random(), makeTuple(AZTEC_MAX_EPOCH_DURATION, Fr.random), makeTuple(AZTEC_MAX_EPOCH_DURATION, FeeRecipient.random), new EpochConstantData(Fr.random(), Fr.random(), Fr.random(), Fr.random(), Fr.random()), FinalBlobAccumulatorPublicInputs.random());
     }
 }

package/dest/stats/stats.d.ts

@@ -69,7 +69,7 @@ export type NodeSyncedChainHistoryStats = {
     dbSize: number;
 };
 export type ClientCircuitName = 'private-kernel-init' | 'private-kernel-inner' | 'private-kernel-reset' | 'private-kernel-tail' | 'private-kernel-tail-to-public' | 'hiding-kernel-to-rollup' | 'hiding-kernel-to-public' | 'app-circuit';
-export type ServerCircuitName = 'base-parity' | 'root-parity' | 'public-tube' | 'private-base-rollup' | 'public-base-rollup' | 'merge-rollup' | 'block-root-rollup' | 'single-tx-block-root-rollup' | 'empty-block-root-rollup' | 'padding-block-root-rollup' | 'block-merge-rollup' | 'root-rollup' | 'avm-circuit';
+export type ServerCircuitName = 'base-parity' | 'root-parity' | 'public-tube' | 'private-base-rollup' | 'public-base-rollup' | 'merge-rollup' | 'block-root-first-rollup' | 'block-root-single-tx-first-rollup' | 'block-root-empty-tx-first-rollup' | 'block-root-rollup' | 'block-root-single-tx-rollup' | 'block-merge-rollup' | 'checkpoint-root-rollup' | 'checkpoint-root-single-block-rollup' | 'checkpoint-padding-rollup' | 'checkpoint-merge-rollup' | 'root-rollup' | 'avm-circuit';
 export type CircuitName = ClientCircuitName | ServerCircuitName;
 /** Stats for circuit simulation. */
 export type CircuitSimulationStats = {