@aztec/stdlib 0.0.0-test.1 → 0.0.1-commit.b655e406

package/dest/rollup/block_constant_data.js

@@ -0,0 +1,50 @@
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { GlobalVariables } from '../tx/global_variables.js';
+/**
+ * Constants that are the same for the entire block.
+ */ export class BlockConstantData {
+    lastArchive;
+    l1ToL2TreeSnapshot;
+    vkTreeRoot;
+    protocolContractsHash;
+    globalVariables;
+    proverId;
+    constructor(/** Archive tree snapshot at the very beginning of the entire rollup. */ lastArchive, /**
+     * L1-to-L2 message tree snapshot after this block lands.
+     * For the first block in a checkpoint, this should be the snapshot after inserting the new l1-to-l2 message subtree
+     * into the last l1-to-l2 tree snapshot in `last_archive`.
+     * For subsequent blocks, this should match the snapshot of the previous block.
+     */ l1ToL2TreeSnapshot, /** Root of the verification key tree. */ vkTreeRoot, /** Hash of the protocol contracts list. */ protocolContractsHash, /** Global variables for the block. */ globalVariables, /** Identifier of the prover. */ proverId){
+        this.lastArchive = lastArchive;
+        this.l1ToL2TreeSnapshot = l1ToL2TreeSnapshot;
+        this.vkTreeRoot = vkTreeRoot;
+        this.protocolContractsHash = protocolContractsHash;
+        this.globalVariables = globalVariables;
+        this.proverId = proverId;
+    }
+    static from(fields) {
+        return new BlockConstantData(...BlockConstantData.getFields(fields));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockConstantData(reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readObject(GlobalVariables), Fr.fromBuffer(reader));
+    }
+    static getFields(fields) {
+        return [
+            fields.lastArchive,
+            fields.l1ToL2TreeSnapshot,
+            fields.vkTreeRoot,
+            fields.protocolContractsHash,
+            fields.globalVariables,
+            fields.proverId
+        ];
+    }
+    static empty() {
+        return new BlockConstantData(AppendOnlyTreeSnapshot.empty(), AppendOnlyTreeSnapshot.empty(), Fr.ZERO, Fr.ZERO, GlobalVariables.empty(), Fr.ZERO);
+    }
+    toBuffer() {
+        return serializeToBuffer(...BlockConstantData.getFields(this));
+    }
+}

package/dest/rollup/{block_merge_rollup.d.ts → block_merge_rollup_private_inputs.d.ts}

@@ -1,25 +1,30 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { BufferReader } from '@aztec/foundation/serialize';
-import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
+import { type RollupHonkProofData } from '../proofs/proof_data.js';
+import { BlockRollupPublicInputs } from './block_rollup_public_inputs.js';
 /**
  * Represents inputs of the block merge rollup circuit.
  */
-export declare class BlockMergeRollupInputs {
+export declare class BlockMergeRollupPrivateInputs {
     /**
      * Previous rollup data from the 2 block merge or block root rollup circuits that preceded this merge rollup circuit.
      */
-    previousRollupData: [PreviousRollupBlockData, PreviousRollupBlockData];
+    previousRollups: [
+        RollupHonkProofData<BlockRollupPublicInputs>,
+        RollupHonkProofData<BlockRollupPublicInputs>
+    ];
     constructor(
     /**
      * Previous rollup data from the 2 block merge or block root rollup circuits that preceded this merge rollup circuit.
      */
-    previousRollupData: [PreviousRollupBlockData, PreviousRollupBlockData]);
+    previousRollups: [
+        RollupHonkProofData<BlockRollupPublicInputs>,
+        RollupHonkProofData<BlockRollupPublicInputs>
+    ]);
     /**
      * Serializes the inputs to a buffer.
      * @returns The inputs serialized to a buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     /**
      * Serializes the inputs to a hex string.
      * @returns The instance serialized to a hex string.
@@ -28,18 +33,18 @@ export declare class BlockMergeRollupInputs {
     /**
      * Deserializes the inputs from a buffer.
      * @param buffer - The buffer to deserialize from.
-     * @returns A new BlockMergeRollupInputs instance.
+     * @returns A new BlockMergeRollupPrivateInputs instance.
      */
-    static fromBuffer(buffer: Buffer | BufferReader): BlockMergeRollupInputs;
+    static fromBuffer(buffer: Buffer | BufferReader): BlockMergeRollupPrivateInputs;
     /**
      * Deserializes the inputs from a hex string.
      * @param str - A hex string to deserialize from.
-     * @returns A new BlockMergeRollupInputs instance.
+     * @returns A new BlockMergeRollupPrivateInputs instance.
      */
-    static fromString(str: string): BlockMergeRollupInputs;
+    static fromString(str: string): BlockMergeRollupPrivateInputs;
     /** Returns a hex representation for JSON serialization. */
-    toJSON(): Buffer;
+    toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<BlockMergeRollupInputs, any, string>;
+    static get schema(): import("zod").ZodType<BlockMergeRollupPrivateInputs, any, string>;
 }
