@aztec/blob-lib 0.76.4-devnet-test-rc3 → 0.77.0-testnet-ignition.17

package/dest/blob.d.ts

@@ -4,7 +4,7 @@ import { Fr } from '@aztec/foundation/fields';
 import { BufferReader } from '@aztec/foundation/serialize';
 import cKzg from 'c-kzg';
 import type { Blob as BlobBuffer } from 'c-kzg';
-import { type BlobJson } from './interface.js';
+import type { BlobJson } from './interface.js';
 export declare const VERSIONED_HASH_VERSION_KZG = 1;
 /**
  * A class to create, manage, and prove EVM blobs.

package/dest/blob.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"blob.d.ts","sourceRoot":"","sources":["../src/blob.ts"],"names":[],"mappings":";;AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,IAAI,MAAM,OAAO,CAAC;AACzB,OAAO,KAAK,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,OAAO,CAAC;AAIhD,OAAO,EAAE,KAAK,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAM/C,eAAO,MAAM,0BAA0B,IAAO,CAAC;AAE/C;;GAEG;AACH,qBAAa,IAAI;IAEb,oDAAoD;aACpC,IAAI,EAAE,UAAU;IAChC,6IAA6I;aAC7H,UAAU,EAAE,EAAE;IAC9B,sFAAsF;aACtE,UAAU,EAAE,EAAE;IAC9B,sHAAsH;aACtG,WAAW,EAAE,MAAM;IACnC,kFAAkF;aAClE,UAAU,EAAE,MAAM;IAClC,iIAAiI;aACjH,KAAK,EAAE,MAAM;;IAX7B,oDAAoD;IACpC,IAAI,EAAE,UAAU;IAChC,6IAA6I;IAC7H,UAAU,EAAE,EAAE;IAC9B,sFAAsF;IACtE,UAAU,EAAE,EAAE;IAC9B,sHAAsH;IACtG,WAAW,EAAE,MAAM;IACnC,kFAAkF;IAClE,UAAU,EAAE,MAAM;IAClC,iIAAiI;IACjH,KAAK,EAAE,MAAM;IAG/B;;;;;;;;;;;;OAYG;IACH,MAAM,CAAC,qBAAqB,CAAC,IAAI,EAAE,UAAU,EAAE,mBAAmB,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAWvF;;;;;;OAMG;WACU,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,mBAAmB,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAuB9E;;;;;;;;;;;OAWG;WACU,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAepD;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,QAAQ;IAWhC;;;;;;OAMG;IACH,QAAQ,IAAI,EAAE,EAAE;IAIhB;;;;;;;;OAQG;IACH,eAAe,IAAI,EAAE,EAAE;IAUvB;;;;;;OAMG;IACH,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;IAU3C;;;;;;;;;;;OAWG;IACH,kBAAkB,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;IAK9B,uBAAuB,IAAI,MAAM;IAMjC,MAAM,CAAC,uBAAuB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM;IAM1D;;;;;;OAMG;IACH,QAAQ,IAAI,MAAM;IAiBlB;;;;;;;OAOG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI;IAYnD;;OAEG;IACH,OAAO;IAIP;;;;;;;;;;OAUG;IACH,0BAA0B,IAAI,KAAK,MAAM,EAAE;IAW3C,MAAM,CAAC,0BAA0B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,MAAM,EAAE;IAmB/D,MAAM,CAAC,kBAAkB;;;;WASZ,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;CAUrD"}
+{"version":3,"file":"blob.d.ts","sourceRoot":"","sources":["../src/blob.ts"],"names":[],"mappings":";;AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,IAAI,MAAM,OAAO,CAAC;AACzB,OAAO,KAAK,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,OAAO,CAAC;AAIhD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAM/C,eAAO,MAAM,0BAA0B,IAAO,CAAC;AAE/C;;GAEG;AACH,qBAAa,IAAI;IAEb,oDAAoD;aACpC,IAAI,EAAE,UAAU;IAChC,6IAA6I;aAC7H,UAAU,EAAE,EAAE;IAC9B,sFAAsF;aACtE,UAAU,EAAE,EAAE;IAC9B,sHAAsH;aACtG,WAAW,EAAE,MAAM;IACnC,kFAAkF;aAClE,UAAU,EAAE,MAAM;IAClC,iIAAiI;aACjH,KAAK,EAAE,MAAM;;IAX7B,oDAAoD;IACpC,IAAI,EAAE,UAAU;IAChC,6IAA6I;IAC7H,UAAU,EAAE,EAAE;IAC9B,sFAAsF;IACtE,UAAU,EAAE,EAAE;IAC9B,sHAAsH;IACtG,WAAW,EAAE,MAAM;IACnC,kFAAkF;IAClE,UAAU,EAAE,MAAM;IAClC,iIAAiI;IACjH,KAAK,EAAE,MAAM;IAG/B;;;;;;;;;;;;OAYG;IACH,MAAM,CAAC,qBAAqB,CAAC,IAAI,EAAE,UAAU,EAAE,mBAAmB,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAWvF;;;;;;OAMG;WACU,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,mBAAmB,CAAC,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAuB9E;;;;;;;;;;;OAWG;WACU,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAepD;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,CAAC,EAAE,MAAM,GAAG,QAAQ;IAWhC;;;;;;OAMG;IACH,QAAQ,IAAI,EAAE,EAAE;IAIhB;;;;;;;;OAQG;IACH,eAAe,IAAI,EAAE,EAAE;IAUvB;;;;;;OAMG;IACH,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE;IAU3C;;;;;;;;;;;OAWG;IACH,kBAAkB,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC;IAK9B,uBAAuB,IAAI,MAAM;IAMjC,MAAM,CAAC,uBAAuB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM;IAM1D;;;;;;OAMG;IACH,QAAQ,IAAI,MAAM;IAiBlB;;;;;;;OAOG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI;IAYnD;;OAEG;IACH,OAAO;IAIP;;;;;;;;;;OAUG;IACH,0BAA0B,IAAI,KAAK,MAAM,EAAE;IAW3C,MAAM,CAAC,0BAA0B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,MAAM,EAAE;IAmB/D,MAAM,CAAC,kBAAkB;;;;WASZ,QAAQ,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;CAUrD"}

package/dest/blob.js

@@ -5,27 +5,19 @@ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import cKzg from 'c-kzg';
 import { deserializeEncodedBlobToFields, extractBlobFieldsFromBuffer } from './encoding.js';
 import { BlobDeserializationError } from './errors.js';
-/* eslint-disable import/no-named-as-default-member */
-const { BYTES_PER_BLOB, FIELD_ELEMENTS_PER_BLOB, blobToKzgCommitment, computeKzgProof, verifyKzgProof } = cKzg;
+/* eslint-disable import/no-named-as-default-member */ const { BYTES_PER_BLOB, FIELD_ELEMENTS_PER_BLOB, blobToKzgCommitment, computeKzgProof, verifyKzgProof } = cKzg;
 // The prefix to the EVM blobHash, defined here: https://eips.ethereum.org/EIPS/eip-4844#specification
 export const VERSIONED_HASH_VERSION_KZG = 0x01;
 /**
  * A class to create, manage, and prove EVM blobs.
- */
-export class Blob {
-    constructor(
-    /** The blob to be broadcast on L1 in bytes form. */
-    data, 
-    /** The hash of all tx effects inside the blob. Used in generating the challenge z and proving that we have included all required effects. */
-    fieldsHash, 
-    /** Challenge point z (= H(H(tx_effects), kzgCommmitment). Used such that p(z) = y. */
-    challengeZ, 
-    /** Evaluation y = p(z), where p() is the blob polynomial. BLS12 field element, rep. as BigNum in nr, bigint in ts. */
-    evaluationY, 
-    /** Commitment to the blob C. Used in compressed BLS12 point format (48 bytes). */
-    commitment, 
-    /** KZG opening proof for y = p(z). The commitment to quotient polynomial Q, used in compressed BLS12 point format (48 bytes). */
-    proof) {
+ */ export class Blob {
+    data;
+    fieldsHash;
+    challengeZ;
+    evaluationY;
+    commitment;
+    proof;
+    constructor(/** The blob to be broadcast on L1 in bytes form. */ data, /** The hash of all tx effects inside the blob. Used in generating the challenge z and proving that we have included all required effects. */ fieldsHash, /** Challenge point z (= H(H(tx_effects), kzgCommmitment). Used such that p(z) = y. */ challengeZ, /** Evaluation y = p(z), where p() is the blob polynomial. BLS12 field element, rep. as BigNum in nr, bigint in ts. */ evaluationY, /** Commitment to the blob C. Used in compressed BLS12 point format (48 bytes). */ commitment, /** KZG opening proof for y = p(z). The commitment to quotient polynomial Q, used in compressed BLS12 point format (48 bytes). */ proof){
         this.data = data;
         this.fieldsHash = fieldsHash;
         this.challengeZ = challengeZ;
@@ -34,43 +26,45 @@ export class Blob {
         this.proof = proof;
     }
     /**
-     * The encoded version of the blob will determine the end of the blob based on the transaction encoding.
-     * This is required when the fieldsHash of a blob will contain trailing zeros.
-     *
-     * See `./encoding.ts` for more details.
-     *
-     * This method is used to create a Blob from a buffer.
-     * @param blob - The buffer to create the Blob from.
-     * @param multiBlobFieldsHash - The fields hash to use for the Blob.
-     * @returns A Blob created from the buffer.
-     *
-     * @throws If unable to deserialize the blob.
-     */
-    static fromEncodedBlobBuffer(blob, multiBlobFieldsHash) {
+   * The encoded version of the blob will determine the end of the blob based on the transaction encoding.
+   * This is required when the fieldsHash of a blob will contain trailing zeros.
+   *
+   * See `./encoding.ts` for more details.
+   *
+   * This method is used to create a Blob from a buffer.
+   * @param blob - The buffer to create the Blob from.
+   * @param multiBlobFieldsHash - The fields hash to use for the Blob.
+   * @returns A Blob created from the buffer.
+   *
+   * @throws If unable to deserialize the blob.
+   */ static fromEncodedBlobBuffer(blob, multiBlobFieldsHash) {
         try {
             const fields = deserializeEncodedBlobToFields(blob);
             return Blob.fromFields(fields, multiBlobFieldsHash);
-        }
-        catch (err) {
+        } catch (err) {
             throw new BlobDeserializationError(`Failed to create Blob from encoded blob buffer, this blob was likely not created by us`);
         }
     }
     /**
-     * Create a Blob from an array of fields.
-     *
-     * @param fields - The array of fields to create the Blob from.
-     * @param multiBlobFieldsHash - The fields hash to use for the Blob.
-     * @returns A Blob created from the array of fields.
-     */
-    static async fromFields(fields, multiBlobFieldsHash) {
+   * Create a Blob from an array of fields.
+   *
+   * @param fields - The array of fields to create the Blob from.
+   * @param multiBlobFieldsHash - The fields hash to use for the Blob.
+   * @returns A Blob created from the array of fields.
+   */ static async fromFields(fields, multiBlobFieldsHash) {
         if (fields.length > FIELD_ELEMENTS_PER_BLOB) {
             throw new Error(`Attempted to overfill blob with ${fields.length} elements. The maximum is ${FIELD_ELEMENTS_PER_BLOB}`);
         }
-        const data = Buffer.concat([serializeToBuffer(fields)], BYTES_PER_BLOB);
+        const data = Buffer.concat([
+            serializeToBuffer(fields)
+        ], BYTES_PER_BLOB);
         // This matches the output of SpongeBlob.squeeze() in the blob circuit
         const fieldsHash = multiBlobFieldsHash ? multiBlobFieldsHash : await poseidon2Hash(fields);
         const commitment = Buffer.from(blobToKzgCommitment(data));
-        const challengeZ = await poseidon2Hash([fieldsHash, ...commitmentToFields(commitment)]);
+        const challengeZ = await poseidon2Hash([
+            fieldsHash,
+            ...commitmentToFields(commitment)
+        ]);
         const res = computeKzgProof(data, challengeZ.toBuffer());
         if (!verifyKzgProof(commitment, challengeZ.toBuffer(), res[1], res[0])) {
             throw new Error(`KZG proof did not verify.`);
@@ -80,18 +74,17 @@ export class Blob {
         return new Blob(data, fieldsHash, challengeZ, evaluationY, commitment, proof);
     }
     /**
-     * Create a Blob from a JSON object.
-     *
-     * Blobs will be in this form when requested from the blob sink, or from
-     * the beacon chain via `getBlobSidecars`
-     * https://ethereum.github.io/beacon-APIs/?urls.primaryName=dev#/Beacon/getBlobSidecars
-     *
-     * @dev WARNING: by default json deals with encoded buffers
-     *
-     * @param json - The JSON object to create the Blob from.
-     * @returns A Blob created from the JSON object.
-     */
-    static async fromJson(json) {
+   * Create a Blob from a JSON object.
+   *
+   * Blobs will be in this form when requested from the blob sink, or from
+   * the beacon chain via `getBlobSidecars`
+   * https://ethereum.github.io/beacon-APIs/?urls.primaryName=dev#/Beacon/getBlobSidecars
+   *
+   * @dev WARNING: by default json deals with encoded buffers
+   *
+   * @param json - The JSON object to create the Blob from.
+   * @returns A Blob created from the JSON object.
+   */ static async fromJson(json) {
         const blobBuffer = Buffer.from(json.blob.slice(2), 'hex');
         const blob = await Blob.fromEncodedBlobBuffer(blobBuffer);
         if (blob.commitment.toString('hex') !== json.kzg_commitment.slice(2)) {
@@ -102,77 +95,70 @@ export class Blob {
         return blob;
     }
     /**
-     * Get the JSON representation of the blob.
-     *
-     * @dev WARNING: by default json deals with encoded buffers
-     * @param index - optional - The index of the blob in the block.
-     * @returns The JSON representation of the blob.
-     */
-    toJson(index) {
+   * Get the JSON representation of the blob.
+   *
+   * @dev WARNING: by default json deals with encoded buffers
+   * @param index - optional - The index of the blob in the block.
+   * @returns The JSON representation of the blob.
+   */ toJson(index) {
         return {
             blob: `0x${Buffer.from(this.data).toString('hex')}`,
             index,
             // eslint-disable-next-line camelcase
             kzg_commitment: `0x${this.commitment.toString('hex')}`,
             // eslint-disable-next-line camelcase
-            kzg_proof: `0x${this.proof.toString('hex')}`,
+            kzg_proof: `0x${this.proof.toString('hex')}`
         };
     }
     /**
-     * Get the fields from the blob.
-     *
-     * @dev WARNING: this method does not take into account trailing zeros
-     *
-     * @returns The fields from the blob.
-     */
-    toFields() {
+   * Get the fields from the blob.
+   *
+   * @dev WARNING: this method does not take into account trailing zeros
+   *
+   * @returns The fields from the blob.
+   */ toFields() {
         return extractBlobFieldsFromBuffer(this.data);
     }
     /**
-     * Get the encoded fields from the blob.
-     *
-     * @dev This method takes into account trailing zeros
-     *
-     * @returns The encoded fields from the blob.
-     *
-     * @throws If unable to deserialize the blob.
-     */
-    toEncodedFields() {
+   * Get the encoded fields from the blob.
+   *
+   * @dev This method takes into account trailing zeros
+   *
+   * @returns The encoded fields from the blob.
+   *
+   * @throws If unable to deserialize the blob.
+   */ toEncodedFields() {
         try {
             return deserializeEncodedBlobToFields(this.data);
-        }
-        catch (err) {
+        } catch (err) {
             throw new BlobDeserializationError(`Failed to deserialize encoded blob fields, this blob was likely not created by us`);
         }
     }
     /**
-     * Get the encoded fields from multiple blobs.
-     *
-     * @dev This method takes into account trailing zeros
-     *
-     * @returns The encoded fields from the blobs.
-     */
-    static toEncodedFields(blobs) {
+   * Get the encoded fields from multiple blobs.
+   *
+   * @dev This method takes into account trailing zeros
+   *
+   * @returns The encoded fields from the blobs.
+   */ static toEncodedFields(blobs) {
         try {
-            return deserializeEncodedBlobToFields(Buffer.concat(blobs.map(b => b.data)));
-        }
-        catch (err) {
+            return deserializeEncodedBlobToFields(Buffer.concat(blobs.map((b)=>b.data)));
+        } catch (err) {
             throw new BlobDeserializationError(`Failed to deserialize encoded blob fields, this blob was likely not created by us`);
         }
     }
     /**
-     * Get the commitment fields from the blob.
-     *
-     * The 48-byte commitment is encoded into two field elements:
-     * +------------------+------------------+
-     * | Field Element 1  | Field Element 2  |
-     * | [bytes 0-31]     | [bytes 32-47]   |
-     * +------------------+------------------+
-     * |     32 bytes     |     16 bytes    |
-     * +------------------+------------------+
-     * @returns The commitment fields from the blob.
-     */
-    commitmentToFields() {
+   * Get the commitment fields from the blob.
+   *
+   * The 48-byte commitment is encoded into two field elements:
+   * +------------------+------------------+
+   * | Field Element 1  | Field Element 2  |
+   * | [bytes 0-31]     | [bytes 32-47]   |
+   * +------------------+------------------+
+   * |     32 bytes     |     16 bytes    |
+   * +------------------+------------------+
+   * @returns The commitment fields from the blob.
+   */ commitmentToFields() {
         return commitmentToFields(this.commitment);
     }
     // Returns ethereum's versioned blob hash, following kzg_to_versioned_hash: https://eips.ethereum.org/EIPS/eip-4844#helpers
@@ -187,76 +173,75 @@ export class Blob {
         return hash;
     }
     /**
-     * Get the buffer representation of the ENTIRE blob.
-     *
-     * @dev WARNING: this buffer contains all metadata aswell as the data itself
-     *
-     * @returns The buffer representation of the blob.
-     */
-    toBuffer() {
+   * Get the buffer representation of the ENTIRE blob.
+   *
+   * @dev WARNING: this buffer contains all metadata aswell as the data itself
+   *
+   * @returns The buffer representation of the blob.
+   */ toBuffer() {
         return Buffer.from(serializeToBuffer(this.data.length, this.data, this.fieldsHash, this.challengeZ, this.evaluationY.length, this.evaluationY, this.commitment.length, this.commitment, this.proof.length, this.proof));
     }
     /**
-     * Create a Blob from a buffer.
-     *
-     * @dev WARNING: this method contains all metadata aswell as the data itself
-     *
-     * @param buf - The buffer to create the Blob from.
-     * @returns A Blob created from the buffer.
-     */
-    static fromBuffer(buf) {
+   * Create a Blob from a buffer.
+   *
+   * @dev WARNING: this method contains all metadata aswell as the data itself
+   *
+   * @param buf - The buffer to create the Blob from.
+   * @returns A Blob created from the buffer.
+   */ static fromBuffer(buf) {
         const reader = BufferReader.asReader(buf);
         return new Blob(reader.readUint8Array(), reader.readObject(Fr), reader.readObject(Fr), reader.readBuffer(), reader.readBuffer(), reader.readBuffer());
     }
     /**
-     * Get the size of the blob in bytes
-     */
-    getSize() {
+   * Get the size of the blob in bytes
+   */ getSize() {
         return this.data.length;
     }
     /**
-     * Returns a proof of opening of the blob to verify on L1 using the point evaluation precompile:
-     *
-     * input[:32]     - versioned_hash
-     * input[32:64]   - z
-     * input[64:96]   - y
-     * input[96:144]  - commitment C
-     * input[144:192] - proof (a commitment to the quotient polynomial q(X))
-     *
-     * See https://eips.ethereum.org/EIPS/eip-4844#point-evaluation-precompile
-     */
-    getEthBlobEvaluationInputs() {
+   * Returns a proof of opening of the blob to verify on L1 using the point evaluation precompile:
+   *
+   * input[:32]     - versioned_hash
+   * input[32:64]   - z
+   * input[64:96]   - y
+   * input[96:144]  - commitment C
+   * input[144:192] - proof (a commitment to the quotient polynomial q(X))
+   *
+   * See https://eips.ethereum.org/EIPS/eip-4844#point-evaluation-precompile
+   */ getEthBlobEvaluationInputs() {
         const buf = Buffer.concat([
             this.getEthVersionedBlobHash(),
             this.challengeZ.toBuffer(),
             this.evaluationY,
             this.commitment,
-            this.proof,
+            this.proof
         ]);
         return `0x${buf.toString('hex')}`;
     }
     static getEthBlobEvaluationInputs(blobs) {
         let buf = Buffer.alloc(0);
-        blobs.forEach(blob => {
+        blobs.forEach((blob)=>{
             buf = Buffer.concat([
                 buf,
                 blob.getEthVersionedBlobHash(),
                 blob.challengeZ.toBuffer(),
                 blob.evaluationY,
                 blob.commitment,
-                blob.proof,
+                blob.proof
             ]);
         });
         // For multiple blobs, we prefix the number of blobs:
         const lenBuf = Buffer.alloc(1);
         lenBuf.writeUint8(blobs.length);
-        buf = Buffer.concat([lenBuf, buf]);
+        buf = Buffer.concat([
+            lenBuf,
+            buf
+        ]);
         return `0x${buf.toString('hex')}`;
     }
     static getViemKzgInstance() {
         return {
             blobToKzgCommitment: cKzg.blobToKzgCommitment,
-            computeBlobKzgProof: cKzg.computeBlobKzgProof,
+            computeBlobKzgProof: cKzg.computeBlobKzgProof
         };
     }
     // Returns as many blobs as we require to broadcast the given fields
@@ -265,7 +250,7 @@ export class Blob {
         const numBlobs = Math.max(Math.ceil(fields.length / FIELD_ELEMENTS_PER_BLOB), 1);
         const multiBlobFieldsHash = await poseidon2Hash(fields);
         const res = [];
-        for (let i = 0; i < numBlobs; i++) {
+        for(let i = 0; i < numBlobs; i++){
             const end = fields.length < (i + 1) * FIELD_ELEMENTS_PER_BLOB ? fields.length : (i + 1) * FIELD_ELEMENTS_PER_BLOB;
             res.push(await Blob.fromFields(fields.slice(i * FIELD_ELEMENTS_PER_BLOB, end), multiBlobFieldsHash));
         }
@@ -274,6 +259,8 @@ export class Blob {
 }
 // 48 bytes encoded in fields as [Fr, Fr] = [0->31, 31->48]
 function commitmentToFields(commitment) {
-    return [new Fr(commitment.subarray(0, 31)), new Fr(commitment.subarray(31, 48))];
+    return [
+        new Fr(commitment.subarray(0, 31)),
+        new Fr(commitment.subarray(31, 48))
+    ];
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYmxvYi5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uL3NyYy9ibG9iLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxhQUFhLEVBQUUsTUFBTSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFDakUsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzlDLE9BQU8sRUFBRSxZQUFZLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSw2QkFBNkIsQ0FBQztBQUU5RSxpR0FBaUc7QUFDakcsT0FBTyxJQUFJLE1BQU0sT0FBTyxDQUFDO0FBR3pCLE9BQU8sRUFBRSw4QkFBOEIsRUFBRSwyQkFBMkIsRUFBRSxNQUFNLGVBQWUsQ0FBQztBQUM1RixPQUFPLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSxhQUFhLENBQUM7QUFHdkQsc0RBQXNEO0FBQ3RELE1BQU0sRUFBRSxjQUFjLEVBQUUsdUJBQXVCLEVBQUUsbUJBQW1CLEVBQUUsZUFBZSxFQUFFLGNBQWMsRUFBRSxHQUFHLElBQUksQ0FBQztBQUUvRyxzR0FBc0c7QUFDdEcsTUFBTSxDQUFDLE1BQU0sMEJBQTBCLEdBQUcsSUFBSSxDQUFDO0FBRS9DOztHQUVHO0FBQ0gsTUFBTSxPQUFPLElBQUk7SUFDZjtJQUNFLG9EQUFvRDtJQUNwQyxJQUFnQjtJQUNoQyw2SUFBNkk7SUFDN0gsVUFBYztJQUM5QixzRkFBc0Y7SUFDdEUsVUFBYztJQUM5QixzSEFBc0g7SUFDdEcsV0FBbUI7SUFDbkMsa0ZBQWtGO0lBQ2xFLFVBQWtCO0lBQ2xDLGlJQUFpSTtJQUNqSCxLQUFhO1FBVmIsU0FBSSxHQUFKLElBQUksQ0FBWTtRQUVoQixlQUFVLEdBQVYsVUFBVSxDQUFJO1FBRWQsZUFBVSxHQUFWLFVBQVUsQ0FBSTtRQUVkLGdCQUFXLEdBQVgsV0FBVyxDQUFRO1FBRW5CLGVBQVUsR0FBVixVQUFVLENBQVE7UUFFbEIsVUFBSyxHQUFMLEtBQUssQ0FBUTtJQUM1QixDQUFDO0lBRUo7Ozs7Ozs7Ozs7OztPQVlHO0lBQ0gsTUFBTSxDQUFDLHFCQUFxQixDQUFDLElBQWdCLEVBQUUsbUJBQXdCO1FBQ3JFLElBQUksQ0FBQztZQUNILE1BQU0sTUFBTSxHQUFTLDhCQUE4QixDQUFDLElBQUksQ0FBQyxDQUFDO1lBQzFELE9BQU8sSUFBSSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsbUJBQW1CLENBQUMsQ0FBQztRQUN0RCxDQUFDO1FBQUMsT0FBTyxHQUFHLEVBQUUsQ0FBQztZQUNiLE1BQU0sSUFBSSx3QkFBd0IsQ0FDaEMsd0ZBQXdGLENBQ3pGLENBQUM7UUFDSixDQUFDO0lBQ0gsQ0FBQztJQUVEOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxLQUFLLENBQUMsVUFBVSxDQUFDLE1BQVksRUFBRSxtQkFBd0I7UUFDNUQsSUFBSSxNQUFNLENBQUMsTUFBTSxHQUFHLHVCQUF1QixFQUFFLENBQUM7WUFDNUMsTUFBTSxJQUFJLEtBQUssQ0FDYixtQ0FBbUMsTUFBTSxDQUFDLE1BQU0sNkJBQTZCLHVCQUF1QixFQUFFLENBQ3ZHLENBQUM7UUFDSixDQUFDO1FBRUQsTUFBTSxJQUFJLEdBQUcsTUFBTSxDQUFDLE1BQU0sQ0FBQyxDQUFDLGlCQUFpQixDQUFDLE1BQU0sQ0FBQyxDQUFDLEVBQUUsY0FBYyxDQUFDLENBQUM7UUFFeEUsc0VBQXNFO1FBQ3RFLE1BQU0sVUFBVSxHQUFHLG1CQUFtQixDQUFDLENBQUMsQ0FBQyxtQkFBbUIsQ0FBQyxDQUFDLENBQUMsTUFBTSxhQUFhLENBQUMsTUFBTSxDQUFDLENBQUM7UUFDM0YsTUFBTSxVQUFVLEdBQUcsTUFBTSxDQUFDLElBQUksQ0FBQyxtQkFBbUIsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDO1FBQzFELE1BQU0sVUFBVSxHQUFHLE1BQU0sYUFBYSxDQUFDLENBQUMsVUFBVSxFQUFFLEdBQUcsa0JBQWtCLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQ3hGLE1BQU0sR0FBRyxHQUFHLGVBQWUsQ0FBQyxJQUFJLEVBQUUsVUFBVSxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUM7UUFDekQsSUFBSSxDQUFDLGNBQWMsQ0FBQyxVQUFVLEVBQUUsVUFBVSxDQUFDLFFBQVEsRUFBRSxFQUFFLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO1lBQ3ZFLE1BQU0sSUFBSSxLQUFLLENBQUMsMkJBQTJCLENBQUMsQ0FBQztRQUMvQyxDQUFDO1FBQ0QsTUFBTSxLQUFLLEdBQUcsTUFBTSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQztRQUNsQyxNQUFNLFdBQVcsR0FBRyxNQUFNLENBQUMsSUFBSSxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBRXhDLE9BQU8sSUFBSSxJQUFJLENBQUMsSUFBSSxFQUFFLFVBQVUsRUFBRSxVQUFVLEVBQUUsV0FBVyxFQUFFLFVBQVUsRUFBRSxLQUFLLENBQUMsQ0FBQztJQUNoRixDQUFDO0lBRUQ7Ozs7Ozs7Ozs7O09BV0c7SUFDSCxNQUFNLENBQUMsS0FBSyxDQUFDLFFBQVEsQ0FBQyxJQUFjO1FBQ2xDLE1BQU0sVUFBVSxHQUFHLE1BQU0sQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFFMUQsTUFBTSxJQUFJLEdBQUcsTUFBTSxJQUFJLENBQUMscUJBQXFCLENBQUMsVUFBVSxDQUFDLENBQUM7UUFFMUQsSUFBSSxJQUFJLENBQUMsVUFBVSxDQUFDLFFBQVEsQ0FBQyxLQUFLLENBQUMsS0FBSyxJQUFJLENBQUMsY0FBYyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDO1lBQ3JFLE1BQU0sSUFBSSxLQUFLLENBQUMsK0JBQStCLENBQUMsQ0FBQztRQUNuRCxDQUFDO1FBRUQsZ0ZBQWdGO1FBQ2hGLHdCQUF3QjtRQUV4QixPQUFPLElBQUksQ0FBQztJQUNkLENBQUM7SUFFRDs7Ozs7O09BTUc7SUFDSCxNQUFNLENBQUMsS0FBYztRQUNuQixPQUFPO1lBQ0wsSUFBSSxFQUFFLEtBQUssTUFBTSxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsSUFBSSxDQUFDLENBQUMsUUFBUSxDQUFDLEtBQUssQ0FBQyxFQUFFO1lBQ25ELEtBQUs7WUFDTCxxQ0FBcUM7WUFDckMsY0FBYyxFQUFFLEtBQUssSUFBSSxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsS0FBSyxDQUFDLEVBQUU7WUFDdEQscUNBQXFDO1lBQ3JDLFNBQVMsRUFBRSxLQUFLLElBQUksQ0FBQyxLQUFLLENBQUMsUUFBUSxDQUFDLEtBQUssQ0FBQyxFQUFFO1NBQzdDLENBQUM7SUFDSixDQUFDO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsUUFBUTtRQUNOLE9BQU8sMkJBQTJCLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxDQUFDO0lBQ2hELENBQUM7SUFFRDs7Ozs7Ozs7T0FRRztJQUNILGVBQWU7UUFDYixJQUFJLENBQUM7WUFDSCxPQUFPLDhCQUE4QixDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUNuRCxDQUFDO1FBQUMsT0FBTyxHQUFHLEVBQUUsQ0FBQztZQUNiLE1BQU0sSUFBSSx3QkFBd0IsQ0FDaEMsbUZBQW1GLENBQ3BGLENBQUM7UUFDSixDQUFDO0lBQ0gsQ0FBQztJQUVEOzs7Ozs7T0FNRztJQUNILE1BQU0sQ0FBQyxlQUFlLENBQUMsS0FBYTtRQUNsQyxJQUFJLENBQUM7WUFDSCxPQUFPLDhCQUE4QixDQUFDLE1BQU0sQ0FBQyxNQUFNLENBQUMsS0FBSyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsRUFBRSxDQUFDLENBQUMsQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDLENBQUM7UUFDL0UsQ0FBQztRQUFDLE9BQU8sR0FBRyxFQUFFLENBQUM7WUFDYixNQUFNLElBQUksd0JBQXdCLENBQ2hDLG1GQUFtRixDQUNwRixDQUFDO1FBQ0osQ0FBQztJQUNILENBQUM7SUFFRDs7Ozs7Ozs7Ozs7T0FXRztJQUNILGtCQUFrQjtRQUNoQixPQUFPLGtCQUFrQixDQUFDLElBQUksQ0FBQyxVQUFVLENBQUMsQ0FBQztJQUM3QyxDQUFDO0lBRUQsMkhBQTJIO0lBQzNILHVCQUF1QjtRQUNyQixNQUFNLElBQUksR0FBRyxNQUFNLENBQUMsSUFBSSxDQUFDLFVBQVUsQ0FBQyxDQUFDO1FBQ3JDLElBQUksQ0FBQyxDQUFDLENBQUMsR0FBRywwQkFBMEIsQ0FBQztRQUNyQyxPQUFPLElBQUksQ0FBQztJQUNkLENBQUM7SUFFRCxNQUFNLENBQUMsdUJBQXVCLENBQUMsVUFBa0I7UUFDL0MsTUFBTSxJQUFJLEdBQUcsTUFBTSxDQUFDLFVBQVUsQ0FBQyxDQUFDO1FBQ2hDLElBQUksQ0FBQyxDQUFDLENBQUMsR0FBRywwQkFBMEIsQ0FBQztRQUNyQyxPQUFPLElBQUksQ0FBQztJQUNkLENBQUM7SUFFRDs7Ozs7O09BTUc7SUFDSCxRQUFRO1FBQ04sT0FBTyxNQUFNLENBQUMsSUFBSSxDQUNoQixpQkFBaUIsQ0FDZixJQUFJLENBQUMsSUFBSSxDQUFDLE1BQU0sRUFDaEIsSUFBSSxDQUFDLElBQUksRUFDVCxJQUFJLENBQUMsVUFBVSxFQUNmLElBQUksQ0FBQyxVQUFVLEVBQ2YsSUFBSSxDQUFDLFdBQVcsQ0FBQyxNQUFNLEVBQ3ZCLElBQUksQ0FBQyxXQUFXLEVBQ2hCLElBQUksQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUN0QixJQUFJLENBQUMsVUFBVSxFQUNmLElBQUksQ0FBQyxLQUFLLENBQUMsTUFBTSxFQUNqQixJQUFJLENBQUMsS0FBSyxDQUNYLENBQ0YsQ0FBQztJQUNKLENBQUM7SUFFRDs7Ozs7OztPQU9HO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUEwQjtRQUMxQyxNQUFNLE1BQU0sR0FBRyxZQUFZLENBQUMsUUFBUSxDQUFDLEdBQUcsQ0FBQyxDQUFDO1FBQzFDLE9BQU8sSUFBSSxJQUFJLENBQ2IsTUFBTSxDQUFDLGNBQWMsRUFBRSxFQUN2QixNQUFNLENBQUMsVUFBVSxDQUFDLEVBQUUsQ0FBQyxFQUNyQixNQUFNLENBQUMsVUFBVSxDQUFDLEVBQUUsQ0FBQyxFQUNyQixNQUFNLENBQUMsVUFBVSxFQUFFLEVBQ25CLE1BQU0sQ0FBQyxVQUFVLEVBQUUsRUFDbkIsTUFBTSxDQUFDLFVBQVUsRUFBRSxDQUNwQixDQUFDO0lBQ0osQ0FBQztJQUVEOztPQUVHO0lBQ0gsT0FBTztRQUNMLE9BQU8sSUFBSSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUM7SUFDMUIsQ0FBQztJQUVEOzs7Ozs7Ozs7O09BVUc7SUFDSCwwQkFBMEI7UUFDeEIsTUFBTSxHQUFHLEdBQUcsTUFBTSxDQUFDLE1BQU0sQ0FBQztZQUN4QixJQUFJLENBQUMsdUJBQXVCLEVBQUU7WUFDOUIsSUFBSSxDQUFDLFVBQVUsQ0FBQyxRQUFRLEVBQUU7WUFDMUIsSUFBSSxDQUFDLFdBQVc7WUFDaEIsSUFBSSxDQUFDLFVBQVU7WUFDZixJQUFJLENBQUMsS0FBSztTQUNYLENBQUMsQ0FBQztRQUNILE9BQU8sS0FBSyxHQUFHLENBQUMsUUFBUSxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUM7SUFDcEMsQ0FBQztJQUVELE1BQU0sQ0FBQywwQkFBMEIsQ0FBQyxLQUFhO1FBQzdDLElBQUksR0FBRyxHQUFHLE1BQU0sQ0FBQyxLQUFLLENBQUMsQ0FBQyxDQUFDLENBQUM7UUFDMUIsS0FBSyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsRUFBRTtZQUNuQixHQUFHLEdBQUcsTUFBTSxDQUFDLE1BQU0sQ0FBQztnQkFDbEIsR0FBRztnQkFDSCxJQUFJLENBQUMsdUJBQXVCLEVBQUU7Z0JBQzlCLElBQUksQ0FBQyxVQUFVLENBQUMsUUFBUSxFQUFFO2dCQUMxQixJQUFJLENBQUMsV0FBVztnQkFDaEIsSUFBSSxDQUFDLFVBQVU7Z0JBQ2YsSUFBSSxDQUFDLEtBQUs7YUFDWCxDQUFDLENBQUM7UUFDTCxDQUFDLENBQUMsQ0FBQztRQUNILHFEQUFxRDtRQUNyRCxNQUFNLE1BQU0sR0FBRyxNQUFNLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDO1FBQy9CLE1BQU0sQ0FBQyxVQUFVLENBQUMsS0FBSyxDQUFDLE1BQU0sQ0FBQyxDQUFDO1FBQ2hDLEdBQUcsR0FBRyxNQUFNLENBQUMsTUFBTSxDQUFDLENBQUMsTUFBTSxFQUFFLEdBQUcsQ0FBQyxDQUFDLENBQUM7UUFDbkMsT0FBTyxLQUFLLEdBQUcsQ0FBQyxRQUFRLENBQUMsS0FBSyxDQUFDLEVBQUUsQ0FBQztJQUNwQyxDQUFDO0lBRUQsTUFBTSxDQUFDLGtCQUFrQjtRQUN2QixPQUFPO1lBQ0wsbUJBQW1CLEVBQUUsSUFBSSxDQUFDLG1CQUFtQjtZQUM3QyxtQkFBbUIsRUFBRSxJQUFJLENBQUMsbUJBQW1CO1NBQzlDLENBQUM7SUFDSixDQUFDO0lBRUQsb0VBQW9FO0lBQ3BFLHFEQUFxRDtJQUNyRCxNQUFNLENBQUMsS0FBSyxDQUFDLFFBQVEsQ0FBQyxNQUFZO1FBQ2hDLE1BQU0sUUFBUSxHQUFHLElBQUksQ0FBQyxHQUFHLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxNQUFNLENBQUMsTUFBTSxHQUFHLHVCQUF1QixDQUFDLEVBQUUsQ0FBQyxDQUFDLENBQUM7UUFDakYsTUFBTSxtQkFBbUIsR0FBRyxNQUFNLGFBQWEsQ0FBQyxNQUFNLENBQUMsQ0FBQztRQUN4RCxNQUFNLEdBQUcsR0FBRyxFQUFFLENBQUM7UUFDZixLQUFLLElBQUksQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsUUFBUSxFQUFFLENBQUMsRUFBRSxFQUFFLENBQUM7WUFDbEMsTUFBTSxHQUFHLEdBQUcsTUFBTSxDQUFDLE1BQU0sR0FBRyxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsR0FBRyx1QkFBdUIsQ0FBQyxDQUFDLENBQUMsTUFBTSxDQUFDLE1BQU0sQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLEdBQUcsdUJBQXVCLENBQUM7WUFDbEgsR0FBRyxDQUFDLElBQUksQ0FBQyxNQUFNLElBQUksQ0FBQyxVQUFVLENBQUMsTUFBTSxDQUFDLEtBQUssQ0FBQyxDQUFDLEdBQUcsdUJBQXVCLEVBQUUsR0FBRyxDQUFDLEVBQUUsbUJBQW1CLENBQUMsQ0FBQyxDQUFDO1FBQ3ZHLENBQUM7UUFDRCxPQUFPLEdBQUcsQ0FBQztJQUNiLENBQUM7Q0FDRjtBQUVELDJEQUEyRDtBQUMzRCxTQUFTLGtCQUFrQixDQUFDLFVBQWtCO0lBQzVDLE9BQU8sQ0FBQyxJQUFJLEVBQUUsQ0FBQyxVQUFVLENBQUMsUUFBUSxDQUFDLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FBQyxFQUFFLElBQUksRUFBRSxDQUFDLFVBQVUsQ0FBQyxRQUFRLENBQUMsRUFBRSxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsQ0FBQztBQUNuRixDQUFDIn0=

package/dest/blob_public_inputs.d.ts

@@ -0,0 +1,50 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { BLOBS_PER_BLOCK } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader, type Tuple } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import { type Blob } from './blob.js';
+/**
+ * Public inputs required to be passed from our rollup circuits to verify a blob.
+ */
+export declare class BlobPublicInputs {
+    /** Challenge point z (= H(H(tx_effects), kzgCommmitment). */
+    z: Fr;
+    /** Evaluation y = p(z), where p() is the blob polynomial. */
+    y: bigint;
+    /** Commitment to the blob C. */
+    kzgCommitment: Tuple<Fr, 2>;
+    constructor(
+    /** Challenge point z (= H(H(tx_effects), kzgCommmitment). */
+    z: Fr, 
+    /** Evaluation y = p(z), where p() is the blob polynomial. */
+    y: bigint, 
+    /** Commitment to the blob C. */
+    kzgCommitment: Tuple<Fr, 2>);
+    static empty(): BlobPublicInputs;
+    isEmpty(): boolean;
+    static fromBuffer(buffer: Buffer | BufferReader): BlobPublicInputs;
+    toBuffer(): Buffer;
+    static fromFields(fields: Fr[] | FieldReader): BlobPublicInputs;
+    toFields(): Fr[];
+    static getFields(fields: FieldsOf<BlobPublicInputs>): readonly [Fr, bigint, [Fr, Fr]];
+    static fromBlob(input: Blob): BlobPublicInputs;
+    getBlobHash(): Buffer;
+    commitmentToBuffer(): Buffer;
+    equals(other: BlobPublicInputs): boolean;
+}
+export declare class BlockBlobPublicInputs {
+    inner: Tuple<BlobPublicInputs, typeof BLOBS_PER_BLOCK>;
+    constructor(inner: Tuple<BlobPublicInputs, typeof BLOBS_PER_BLOCK>);
+    static empty(): BlockBlobPublicInputs;
+    static fromBuffer(buffer: Buffer | BufferReader): BlockBlobPublicInputs;
+    toBuffer(): Buffer;
+    static fromFields(fields: Fr[] | FieldReader): BlockBlobPublicInputs;
+    toFields(): Fr[];
+    static getFields(fields: FieldsOf<BlockBlobPublicInputs>): readonly [[BlobPublicInputs, BlobPublicInputs, BlobPublicInputs]];
+    static fromBlobs(inputs: Blob[]): BlockBlobPublicInputs;
+    getBlobsHash(): Buffer;
+    toString(): string;
+}
+//# sourceMappingURL=blob_public_inputs.d.ts.map

package/dest/blob_public_inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"blob_public_inputs.d.ts","sourceRoot":"","sources":["../src/blob_public_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,kBAAkB,CAAC;AAInD,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AACvG,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,KAAK,IAAI,EAA8B,MAAM,WAAW,CAAC;AAElE;;GAEG;AACH,qBAAa,gBAAgB;IAEzB,6DAA6D;IACtD,CAAC,EAAE,EAAE;IACZ,6DAA6D;IACtD,CAAC,EAAE,MAAM;IAChB,gCAAgC;IACzB,aAAa,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;;IALlC,6DAA6D;IACtD,CAAC,EAAE,EAAE;IACZ,6DAA6D;IACtD,CAAC,EAAE,MAAM;IAChB,gCAAgC;IACzB,aAAa,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC;IAGpC,MAAM,CAAC,KAAK,IAAI,gBAAgB;IAIhC,OAAO,IAAI,OAAO;IAIlB,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,gBAAgB;IAKlE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,gBAAgB;IAa/D,QAAQ;IAUR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,gBAAgB,CAAC;IAInD,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,GAAG,gBAAgB;IAI9C,WAAW,IAAI,MAAM;IAQrB,kBAAkB,IAAI,MAAM;IAO5B,MAAM,CAAC,KAAK,EAAE,gBAAgB;CAQ/B;AAID,qBAAa,qBAAqB;IACb,KAAK,EAAE,KAAK,CAAC,gBAAgB,EAAE,OAAO,eAAe,CAAC;gBAAtD,KAAK,EAAE,KAAK,CAAC,gBAAgB,EAAE,OAAO,eAAe,CAAC;IAEzE,MAAM,CAAC,KAAK,IAAI,qBAAqB;IAIrC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,qBAAqB;IAKvE,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,qBAAqB;IAKpE,QAAQ;IAIR,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,qBAAqB,CAAC;IAIxD,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,qBAAqB;IAWvD,YAAY;IAMZ,QAAQ;CAYT"}

package/dest/blob_public_inputs.js

@@ -0,0 +1,146 @@
+import { BLOBS_PER_BLOCK } from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
+import { toBigIntBE, toBufferBE, toHex } from '@aztec/foundation/bigint-buffer';
+import { sha256, sha256Trunc } from '@aztec/foundation/crypto';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { VERSIONED_HASH_VERSION_KZG } from './blob.js';
+/**
+ * Public inputs required to be passed from our rollup circuits to verify a blob.
+ */ export class BlobPublicInputs {
+    z;
+    y;
+    kzgCommitment;
+    constructor(/** Challenge point z (= H(H(tx_effects), kzgCommmitment). */ z, /** Evaluation y = p(z), where p() is the blob polynomial. */ y, /** Commitment to the blob C. */ kzgCommitment){
+        this.z = z;
+        this.y = y;
+        this.kzgCommitment = kzgCommitment;
+    }
+    static empty() {
+        return new BlobPublicInputs(Fr.ZERO, 0n, [
+            Fr.ZERO,
+            Fr.ZERO
+        ]);
+    }
+    isEmpty() {
+        return this.z.isZero() && this.y == 0n && this.kzgCommitment[0].isZero() && this.kzgCommitment[1].isZero();
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlobPublicInputs(Fr.fromBuffer(reader), toBigIntBE(reader.readBytes(32)), reader.readArray(2, Fr));
+    }
+    toBuffer() {
+        return serializeToBuffer(...BlobPublicInputs.getFields(this));
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        // TODO: Create a BigNum to fields conversion we can use here and in type_conversion.ts
+        const fromBigNum = (fieldArr)=>{
+            return BigInt(fieldArr[2].toString().concat(fieldArr[1].toString().substring(2), fieldArr[0].toString().substring(2)));
+        };
+        return new BlobPublicInputs(reader.readField(), fromBigNum(reader.readFieldArray(3)), reader.readFieldArray(2));
+    }
+    // NB: y is NOT a BN254 field, it's a larger BLS field, we cannot use serialiseToFields here as it assumes bigints will fit
+    // TODO: Create a BigNum to fields conversion we can use here and in type_conversion.ts
+    toFields() {
+        const hex = toHex(this.y, true);
+        const bigNum = [
+            Fr.fromString('0x' + hex.substring(36)),
+            Fr.fromString('0x' + hex.substring(6, 36)),
+            Fr.fromString(hex.substring(0, 6))
+        ];
+        return [
+            this.z,
+            ...bigNum,
+            ...this.kzgCommitment
+        ];
+    }
+    static getFields(fields) {
+        return [
+            fields.z,
+            fields.y,
+            fields.kzgCommitment
+        ];
+    }
+    static fromBlob(input) {
+        return new BlobPublicInputs(input.challengeZ, toBigIntBE(input.evaluationY), input.commitmentToFields());
+    }
+    getBlobHash() {
+        const hash = sha256(this.commitmentToBuffer());
+        hash[0] = VERSIONED_HASH_VERSION_KZG;
+        return hash;
+    }
+    // Performs the reverse conversion of blob.commitmentToFields()
+    // 48 bytes encoded in fields as [Fr, Fr] = [0->31, 31->48]
+    commitmentToBuffer() {
+        return Buffer.concat([
+            this.kzgCommitment[0].toBuffer().subarray(1),
+            this.kzgCommitment[1].toBuffer().subarray(-17)
+        ]);
+    }
+    equals(other) {
+        return this.z.equals(other.z) && this.y == other.y && this.kzgCommitment[0].equals(other.kzgCommitment[0]) && this.kzgCommitment[1].equals(other.kzgCommitment[1]);
+    }
+}
+// NB: it is much cleaner throughout the protocol circuits to define this struct rather than use a nested array.
+// Once we accumulate blob inputs, it should be removed, and we just use BlobPublicInputs::accumulate everywhere.
+export class BlockBlobPublicInputs {
+    inner;
+    constructor(inner){
+        this.inner = inner;
+    }
+    static empty() {
+        return new BlockBlobPublicInputs(makeTuple(BLOBS_PER_BLOCK, BlobPublicInputs.empty));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BlockBlobPublicInputs(reader.readArray(BLOBS_PER_BLOCK, BlobPublicInputs));
+    }
+    toBuffer() {
+        return serializeToBuffer(...BlockBlobPublicInputs.getFields(this));
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new BlockBlobPublicInputs(reader.readArray(BLOBS_PER_BLOCK, BlobPublicInputs));
+    }
+    toFields() {
+        return this.inner.map((i)=>i.toFields()).flat();
+    }
+    static getFields(fields) {
+        return [
+            fields.inner
+        ];
+    }
+    static fromBlobs(inputs) {
+        const inner = makeTuple(BLOBS_PER_BLOCK, BlobPublicInputs.empty);
+        if (inputs.length > BLOBS_PER_BLOCK) {
+            throw new Error(`Can only fit ${BLOBS_PER_BLOCK} in one BlockBlobPublicInputs instance (given ${inputs.length})`);
+        }
+        inputs.forEach((input, i)=>{
+            inner[i] = BlobPublicInputs.fromBlob(input);
+        });
+        return new BlockBlobPublicInputs(inner);
+    }
+    getBlobsHash() {
+        const blobHashes = this.inner.map((item)=>item.isEmpty() ? Buffer.alloc(0) : item.getBlobHash());
+        return sha256Trunc(serializeToBuffer(blobHashes));
+    }
+    // The below is used to send to L1 for proof verification
+    toString() {
+        const nonEmptyBlobs = this.inner.filter((item)=>!item.isEmpty());
+        // Write the number of blobs for L1 to verify
+        let buf = Buffer.alloc(1);
+        buf.writeUInt8(nonEmptyBlobs.length);
+        // Using standard toBuffer() does not correctly encode the commitment
+        // On L1, it's a 48 byte number, which we convert to 2 fields for use in the circuits
+        nonEmptyBlobs.forEach((blob)=>{
+            buf = Buffer.concat([
+                buf,
+                blob.z.toBuffer(),
+                toBufferBE(blob.y, 32),
+                blob.commitmentToBuffer()
+            ]);
+        });
+        return buf.toString('hex');
+    }
+}

package/dest/encoding.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"encoding.d.ts","sourceRoot":"","sources":["../src/encoding.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,KAAK,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,OAAO,CAAC;AAIhD,eAAO,MAAM,eAAe,uBAAuB,CAAC;AAEpD,eAAO,MAAM,4BAA4B,QAA0C,CAAC;AAEpF,eAAO,MAAM,4BAA4B,QAAmC,CAAC;AAC7E,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,UAAU,GAAG,EAAE,EAAE,CAsBrE;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,EAAE,GAAG,MAAM,CAO9D;AAGD;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,CAqBpD;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,UAAU,GAAG,EAAE,EAAE,CAYlE"}
+{"version":3,"file":"encoding.d.ts","sourceRoot":"","sources":["../src/encoding.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,KAAK,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,OAAO,CAAC;AAIhD,eAAO,MAAM,eAAe,uBAAuB,CAAC;AAEpD,eAAO,MAAM,4BAA4B,QAA0C,CAAC;AAEpF,eAAO,MAAM,4BAA4B,QAAmC,CAAC;AAC7E,eAAO,MAAM,kBAAkB,IAAI,CAAC;AAEpC;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GA+BG;AACH,wBAAgB,8BAA8B,CAAC,IAAI,EAAE,UAAU,GAAG,EAAE,EAAE,CAsBrE;AAED;;;;;;;GAOG;AACH,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,EAAE,GAAG,MAAM,CAO9D;AAED;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,CAqBpD;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,2BAA2B,CAAC,IAAI,EAAE,UAAU,GAAG,EAAE,EAAE,CAYlE"}