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

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

@@ -1 +1 @@
-{"version":3,"file":"block_root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/block_root_rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,2BAA2B,EAAE,2BAA2B,EAAE,MAAM,iBAAiB,CAAC;AAC3F,OAAO,EACL,cAAc,EACd,eAAe,EAEf,wCAAwC,EACxC,6BAA6B,EAC9B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE1D,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,eAAe,EAAE,MAAM,gCAAgC,CAAC;AACjE,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,qBAAa,mBAAmB;IAE5B;;OAEG;IACI,WAAW,EAAE,eAAe,CAAC,OAAO,6BAA6B,CAAC;IACzE;;OAEG;IACI,+BAA+B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IAClG;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAC9D;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IACxD;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;OAEG;IACI,QAAQ,EAAE,EAAE;;IA/BnB;;OAEG;IACI,WAAW,EAAE,eAAe,CAAC,OAAO,6BAA6B,CAAC;IACzE;;OAEG;IACI,+BAA+B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IAClG;;OAEG;IACI,0BAA0B,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACnE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAC9D;;OAEG;IACI,mBAAmB,EAAE,WAAW;IACvC;;OAEG;IACI,oBAAoB,EAAE,2BAA2B;IACxD;;OAEG;IACI,mBAAmB,EAAE,2BAA2B;IACvD;;OAEG;IACI,QAAQ,EAAE,EAAE;IAGrB;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC,GAAG,mBAAmB;IAIvE;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,mBAAmB,CAAC;IAatD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB;IAcrE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF;AAED,qBAAa,uBAAuB;IAEhC;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,eAAe,CAAC;IACjE;;;OAGG;IACI,SAAS,EAAE,EAAE;;IAdpB;;;;OAIG;IACI,UAAU,EAAE,EAAE,EAAE;IACvB;;OAEG;IACI,eAAe,EAAE,KAAK,CAAC,UAAU,EAAE,OAAO,eAAe,CAAC;IACjE;;;OAGG;IACI,SAAS,EAAE,EAAE;IAGtB;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC,GAAG,uBAAuB;IAI/E;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,uBAAuB,CAAC;IAI1D;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAWzE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,gEAEhB;CACF;AAED;;GAEG;AACH,qBAAa,qBAAqB;IAE9B;;OAEG;IACI,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC;IAC5D,IAAI,EAAE,mBAAmB;IACzB,QAAQ,EAAE,uBAAuB;;IALxC;;OAEG;IACI,kBAAkB,EAAE,CAAC,kBAAkB,EAAE,kBAAkB,CAAC,EAC5D,IAAI,EAAE,mBAAmB,EACzB,QAAQ,EAAE,uBAAuB;IAG1C;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC,GAAG,qBAAqB;IAI3E;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC;IAIxD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB;IASvE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,8DAEhB;CACF;AAED,qBAAa,6BAA6B;IAE/B,kBAAkB,EAAE,CAAC,kBAAkB,CAAC;IACxC,IAAI,EAAE,mBAAmB;IACzB,QAAQ,EAAE,uBAAuB;gBAFjC,kBAAkB,EAAE,CAAC,kBAAkB,CAAC,EACxC,IAAI,EAAE,mBAAmB,EACzB,QAAQ,EAAE,uBAAuB;IAG1C;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,6BAA6B,CAAC,GAAG,6BAA6B;IAI3F;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,6BAA6B,CAAC;IAIhE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,6BAA6B;IAS/E;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,sEAEhB;CACF"}
+{"version":3,"file":"block_root_rollup.d.ts","sourceRoot":"","sources":["../../src/rollup/block_root_rollup.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,uBAAuB,CAAC;AACnD,OAAO,EAAE,cAAc,EAAE,wCAAwC,EAAE,MAAM,kBAAkB,CAAC;AAC5F,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;AAIxD,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,6BAA6B,EAAE,MAAM,yCAAyC,CAAC;AACxF,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,KAAK,EAAE,eAAe,EAAE,mBAAmB,EAAE,MAAM,wBAAwB,CAAC;AAEnF,qBAAa,iCAAiC;IAE1C;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,6BAA6B,CAAC;QAC9C,eAAe,CAAC,6BAA6B,CAAC;KAC/C;IACD;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAtB9D;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,6BAA6B,CAAC;QAC9C,eAAe,CAAC,6BAA6B,CAAC;KAC/C;IACD;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;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;IAc/C,MAAM;IAIN,MAAM,KAAK,MAAM,0EAEhB;CACF;AAED,qBAAa,yCAAyC;IAElD;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,cAAc,EAAE,eAAe,CAAC,6BAA6B,CAAC;IACrE;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAnB9D;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;OAEG;IACI,cAAc,EAAE,eAAe,CAAC,6BAA6B,CAAC;IACrE;;OAEG;IACI,cAAc,EAAE,sBAAsB;IAC7C;;OAEG;IACI,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;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,mBAAmB;IACvC;;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,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAhC9D;;OAEG;IACI,WAAW,EAAE,mBAAmB;IACvC;;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,kCAAkC,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wCAAwC,CAAC;IACrG;;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;QACtB,eAAe,CAAC,6BAA6B,CAAC;QAC9C,eAAe,CAAC,6BAA6B,CAAC;KAC/C;IACD;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAV9D;;OAEG;IACI,eAAe,EAAE;QACtB,eAAe,CAAC,6BAA6B,CAAC;QAC9C,eAAe,CAAC,6BAA6B,CAAC;KAC/C;IACD;;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;IAW/C,MAAM;IAIN,MAAM,KAAK,MAAM,qEAEhB;CACF;AAED,qBAAa,oCAAoC;IAE7C;;OAEG;IACI,cAAc,EAAE,eAAe,CAAC,6BAA6B,CAAC;IACrE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;;IAP9D;;OAEG;IACI,cAAc,EAAE,eAAe,CAAC,6BAA6B,CAAC;IACrE;;OAEG;IACI,qBAAqB,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGhE,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,oCAAoC,CAAC;IAIlE,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,oCAAoC,CAAC;IAIvE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAQ/C,MAAM;IAIN,MAAM,KAAK,MAAM,6EAEhB;CACF"}

package/dest/rollup/block_root_rollup.js

@@ -1,306 +1,257 @@
-import { BlobAccumulatorPublicInputs, FinalBlobBatchingChallenges } from '@aztec/blob-lib';
-import { ARCHIVE_HEIGHT, BLOBS_PER_BLOCK, FIELDS_PER_BLOB, L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, NESTED_RECURSIVE_PROOF_LENGTH } from '@aztec/constants';
-import { BLS12Point, Fr } from '@aztec/foundation/fields';
+import { SpongeBlob } from '@aztec/blob-lib/types';
+import { ARCHIVE_HEIGHT, L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH } from '@aztec/constants';
+import { 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 { RootParityInput } from '../parity/root_parity_input.js';
-import { BlockHeader } from '../tx/block_header.js';
-import { PreviousRollupData } from './previous_rollup_data.js';
-export class BlockRootRollupData {
+import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
+import { ParityPublicInputs } from '../parity/parity_public_inputs.js';
+import { ProofData } from '../proofs/proof_data.js';
+import { AppendOnlyTreeSnapshot } from '../trees/append_only_tree_snapshot.js';
+import { StateReference } from '../tx/state_reference.js';
+import { BaseOrMergeRollupPublicInputs } from './base_or_merge_rollup_public_inputs.js';
+import { CheckpointConstantData } from './checkpoint_constant_data.js';
+export class BlockRootFirstRollupPrivateInputs {
     l1ToL2Roots;
-    l1ToL2MessageSubtreeSiblingPath;
-    previousArchiveSiblingPath;
+    previousRollups;
+    previousL1ToL2;
+    newL1ToL2MessageSubtreeSiblingPath;
     newArchiveSiblingPath;
-    previousBlockHeader;
-    startBlobAccumulator;
-    finalBlobChallenges;
-    proverId;
     constructor(/**
      * The original and converted roots of the L1 to L2 messages subtrees.
      */ l1ToL2Roots, /**
-     * Hint for inserting the new l1 to l2 message subtree.
-     */ l1ToL2MessageSubtreeSiblingPath, /**
-     * Hint for checking the hash of previous_block_header is the last leaf of the previous archive.
-     */ previousArchiveSiblingPath, /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */ previousRollups, /**
+     * The l1 to l2 message tree snapshot immediately before this block.
+     */ previousL1ToL2, /**
+     * Hint for inserting the new l1 to l2 message subtree into `previousL1ToL2`.
+     */ newL1ToL2MessageSubtreeSiblingPath, /**
      * Hint for inserting the new block hash to the last archive.
-     */ newArchiveSiblingPath, /**
-     * The header of the previous block.
-     */ previousBlockHeader, /**
-     * The current blob accumulation state across the epoch.
-     */ startBlobAccumulator, /**
-     * Finalized challenges z and gamma for performing blob batching. Shared value across the epoch.
-     */ finalBlobChallenges, /**
-     * Identifier of the prover.
-     */ proverId){
+     */ newArchiveSiblingPath){
         this.l1ToL2Roots = l1ToL2Roots;
-        this.l1ToL2MessageSubtreeSiblingPath = l1ToL2MessageSubtreeSiblingPath;
-        this.previousArchiveSiblingPath = previousArchiveSiblingPath;
+        this.previousRollups = previousRollups;
+        this.previousL1ToL2 = previousL1ToL2;
+        this.newL1ToL2MessageSubtreeSiblingPath = newL1ToL2MessageSubtreeSiblingPath;
         this.newArchiveSiblingPath = newArchiveSiblingPath;
-        this.previousBlockHeader = previousBlockHeader;
-        this.startBlobAccumulator = startBlobAccumulator;
-        this.finalBlobChallenges = finalBlobChallenges;
-        this.proverId = proverId;
-    }
-    /**
-   * Serializes the inputs to a buffer.
-   * @returns - The inputs serialized to a buffer.
-   */ toBuffer() {
-        return serializeToBuffer(...BlockRootRollupData.getFields(this));
-    }
-    /**
-   * Serializes the inputs to a hex string.
-   * @returns The instance serialized to a hex string.
-   */ toString() {
-        return bufferToHex(this.toBuffer());
-    }
-    /**
-   * Creates a new instance from fields.
-   * @param fields - Fields to create the instance from.
-   * @returns A new RootRollupInputs instance.
-   */ static from(fields) {
-        return new BlockRootRollupData(...BlockRootRollupData.getFields(fields));
-    }
-    /**
-   * Extracts fields from an instance.
-   * @param fields - Fields to create the instance from.
-   * @returns An array of fields.
-   */ static getFields(fields) {
+    }
+    static from(fields) {
+        return new BlockRootFirstRollupPrivateInputs(...BlockRootFirstRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
         return [
             fields.l1ToL2Roots,
-            fields.l1ToL2MessageSubtreeSiblingPath,
-            fields.previousArchiveSiblingPath,
-            fields.newArchiveSiblingPath,
-            fields.previousBlockHeader,
-            fields.startBlobAccumulator,
-            fields.finalBlobChallenges,
-            fields.proverId
+            fields.previousRollups,
+            fields.previousL1ToL2,
+            fields.newL1ToL2MessageSubtreeSiblingPath,
+            fields.newArchiveSiblingPath
         ];
     }
-    /**
-   * Deserializes the inputs from a buffer.
-   * @param buffer - A buffer to deserialize from.
-   * @returns A new RootRollupInputs instance.
-   */ static fromBuffer(buffer) {
+    toBuffer() {
+        return serializeToBuffer(...BlockRootFirstRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new BlockRootRollupData(RootParityInput.fromBuffer(reader, NESTED_RECURSIVE_PROOF_LENGTH), reader.readArray(L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr), BlockHeader.fromBuffer(reader), reader.readObject(BlobAccumulatorPublicInputs), reader.readObject(FinalBlobBatchingChallenges), Fr.fromBuffer(reader));
+        return new BlockRootFirstRollupPrivateInputs(ProofData.fromBuffer(reader, ParityPublicInputs), [
+            ProofData.fromBuffer(reader, BaseOrMergeRollupPublicInputs),
+            ProofData.fromBuffer(reader, BaseOrMergeRollupPublicInputs)
+        ], AppendOnlyTreeSnapshot.fromBuffer(reader), reader.readArray(L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static get schema() {
+        return bufferSchemaFor(BlockRootFirstRollupPrivateInputs);
+    }
+}
+export class BlockRootSingleTxFirstRollupPrivateInputs {
+    l1ToL2Roots;
+    previousRollup;
+    previousL1ToL2;
+    newL1ToL2MessageSubtreeSiblingPath;
+    newArchiveSiblingPath;
+    constructor(/**
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */ l1ToL2Roots, /**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */ previousRollup, /**
+     * The l1 to l2 message tree snapshot immediately before this block.
+     */ previousL1ToL2, /**
+     * Hint for inserting the new l1 to l2 message subtree.
+     */ newL1ToL2MessageSubtreeSiblingPath, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.l1ToL2Roots = l1ToL2Roots;
+        this.previousRollup = previousRollup;
+        this.previousL1ToL2 = previousL1ToL2;
+        this.newL1ToL2MessageSubtreeSiblingPath = newL1ToL2MessageSubtreeSiblingPath;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
     }
-    /**
-   * Deserializes the inputs from a hex string.
-   * @param str - A hex string to deserialize from.
-   * @returns A new RootRollupInputs instance.
-   */ static fromString(str) {
-        return BlockRootRollupData.fromBuffer(hexToBuffer(str));
+    static from(fields) {
+        return new BlockRootSingleTxFirstRollupPrivateInputs(...BlockRootSingleTxFirstRollupPrivateInputs.getFields(fields));
     }
-    /** Returns a buffer representation for JSON serialization. */ toJSON() {
+    static getFields(fields) {
+        return [
+            fields.l1ToL2Roots,
+            fields.previousRollup,
+            fields.previousL1ToL2,
+            fields.newL1ToL2MessageSubtreeSiblingPath,
+            fields.newArchiveSiblingPath
+        ];
+    }
+    toBuffer() {
+        return serializeToBuffer(...BlockRootSingleTxFirstRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockRootSingleTxFirstRollupPrivateInputs(ProofData.fromBuffer(reader, ParityPublicInputs), ProofData.fromBuffer(reader, BaseOrMergeRollupPublicInputs), AppendOnlyTreeSnapshot.fromBuffer(reader), reader.readArray(L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
         return this.toBuffer();
     }
-    /** Creates an instance from a hex string. */ static get schema() {
-        return bufferSchemaFor(BlockRootRollupData);
+    static get schema() {
+        return bufferSchemaFor(BlockRootSingleTxFirstRollupPrivateInputs);
     }
 }
-export class BlockRootRollupBlobData {
-    blobFields;
-    blobCommitments;
-    blobsHash;
+export class BlockRootEmptyTxFirstRollupPrivateInputs {
+    l1ToL2Roots;
+    previousArchive;
+    previousState;
+    constants;
+    startSpongeBlob;
+    timestamp;
+    newL1ToL2MessageSubtreeSiblingPath;
+    newArchiveSiblingPath;
     constructor(/**
-     * 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.blobFields = blobFields;
-        this.blobCommitments = blobCommitments;
-        this.blobsHash = blobsHash;
-    }
-    /**
-   * Serializes the inputs to a buffer.
-   * @returns - The inputs serialized to a buffer.
-   */ toBuffer() {
-        return serializeToBuffer(...BlockRootRollupBlobData.getFields(this));
-    }
-    /**
-   * Serializes the inputs to a hex string.
-   * @returns The instance serialized to a hex string.
-   */ toString() {
-        return bufferToHex(this.toBuffer());
-    }
-    /**
-   * Creates a new instance from fields.
-   * @param fields - Fields to create the instance from.
-   * @returns A new RootRollupInputs instance.
-   */ static from(fields) {
-        return new BlockRootRollupBlobData(...BlockRootRollupBlobData.getFields(fields));
-    }
-    /**
-   * Extracts fields from an instance.
-   * @param fields - Fields to create the instance from.
-   * @returns An array of fields.
-   */ static getFields(fields) {
+     * The original and converted roots of the L1 to L2 messages subtrees.
+     */ l1ToL2Roots, /**
+     * The archive after applying the previous block.
+     */ previousArchive, /**
+     * The state reference of the previous block.
+     */ previousState, /**
+     * The constants of the checkpoint.
+     */ constants, /**
+     * The start sponge blob of this block. No data has been absorbed into it yet, since it's the first block. But the
+     * number of expected fields must be set to the total number of fields in the entire checkpoint.
+     */ startSpongeBlob, /**
+     * The timestamp of this block.
+     */ timestamp, /**
+     * Hint for inserting the new l1 to l2 message subtree.
+     */ newL1ToL2MessageSubtreeSiblingPath, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.l1ToL2Roots = l1ToL2Roots;
+        this.previousArchive = previousArchive;
+        this.previousState = previousState;
+        this.constants = constants;
+        this.startSpongeBlob = startSpongeBlob;
+        this.timestamp = timestamp;
+        this.newL1ToL2MessageSubtreeSiblingPath = newL1ToL2MessageSubtreeSiblingPath;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootEmptyTxFirstRollupPrivateInputs(...BlockRootEmptyTxFirstRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
         return [
-            fields.blobFields,
-            fields.blobCommitments,
-            fields.blobsHash
+            fields.l1ToL2Roots,
+            fields.previousArchive,
+            fields.previousState,
+            fields.constants,
+            fields.startSpongeBlob,
+            fields.timestamp,
+            fields.newL1ToL2MessageSubtreeSiblingPath,
+            fields.newArchiveSiblingPath
         ];
     }
-    /**
-   * Deserializes the inputs from a buffer.
-   * @param buffer - A buffer to deserialize from.
-   * @returns A new RootRollupInputs instance.
-   */ static fromBuffer(buffer) {
+    toBuffer() {
+        return serializeToBuffer([
+            this.l1ToL2Roots,
+            this.previousArchive,
+            this.previousState,
+            this.constants,
+            this.startSpongeBlob,
+            bigintToUInt64BE(this.timestamp),
+            this.newL1ToL2MessageSubtreeSiblingPath,
+            this.newArchiveSiblingPath
+        ]);
+    }
+    static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new BlockRootRollupBlobData(// 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));
-    }
-    /**
-   * Deserializes the inputs from a hex string.
-   * @param str - A hex string to deserialize from.
-   * @returns A new RootRollupInputs instance.
-   */ static fromString(str) {
-        return BlockRootRollupBlobData.fromBuffer(hexToBuffer(str));
-    }
-    /** Returns a buffer representation for JSON serialization. */ toJSON() {
+        return new BlockRootEmptyTxFirstRollupPrivateInputs(ProofData.fromBuffer(reader, ParityPublicInputs), AppendOnlyTreeSnapshot.fromBuffer(reader), StateReference.fromBuffer(reader), CheckpointConstantData.fromBuffer(reader), SpongeBlob.fromBuffer(reader), reader.readUInt64(), reader.readArray(L1_TO_L2_MSG_SUBTREE_SIBLING_PATH_LENGTH, Fr), reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
         return this.toBuffer();
     }
-    /** Creates an instance from a hex string. */ static get schema() {
-        return bufferSchemaFor(BlockRootRollupBlobData);
+    static get schema() {
+        return bufferSchemaFor(BlockRootEmptyTxFirstRollupPrivateInputs);
     }
 }
-/**
- * Represents inputs of the block root rollup circuit.
- */ export class BlockRootRollupInputs {
-    previousRollupData;
-    data;
-    blobData;
+export class BlockRootRollupPrivateInputs {
+    previousRollups;
+    newArchiveSiblingPath;
     constructor(/**
-     * The previous rollup data from 2 merge or base rollup circuits.
-     */ previousRollupData, data, blobData){
-        this.previousRollupData = previousRollupData;
-        this.data = data;
-        this.blobData = blobData;
-    }
-    /**
-   * Serializes the inputs to a buffer.
-   * @returns - The inputs serialized to a buffer.
-   */ toBuffer() {
-        return serializeToBuffer(...BlockRootRollupInputs.getFields(this));
-    }
-    /**
-   * Serializes the inputs to a hex string.
-   * @returns The instance serialized to a hex string.
-   */ toString() {
-        return bufferToHex(this.toBuffer());
-    }
-    /**
-   * Creates a new instance from fields.
-   * @param fields - Fields to create the instance from.
-   * @returns A new RootRollupInputs instance.
-   */ static from(fields) {
-        return new BlockRootRollupInputs(...BlockRootRollupInputs.getFields(fields));
-    }
-    /**
-   * Extracts fields from an instance.
-   * @param fields - Fields to create the instance from.
-   * @returns An array of fields.
-   */ static getFields(fields) {
+     * The previous rollup proof data from base or merge rollup circuits.
+     */ previousRollups, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.previousRollups = previousRollups;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootRollupPrivateInputs(...BlockRootRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
         return [
-            fields.previousRollupData,
-            fields.data,
-            fields.blobData
+            fields.previousRollups,
+            fields.newArchiveSiblingPath
         ];
     }
-    /**
-   * Deserializes the inputs from a buffer.
-   * @param buffer - A buffer to deserialize from.
-   * @returns A new RootRollupInputs instance.
-   */ static fromBuffer(buffer) {
+    toBuffer() {
+        return serializeToBuffer(...BlockRootRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new BlockRootRollupInputs([
-            reader.readObject(PreviousRollupData),
-            reader.readObject(PreviousRollupData)
-        ], reader.readObject(BlockRootRollupData), reader.readObject(BlockRootRollupBlobData));
-    }
-    /**
-   * Deserializes the inputs from a hex string.
-   * @param str - A hex string to deserialize from.
-   * @returns A new RootRollupInputs instance.
-   */ static fromString(str) {
-        return BlockRootRollupInputs.fromBuffer(hexToBuffer(str));
-    }
-    /** Returns a buffer representation for JSON serialization. */ toJSON() {
+        return new BlockRootRollupPrivateInputs([
+            ProofData.fromBuffer(reader, BaseOrMergeRollupPublicInputs),
+            ProofData.fromBuffer(reader, BaseOrMergeRollupPublicInputs)
+        ], reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
         return this.toBuffer();
     }
-    /** Creates an instance from a hex string. */ static get schema() {
-        return bufferSchemaFor(BlockRootRollupInputs);
+    static get schema() {
+        return bufferSchemaFor(BlockRootRollupPrivateInputs);
     }
 }
-export class SingleTxBlockRootRollupInputs {
-    previousRollupData;
-    data;
-    blobData;
-    constructor(previousRollupData, data, blobData){
-        this.previousRollupData = previousRollupData;
-        this.data = data;
-        this.blobData = blobData;
-    }
-    /**
-   * Serializes the inputs to a buffer.
-   * @returns - The inputs serialized to a buffer.
-   */ toBuffer() {
-        return serializeToBuffer(...SingleTxBlockRootRollupInputs.getFields(this));
-    }
-    /**
-   * Serializes the inputs to a hex string.
-   * @returns The instance serialized to a hex string.
-   */ toString() {
-        return bufferToHex(this.toBuffer());
-    }
-    /**
-   * Creates a new instance from fields.
-   * @param fields - Fields to create the instance from.
-   * @returns A new RootRollupInputs instance.
-   */ static from(fields) {
-        return new SingleTxBlockRootRollupInputs(...SingleTxBlockRootRollupInputs.getFields(fields));
-    }
-    /**
-   * Extracts fields from an instance.
-   * @param fields - Fields to create the instance from.
-   * @returns An array of fields.
-   */ static getFields(fields) {
+export class BlockRootSingleTxRollupPrivateInputs {
+    previousRollup;
+    newArchiveSiblingPath;
+    constructor(/**
+     * The previous rollup proof data from base or merge rollup circuits.
+     */ previousRollup, /**
+     * Hint for inserting the new block hash to the last archive.
+     */ newArchiveSiblingPath){
+        this.previousRollup = previousRollup;
+        this.newArchiveSiblingPath = newArchiveSiblingPath;
+    }
+    static from(fields) {
+        return new BlockRootSingleTxRollupPrivateInputs(...BlockRootSingleTxRollupPrivateInputs.getFields(fields));
+    }
+    static getFields(fields) {
         return [
-            fields.previousRollupData,
-            fields.data,
-            fields.blobData
+            fields.previousRollup,
+            fields.newArchiveSiblingPath
         ];
     }
-    /**
-   * Deserializes the inputs from a buffer.
-   * @param buffer - A buffer to deserialize from.
-   * @returns A new RootRollupInputs instance.
-   */ static fromBuffer(buffer) {
+    toBuffer() {
+        return serializeToBuffer(...BlockRootSingleTxRollupPrivateInputs.getFields(this));
+    }
+    static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        return new SingleTxBlockRootRollupInputs([
-            reader.readObject(PreviousRollupData)
-        ], reader.readObject(BlockRootRollupData), reader.readObject(BlockRootRollupBlobData));
-    }
-    /**
-   * Deserializes the inputs from a hex string.
-   * @param str - A hex string to deserialize from.
-   * @returns A new RootRollupInputs instance.
-   */ static fromString(str) {
-        return SingleTxBlockRootRollupInputs.fromBuffer(hexToBuffer(str));
-    }
-    /** Returns a buffer representation for JSON serialization. */ toJSON() {
+        return new BlockRootSingleTxRollupPrivateInputs(ProofData.fromBuffer(reader, BaseOrMergeRollupPublicInputs), reader.readArray(ARCHIVE_HEIGHT, Fr));
+    }
+    toJSON() {
         return this.toBuffer();
     }
-    /** Creates an instance from a hex string. */ static get schema() {
-        return bufferSchemaFor(SingleTxBlockRootRollupInputs);
+    static get schema() {
+        return bufferSchemaFor(BlockRootSingleTxRollupPrivateInputs);
     }
 }

package/dest/rollup/checkpoint_constant_data.d.ts

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

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

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