-//# sourceMappingURL=block_merge_rollup.d.ts.map
+//# sourceMappingURL=block_merge_rollup_private_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"block_merge_rollup_private_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_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,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE1E;;GAEG;AACH,qBAAa,6BAA6B;IAEtC;;OAEG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,uBAAuB,CAAC;QAC5C,mBAAmB,CAAC,uBAAuB,CAAC;KAC7C;;IAND;;OAEG;IACI,eAAe,EAAE;QACtB,mBAAmB,CAAC,uBAAuB,CAAC;QAC5C,mBAAmB,CAAC,uBAAuB,CAAC;KAC7C;IAGH;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,2DAA2D;IAC3D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,sEAEhB;CACF"}

package/dest/rollup/{block_merge_rollup.js → block_merge_rollup_private_inputs.js}

@@ -1,21 +1,22 @@
 import { bufferSchemaFor } from '@aztec/foundation/schemas';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
-import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
+import { ProofData } from '../proofs/proof_data.js';
+import { BlockRollupPublicInputs } from './block_rollup_public_inputs.js';
 /**
  * Represents inputs of the block merge rollup circuit.
- */ export class BlockMergeRollupInputs {
-    previousRollupData;
+ */ export class BlockMergeRollupPrivateInputs {
+    previousRollups;
     constructor(/**
      * Previous rollup data from the 2 block merge or block root rollup circuits that preceded this merge rollup circuit.
-     */ previousRollupData){
-        this.previousRollupData = previousRollupData;
+     */ previousRollups){
+        this.previousRollups = previousRollups;
     }
     /**
    * Serializes the inputs to a buffer.
    * @returns The inputs serialized to a buffer.
    */ toBuffer() {
-        return serializeToBuffer(this.previousRollupData);
+        return serializeToBuffer(this.previousRollups);
     }
     /**
    * Serializes the inputs to a hex string.
@@ -26,25 +27,25 @@ import { PreviousRollupBlockData } from './previous_rollup_block_data.js';
     /**
    * Deserializes the inputs from a buffer.
    * @param buffer - The buffer to deserialize from.
-   * @returns A new BlockMergeRollupInputs instance.
+   * @returns A new BlockMergeRollupPrivateInputs instance.
    */ static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new BlockMergeRollupInputs([
-            reader.readObject(PreviousRollupBlockData),
-            reader.readObject(PreviousRollupBlockData)
+        return new BlockMergeRollupPrivateInputs([
+            ProofData.fromBuffer(reader, BlockRollupPublicInputs),
+            ProofData.fromBuffer(reader, BlockRollupPublicInputs)
         ]);
     }
     /**
    * Deserializes the inputs from a hex string.
    * @param str - A hex string to deserialize from.
-   * @returns A new BlockMergeRollupInputs instance.
+   * @returns A new BlockMergeRollupPrivateInputs instance.
    */ static fromString(str) {
-        return BlockMergeRollupInputs.fromBuffer(hexToBuffer(str));
+        return BlockMergeRollupPrivateInputs.fromBuffer(hexToBuffer(str));
     }
     /** Returns a hex representation for JSON serialization. */ toJSON() {
         return this.toBuffer();
     }
     /** Creates an instance from a hex string. */ static get schema() {
-        return bufferSchemaFor(BlockMergeRollupInputs);
+        return bufferSchemaFor(BlockMergeRollupPrivateInputs);
     }
 }

package/dest/rollup/block_rollup_public_inputs.d.ts

@@ -0,0 +1,124 @@
+import { SpongeBlob } from '@aztec/blob-lib/types';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { StateReference } from '../tx/state_reference.js';
+import type { UInt64 } from '../types/shared.js';
+import { CheckpointConstantData } from './checkpoint_constant_data.js';
+/**
+ * Output of the block root and block merge rollup circuits.
+ */
+export declare class BlockRollupPublicInputs {
+    /**
+     * Constants for the entire checkpoint.
+     */
+    constants: CheckpointConstantData;
+    /**
+     * Archive tree immediately before this block range.
+     */
+    previousArchive: AppendOnlyTreeSnapshot;
+    /**
+     * Archive tree after applying this block range.
+     */
+    newArchive: AppendOnlyTreeSnapshot;
+    /**
+     * State reference immediately before this block range.
+     */
+    startState: StateReference;
+    /**
+     * State reference after applying this block range.
+     */
+    endState: StateReference;
+    /**
+     * Sponge state to absorb blob inputs at the start of this block range.
+     */
+    startSpongeBlob: SpongeBlob;
+    /**
+     * Sponge state to absorb blob inputs at the end of this block range.
+     */
+    endSpongeBlob: SpongeBlob;
+    /**
+     * Timestamp of the first block in this block range.
+     */
+    startTimestamp: UInt64;
+    /**
+     * Timestamp of the last block in this block range.
+     */
+    endTimestamp: UInt64;
+    /**
+     * SHA256 hash of l1 to l2 messages.
+     */
+    inHash: Fr;
+    /**
+     * SHA256 hash of L2 to L1 messages created in this block range.
+     */
+    outHash: Fr;
+    /**
+     * The summed transaction fees of all the txs in this block range.
+     */
+    accumulatedFees: Fr;
+    /**
+     * The summed mana used of all the txs in this block range.
+     */
+    accumulatedManaUsed: Fr;
+    constructor(
+    /**
+     * Constants for the entire checkpoint.
+     */
+    constants: CheckpointConstantData, 
+    /**
+     * Archive tree immediately before this block range.
+     */
+    previousArchive: AppendOnlyTreeSnapshot, 
+    /**
+     * Archive tree after applying this block range.
+     */
+    newArchive: AppendOnlyTreeSnapshot, 
+    /**
+     * State reference immediately before this block range.
+     */
+    startState: StateReference, 
+    /**
+     * State reference after applying this block range.
+     */
+    endState: StateReference, 
+    /**
+     * Sponge state to absorb blob inputs at the start of this block range.
+     */
+    startSpongeBlob: SpongeBlob, 
+    /**
+     * Sponge state to absorb blob inputs at the end of this block range.
+     */
+    endSpongeBlob: SpongeBlob, 
+    /**
+     * Timestamp of the first block in this block range.
+     */
+    startTimestamp: UInt64, 
+    /**
+     * Timestamp of the last block in this block range.
+     */
+    endTimestamp: UInt64, 
+    /**
+     * SHA256 hash of l1 to l2 messages.
+     */
+    inHash: Fr, 
+    /**
+     * SHA256 hash of L2 to L1 messages created in this block range.
+     */
+    outHash: Fr, 
+    /**
+     * The summed transaction fees of all the txs in this block range.
+     */
+    accumulatedFees: Fr, 
+    /**
+     * The summed mana used of all the txs in this block range.
+     */
+    accumulatedManaUsed: Fr);
+    static fromBuffer(buffer: Buffer | BufferReader): BlockRollupPublicInputs;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    toString(): `0x${string}`;
+    static fromString(str: string): BlockRollupPublicInputs;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static get schema(): import("zod").ZodType<BlockRollupPublicInputs, any, string>;
+}
+//# sourceMappingURL=block_rollup_public_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"block_rollup_public_inputs.d.ts","sourceRoot":"","sources":["../../src/rollup/block_rollup_public_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAuC,MAAM,6BAA6B,CAAC;AAGhG,OAAO,EAAE,sBAAsB,EAAE,MAAM,uCAAuC,CAAC;AAC/E,OAAO,EAAE,cAAc,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAEvE;;GAEG;AACH,qBAAa,uBAAuB;IAEhC;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,UAAU,EAAE,cAAc;IACjC;;OAEG;IACI,QAAQ,EAAE,cAAc;IAC/B;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;OAEG;IACI,cAAc,EAAE,MAAM;IAC7B;;OAEG;IACI,YAAY,EAAE,MAAM;IAC3B;;OAEG;IACI,MAAM,EAAE,EAAE;IACjB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;;IAnD9B;;OAEG;IACI,SAAS,EAAE,sBAAsB;IACxC;;OAEG;IACI,eAAe,EAAE,sBAAsB;IAC9C;;OAEG;IACI,UAAU,EAAE,sBAAsB;IACzC;;OAEG;IACI,UAAU,EAAE,cAAc;IACjC;;OAEG;IACI,QAAQ,EAAE,cAAc;IAC/B;;OAEG;IACI,eAAe,EAAE,UAAU;IAClC;;OAEG;IACI,aAAa,EAAE,UAAU;IAChC;;OAEG;IACI,cAAc,EAAE,MAAM;IAC7B;;OAEG;IACI,YAAY,EAAE,MAAM;IAC3B;;OAEG;IACI,MAAM,EAAE,EAAE;IACjB;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,eAAe,EAAE,EAAE;IAC1B;;OAEG;IACI,mBAAmB,EAAE,EAAE;IAGhC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAmBzE,QAAQ;IAkBR,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM;IAIN,MAAM,KAAK,MAAM,gEAEhB;CACF"}

package/dest/rollup/block_rollup_public_inputs.js

@@ -0,0 +1,85 @@
+import { SpongeBlob } from '@aztec/blob-lib/types';
+import { Fr } from '@aztec/foundation/fields';
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { StateReference } from '../tx/state_reference.js';
+import { CheckpointConstantData } from './checkpoint_constant_data.js';
+/**
+ * Output of the block root and block merge rollup circuits.
+ */ export class BlockRollupPublicInputs {
+    constants;
+    previousArchive;
+    newArchive;
+    startState;
+    endState;
+    startSpongeBlob;
+    endSpongeBlob;
+    startTimestamp;
+    endTimestamp;
+    inHash;
+    outHash;
+    accumulatedFees;
+    accumulatedManaUsed;
+    constructor(/**
+     * Constants for the entire checkpoint.
+     */ constants, /**
+     * Archive tree immediately before this block range.
+     */ previousArchive, /**
+     * Archive tree after applying this block range.
+     */ newArchive, /**
+     * State reference immediately before this block range.
+     */ startState, /**
+     * State reference after applying this block range.
+     */ endState, /**
+     * Sponge state to absorb blob inputs at the start of this block range.
+     */ startSpongeBlob, /**
+     * Sponge state to absorb blob inputs at the end of this block range.
+     */ endSpongeBlob, /**
+     * Timestamp of the first block in this block range.
+     */ startTimestamp, /**
+     * Timestamp of the last block in this block range.
+     */ endTimestamp, /**
+     * SHA256 hash of l1 to l2 messages.
+     */ inHash, /**
+     * SHA256 hash of L2 to L1 messages created in this block range.
+     */ outHash, /**
+     * The summed transaction fees of all the txs in this block range.
+     */ accumulatedFees, /**
+     * The summed mana used of all the txs in this block range.
+     */ accumulatedManaUsed){
+        this.constants = constants;
+        this.previousArchive = previousArchive;
+        this.newArchive = newArchive;
+        this.startState = startState;
+        this.endState = endState;
+        this.startSpongeBlob = startSpongeBlob;
+        this.endSpongeBlob = endSpongeBlob;
+        this.startTimestamp = startTimestamp;
+        this.endTimestamp = endTimestamp;
+        this.inHash = inHash;
+        this.outHash = outHash;
+        this.accumulatedFees = accumulatedFees;
+        this.accumulatedManaUsed = accumulatedManaUsed;
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockRollupPublicInputs(reader.readObject(CheckpointConstantData), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(AppendOnlyTreeSnapshot), reader.readObject(StateReference), reader.readObject(StateReference), reader.readObject(SpongeBlob), reader.readObject(SpongeBlob), reader.readUInt64(), reader.readUInt64(), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.constants, this.previousArchive, this.newArchive, this.startState, this.endState, this.startSpongeBlob, this.endSpongeBlob, bigintToUInt64BE(this.startTimestamp), bigintToUInt64BE(this.endTimestamp), this.inHash, this.outHash, this.accumulatedFees, this.accumulatedManaUsed);
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromString(str) {
+        return BlockRollupPublicInputs.fromBuffer(hexToBuffer(str));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(BlockRollupPublicInputs);
+    }
+}

package/dest/rollup/block_root_rollup_private_inputs.d.ts

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

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

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