@aztec/blob-lib 3.0.0-nightly.20251121 → 3.0.0-nightly.20251123

package/dest/blob_batching.d.ts

@@ -33,13 +33,13 @@ export declare class BatchedBlob {
      *
      * @returns A batched blob.
      */
-    static batch(blobs: Blob[][]): Promise<BatchedBlob>;
+    static batch(blobFieldsPerCheckpoint: Fr[][]): Promise<BatchedBlob>;
     /**
      * Returns an empty BatchedBlobAccumulator with precomputed challenges from all blobs in the epoch.
      * @dev MUST input all blobs to be broadcast. Does not work in multiple calls because z and gamma are calculated
      *      beforehand from ALL blobs.
      */
-    static newAccumulator(blobs: Blob[][]): Promise<BatchedBlobAccumulator>;
+    static newAccumulator(blobFieldsPerCheckpoint: Fr[][]): Promise<BatchedBlobAccumulator>;
     /**
      * Gets the final challenges based on all blobs and their elements to perform a multi opening proof.
      * Used in BatchedBlobAccumulator as 'finalZ' and finalGamma':
@@ -52,7 +52,7 @@ export declare class BatchedBlob {
      * @param blobs - The blobs to precompute the challenges for. Each sub-array is the blobs for an L1 block.
      * @returns Challenges z and gamma.
      */
-    static precomputeBatchedBlobChallenges(blobs: Blob[][]): Promise<FinalBlobBatchingChallenges>;
+    static precomputeBatchedBlobChallenges(blobFieldsPerCheckpoint: Fr[][]): Promise<FinalBlobBatchingChallenges>;
     verify(): boolean;
     getEthVersionedBlobHash(): Buffer;
     /**
@@ -124,14 +124,14 @@ export declare class BatchedBlobAccumulator {
      * We assume the input blob has not been evaluated at z.
      * @returns An updated blob accumulator.
      */
-    private accumulate;
+    accumulateBlob(blob: Blob, blobFieldsHash: Fr): Promise<BatchedBlobAccumulator>;
     /**
      * Given blobs, accumulate all state.
      * We assume the input blobs have not been evaluated at z.
-     * @param blobs - The blobs to accumulate. They should be for the same checkpoint.
+     * @param blobFields - The blob fields of a checkpoint to accumulate.
      * @returns An updated blob accumulator.
      */
-    accumulateBlobs(blobs: Blob[]): Promise<BatchedBlobAccumulator>;
+    accumulateFields(blobFields: Fr[]): Promise<BatchedBlobAccumulator>;
     /**
      * Finalize accumulation state of the epoch.
      * We assume ALL blobs in the epoch have been accumulated.

package/dest/blob_batching.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"blob_batching.d.ts","sourceRoot":"","sources":["../src/blob_batching.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AAI9G;;GAEG;AACH,qBAAa,WAAW;IAEpB,8CAA8C;aAC9B,mBAAmB,EAAE,EAAE;IACvC,gDAAgD;aAChC,CAAC,EAAE,EAAE;IACrB,mFAAmF;aACnE,CAAC,EAAE,OAAO;IAC1B,kFAAkF;aAClE,UAAU,EAAE,UAAU;IACtC,4HAA4H;aAC5G,CAAC,EAAE,UAAU;;IAT7B,8CAA8C;IAC9B,mBAAmB,EAAE,EAAE;IACvC,gDAAgD;IAChC,CAAC,EAAE,EAAE;IACrB,mFAAmF;IACnE,CAAC,EAAE,OAAO;IAC1B,kFAAkF;IAClE,UAAU,EAAE,UAAU;IACtC,4HAA4H;IAC5G,CAAC,EAAE,UAAU;IAG/B;;;;;;OAMG;WACU,KAAK,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAgBzD;;;;OAIG;WACU,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,sBAAsB,CAAC;IAK7E;;;;;;;;;;;OAWG;WACU,+BAA+B,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,2BAA2B,CAAC;IAmCnG,MAAM;IAKN,uBAAuB,IAAI,MAAM;IAIjC;;;;;;;;;;OAUG;IACH,0BAA0B,IAAI,KAAK,MAAM,EAAE;IAW3C,sBAAsB;CAGvB;AAED;;GAEG;AACH,qBAAa,sBAAsB;IAE/B,8CAA8C;aAC9B,sBAAsB,EAAE,EAAE;IAC1C,sEAAsE;aACtD,IAAI,EAAE,EAAE;IACxB,yGAAyG;aACzF,IAAI,EAAE,OAAO;IAC7B,qGAAqG;aACrF,IAAI,EAAE,UAAU;IAChC,oGAAoG;aACpF,IAAI,EAAE,UAAU;IAChC;;;;OAIG;aACa,QAAQ,EAAE,EAAE;IAC5B,uGAAuG;aACvF,QAAQ,EAAE,OAAO;IACjC,oGAAoG;aACpF,mBAAmB,EAAE,2BAA2B;;IAnBhE,8CAA8C;IAC9B,sBAAsB,EAAE,EAAE;IAC1C,sEAAsE;IACtD,IAAI,EAAE,EAAE;IACxB,yGAAyG;IACzF,IAAI,EAAE,OAAO;IAC7B,qGAAqG;IACrF,IAAI,EAAE,UAAU;IAChC,oGAAoG;IACpF,IAAI,EAAE,UAAU;IAChC;;;;OAIG;IACa,QAAQ,EAAE,EAAE;IAC5B,uGAAuG;IACvF,QAAQ,EAAE,OAAO;IACjC,oGAAoG;IACpF,mBAAmB,EAAE,2BAA2B;IAGlE;;;OAGG;IACH,MAAM,CAAC,iBAAiB,CAAC,mBAAmB,EAAE,2BAA2B,GAAG,sBAAsB;IAalG;;;;OAIG;YACW,UAAU;IAyCxB;;;;;OAKG;IACG,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE;IAkBnC;;;;;;;;;;;;;OAaG;IACG,QAAQ,CAAC,WAAW,UAAQ,GAAG,OAAO,CAAC,WAAW,CAAC;IAwBzD,YAAY;IAYZ,KAAK;IAaL,iBAAiB;IAWjB,sBAAsB;CAGvB"}
+{"version":3,"file":"blob_batching.d.ts","sourceRoot":"","sources":["../src/blob_batching.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAEjC,OAAO,EAAE,eAAe,EAAE,oBAAoB,EAAE,2BAA2B,EAAE,MAAM,0BAA0B,CAAC;AAI9G;;GAEG;AACH,qBAAa,WAAW;IAEpB,8CAA8C;aAC9B,mBAAmB,EAAE,EAAE;IACvC,gDAAgD;aAChC,CAAC,EAAE,EAAE;IACrB,mFAAmF;aACnE,CAAC,EAAE,OAAO;IAC1B,kFAAkF;aAClE,UAAU,EAAE,UAAU;IACtC,4HAA4H;aAC5G,CAAC,EAAE,UAAU;;IAT7B,8CAA8C;IAC9B,mBAAmB,EAAE,EAAE;IACvC,gDAAgD;IAChC,CAAC,EAAE,EAAE;IACrB,mFAAmF;IACnE,CAAC,EAAE,OAAO;IAC1B,kFAAkF;IAClE,UAAU,EAAE,UAAU;IACtC,4HAA4H;IAC5G,CAAC,EAAE,UAAU;IAG/B;;;;;;OAMG;WACU,KAAK,CAAC,uBAAuB,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,WAAW,CAAC;IAiBzE;;;;OAIG;WACU,cAAc,CAAC,uBAAuB,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,sBAAsB,CAAC;IAK7F;;;;;;;;;;;OAWG;WACU,+BAA+B,CAAC,uBAAuB,EAAE,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,2BAA2B,CAAC;IAqCnH,MAAM;IAKN,uBAAuB,IAAI,MAAM;IAIjC;;;;;;;;;;OAUG;IACH,0BAA0B,IAAI,KAAK,MAAM,EAAE;IAW3C,sBAAsB;CAGvB;AAED;;GAEG;AACH,qBAAa,sBAAsB;IAE/B,8CAA8C;aAC9B,sBAAsB,EAAE,EAAE;IAC1C,sEAAsE;aACtD,IAAI,EAAE,EAAE;IACxB,yGAAyG;aACzF,IAAI,EAAE,OAAO;IAC7B,qGAAqG;aACrF,IAAI,EAAE,UAAU;IAChC,oGAAoG;aACpF,IAAI,EAAE,UAAU;IAChC;;;;OAIG;aACa,QAAQ,EAAE,EAAE;IAC5B,uGAAuG;aACvF,QAAQ,EAAE,OAAO;IACjC,oGAAoG;aACpF,mBAAmB,EAAE,2BAA2B;;IAnBhE,8CAA8C;IAC9B,sBAAsB,EAAE,EAAE;IAC1C,sEAAsE;IACtD,IAAI,EAAE,EAAE;IACxB,yGAAyG;IACzF,IAAI,EAAE,OAAO;IAC7B,qGAAqG;IACrF,IAAI,EAAE,UAAU;IAChC,oGAAoG;IACpF,IAAI,EAAE,UAAU;IAChC;;;;OAIG;IACa,QAAQ,EAAE,EAAE;IAC5B,uGAAuG;IACvF,QAAQ,EAAE,OAAO;IACjC,oGAAoG;IACpF,mBAAmB,EAAE,2BAA2B;IAGlE;;;OAGG;IACH,MAAM,CAAC,iBAAiB,CAAC,mBAAmB,EAAE,2BAA2B,GAAG,sBAAsB;IAalG;;;;OAIG;IACG,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,cAAc,EAAE,EAAE;IAyCnD;;;;;OAKG;IACG,gBAAgB,CAAC,UAAU,EAAE,EAAE,EAAE;IAoBvC;;;;;;;;;;;;;OAaG;IACG,QAAQ,CAAC,WAAW,UAAQ,GAAG,OAAO,CAAC,WAAW,CAAC;IAwBzD,YAAY;IAYZ,KAAK;IAaL,iBAAiB;IAWjB,sBAAsB;CAGvB"}

package/dest/blob_batching.js

@@ -1,9 +1,9 @@
 import { AZTEC_MAX_EPOCH_DURATION, BLOBS_PER_CHECKPOINT } from '@aztec/constants';
 import { poseidon2Hash, sha256ToField } from '@aztec/foundation/crypto';
 import { BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
-import { computeBlobFieldsHashFromBlobs } from './blob_utils.js';
+import { getBlobsPerL1Block } from './blob_utils.js';
 import { BlobAccumulator, FinalBlobAccumulator, FinalBlobBatchingChallenges } from './circuit_types/index.js';
-import { computeEthVersionedBlobHash, hashNoirBigNumLimbs } from './hash.js';
+import { computeBlobFieldsHash, computeEthVersionedBlobHash, hashNoirBigNumLimbs } from './hash.js';
 import { kzg } from './kzg_context.js';
 /**
  * A class to create, manage, and prove batched EVM blobs.
@@ -26,15 +26,16 @@ import { kzg } from './kzg_context.js';
    *      beforehand from ALL blobs.
    *
    * @returns A batched blob.
-   */ static async batch(blobs) {
-        if (blobs.length > AZTEC_MAX_EPOCH_DURATION) {
-            throw new Error(`Too many blocks sent to batch(). The maximum is ${AZTEC_MAX_EPOCH_DURATION}. Got ${blobs.length}.`);
+   */ static async batch(blobFieldsPerCheckpoint) {
+        const numCheckpoints = blobFieldsPerCheckpoint.length;
+        if (numCheckpoints > AZTEC_MAX_EPOCH_DURATION) {
+            throw new Error(`Too many checkpoints sent to batch(). The maximum is ${AZTEC_MAX_EPOCH_DURATION}. Got ${numCheckpoints}.`);
         }
         // Precalculate the values (z and gamma) and initialize the accumulator:
-        let acc = await this.newAccumulator(blobs);
+        let acc = await this.newAccumulator(blobFieldsPerCheckpoint);
         // Now we can create a multi opening proof of all input blobs:
-        for (const blockBlobs of blobs){
-            acc = await acc.accumulateBlobs(blockBlobs);
+        for (const blobFields of blobFieldsPerCheckpoint){
+            acc = await acc.accumulateFields(blobFields);
         }
         return await acc.finalize();
     }
@@ -42,8 +43,8 @@ import { kzg } from './kzg_context.js';
    * Returns an empty BatchedBlobAccumulator with precomputed challenges from all blobs in the epoch.
    * @dev MUST input all blobs to be broadcast. Does not work in multiple calls because z and gamma are calculated
    *      beforehand from ALL blobs.
-   */ static async newAccumulator(blobs) {
-        const finalBlobChallenges = await this.precomputeBatchedBlobChallenges(blobs);
+   */ static async newAccumulator(blobFieldsPerCheckpoint) {
+        const finalBlobChallenges = await this.precomputeBatchedBlobChallenges(blobFieldsPerCheckpoint);
         return BatchedBlobAccumulator.newWithChallenges(finalBlobChallenges);
     }
     /**
@@ -57,13 +58,15 @@ import { kzg } from './kzg_context.js';
    *
    * @param blobs - The blobs to precompute the challenges for. Each sub-array is the blobs for an L1 block.
    * @returns Challenges z and gamma.
-   */ static async precomputeBatchedBlobChallenges(blobs) {
+   */ static async precomputeBatchedBlobChallenges(blobFieldsPerCheckpoint) {
         // Compute the final challenge z to evaluate the blobs.
         let z;
-        for (const blockBlobs of blobs){
+        const allBlobs = [];
+        for (const blobFields of blobFieldsPerCheckpoint){
             // Compute the hash of all the fields in the block.
-            const blobFieldsHash = await computeBlobFieldsHashFromBlobs(blockBlobs);
-            for (const blob of blockBlobs){
+            const blobFieldsHash = await computeBlobFieldsHash(blobFields);
+            const blobs = getBlobsPerL1Block(blobFields);
+            for (const blob of blobs){
                 // Compute the challenge z for each blob and accumulate it.
                 const challengeZ = await blob.computeChallengeZ(blobFieldsHash);
                 if (!z) {
@@ -75,12 +78,12 @@ import { kzg } from './kzg_context.js';
                     ]);
                 }
             }
+            allBlobs.push(...blobs);
         }
         if (!z) {
             throw new Error('No blobs to precompute challenges for.');
         }
         // Now we have a shared challenge for all blobs, evaluate them...
-        const allBlobs = blobs.flat();
         const proofObjects = allBlobs.map((b)=>b.evaluate(z));
         const evaluations = await Promise.all(proofObjects.map(({ y })=>hashNoirBigNumLimbs(y)));
         // ...and find the challenge for the linear combination of blobs.
@@ -164,7 +167,7 @@ import { kzg } from './kzg_context.js';
    * Given blob i, accumulate all state.
    * We assume the input blob has not been evaluated at z.
    * @returns An updated blob accumulator.
-   */ async accumulate(blob, blobFieldsHash) {
+   */ async accumulateBlob(blob, blobFieldsHash) {
         const { proof, y: thisY } = blob.evaluate(this.finalBlobChallenges.z);
         const thisC = BLS12Point.decompress(blob.commitment);
         const thisQ = BLS12Point.decompress(proof);
@@ -198,18 +201,19 @@ import { kzg } from './kzg_context.js';
     /**
    * Given blobs, accumulate all state.
    * We assume the input blobs have not been evaluated at z.
-   * @param blobs - The blobs to accumulate. They should be for the same checkpoint.
+   * @param blobFields - The blob fields of a checkpoint to accumulate.
    * @returns An updated blob accumulator.
-   */ async accumulateBlobs(blobs) {
+   */ async accumulateFields(blobFields) {
+        const blobs = getBlobsPerL1Block(blobFields);
         if (blobs.length > BLOBS_PER_CHECKPOINT) {
             throw new Error(`Too many blobs to accumulate. The maximum is ${BLOBS_PER_CHECKPOINT} per checkpoint. Got ${blobs.length}.`);
         }
         // Compute the hash of all the fields in the block.
-        const blobFieldsHash = await computeBlobFieldsHashFromBlobs(blobs);
+        const blobFieldsHash = await computeBlobFieldsHash(blobFields);
         // Initialize the acc to iterate over:
         let acc = this.clone();
         for (const blob of blobs){
-            acc = await acc.accumulate(blob, blobFieldsHash);
+            acc = await acc.accumulateBlob(blob, blobFieldsHash);
         }
         return acc;
     }

package/dest/blob_utils.d.ts

@@ -21,7 +21,6 @@ export declare function getBlobsPerL1Block(fields: Fr[]): Blob[];
  * @returns The encoded data of the checkpoint.
  */
 export declare function decodeCheckpointBlobDataFromBlobs(blobs: Blob[]): CheckpointBlobData;
-export declare function computeBlobFieldsHashFromBlobs(blobs: Blob[]): Promise<Fr>;
 export declare function computeBlobsHashFromBlobs(blobs: Blob[]): Fr;
 export declare function getBlobCommitmentsFromBlobs(blobs: Blob[]): BLS12Point[];
 //# sourceMappingURL=blob_utils.d.ts.map

package/dest/blob_utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"blob_utils.d.ts","sourceRoot":"","sources":["../src/blob_utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE1D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,KAAK,kBAAkB,EAAsC,MAAM,qBAAqB,CAAC;AAGlG;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,MAAM,EAAE,CAS1E;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,CASvD;AAED;;;;GAIG;AACH,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,kBAAkB,CAGnF;AAED,wBAAsB,8BAA8B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAQ/E;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAE3D;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,CAEvE"}
+{"version":3,"file":"blob_utils.d.ts","sourceRoot":"","sources":["../src/blob_utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE1D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,KAAK,kBAAkB,EAAsC,MAAM,qBAAqB,CAAC;AAGlG;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,MAAM,EAAE,CAS1E;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,CASvD;AAED;;;;GAIG;AACH,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,kBAAkB,CAGnF;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAE3D;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,CAEvE"}

package/dest/blob_utils.js

@@ -2,7 +2,7 @@ import { FIELDS_PER_BLOB } from '@aztec/constants';
 import { BLS12Point } from '@aztec/foundation/fields';
 import { Blob } from './blob.js';
 import { decodeCheckpointBlobDataFromBuffer } from './encoding/index.js';
-import { computeBlobFieldsHash, computeBlobsHash } from './hash.js';
+import { computeBlobsHash } from './hash.js';
 /**
  * @param blobs - The blobs to emit.
  * @returns The blobs' compressed commitments in hex prefixed by the number of blobs. 1 byte for the prefix, 48 bytes
@@ -41,14 +41,6 @@ import { computeBlobFieldsHash, computeBlobsHash } from './hash.js';
     const buf = Buffer.concat(blobs.map((b)=>b.data));
     return decodeCheckpointBlobDataFromBuffer(buf);
 }
-export async function computeBlobFieldsHashFromBlobs(blobs) {
-    const fields = blobs.map((b)=>b.toFields()).flat();
-    const numBlobFields = fields[0].toNumber();
-    if (numBlobFields > fields.length) {
-        throw new Error(`The prefix indicates ${numBlobFields} fields. Got ${fields.length}.`);
-    }
-    return await computeBlobFieldsHash(fields.slice(0, numBlobFields));
-}
 export function computeBlobsHashFromBlobs(blobs) {
     return computeBlobsHash(blobs.map((b)=>b.getEthVersionedBlobHash()));
 }

package/dest/encoding/block_end_marker.js

@@ -1,7 +1,7 @@
 import { BLOCK_END_PREFIX } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
 import { BlobDeserializationError } from '../errors.js';
-// Must match the implementation in `noir-protocol-circuits/crates/rollup-lib/src/block_merge/components/block_blob_data.nr`.
+// Must match the implementation in `noir-protocol-circuits/crates/types/src/blob_data/block_blob_data.nr`.
 const BLOCK_NUMBER_BIT_SIZE = 32n;
 const TIMESTAMP_BIT_SIZE = 64n;
 const NUM_TXS_BIT_SIZE = 16n;

package/dest/encoding/block_end_state_field.js

@@ -1,7 +1,7 @@
 import { L1_TO_L2_MSG_TREE_HEIGHT, NOTE_HASH_TREE_HEIGHT, NULLIFIER_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
 import { BlobDeserializationError } from '../errors.js';
-// Must match the implementation in `noir-protocol-circuits/crates/rollup-lib/src/block_merge/components/block_blob_data.nr`.
+// Must match the implementation in `noir-protocol-circuits/crates/types/src/blob_data/block_blob_data.nr`.
 export const TOTAL_MANA_USED_BIT_SIZE = 48n;
 export function encodeBlockEndStateField(blockEndStateField) {
     let value = BigInt(blockEndStateField.l1ToL2MessageNextAvailableLeafIndex);

package/dest/encoding/checkpoint_blob_data.d.ts

@@ -1,13 +1,15 @@
 import { Fr } from '@aztec/foundation/fields';
 import { FieldReader } from '@aztec/foundation/serialize';
 import { type BlockBlobData } from './block_blob_data.js';
+import { type CheckpointEndMarker } from './checkpoint_end_marker.js';
 import type { TxStartMarker } from './tx_start_marker.js';
 export interface CheckpointBlobData {
-    totalNumBlobFields: number;
+    checkpointEndMarker: CheckpointEndMarker;
     blocks: BlockBlobData[];
 }
 export declare function encodeCheckpointBlobData(checkpointBlobData: CheckpointBlobData): Fr[];
+export declare function encodeCheckpointBlobDataFromBlocks(blocks: BlockBlobData[]): Fr[];
 export declare function decodeCheckpointBlobData(fields: Fr[] | FieldReader): CheckpointBlobData;
 export declare function decodeCheckpointBlobDataFromBuffer(buf: Buffer): CheckpointBlobData;
-export declare function getTotalNumBlobFieldsFromTxs(txs: TxStartMarker[][]): number;
+export declare function getTotalNumBlobFieldsFromTxs(txsPerBlock: TxStartMarker[][]): number;
 //# sourceMappingURL=checkpoint_blob_data.d.ts.map

package/dest/encoding/checkpoint_blob_data.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"checkpoint_blob_data.d.ts","sourceRoot":"","sources":["../../src/encoding/checkpoint_blob_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAgB,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAGxE,OAAO,EAAE,KAAK,aAAa,EAA4C,MAAM,sBAAsB,CAAC;AACpG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,WAAW,kBAAkB;IACjC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,EAAE,aAAa,EAAE,CAAC;CACzB;AAED,wBAAgB,wBAAwB,CAAC,kBAAkB,EAAE,kBAAkB,GAAG,EAAE,EAAE,CAKrF;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,kBAAkB,CA0BvF;AAED,wBAAgB,kCAAkC,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB,CAkBlF;AAED,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,aAAa,EAAE,EAAE,GAAG,MAAM,CAO3E"}
+{"version":3,"file":"checkpoint_blob_data.d.ts","sourceRoot":"","sources":["../../src/encoding/checkpoint_blob_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAgB,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAGxE,OAAO,EAAE,KAAK,aAAa,EAA4C,MAAM,sBAAsB,CAAC;AACpG,OAAO,EACL,KAAK,mBAAmB,EAIzB,MAAM,4BAA4B,CAAC;AACpC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,WAAW,kBAAkB;IACjC,mBAAmB,EAAE,mBAAmB,CAAC;IACzC,MAAM,EAAE,aAAa,EAAE,CAAC;CACzB;AAED,wBAAgB,wBAAwB,CAAC,kBAAkB,EAAE,kBAAkB,GAAG,EAAE,EAAE,CAKrF;AAED,wBAAgB,kCAAkC,CAAC,MAAM,EAAE,aAAa,EAAE,GAAG,EAAE,EAAE,CAIhF;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,kBAAkB,CA0CvF;AAED,wBAAgB,kCAAkC,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB,CAKlF;AAED,wBAAgB,4BAA4B,CAAC,WAAW,EAAE,aAAa,EAAE,EAAE,GAAG,MAAM,CAYnF"}

package/dest/encoding/checkpoint_blob_data.js

@@ -2,53 +2,66 @@ import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
 import { BlobDeserializationError } from '../errors.js';
 import { decodeBlockBlobData, encodeBlockBlobData } from './block_blob_data.js';
+import { decodeCheckpointEndMarker, encodeCheckpointEndMarker, isCheckpointEndMarker } from './checkpoint_end_marker.js';
 export function encodeCheckpointBlobData(checkpointBlobData) {
     return [
-        new Fr(checkpointBlobData.totalNumBlobFields),
-        ...checkpointBlobData.blocks.map((block)=>encodeBlockBlobData(block)).flat()
+        ...checkpointBlobData.blocks.map((block)=>encodeBlockBlobData(block)).flat(),
+        encodeCheckpointEndMarker(checkpointBlobData.checkpointEndMarker)
     ];
 }
+export function encodeCheckpointBlobDataFromBlocks(blocks) {
+    const blocksBlobFields = blocks.map((block)=>encodeBlockBlobData(block)).flat();
+    const numBlobFields = blocksBlobFields.length + 1; // +1 for the checkpoint end marker.
+    return blocksBlobFields.concat(encodeCheckpointEndMarker({
+        numBlobFields
+    }));
+}
 export function decodeCheckpointBlobData(fields) {
     const reader = FieldReader.asReader(fields);
     if (reader.isFinished()) {
         throw new BlobDeserializationError(`Cannot decode empty blob data.`);
     }
-    const firstField = reader.readField();
-    // Use toBigInt instead of toNumber so that we can catch it and throw a more descriptive error if the first field is
-    // larger than a javascript integer.
-    const totalNumBlobFields = firstField.toBigInt();
-    if (totalNumBlobFields > BigInt(reader.remainingFields() + 1)) {
-        // +1 because we already read the first field.
-        throw new BlobDeserializationError(`Incorrect encoding of blob fields: not enough fields for checkpoint blob data. Expected ${totalNumBlobFields} fields, got ${reader.remainingFields() + 1}.`);
-    }
     const blocks = [];
-    while(reader.cursor < totalNumBlobFields){
+    let checkpointEndMarker;
+    while(!reader.isFinished() && !checkpointEndMarker){
         blocks.push(decodeBlockBlobData(reader, blocks.length === 0 /* isFirstBlock */ ));
+        // After reading a block, the next item must be either a checkpoint end marker or another block.
+        // The first field of a block is always a tx start marker. So if the provided fields are valid, it's not possible to
+        // misinterpret a tx start marker as checkpoint end marker, or vice versa.
+        const nextField = reader.peekField();
+        if (isCheckpointEndMarker(nextField)) {
+            checkpointEndMarker = decodeCheckpointEndMarker(reader.readField());
+            const numFieldsRead = reader.cursor;
+            if (numFieldsRead !== checkpointEndMarker.numBlobFields) {
+                throw new BlobDeserializationError(`Incorrect encoding of blob fields: mismatch number of blob fields. Expected ${checkpointEndMarker.numBlobFields} fields, got ${numFieldsRead}.`);
+            }
+        }
+    }
+    if (!checkpointEndMarker) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: checkpoint end marker does not exist.`);
+    }
+    const remainingFields = reader.readFieldArray(reader.remainingFields());
+    if (!remainingFields.every((f)=>f.isZero())) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: unexpected non-zero field after checkpoint end marker.`);
     }
     return {
-        totalNumBlobFields: Number(totalNumBlobFields),
+        checkpointEndMarker,
         blocks
     };
 }
 export function decodeCheckpointBlobDataFromBuffer(buf) {
     const reader = BufferReader.asReader(buf);
-    const firstField = reader.readObject(Fr);
-    // Use toBigInt instead of toNumber so that we can catch it and throw a more descriptive error if the first field is
-    // larger than a javascript integer.
-    const numFields = firstField.toBigInt();
-    const totalFieldsInBuffer = BigInt(buf.length / Fr.SIZE_IN_BYTES);
-    if (numFields > totalFieldsInBuffer) {
-        throw new BlobDeserializationError(`Failed to deserialize blob buffer: not enough fields for checkpoint blob data. Expected ${numFields} fields, got ${totalFieldsInBuffer}.`);
-    }
-    const numFieldsWithoutPrefix = Number(numFields) - 1;
-    const blobFields = [
-        firstField
-    ].concat(reader.readArray(numFieldsWithoutPrefix, Fr));
+    const totalFieldsInBuffer = Math.floor(buf.length / Fr.SIZE_IN_BYTES);
+    const blobFields = reader.readArray(totalFieldsInBuffer, Fr);
     return decodeCheckpointBlobData(blobFields);
 }
-export function getTotalNumBlobFieldsFromTxs(txs) {
-    return 1 + // totalNumBlobFields
-    (txs.length ? 1 : 0) + // l1ToL2Messages root in the first block
-    txs.length * 6 + // 6 fields for each block end blob data.
-    txs.reduce((total, txs)=>total + txs.reduce((total, tx)=>total + tx.numBlobFields, 0), 0);
+export function getTotalNumBlobFieldsFromTxs(txsPerBlock) {
+    const numBlocks = txsPerBlock.length;
+    if (!numBlocks) {
+        return 0;
+    }
+    return (numBlocks ? 1 : 0) + // l1ToL2Messages root in the first block
+    numBlocks * 6 + // 6 fields for each block end blob data.
+    txsPerBlock.reduce((total, txs)=>total + txs.reduce((total, tx)=>total + tx.numBlobFields, 0), 0) + 1 // checkpoint end marker
+    ;
 }

package/dest/encoding/checkpoint_end_marker.d.ts

@@ -0,0 +1,8 @@
+import { Fr } from '@aztec/foundation/fields';
+export interface CheckpointEndMarker {
+    numBlobFields: number;
+}
+export declare function encodeCheckpointEndMarker(checkpointEndMarker: CheckpointEndMarker): Fr;
+export declare function decodeCheckpointEndMarker(field: Fr): CheckpointEndMarker;
+export declare function isCheckpointEndMarker(field: Fr): boolean;
+//# sourceMappingURL=checkpoint_end_marker.d.ts.map

package/dest/encoding/checkpoint_end_marker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_end_marker.d.ts","sourceRoot":"","sources":["../../src/encoding/checkpoint_end_marker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAQ9C,MAAM,WAAW,mBAAmB;IAClC,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,yBAAyB,CAAC,mBAAmB,EAAE,mBAAmB,MAKjF;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,EAAE,GAAG,mBAAmB,CAaxE;AAGD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,CAGxD"}

package/dest/encoding/checkpoint_end_marker.js

@@ -0,0 +1,28 @@
+import { CHECKPOINT_END_PREFIX } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { BlobDeserializationError } from '../errors.js';
+// Must match the implementation in `noir-protocol-circuits/crates/types/src/blob_data/checkpoint_blob_data.nr`.
+const NUM_BLOB_FIELDS_BIT_SIZE = 32n;
+export function encodeCheckpointEndMarker(checkpointEndMarker) {
+    let value = CHECKPOINT_END_PREFIX;
+    value <<= NUM_BLOB_FIELDS_BIT_SIZE;
+    value += BigInt(checkpointEndMarker.numBlobFields);
+    return new Fr(value);
+}
+export function decodeCheckpointEndMarker(field) {
+    let value = field.toBigInt();
+    const numBlobFields = Number(value & 2n ** NUM_BLOB_FIELDS_BIT_SIZE - 1n);
+    value >>= NUM_BLOB_FIELDS_BIT_SIZE;
+    const prefix = value;
+    if (prefix !== CHECKPOINT_END_PREFIX) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: invalid checkpoint end marker.`);
+    }
+    return {
+        numBlobFields
+    };
+}
+// Check if a field is a checkpoint end marker. Used to check if it has reached the end of the blob fields.
+export function isCheckpointEndMarker(field) {
+    const prefix = field.toBigInt() >> NUM_BLOB_FIELDS_BIT_SIZE;
+    return prefix === CHECKPOINT_END_PREFIX;
+}

package/dest/encoding/fixtures.js

@@ -129,9 +129,11 @@ export function makeCheckpointBlobData({ numBlocks = 1, numTxsPerBlock = 1, isFu
             isFullTx,
             seed: seed + i * 0x1000
         }), seed);
-    const totalNumBlobFields = overrides.totalNumBlobFields ?? getTotalNumBlobFieldsFromTxs(blocks.map((block)=>block.txs.map((tx)=>tx.txStartMarker)));
+    const numBlobFields = overrides.checkpointEndMarker?.numBlobFields ?? getTotalNumBlobFieldsFromTxs(blocks.map((block)=>block.txs.map((tx)=>tx.txStartMarker)));
     return {
-        totalNumBlobFields,
-        blocks
+        blocks,
+        checkpointEndMarker: {
+            numBlobFields
+        }
     };
 }

package/dest/encoding/index.d.ts

@@ -2,6 +2,7 @@ export * from './block_blob_data.js';
 export * from './block_end_marker.js';
 export * from './block_end_state_field.js';
 export * from './checkpoint_blob_data.js';
+export * from './checkpoint_end_marker.js';
 export * from './fixtures.js';
 export * from './tx_blob_data.js';
 export * from './tx_start_marker.js';

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

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/encoding/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/encoding/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,4BAA4B,CAAC;AAC3C,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC"}

package/dest/encoding/index.js

@@ -2,6 +2,7 @@ export * from './block_blob_data.js';
 export * from './block_end_marker.js';
 export * from './block_end_state_field.js';
 export * from './checkpoint_blob_data.js';
+export * from './checkpoint_end_marker.js';
 export * from './fixtures.js';
 export * from './tx_blob_data.js';
 export * from './tx_start_marker.js';

package/dest/encoding/tx_start_marker.js

@@ -1,7 +1,7 @@
 import { TX_START_PREFIX } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
 import { BlobDeserializationError } from '../errors.js';
-// Must match the implementation in `noir-protocol-circuits/crates/rollup-lib/src/tx_base/components/tx_blob_data.nr`.
+// Must match the implementation in `noir-protocol-circuits/crates/types/src/blob_data/tx_blob_data.nr`.
 const NUM_BLOB_FIELDS_BIT_SIZE = 32n;
 const REVERT_CODE_BIT_SIZE = 8n;
 const NUM_NOTE_HASH_BIT_SIZE = 16n;

package/dest/hash.d.ts

@@ -5,9 +5,16 @@ import { BLS12Fr, Fr } from '@aztec/foundation/fields';
 export declare function computeEthVersionedBlobHash(commitment: Buffer): Buffer;
 export declare function computeBlobsHash(evmVersionedBlobHashes: Buffer[]): Fr;
 /**
- * The hash of the fields added throughout the checkpoint. The exact number of fields is specified by the checkpoint
- * prefix (the first field). It's verified in the circuit against the fields absorbed into the sponge blob.
- * This hash is used in generating the challenge z for all blobs in the same checkpoint.
+ * Computes a non-standard Poseidon2 hash over the provided fields.
+ *
+ * This function is used to compute:
+ * - `blobFieldsHash` of a checkpoint:
+ *   Verified in the circuit against all fields absorbed into the blob sponge over the entire checkpoint.
+ *   The exact number of fields is encoded in the checkpoint end marker (the last field).
+ *   This hash is used when generating the challenge `z` for all blobs in the checkpoint.
+ * - `spongeBlobHash` of a block:
+ *   Computed from the block's tx effects, its end-state, and the blob fields of all prior blocks in the same checkpoint.
+ *   This hash is included in the block header.
  */
 export declare function computeBlobFieldsHash(fields: Fr[]): Promise<Fr>;
 export declare function computeBlobCommitment(data: Uint8Array): Buffer;

package/dest/hash.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../src/hash.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAMvD;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAItE;AAOD,wBAAgB,gBAAgB,CAAC,sBAAsB,EAAE,MAAM,EAAE,GAAG,EAAE,CAErE;AAED;;;;GAIG;AACH,wBAAsB,qBAAqB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAErE;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAM9D;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAM/D;AAED,wBAAsB,iBAAiB,CAAC,cAAc,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAG3F;AAED;;;GAGG;AACH,wBAAsB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,EAAE,CAAC,CAGrE"}
+{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../src/hash.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAOvD;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAItE;AAOD,wBAAgB,gBAAgB,CAAC,sBAAsB,EAAE,MAAM,EAAE,GAAG,EAAE,CAErE;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,qBAAqB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAIrE;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAM9D;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAM/D;AAED,wBAAsB,iBAAiB,CAAC,cAAc,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAG3F;AAED;;;GAGG;AACH,wBAAsB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,EAAE,CAAC,CAGrE"}

package/dest/hash.js

@@ -1,6 +1,7 @@
 import { poseidon2Hash, sha256, sha256ToField } from '@aztec/foundation/crypto';
 import { Fr } from '@aztec/foundation/fields';
 import { BYTES_PER_BLOB, BYTES_PER_COMMITMENT, kzg } from './kzg_context.js';
+import { SpongeBlob } from './sponge_blob.js';
 const VERSIONED_HASH_VERSION_KZG = 0x01;
 /**
  * Returns ethereum's versioned blob hash, following kzg_to_versioned_hash: https://eips.ethereum.org/EIPS/eip-4844#helpers
@@ -18,11 +19,20 @@ export function computeBlobsHash(evmVersionedBlobHashes) {
     return sha256ToField(evmVersionedBlobHashes);
 }
 /**
- * The hash of the fields added throughout the checkpoint. The exact number of fields is specified by the checkpoint
- * prefix (the first field). It's verified in the circuit against the fields absorbed into the sponge blob.
- * This hash is used in generating the challenge z for all blobs in the same checkpoint.
+ * Computes a non-standard Poseidon2 hash over the provided fields.
+ *
+ * This function is used to compute:
+ * - `blobFieldsHash` of a checkpoint:
+ *   Verified in the circuit against all fields absorbed into the blob sponge over the entire checkpoint.
+ *   The exact number of fields is encoded in the checkpoint end marker (the last field).
+ *   This hash is used when generating the challenge `z` for all blobs in the checkpoint.
+ * - `spongeBlobHash` of a block:
+ *   Computed from the block's tx effects, its end-state, and the blob fields of all prior blocks in the same checkpoint.
+ *   This hash is included in the block header.
  */ export async function computeBlobFieldsHash(fields) {
-    return await poseidon2Hash(fields);
+    const sponge = SpongeBlob.init();
+    await sponge.absorb(fields);
+    return sponge.squeeze();
 }
 export function computeBlobCommitment(data) {
     if (data.length !== BYTES_PER_BLOB) {

package/dest/sponge_blob.d.ts

@@ -10,15 +10,16 @@ export declare class SpongeBlob {
     readonly sponge: Poseidon2Sponge;
     /** Number of effects absorbed so far. */
     numAbsorbedFields: number;
-    /** Number of effects that will be absorbed. */
-    readonly numExpectedFields: number;
+    static MAX_FIELDS: number;
     constructor(
     /** Sponge with absorbed fields that will go into one or more blobs. */
     sponge: Poseidon2Sponge, 
     /** Number of effects absorbed so far. */
-    numAbsorbedFields: number, 
-    /** Number of effects that will be absorbed. */
-    numExpectedFields: number);
+    numAbsorbedFields: number);
+    /**
+     * Initialize the sponge blob to absorb data for a checkpoint.
+     */
+    static init(): SpongeBlob;
     static fromBuffer(buffer: Buffer | BufferReader): SpongeBlob;
     toBuffer(): Buffer<ArrayBufferLike>;
     static getFields(fields: FieldsOf<SpongeBlob>): (number | Poseidon2Sponge)[];
@@ -28,11 +29,6 @@ export declare class SpongeBlob {
     absorb(fields: Fr[]): Promise<void>;
     squeeze(): Promise<Fr>;
     static empty(): SpongeBlob;
-    /**
-     * Initialize the sponge blob with the number of expected fields in the checkpoint and absorb it as the first field.
-     * Note: `numExpectedFields` includes the first field absorbed in this method.
-     */
-    static init(numExpectedFields: number): Promise<SpongeBlob>;
 }
 export declare class Poseidon2Sponge {
     cache: Tuple<Fr, 3>;
@@ -46,7 +42,7 @@ export declare class Poseidon2Sponge {
     toFields(): Fr[];
     static fromFields(fields: Fr[] | FieldReader): Poseidon2Sponge;
     static empty(): Poseidon2Sponge;
-    static init(numExpectedFields: number): Poseidon2Sponge;
+    static init(iv: Fr): Poseidon2Sponge;
     performDuplex(): Promise<void>;
     absorb(fields: Fr[]): Promise<void>;
     squeeze(): Promise<Fr>;

package/dest/sponge_blob.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"sponge_blob.d.ts","sourceRoot":"","sources":["../src/sponge_blob.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC;;;GAGG;AACH,qBAAa,UAAU;IAEnB,uEAAuE;aACvD,MAAM,EAAE,eAAe;IACvC,yCAAyC;IAClC,iBAAiB,EAAE,MAAM;IAChC,+CAA+C;aAC/B,iBAAiB,EAAE,MAAM;;IALzC,uEAAuE;IACvD,MAAM,EAAE,eAAe;IACvC,yCAAyC;IAClC,iBAAiB,EAAE,MAAM;IAChC,+CAA+C;IAC/B,iBAAiB,EAAE,MAAM;IAG3C,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU;IAK5D,QAAQ;IAIR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC;IAI7C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,UAAU;IASzD,KAAK;IAIC,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE;IAUnB,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC;IAS5B,MAAM,CAAC,KAAK,IAAI,UAAU;IAI1B;;;OAGG;WACU,IAAI,CAAC,iBAAiB,EAAE,MAAM,GAAG,OAAO,CAAC,UAAU,CAAC;CAQlE;AAGD,qBAAa,eAAe;IAEjB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IACnB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IACnB,SAAS,EAAE,MAAM;IACjB,WAAW,EAAE,OAAO;gBAHpB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EACnB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EACnB,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,OAAO;IAG7B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;IAUjE,QAAQ;IAIR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC;IAIlD,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,eAAe;IAU9D,MAAM,CAAC,KAAK,IAAI,eAAe;IAS/B,MAAM,CAAC,IAAI,CAAC,iBAAiB,EAAE,MAAM,GAAG,eAAe;IAUjD,aAAa;IAWb,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE;IAenB,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC;CAQ7B"}
+{"version":3,"file":"sponge_blob.d.ts","sourceRoot":"","sources":["../src/sponge_blob.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,KAAK,QAAQ,EAAa,MAAM,yBAAyB,CAAC;AAEnE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EACL,YAAY,EACZ,WAAW,EACX,KAAK,KAAK,EAGX,MAAM,6BAA6B,CAAC;AAErC;;;GAGG;AACH,qBAAa,UAAU;IAInB,uEAAuE;aACvD,MAAM,EAAE,eAAe;IACvC,yCAAyC;IAClC,iBAAiB,EAAE,MAAM;IANlC,MAAM,CAAC,UAAU,SAA0C;;IAGzD,uEAAuE;IACvD,MAAM,EAAE,eAAe;IACvC,yCAAyC;IAClC,iBAAiB,EAAE,MAAM;IAGlC;;OAEG;IACH,MAAM,CAAC,IAAI,IAAI,UAAU;IAOzB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU;IAK5D,QAAQ;IAIR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,UAAU,CAAC;IAI7C,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,UAAU;IAKzD,KAAK;IAIC,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE;IAUnB,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC;IAI5B,MAAM,CAAC,KAAK,IAAI,UAAU;CAG3B;AAGD,qBAAa,eAAe;IAEjB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IACnB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IACnB,SAAS,EAAE,MAAM;IACjB,WAAW,EAAE,OAAO;gBAHpB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EACnB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,EACnB,SAAS,EAAE,MAAM,EACjB,WAAW,EAAE,OAAO;IAG7B,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;IAUjE,QAAQ;IAIR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC;IAIlD,QAAQ,IAAI,EAAE,EAAE;IAIhB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,eAAe;IAU9D,MAAM,CAAC,KAAK,IAAI,eAAe;IAS/B,MAAM,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,GAAG,eAAe;IAS9B,aAAa;IAWb,MAAM,CAAC,MAAM,EAAE,EAAE,EAAE;IAenB,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC;CAQ7B"}