@aztec/blob-lib 3.0.0-nightly.20251026 → 3.0.0-nightly.20251031

package/dest/deserialize.d.ts

@@ -1,48 +1,14 @@
 import { Fr } from '@aztec/foundation/fields';
 /**
- * Deserializes a blob buffer into an array of field elements.
+ * Deserializes a buffer into an array of field elements.
  *
- * Blobs are converted into BN254 fields to perform a poseidon2 hash on them (fieldHash).
- * This method is sparse, meaning it does not include trailing zeros at the end of the blob.
+ * This function returns the fields that were actually added in a checkpoint. The number of fields is specified by the
+ * first field.
  *
- * However, we cannot simply trim the zero's from the end of the blob, as some logs may include zero's
- * within them.
- * If we end on a set of zeros, such as the log below:
- * length 7: [ a, b, c, d, e, 0, 0]
- *
- * we will end up with the incorrect hash if we trim the zeros from the end.
- *
- * Each transactions logs contains a TX start prefix, which includes a string followed
- * by the length ( in field elements ) of the transaction's log.
- *
- * This function finds the end of the last transaction's logs, and returns the array up to this point.
- *
- * We search for a series of Tx Prefixes progressing the cursor in the field reader until we hit
- * a field that is not a Tx Prefix, this indicates that we have reached the end of the last transaction's logs.
- *
- * +------------------+------------------+------------------+------------------+
- * | TX1 Start Prefix | TX1 Log Fields   | TX2 Start Prefix | Padded zeros     |
- * | [3 a,b,c]        | [3, a, b, c]     | [5 d,e,f,0,0]    | [0, 0, 0, .., 0] |
- * +------------------+------------------+------------------+------------------+
- *                                                          ^
- *                                                          |
- * Function reads until here --------------------------------
- *
- * @param blob - The blob buffer to deserialize.
+ * @param buf - The buffer to deserialize.
+ * @param checkEncoding - Whether to check if the encoding is correct. If false, it will still check the checkpoint
+ * prefix and throw if there's not enough fields.
  * @returns An array of field elements.
  */
-export declare function deserializeEncodedBlobToFields(blob: Uint8Array): Fr[];
-/**
- * Extract the fields from a blob buffer, but do not take into account encoding
- * that will include trailing zeros.
- *
- * +------------------+------------------+------------------+------------------+
- * |                  |                  |                  | Padded zeros     |
- * | [3 a,b,c]        | [3, a, b, c]     | [5 d,e,f,0,0]    | [0, 0, 0, .., 0] |
- * +------------------+------------------+------------------+------------------+
- *                                                ^
- *                                                |
- * Function reads until here ----------------------
- */
-export declare function extractBlobFieldsFromBuffer(blob: Uint8Array): Fr[];
+export declare function deserializeEncodedBlobToFields(buf: Uint8Array, checkEncoding?: boolean): Fr[];
 //# sourceMappingURL=deserialize.d.ts.map

package/dest/deserialize.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"deserialize.d.ts","sourceRoot":"","sources":["../src/deserialize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAK9C;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,UAAU,GAAG,EAAE,EAAE,CA6BrE;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,UAAU,GAAG,EAAE,EAAE,CAYlE"}
+{"version":3,"file":"deserialize.d.ts","sourceRoot":"","sources":["../src/deserialize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAM9C;;;;;;;;;;GAUG;AACH,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,UAAU,EAAE,aAAa,UAAQ,GAAG,EAAE,EAAE,CAoB3F"}

package/dest/deserialize.js

@@ -1,81 +1,33 @@
 import { Fr } from '@aztec/foundation/fields';
-import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
-import { getNumBlobFieldsFromTxStartMarker, isBlockEndMarker } from './encoding.js';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { checkBlobFieldsEncoding } from './encoding.js';
+import { BlobDeserializationError } from './errors.js';
 /**
- * Deserializes a blob buffer into an array of field elements.
+ * Deserializes a buffer into an array of field elements.
  *
- * Blobs are converted into BN254 fields to perform a poseidon2 hash on them (fieldHash).
- * This method is sparse, meaning it does not include trailing zeros at the end of the blob.
+ * This function returns the fields that were actually added in a checkpoint. The number of fields is specified by the
+ * first field.
  *
- * However, we cannot simply trim the zero's from the end of the blob, as some logs may include zero's
- * within them.
- * If we end on a set of zeros, such as the log below:
- * length 7: [ a, b, c, d, e, 0, 0]
- *
- * we will end up with the incorrect hash if we trim the zeros from the end.
- *
- * Each transactions logs contains a TX start prefix, which includes a string followed
- * by the length ( in field elements ) of the transaction's log.
- *
- * This function finds the end of the last transaction's logs, and returns the array up to this point.
- *
- * We search for a series of Tx Prefixes progressing the cursor in the field reader until we hit
- * a field that is not a Tx Prefix, this indicates that we have reached the end of the last transaction's logs.
- *
- * +------------------+------------------+------------------+------------------+
- * | TX1 Start Prefix | TX1 Log Fields   | TX2 Start Prefix | Padded zeros     |
- * | [3 a,b,c]        | [3, a, b, c]     | [5 d,e,f,0,0]    | [0, 0, 0, .., 0] |
- * +------------------+------------------+------------------+------------------+
- *                                                          ^
- *                                                          |
- * Function reads until here --------------------------------
- *
- * @param blob - The blob buffer to deserialize.
+ * @param buf - The buffer to deserialize.
+ * @param checkEncoding - Whether to check if the encoding is correct. If false, it will still check the checkpoint
+ * prefix and throw if there's not enough fields.
  * @returns An array of field elements.
- */ export function deserializeEncodedBlobToFields(blob) {
-    // Convert blob buffer to array of field elements
-    const reader = BufferReader.asReader(blob);
-    const array = reader.readArray(blob.length >> 5, Fr); // >> 5 = / 32 (bytes per field)
-    const fieldReader = FieldReader.asReader(array);
-    // Read fields until we hit zeros at the end
-    while(!fieldReader.isFinished()){
-        const currentField = fieldReader.peekField();
-        // Stop when we hit a zero field
-        if (!currentField || currentField.isZero()) {
-            break;
-        }
-        // This comes before `getLengthFromFirstField` because an empty block doesn't have fields for the tx effect.
-        if (isBlockEndMarker(currentField)) {
-            // Include the block end marker in the result
-            fieldReader.skip(1);
-            break;
-        }
-        // Skip the remaining fields in this transaction
-        const len = getNumBlobFieldsFromTxStartMarker(currentField);
-        fieldReader.skip(len);
+ */ export function deserializeEncodedBlobToFields(buf, checkEncoding = false) {
+    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 below 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 fields, this blob was likely not created by us`);
     }
-    // Return array up to last non-zero field
-    return array.slice(0, fieldReader.cursor);
-}
-/**
- * Extract the fields from a blob buffer, but do not take into account encoding
- * that will include trailing zeros.
- *
- * +------------------+------------------+------------------+------------------+
- * |                  |                  |                  | Padded zeros     |
- * | [3 a,b,c]        | [3, a, b, c]     | [5 d,e,f,0,0]    | [0, 0, 0, .., 0] |
- * +------------------+------------------+------------------+------------------+
- *                                                ^
- *                                                |
- * Function reads until here ----------------------
- */ export function extractBlobFieldsFromBuffer(blob) {
-    const reader = BufferReader.asReader(blob);
-    const array = reader.readArray(blob.length >> 5, Fr);
-    // Find the index of the last non-zero field
-    let lastNonZeroIndex = array.length - 1;
-    while(lastNonZeroIndex >= 0 && array[lastNonZeroIndex].isZero()){
-        lastNonZeroIndex--;
+    const numFieldsWithoutPrefix = Number(numFields) - 1;
+    const blobFields = [
+        firstField
+    ].concat(reader.readArray(numFieldsWithoutPrefix, Fr));
+    if (checkEncoding && !checkBlobFieldsEncoding(blobFields)) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields, this blob was likely not created by us`);
     }
-    // Return the trimmed array
-    return array.slice(0, lastNonZeroIndex + 1);
+    return blobFields;
 }

package/dest/encoding.d.ts

@@ -18,4 +18,9 @@ export declare function isValidTxStartMarker(txStartMarker: TxStartMarker): bool
 export declare function createBlockEndMarker(numTxs: number): Fr;
 export declare function getNumTxsFromBlockEndMarker(field: Fr): number;
 export declare function isBlockEndMarker(field: Fr): boolean;
+/**
+ * Check that the fields are emitted from the circuits and conform to the encoding.
+ * @param blobFields - The concatenated fields from all blobs of an L1 block.
+ */
+export declare function checkBlobFieldsEncoding(blobFields: Fr[]): boolean;
 //# sourceMappingURL=encoding.d.ts.map

package/dest/encoding.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"encoding.d.ts","sourceRoot":"","sources":["../src/encoding.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAY9C,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAGD,wBAAgB,mBAAmB,CAAC,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,QAAQ,CAAC,MAqB/E;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,EAAE,GAAG,aAAa,CAmC5D;AAED,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,EAAE,UAE1D;AAED,wBAAgB,oBAAoB,CAAC,aAAa,EAAE,aAAa,WAEhE;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,MAGlD;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,EAAE,UAEpD;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,EAAE,WAIzC"}
+{"version":3,"file":"encoding.d.ts","sourceRoot":"","sources":["../src/encoding.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAa9C,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,gBAAgB,EAAE,MAAM,CAAC;IACzB,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAGD,wBAAgB,mBAAmB,CAAC,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,QAAQ,CAAC,MAqB/E;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,EAAE,GAAG,aAAa,CAmC5D;AAED,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,EAAE,UAE1D;AAED,wBAAgB,oBAAoB,CAAC,aAAa,EAAE,aAAa,WAEhE;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,MAGlD;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,EAAE,UAEpD;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,EAAE,WAIzC;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,EAAE,EAAE,WAsCvD"}

package/dest/encoding.js

@@ -1,5 +1,6 @@
 import { BLOCK_END_PREFIX, TX_START_PREFIX } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
+import { FieldReader } from '@aztec/foundation/serialize';
 const NUM_BLOB_FIELDS_BIT_SIZE = 32n;
 const REVERT_CODE_BIT_SIZE = 8n;
 const NUM_NOTE_HASH_BIT_SIZE = 16n;
@@ -86,3 +87,37 @@ export function isBlockEndMarker(field) {
     const numTxs = value & 0xffffn;
     return value - numTxs === BLOCK_END_PREFIX * 256n * 256n;
 }
+/**
+ * Check that the fields are emitted from the circuits and conform to the encoding.
+ * @param blobFields - The concatenated fields from all blobs of an L1 block.
+ */ export function checkBlobFieldsEncoding(blobFields) {
+    const reader = FieldReader.asReader(blobFields);
+    const checkpointPrefix = reader.readField();
+    if (checkpointPrefix.toBigInt() !== BigInt(blobFields.length)) {
+        return false;
+    }
+    const numFieldsInCheckpoint = checkpointPrefix.toNumber();
+    let seenNumTxs = 0;
+    while(reader.cursor < numFieldsInCheckpoint){
+        const currentField = reader.readField();
+        if (isBlockEndMarker(currentField)) {
+            // Found a block end marker. Confirm that the number of txs in this block is correct.
+            const numTxs = getNumTxsFromBlockEndMarker(currentField);
+            if (numTxs !== seenNumTxs) {
+                return false;
+            }
+            seenNumTxs = 0;
+            continue;
+        }
+        // If the field is not a block end marker, it must be a tx start marker.
+        const txStartMarker = decodeTxStartMarker(currentField);
+        if (!isValidTxStartMarker(txStartMarker)) {
+            return false;
+        }
+        seenNumTxs += 1;
+        // Skip the remaining fields in this tx. -1 because we already read the tx start marker.
+        reader.skip(txStartMarker.numBlobFields - 1);
+    // TODO: Check the encoding of the tx if we want to be more strict.
+    }
+    return true;
+}

package/dest/hash.d.ts

@@ -0,0 +1,35 @@
+import { BLS12Fr, Fr } from '@aztec/foundation/fields';
+/**
+ * Returns ethereum's versioned blob hash, following kzg_to_versioned_hash: https://eips.ethereum.org/EIPS/eip-4844#helpers
+ */
+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.
+ */
+export declare function computeBlobFieldsHash(fields: Fr[]): Promise<Fr>;
+export declare function computeBlobCommitment(data: Uint8Array): Buffer;
+/**
+ * Get the commitment fields of the blob, to compute the challenge z.
+ *
+ * The 48-byte commitment is encoded into two field elements:
+ * +-------------------+------------------------+
+ * |      31 bytes     |         17 bytes       |
+ * +-------------------+------------------------+
+ * |  Field Element 1  |     Field Element 2    |
+ * |  [0][bytes 0-30]  |  [0...0][bytes 31-47]  |
+ * +-------------------+------------------------+
+ *
+ * @param commitment - The commitment to convert to fields. Computed from `computeBlobCommitment`.
+ * @returns The fields representing the commitment buffer.
+ */
+export declare function commitmentToFields(commitment: Buffer): [Fr, Fr];
+export declare function computeChallengeZ(blobFieldsHash: Fr, commitment: Buffer): Promise<Fr>;
+/**
+ * Hash each u128 limb of the noir bignum struct representing the BLS field, to mimic the hash accumulation in the
+ * rollup circuits.
+ */
+export declare function hashNoirBigNumLimbs(field: BLS12Fr): Promise<Fr>;
+//# sourceMappingURL=hash.d.ts.map

package/dest/hash.d.ts.map

@@ -0,0 +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"}

package/dest/hash.js

@@ -0,0 +1,69 @@
+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';
+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
+ */ export function computeEthVersionedBlobHash(commitment) {
+    const hash = sha256(commitment);
+    hash[0] = VERSIONED_HASH_VERSION_KZG;
+    return hash;
+}
+// TODO(#13430): The blobsHash is confusingly similar to blobCommitmentsHash, calculated from below blobCommitments:
+// - blobsHash := sha256([blobhash_0, ..., blobhash_m]) = a hash of all blob hashes in a block with m+1 blobs inserted into the header, exists so a user can cross check blobs.
+// - blobCommitmentsHash := sha256( ...sha256(sha256(C_0), C_1) ... C_n) = iteratively calculated hash of all blob commitments in an epoch with n+1 blobs (see calculateBlobCommitmentsHash()),
+//   exists so we can validate injected commitments to the rollup circuits correspond to the correct real blobs.
+// We may be able to combine these values e.g. blobCommitmentsHash := sha256( ...sha256(sha256(blobshash_0), blobshash_1) ... blobshash_l) for an epoch with l+1 blocks.
+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.
+ */ export async function computeBlobFieldsHash(fields) {
+    return await poseidon2Hash(fields);
+}
+export function computeBlobCommitment(data) {
+    if (data.length !== BYTES_PER_BLOB) {
+        throw new Error(`Expected ${BYTES_PER_BLOB} bytes per blob. Got ${data.length}.`);
+    }
+    return Buffer.from(kzg.blobToKzgCommitment(data));
+}
+/**
+ * Get the commitment fields of the blob, to compute the challenge z.
+ *
+ * The 48-byte commitment is encoded into two field elements:
+ * +-------------------+------------------------+
+ * |      31 bytes     |         17 bytes       |
+ * +-------------------+------------------------+
+ * |  Field Element 1  |     Field Element 2    |
+ * |  [0][bytes 0-30]  |  [0...0][bytes 31-47]  |
+ * +-------------------+------------------------+
+ *
+ * @param commitment - The commitment to convert to fields. Computed from `computeBlobCommitment`.
+ * @returns The fields representing the commitment buffer.
+ */ export function commitmentToFields(commitment) {
+    if (commitment.length !== BYTES_PER_COMMITMENT) {
+        throw new Error(`Expected ${BYTES_PER_COMMITMENT} bytes for blob commitment. Got ${commitment.length}.`);
+    }
+    return [
+        new Fr(commitment.subarray(0, 31)),
+        new Fr(commitment.subarray(31, BYTES_PER_COMMITMENT))
+    ];
+}
+export async function computeChallengeZ(blobFieldsHash, commitment) {
+    const commitmentFields = commitmentToFields(commitment);
+    return await poseidon2Hash([
+        blobFieldsHash,
+        commitmentFields[0],
+        commitmentFields[1]
+    ]);
+}
+/**
+ * Hash each u128 limb of the noir bignum struct representing the BLS field, to mimic the hash accumulation in the
+ * rollup circuits.
+ */ export async function hashNoirBigNumLimbs(field) {
+    const num = field.toNoirBigNum();
+    return await poseidon2Hash(num.limbs.map(Fr.fromHexString));
+}

package/dest/index.d.ts

@@ -1,9 +1,11 @@
 export * from './blob.js';
 export * from './blob_batching.js';
+export * from './blob_utils.js';
+export * from './circuit_types/index.js';
 export * from './deserialize.js';
 export * from './encoding.js';
-export * from './interface.js';
 export * from './errors.js';
-export * from './blob_batching_public_inputs.js';
+export * from './hash.js';
+export * from './interface.js';
 export * from './sponge_blob.js';
 //# sourceMappingURL=index.d.ts.map

package/dest/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,oBAAoB,CAAC;AACnC,cAAc,kBAAkB,CAAC;AACjC,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,kCAAkC,CAAC;AACjD,cAAc,kBAAkB,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,WAAW,CAAC;AAC1B,cAAc,oBAAoB,CAAC;AACnC,cAAc,iBAAiB,CAAC;AAChC,cAAc,0BAA0B,CAAC;AACzC,cAAc,kBAAkB,CAAC;AACjC,cAAc,eAAe,CAAC;AAC9B,cAAc,aAAa,CAAC;AAC5B,cAAc,WAAW,CAAC;AAC1B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,kBAAkB,CAAC"}

package/dest/index.js

@@ -1,8 +1,10 @@
 export * from './blob.js';
 export * from './blob_batching.js';
+export * from './blob_utils.js';
+export * from './circuit_types/index.js';
 export * from './deserialize.js';
 export * from './encoding.js';
-export * from './interface.js';
 export * from './errors.js';
-export * from './blob_batching_public_inputs.js';
+export * from './hash.js';
+export * from './interface.js';
 export * from './sponge_blob.js';

package/dest/sponge_blob.d.ts

@@ -2,23 +2,23 @@ import { type FieldsOf } from '@aztec/foundation/array';
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, FieldReader, type Tuple } from '@aztec/foundation/serialize';
 /**
- * A Poseidon2 sponge used to accumulate data that will be added to a blob.
+ * A Poseidon2 sponge used to accumulate data that will be added to blobs.
  * See noir-projects/noir-protocol-circuits/crates/types/src/abis/sponge_blob.nr.
  */
 export declare class SpongeBlob {
-    /** Sponge with absorbed tx effects that will go into a blob. */
+    /** Sponge with absorbed fields that will go into one or more blobs. */
     readonly sponge: Poseidon2Sponge;
     /** Number of effects absorbed so far. */
-    fields: number;
+    numAbsorbedFields: number;
     /** Number of effects that will be absorbed. */
-    readonly expectedFields: number;
+    readonly numExpectedFields: number;
     constructor(
-    /** Sponge with absorbed tx effects that will go into a blob. */
+    /** Sponge with absorbed fields that will go into one or more blobs. */
     sponge: Poseidon2Sponge, 
     /** Number of effects absorbed so far. */
-    fields: number, 
+    numAbsorbedFields: number, 
     /** Number of effects that will be absorbed. */
-    expectedFields: number);
+    numExpectedFields: number);
     static fromBuffer(buffer: Buffer | BufferReader): SpongeBlob;
     toBuffer(): Buffer<ArrayBufferLike>;
     static getFields(fields: FieldsOf<SpongeBlob>): (number | Poseidon2Sponge)[];
@@ -28,7 +28,11 @@ export declare class SpongeBlob {
     absorb(fields: Fr[]): Promise<void>;
     squeeze(): Promise<Fr>;
     static empty(): SpongeBlob;
-    static init(expectedFields: number): 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>;
@@ -42,7 +46,7 @@ export declare class Poseidon2Sponge {
     toFields(): Fr[];
     static fromFields(fields: Fr[] | FieldReader): Poseidon2Sponge;
     static empty(): Poseidon2Sponge;
-    static init(expectedFields: number): Poseidon2Sponge;
+    static init(numExpectedFields: number): 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":"AAAA,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,gEAAgE;aAChD,MAAM,EAAE,eAAe;IACvC,yCAAyC;IAClC,MAAM,EAAE,MAAM;IACrB,+CAA+C;aAC/B,cAAc,EAAE,MAAM;;IALtC,gEAAgE;IAChD,MAAM,EAAE,eAAe;IACvC,yCAAyC;IAClC,MAAM,EAAE,MAAM;IACrB,+CAA+C;IAC/B,cAAc,EAAE,MAAM;IAGxC,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,MAAM,CAAC,IAAI,CAAC,cAAc,EAAE,MAAM,GAAG,UAAU;CAGhD;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,cAAc,EAAE,MAAM,GAAG,eAAe;IAU9C,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;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"}

package/dest/sponge_blob.js

@@ -1,31 +1,32 @@
+import { TWO_POW_64 } from '@aztec/constants';
 import { makeTuple } from '@aztec/foundation/array';
 import { poseidon2Permutation } from '@aztec/foundation/crypto';
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
 /**
- * A Poseidon2 sponge used to accumulate data that will be added to a blob.
+ * A Poseidon2 sponge used to accumulate data that will be added to blobs.
  * See noir-projects/noir-protocol-circuits/crates/types/src/abis/sponge_blob.nr.
  */ export class SpongeBlob {
     sponge;
-    fields;
-    expectedFields;
-    constructor(/** Sponge with absorbed tx effects that will go into a blob. */ sponge, /** Number of effects absorbed so far. */ fields, /** Number of effects that will be absorbed. */ expectedFields){
+    numAbsorbedFields;
+    numExpectedFields;
+    constructor(/** Sponge with absorbed fields that will go into one or more blobs. */ sponge, /** Number of effects absorbed so far. */ numAbsorbedFields, /** Number of effects that will be absorbed. */ numExpectedFields){
         this.sponge = sponge;
-        this.fields = fields;
-        this.expectedFields = expectedFields;
+        this.numAbsorbedFields = numAbsorbedFields;
+        this.numExpectedFields = numExpectedFields;
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
         return new SpongeBlob(reader.readObject(Poseidon2Sponge), reader.readNumber(), reader.readNumber());
     }
     toBuffer() {
-        return serializeToBuffer(this.sponge, this.fields, this.expectedFields);
+        return serializeToBuffer(...SpongeBlob.getFields(this));
     }
     static getFields(fields) {
         return [
             fields.sponge,
-            fields.fields,
-            fields.expectedFields
+            fields.numAbsorbedFields,
+            fields.numExpectedFields
         ];
     }
     toFields() {
@@ -39,16 +40,16 @@ import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from
         return SpongeBlob.fromBuffer(this.toBuffer());
     }
     async absorb(fields) {
-        if (this.fields + fields.length > this.expectedFields) {
-            throw new Error(`Attempted to fill spongeblob with ${this.fields + fields.length}, but it has a max of ${this.expectedFields}`);
+        if (this.numAbsorbedFields + fields.length > this.numExpectedFields) {
+            throw new Error(`Attempted to fill spongeBlob with ${this.numAbsorbedFields + fields.length}, but it has a max of ${this.numExpectedFields}`);
         }
         await this.sponge.absorb(fields);
-        this.fields += fields.length;
+        this.numAbsorbedFields += fields.length;
     }
     async squeeze() {
         // If the blob sponge is not 'full', we append 1 to match Poseidon2::hash_internal()
         // NB: There is currently no use case in which we don't 'fill' a blob sponge, but adding for completeness
-        if (this.fields != this.expectedFields) {
+        if (this.numAbsorbedFields != this.numExpectedFields) {
             await this.sponge.absorb([
                 Fr.ONE
             ]);
@@ -58,8 +59,18 @@ import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from
     static empty() {
         return new SpongeBlob(Poseidon2Sponge.empty(), 0, 0);
     }
-    static init(expectedFields) {
-        return new SpongeBlob(Poseidon2Sponge.init(expectedFields), 0, expectedFields);
+    /**
+   * 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 async init(numExpectedFields) {
+        // This must match what the checkpoint root rollup circuit expects.
+        // See noir-projects/noir-protocol-circuits/types/src/abis/sponge_blob.nr -> init_for_checkpoint.
+        const sponge = Poseidon2Sponge.init(numExpectedFields);
+        await sponge.absorb([
+            new Fr(numExpectedFields)
+        ]);
+        const numAbsorbedFields = 1;
+        return new SpongeBlob(sponge, numAbsorbedFields, numExpectedFields);
     }
 }
 // This is just noir's stdlib version of the poseidon2 sponge. We use it for a blob-specific implmentation of the hasher.
@@ -99,8 +110,8 @@ export class Poseidon2Sponge {
     static empty() {
         return new Poseidon2Sponge(makeTuple(3, ()=>Fr.ZERO), makeTuple(4, ()=>Fr.ZERO), 0, false);
     }
-    static init(expectedFields) {
-        const iv = new Fr(expectedFields).mul(new Fr(BigInt('18446744073709551616')));
+    static init(numExpectedFields) {
+        const iv = new Fr(numExpectedFields).mul(new Fr(TWO_POW_64));
         const sponge = Poseidon2Sponge.empty();
         sponge.state[3] = iv;
         return sponge;

package/dest/testing.d.ts

@@ -1,3 +1,4 @@
+import { Fr } from '@aztec/foundation/fields';
 import { Blob } from './blob.js';
 import { BatchedBlobAccumulator } from './blob_batching.js';
 import { SpongeBlob } from './sponge_blob.js';
@@ -15,6 +16,9 @@ export declare function makeSpongeBlob(seed?: number): SpongeBlob;
  * @returns A blob accumulator instance.
  */
 export declare function makeBatchedBlobAccumulator(seed?: number): BatchedBlobAccumulator;
+export declare function makeEncodedTxBlobFields(length: number): Fr[];
+export declare function makeEncodedBlockBlobFields(...lengths: number[]): Fr[];
+export declare function makeEncodedBlobFields(length: number): Fr[];
 /**
  * Make an encoded blob with the given length
  *
@@ -22,7 +26,8 @@ export declare function makeBatchedBlobAccumulator(seed?: number): BatchedBlobAc
  * @param length
  * @returns
  */
-export declare function makeEncodedBlob(length: number): Promise<Blob>;
+export declare function makeEncodedBlob(length: number): Blob;
+export declare function makeEncodedBlobs(length: number): Blob[];
 /**
  * Make a blob with random fields.
  *
@@ -30,5 +35,5 @@ export declare function makeEncodedBlob(length: number): Promise<Blob>;
  * @param length
  * @returns
  */
-export declare function makeRandomBlob(length: number): Promise<Blob>;
+export declare function makeRandomBlob(length: number): Blob;
 //# sourceMappingURL=testing.d.ts.map

package/dest/testing.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAA+B,MAAM,oBAAoB,CAAC;AAEzF,OAAO,EAAmB,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE/D;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,SAAI,GAAG,UAAU,CAWnD;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,SAAI,GAAG,sBAAsB,CAW3E;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAkB7D;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAE5D"}
+{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAGA,OAAO,EAAuB,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAAE,MAAM,oBAAoB,CAAC;AAI5D,OAAO,EAAmB,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE/D;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,SAAI,GAAG,UAAU,CAWnD;AAED;;;;;GAKG;AACH,wBAAgB,0BAA0B,CAAC,IAAI,SAAI,GAAG,sBAAsB,CAW3E;AAED,wBAAgB,uBAAuB,CAAC,MAAM,EAAE,MAAM,GAAG,EAAE,EAAE,CAoB5D;AAED,wBAAgB,0BAA0B,CAAC,GAAG,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,EAAE,CAMrE;AAGD,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,EAAE,EAAE,CAO1D;AAED;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAMpD;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,EAAE,CAGvD;AAED;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAEnD"}