@aztec/blob-lib 3.0.0-nightly.20251016 → 3.0.0-nightly.20251023

package/dest/blob.d.ts

@@ -1,7 +1,5 @@
 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';
 export declare const VERSIONED_HASH_VERSION_KZG = 1;
 /**
@@ -9,7 +7,7 @@ export declare const VERSIONED_HASH_VERSION_KZG = 1;
  */
 export declare class Blob {
     /** The blob to be broadcast on L1 in bytes form. */
-    readonly data: BlobBuffer;
+    readonly data: Uint8Array;
     /** The hash of all tx effects inside the blob. Used in generating the challenge z and proving that we have included all required effects. */
     readonly fieldsHash: Fr;
     /** Challenge point z (= H(H(tx_effects), kzgCommmitment). Used such that p(z) = y for a single blob, used as z_i in batching (see ./blob_batching.ts). */
@@ -18,7 +16,7 @@ export declare class Blob {
     readonly commitment: Buffer;
     constructor(
     /** The blob to be broadcast on L1 in bytes form. */
-    data: BlobBuffer, 
+    data: Uint8Array, 
     /** 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: Fr, 
     /** Challenge point z (= H(H(tx_effects), kzgCommmitment). Used such that p(z) = y for a single blob, used as z_i in batching (see ./blob_batching.ts). */
@@ -38,7 +36,7 @@ export declare class Blob {
      *
      * @throws If unable to deserialize the blob.
      */
-    static fromEncodedBlobBuffer(blob: BlobBuffer, multiBlobFieldsHash?: Fr): Promise<Blob>;
+    static fromEncodedBlobBuffer(blob: Uint8Array, multiBlobFieldsHash?: Fr): Promise<Blob>;
     /**
      * Create a Blob from an array of fields.
      *
@@ -151,8 +149,9 @@ export declare class Blob {
      */
     static getPrefixedEthBlobCommitments(blobs: Blob[]): `0x${string}`;
     static getViemKzgInstance(): {
-        blobToKzgCommitment: typeof cKzg.blobToKzgCommitment;
-        computeBlobKzgProof: typeof cKzg.computeBlobKzgProof;
+        blobToKzgCommitment: (blob: Uint8Array) => Uint8Array;
+        computeBlobKzgProof: (blob: Uint8Array, commitment: Uint8Array) => Uint8Array;
+        computeCellsAndKzgProofs: (b: Uint8Array) => [Uint8Array[], Uint8Array[]];
     };
     /**
      * @param fields - Fields to broadcast in the blob(s)

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,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAK/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,0JAA0J;aAC1I,UAAU,EAAE,EAAE;IAC9B,kFAAkF;aAClE,UAAU,EAAE,MAAM;;IAPlC,oDAAoD;IACpC,IAAI,EAAE,UAAU;IAChC,6IAA6I;IAC7H,UAAU,EAAE,EAAE;IAC9B,0JAA0J;IAC1I,UAAU,EAAE,EAAE;IAC9B,kFAAkF;IAClE,UAAU,EAAE,MAAM;IAGpC;;;;;;;;;;;;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;IAiB9E;;;;;;;;;;;OAWG;WACU,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAepD;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ;IAS/B;;;;;;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;;;;;;;;OAQG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,EAAE;;;;IAWxB;;;;;;OAMG;IACH,QAAQ,IAAI,MAAM;IAalB;;;;;;;OAOG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI;IAKnD;;OAEG;IACH,OAAO;IAIP;;;;;OAKG;IACH,MAAM,CAAC,6BAA6B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,MAAM,EAAE;IAYlE,MAAM,CAAC,kBAAkB;;;;IAOzB;;;;OAIG;WACU,gBAAgB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;CAU7D"}
+{"version":3,"file":"blob.d.ts","sourceRoot":"","sources":["../src/blob.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAI9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAI/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,0JAA0J;aAC1I,UAAU,EAAE,EAAE;IAC9B,kFAAkF;aAClE,UAAU,EAAE,MAAM;;IAPlC,oDAAoD;IACpC,IAAI,EAAE,UAAU;IAChC,6IAA6I;IAC7H,UAAU,EAAE,EAAE;IAC9B,0JAA0J;IAC1I,UAAU,EAAE,EAAE;IAC9B,kFAAkF;IAClE,UAAU,EAAE,MAAM;IAGpC;;;;;;;;;;;;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;IAe9E;;;;;;;;;;;OAWG;WACU,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,OAAO,CAAC,IAAI,CAAC;IAepD;;;;;;OAMG;IACH,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,QAAQ;IAS/B;;;;;;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;;;;;;;;OAQG;IACH,QAAQ,CAAC,UAAU,CAAC,EAAE,EAAE;;;;IAWxB;;;;;;OAMG;IACH,QAAQ,IAAI,MAAM;IAalB;;;;;;;OAOG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,YAAY,GAAG,IAAI;IAKnD;;OAEG;IACH,OAAO;IAIP;;;;;OAKG;IACH,MAAM,CAAC,6BAA6B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,MAAM,EAAE;IAYlE,MAAM,CAAC,kBAAkB;;;sCAIS,UAAU,KAAG,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,CAAC;;IAO3E;;;;OAIG;WACU,gBAAgB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC;CAU7D"}

package/dest/blob.js

@@ -1,11 +1,10 @@
+import { FIELDS_PER_BLOB } from '@aztec/constants';
 import { poseidon2Hash, sha256 } from '@aztec/foundation/crypto';
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-// Importing directly from 'c-kzg' does not work:
-import cKzg from 'c-kzg';
 import { deserializeEncodedBlobToFields, extractBlobFieldsFromBuffer } from './deserialize.js';
 import { BlobDeserializationError } from './errors.js';
-const { BYTES_PER_BLOB, FIELD_ELEMENTS_PER_BLOB, blobToKzgCommitment, computeKzgProof, verifyKzgProof } = cKzg;
+import { BYTES_PER_BLOB, kzg } from './kzg_context.js';
 // The prefix to the EVM blobHash, defined here: https://eips.ethereum.org/EIPS/eip-4844#specification
 export const VERSIONED_HASH_VERSION_KZG = 0x01;
 /**
@@ -48,15 +47,15 @@ export const VERSIONED_HASH_VERSION_KZG = 0x01;
    * @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}`);
+        if (fields.length > FIELDS_PER_BLOB) {
+            throw new Error(`Attempted to overfill blob with ${fields.length} elements. The maximum is ${FIELDS_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 commitment = Buffer.from(kzg.blobToKzgCommitment(data));
         const challengeZ = await poseidon2Hash([
             fieldsHash,
             ...commitmentToFields(commitment)
@@ -170,8 +169,8 @@ export const VERSIONED_HASH_VERSION_KZG = 0x01;
    *  proof: Buffer - KZG opening proof for y = p(z). The commitment to quotient polynomial Q, used in compressed BLS12 point format (48 bytes).
    */ evaluate(challengeZ) {
         const z = challengeZ || this.challengeZ;
-        const res = computeKzgProof(this.data, z.toBuffer());
-        if (!verifyKzgProof(this.commitment, z.toBuffer(), res[1], res[0])) {
+        const res = kzg.computeKzgProof(this.data, z.toBuffer());
+        if (!kzg.verifyKzgProof(this.commitment, z.toBuffer(), res[1], res[0])) {
             throw new Error(`KZG proof did not verify.`);
         }
         const proof = Buffer.from(res[0]);
@@ -230,8 +229,15 @@ export const VERSIONED_HASH_VERSION_KZG = 0x01;
     }
     static getViemKzgInstance() {
         return {
-            blobToKzgCommitment: cKzg.blobToKzgCommitment,
-            computeBlobKzgProof: cKzg.computeBlobKzgProof
+            blobToKzgCommitment: kzg.blobToKzgCommitment.bind(kzg),
+            computeBlobKzgProof: kzg.computeBlobKzgProof.bind(kzg),
+            computeCellsAndKzgProofs: (b)=>{
+                const result = kzg.computeCellsAndKzgProofs(b);
+                return [
+                    result.cells,
+                    result.proofs
+                ];
+            }
         };
     }
     /**
@@ -239,12 +245,12 @@ export const VERSIONED_HASH_VERSION_KZG = 0x01;
    * @returns As many blobs as we require to broadcast the given fields for a block
    * @dev Assumes we share the fields hash between all blobs which can only be done for ONE BLOCK because the hash is calculated in block root.
    */ static async getBlobsPerBlock(fields) {
-        const numBlobs = Math.max(Math.ceil(fields.length / FIELD_ELEMENTS_PER_BLOB), 1);
+        const numBlobs = Math.max(Math.ceil(fields.length / FIELDS_PER_BLOB), 1);
         const multiBlobFieldsHash = await poseidon2Hash(fields);
         const res = [];
         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));
+            const end = fields.length < (i + 1) * FIELDS_PER_BLOB ? fields.length : (i + 1) * FIELDS_PER_BLOB;
+            res.push(await Blob.fromFields(fields.slice(i * FIELDS_PER_BLOB, end), multiBlobFieldsHash));
         }
         return res;
     }

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,EAAc,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAK9E,OAAO,EAAE,IAAI,EAA8B,MAAM,WAAW,CAAC;AAI7D;;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,GAAG,OAAO,CAAC,WAAW,CAAC;IAcvD;;;;OAIG;WACU,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,sBAAsB,CAAC;IAK3E;;;;;;;;;OASG;WACU,+BAA+B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,2BAA2B,CAAC;IAsBjG,uBAAuB,IAAI,MAAM;IAMjC,MAAM,CAAC,uBAAuB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM;IAM1D;;;;;;;;;;OAUG;IACH,0BAA0B,IAAI,KAAK,MAAM,EAAE;CAU5C;AAED;;;;;;;;;;;;;;GAcG;AACH,qBAAa,2BAA2B;aAEpB,CAAC,EAAE,EAAE;aACL,KAAK,EAAE,OAAO;gBADd,CAAC,EAAE,EAAE,EACL,KAAK,EAAE,OAAO;IAGhC,MAAM,CAAC,KAAK,EAAE,2BAA2B;IAIzC,MAAM,CAAC,KAAK,IAAI,2BAA2B;IAI3C,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,2BAA2B;IAK7E,QAAQ;CAGT;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;;;;;;;;;;;;;OAaG;WACU,UAAU,CACrB,IAAI,EAAE,IAAI,EACV,mBAAmB,EAAE,2BAA2B,GAC/C,OAAO,CAAC,sBAAsB,CAAC;IAgBlC;;;OAGG;IACH,MAAM,CAAC,iBAAiB,CAAC,mBAAmB,EAAE,2BAA2B,GAAG,sBAAsB;IAalG;;;;OAIG;IACG,UAAU,CAAC,IAAI,EAAE,IAAI;IAqB3B;;;;OAIG;IACG,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE;IASnC;;;;;;;;;;;;OAYG;IACG,QAAQ,IAAI,OAAO,CAAC,WAAW,CAAC;IAqBtC,YAAY;IAYZ,KAAK;CAYN"}
+{"version":3,"file":"blob_batching.d.ts","sourceRoot":"","sources":["../src/blob_batching.ts"],"names":[],"mappings":"AAEA,OAAO,EAAc,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC/E,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,IAAI,EAA8B,MAAM,WAAW,CAAC;AAG7D;;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,GAAG,OAAO,CAAC,WAAW,CAAC;IAcvD;;;;OAIG;WACU,cAAc,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,sBAAsB,CAAC;IAK3E;;;;;;;;;OASG;WACU,+BAA+B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,2BAA2B,CAAC;IAsBjG,uBAAuB,IAAI,MAAM;IAMjC,MAAM,CAAC,uBAAuB,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM;IAM1D;;;;;;;;;;OAUG;IACH,0BAA0B,IAAI,KAAK,MAAM,EAAE;CAU5C;AAED;;;;;;;;;;;;;;GAcG;AACH,qBAAa,2BAA2B;aAEpB,CAAC,EAAE,EAAE;aACL,KAAK,EAAE,OAAO;gBADd,CAAC,EAAE,EAAE,EACL,KAAK,EAAE,OAAO;IAGhC,MAAM,CAAC,KAAK,EAAE,2BAA2B;IAIzC,MAAM,CAAC,KAAK,IAAI,2BAA2B;IAI3C,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,2BAA2B;IAK7E,QAAQ;CAGT;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;;;;;;;;;;;;;OAaG;WACU,UAAU,CACrB,IAAI,EAAE,IAAI,EACV,mBAAmB,EAAE,2BAA2B,GAC/C,OAAO,CAAC,sBAAsB,CAAC;IAgBlC;;;OAGG;IACH,MAAM,CAAC,iBAAiB,CAAC,mBAAmB,EAAE,2BAA2B,GAAG,sBAAsB;IAalG;;;;OAIG;IACG,UAAU,CAAC,IAAI,EAAE,IAAI;IAqB3B;;;;OAIG;IACG,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE;IASnC;;;;;;;;;;;;OAYG;IACG,QAAQ,IAAI,OAAO,CAAC,WAAW,CAAC;IAqBtC,YAAY;IAYZ,KAAK;CAYN"}

package/dest/blob_batching.js

@@ -2,10 +2,8 @@ import { AZTEC_MAX_EPOCH_DURATION, BLOBS_PER_BLOCK } from '@aztec/constants';
 import { poseidon2Hash, sha256, sha256ToField } from '@aztec/foundation/crypto';
 import { BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-// Importing directly from 'c-kzg' does not work:
-import cKzg from 'c-kzg';
 import { VERSIONED_HASH_VERSION_KZG } from './blob.js';
-const { computeKzgProof, verifyKzgProof } = cKzg;
+import { kzg } from './kzg_context.js';
 /**
  * A class to create, manage, and prove batched EVM blobs.
  */ export class BatchedBlob {
@@ -66,7 +64,7 @@ const { computeKzgProof, verifyKzgProof } = cKzg;
             ]);
         }
         // Now we have a shared challenge for all blobs, evaluate them...
-        const proofObjects = blobs.map((b)=>computeKzgProof(b.data, z.toBuffer()));
+        const proofObjects = blobs.map((b)=>kzg.computeKzgProof(b.data, z.toBuffer()));
         const evaluations = proofObjects.map(([_, evaluation])=>BLS12Fr.fromBuffer(Buffer.from(evaluation)));
         // ...and find the challenge for the linear combination of blobs.
         let gamma = await hashNoirBigNumLimbs(evaluations[0]);
@@ -189,7 +187,7 @@ const { computeKzgProof, verifyKzgProof } = cKzg;
    *
    * @returns An initial blob accumulator.
    */ static async initialize(blob, finalBlobChallenges) {
-        const [q, evaluation] = computeKzgProof(blob.data, finalBlobChallenges.z.toBuffer());
+        const [q, evaluation] = kzg.computeKzgProof(blob.data, finalBlobChallenges.z.toBuffer());
         const firstY = BLS12Fr.fromBuffer(Buffer.from(evaluation));
         // Here, i = 0, so:
         return new BatchedBlobAccumulator(sha256ToField([
@@ -210,7 +208,7 @@ const { computeKzgProof, verifyKzgProof } = cKzg;
         if (this.isEmptyState()) {
             return BatchedBlobAccumulator.initialize(blob, this.finalBlobChallenges);
         } else {
-            const [q, evaluation] = computeKzgProof(blob.data, this.finalBlobChallenges.z.toBuffer());
+            const [q, evaluation] = kzg.computeKzgProof(blob.data, this.finalBlobChallenges.z.toBuffer());
             const thisY = BLS12Fr.fromBuffer(Buffer.from(evaluation));
             // Moving from i - 1 to i, so:
             return new BatchedBlobAccumulator(sha256ToField([
@@ -262,7 +260,7 @@ const { computeKzgProof, verifyKzgProof } = cKzg;
         if (!calculatedGamma.equals(this.finalBlobChallenges.gamma.toBN254Fr())) {
             throw new Error(`Blob batching mismatch: accumulated gamma ${calculatedGamma} does not equal injected gamma ${this.finalBlobChallenges.gamma.toBN254Fr()}`);
         }
-        if (!verifyKzgProof(this.cAcc.compress(), this.zAcc.toBuffer(), this.yAcc.toBuffer(), this.qAcc.compress())) {
+        if (!kzg.verifyKzgProof(this.cAcc.compress(), this.zAcc.toBuffer(), this.yAcc.toBuffer(), this.qAcc.compress())) {
             throw new Error(`KZG proof did not verify.`);
         }
         return new BatchedBlob(this.blobCommitmentsHashAcc, this.zAcc, this.yAcc, this.cAcc, this.qAcc);

package/dest/deserialize.d.ts

@@ -1,5 +1,4 @@
 import { Fr } from '@aztec/foundation/fields';
-import type { Blob as BlobBuffer } from 'c-kzg';
 /**
  * Deserializes a blob buffer into an array of field elements.
  *
@@ -32,7 +31,7 @@ import type { Blob as BlobBuffer } from 'c-kzg';
  * @param blob - The blob buffer to deserialize.
  * @returns An array of field elements.
  */
-export declare function deserializeEncodedBlobToFields(blob: BlobBuffer): Fr[];
+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.
@@ -45,5 +44,5 @@ export declare function deserializeEncodedBlobToFields(blob: BlobBuffer): Fr[];
  *                                                |
  * Function reads until here ----------------------
  */
-export declare function extractBlobFieldsFromBuffer(blob: BlobBuffer): Fr[];
+export declare function extractBlobFieldsFromBuffer(blob: Uint8Array): 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;AAG9C,OAAO,KAAK,EAAE,IAAI,IAAI,UAAU,EAAE,MAAM,OAAO,CAAC;AAIhD;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;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;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"}

package/dest/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAIA,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,kBAAkB,CAAC;AACjC,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,kCAAkC,CAAC;AACjD,cAAc,kBAAkB,CAAC"}

package/dest/index.js

@@ -1,5 +1,3 @@
-import cKzg from 'c-kzg';
-const { loadTrustedSetup } = cKzg;
 export * from './blob.js';
 export * from './blob_batching.js';
 export * from './deserialize.js';
@@ -8,14 +6,3 @@ export * from './interface.js';
 export * from './errors.js';
 export * from './blob_batching_public_inputs.js';
 export * from './sponge_blob.js';
-try {
-    loadTrustedSetup();
-} catch (error) {
-    if (error.message.includes('trusted setup is already loaded')) {
-    // NB: The c-kzg lib has no way of checking whether the setup is loaded or not,
-    // and it throws an error if it's already loaded, even though nothing is wrong.
-    // This is a rudimentary way of ensuring we load the trusted setup if we need it.
-    } else {
-        throw new Error(error);
-    }
-}

package/dest/kzg_context.d.ts

@@ -0,0 +1,4 @@
+import { DasContextJs } from '@crate-crypto/node-eth-kzg';
+export * from '@crate-crypto/node-eth-kzg';
+export declare const kzg: DasContextJs;
+//# sourceMappingURL=kzg_context.d.ts.map

package/dest/kzg_context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"kzg_context.d.ts","sourceRoot":"","sources":["../src/kzg_context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D,cAAc,4BAA4B,CAAC;AAE3C,eAAO,MAAM,GAAG,cAA4C,CAAC"}

package/dest/kzg_context.js

@@ -0,0 +1,5 @@
+import { DasContextJs } from '@crate-crypto/node-eth-kzg';
+export * from '@crate-crypto/node-eth-kzg';
+export const kzg = DasContextJs.create({
+    usePrecomp: true
+});

package/dest/types.d.ts

@@ -8,5 +8,7 @@ export interface BlobKzgInstance {
     blobToKzgCommitment(blob: Uint8Array): Uint8Array;
     /** Function to compute KZG proof for blob data */
     computeBlobKzgProof(blob: Uint8Array, commitment: Uint8Array): Uint8Array;
+    /** Function to compute both blob data cells and their corresponding KZG proofs for EIP7594 */
+    computeCellsAndKzgProofs(blob: Uint8Array): [Uint8Array[], Uint8Array[]];
 }
 //# sourceMappingURL=types.d.ts.map

package/dest/types.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AAIjC;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,wDAAwD;IACxD,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;IAClD,kDAAkD;IAClD,mBAAmB,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,GAAG,UAAU,CAAC;CAC3E"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,cAAc,kBAAkB,CAAC;AAIjC;;;GAGG;AACH,MAAM,WAAW,eAAe;IAC9B,wDAAwD;IACxD,mBAAmB,CAAC,IAAI,EAAE,UAAU,GAAG,UAAU,CAAC;IAClD,kDAAkD;IAClD,mBAAmB,CAAC,IAAI,EAAE,UAAU,EAAE,UAAU,EAAE,UAAU,GAAG,UAAU,CAAC;IAC1E,8FAA8F;IAC9F,wBAAwB,CAAC,IAAI,EAAE,UAAU,GAAG,CAAC,UAAU,EAAE,EAAE,UAAU,EAAE,CAAC,CAAC;CAC1E"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@aztec/blob-lib",
-  "version": "3.0.0-nightly.20251016",
+  "version": "3.0.0-nightly.20251023",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
@@ -27,9 +27,9 @@
     "../package.common.json"
   ],
   "dependencies": {
-    "@aztec/constants": "3.0.0-nightly.20251016",
-    "@aztec/foundation": "3.0.0-nightly.20251016",
-    "c-kzg": "4.0.0-alpha.1",
+    "@aztec/constants": "3.0.0-nightly.20251023",
+    "@aztec/foundation": "3.0.0-nightly.20251023",
+    "@crate-crypto/node-eth-kzg": "^0.9.1",
     "tslib": "^2.4.0"
   },
   "devDependencies": {

package/src/blob.ts

@@ -1,16 +1,12 @@
+import { FIELDS_PER_BLOB } from '@aztec/constants';
 import { poseidon2Hash, sha256 } from '@aztec/foundation/crypto';
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 
-// Importing directly from 'c-kzg' does not work:
-import cKzg from 'c-kzg';
-import type { Blob as BlobBuffer } from 'c-kzg';
-
 import { deserializeEncodedBlobToFields, extractBlobFieldsFromBuffer } from './deserialize.js';
 import { BlobDeserializationError } from './errors.js';
 import type { BlobJson } from './interface.js';
-
-const { BYTES_PER_BLOB, FIELD_ELEMENTS_PER_BLOB, blobToKzgCommitment, computeKzgProof, verifyKzgProof } = cKzg;
+import { BYTES_PER_BLOB, kzg } from './kzg_context.js';
 
 // The prefix to the EVM blobHash, defined here: https://eips.ethereum.org/EIPS/eip-4844#specification
 export const VERSIONED_HASH_VERSION_KZG = 0x01;
@@ -21,7 +17,7 @@ export const VERSIONED_HASH_VERSION_KZG = 0x01;
 export class Blob {
   constructor(
     /** The blob to be broadcast on L1 in bytes form. */
-    public readonly data: BlobBuffer,
+    public readonly data: Uint8Array,
     /** The hash of all tx effects inside the blob. Used in generating the challenge z and proving that we have included all required effects. */
     public readonly fieldsHash: Fr,
     /** Challenge point z (= H(H(tx_effects), kzgCommmitment). Used such that p(z) = y for a single blob, used as z_i in batching (see ./blob_batching.ts). */
@@ -43,7 +39,7 @@ export class Blob {
    *
    * @throws If unable to deserialize the blob.
    */
-  static fromEncodedBlobBuffer(blob: BlobBuffer, multiBlobFieldsHash?: Fr): Promise<Blob> {
+  static fromEncodedBlobBuffer(blob: Uint8Array, multiBlobFieldsHash?: Fr): Promise<Blob> {
     try {
       const fields: Fr[] = deserializeEncodedBlobToFields(blob);
       return Blob.fromFields(fields, multiBlobFieldsHash);
@@ -62,17 +58,15 @@ export class Blob {
    * @returns A Blob created from the array of fields.
    */
   static async fromFields(fields: Fr[], multiBlobFieldsHash?: Fr): Promise<Blob> {
-    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}`,
-      );
+    if (fields.length > FIELDS_PER_BLOB) {
+      throw new Error(`Attempted to overfill blob with ${fields.length} elements. The maximum is ${FIELDS_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 commitment = Buffer.from(kzg.blobToKzgCommitment(data));
     const challengeZ = await poseidon2Hash([fieldsHash, ...commitmentToFields(commitment)]);
 
     return new Blob(data, fieldsHash, challengeZ, commitment);
@@ -208,8 +202,8 @@ export class Blob {
    */
   evaluate(challengeZ?: Fr) {
     const z = challengeZ || this.challengeZ;
-    const res = computeKzgProof(this.data, z.toBuffer());
-    if (!verifyKzgProof(this.commitment, z.toBuffer(), res[1], res[0])) {
+    const res = kzg.computeKzgProof(this.data, z.toBuffer());
+    if (!kzg.verifyKzgProof(this.commitment, z.toBuffer(), res[1], res[0])) {
       throw new Error(`KZG proof did not verify.`);
     }
     const proof = Buffer.from(res[0]);
@@ -277,8 +271,12 @@ export class Blob {
 
   static getViemKzgInstance() {
     return {
-      blobToKzgCommitment: cKzg.blobToKzgCommitment,
-      computeBlobKzgProof: cKzg.computeBlobKzgProof,
+      blobToKzgCommitment: kzg.blobToKzgCommitment.bind(kzg),
+      computeBlobKzgProof: kzg.computeBlobKzgProof.bind(kzg),
+      computeCellsAndKzgProofs: (b: Uint8Array): [Uint8Array[], Uint8Array[]] => {
+        const result = kzg.computeCellsAndKzgProofs(b);
+        return [result.cells, result.proofs];
+      },
     };
   }
 
@@ -288,12 +286,12 @@ export class Blob {
    * @dev Assumes we share the fields hash between all blobs which can only be done for ONE BLOCK because the hash is calculated in block root.
    */
   static async getBlobsPerBlock(fields: Fr[]): Promise<Blob[]> {
-    const numBlobs = Math.max(Math.ceil(fields.length / FIELD_ELEMENTS_PER_BLOB), 1);
+    const numBlobs = Math.max(Math.ceil(fields.length / FIELDS_PER_BLOB), 1);
     const multiBlobFieldsHash = await poseidon2Hash(fields);
     const res = [];
     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));
+      const end = fields.length < (i + 1) * FIELDS_PER_BLOB ? fields.length : (i + 1) * FIELDS_PER_BLOB;
+      res.push(await Blob.fromFields(fields.slice(i * FIELDS_PER_BLOB, end), multiBlobFieldsHash));
     }
     return res;
   }

package/src/blob_batching.ts

@@ -3,12 +3,8 @@ import { poseidon2Hash, sha256, sha256ToField } from '@aztec/foundation/crypto';
 import { BLS12Field, BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 
-// Importing directly from 'c-kzg' does not work:
-import cKzg from 'c-kzg';
-
 import { Blob, VERSIONED_HASH_VERSION_KZG } from './blob.js';
-
-const { computeKzgProof, verifyKzgProof } = cKzg;
+import { kzg } from './kzg_context.js';
 
 /**
  * A class to create, manage, and prove batched EVM blobs.
@@ -76,7 +72,7 @@ export class BatchedBlob {
       z = await poseidon2Hash([z, blobs[i].challengeZ]);
     }
     // Now we have a shared challenge for all blobs, evaluate them...
-    const proofObjects = blobs.map(b => computeKzgProof(b.data, z.toBuffer()));
+    const proofObjects = blobs.map(b => kzg.computeKzgProof(b.data, z.toBuffer()));
     const evaluations = proofObjects.map(([_, evaluation]) => BLS12Fr.fromBuffer(Buffer.from(evaluation)));
     // ...and find the challenge for the linear combination of blobs.
     let gamma = await hashNoirBigNumLimbs(evaluations[0]);
@@ -209,7 +205,7 @@ export class BatchedBlobAccumulator {
     blob: Blob,
     finalBlobChallenges: FinalBlobBatchingChallenges,
   ): Promise<BatchedBlobAccumulator> {
-    const [q, evaluation] = computeKzgProof(blob.data, finalBlobChallenges.z.toBuffer());
+    const [q, evaluation] = kzg.computeKzgProof(blob.data, finalBlobChallenges.z.toBuffer());
     const firstY = BLS12Fr.fromBuffer(Buffer.from(evaluation));
     // Here, i = 0, so:
     return new BatchedBlobAccumulator(
@@ -250,7 +246,7 @@ export class BatchedBlobAccumulator {
     if (this.isEmptyState()) {
       return BatchedBlobAccumulator.initialize(blob, this.finalBlobChallenges);
     } else {
-      const [q, evaluation] = computeKzgProof(blob.data, this.finalBlobChallenges.z.toBuffer());
+      const [q, evaluation] = kzg.computeKzgProof(blob.data, this.finalBlobChallenges.z.toBuffer());
       const thisY = BLS12Fr.fromBuffer(Buffer.from(evaluation));
 
       // Moving from i - 1 to i, so:
@@ -308,7 +304,7 @@ export class BatchedBlobAccumulator {
         `Blob batching mismatch: accumulated gamma ${calculatedGamma} does not equal injected gamma ${this.finalBlobChallenges.gamma.toBN254Fr()}`,
       );
     }
-    if (!verifyKzgProof(this.cAcc.compress(), this.zAcc.toBuffer(), this.yAcc.toBuffer(), this.qAcc.compress())) {
+    if (!kzg.verifyKzgProof(this.cAcc.compress(), this.zAcc.toBuffer(), this.yAcc.toBuffer(), this.qAcc.compress())) {
       throw new Error(`KZG proof did not verify.`);
     }
 

package/src/deserialize.ts

@@ -1,8 +1,6 @@
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
 
-import type { Blob as BlobBuffer } from 'c-kzg';
-
 import { getNumBlobFieldsFromTxStartMarker, isBlockEndMarker } from './encoding.js';
 
 /**
@@ -37,7 +35,7 @@ import { getNumBlobFieldsFromTxStartMarker, isBlockEndMarker } from './encoding.
  * @param blob - The blob buffer to deserialize.
  * @returns An array of field elements.
  */
-export function deserializeEncodedBlobToFields(blob: BlobBuffer): Fr[] {
+export function deserializeEncodedBlobToFields(blob: Uint8Array): Fr[] {
   // 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)
@@ -80,7 +78,7 @@ export function deserializeEncodedBlobToFields(blob: BlobBuffer): Fr[] {
  *                                                |
  * Function reads until here ----------------------
  */
-export function extractBlobFieldsFromBuffer(blob: BlobBuffer): Fr[] {
+export function extractBlobFieldsFromBuffer(blob: Uint8Array): Fr[] {
   const reader = BufferReader.asReader(blob);
   const array = reader.readArray(blob.length >> 5, Fr);
 

package/src/index.ts

@@ -1,7 +1,3 @@
-import cKzg from 'c-kzg';
-
-const { loadTrustedSetup } = cKzg;
-
 export * from './blob.js';
 export * from './blob_batching.js';
 export * from './deserialize.js';
@@ -10,15 +6,3 @@ export * from './interface.js';
 export * from './errors.js';
 export * from './blob_batching_public_inputs.js';
 export * from './sponge_blob.js';
-
-try {
-  loadTrustedSetup();
-} catch (error: any) {
-  if (error.message.includes('trusted setup is already loaded')) {
-    // NB: The c-kzg lib has no way of checking whether the setup is loaded or not,
-    // and it throws an error if it's already loaded, even though nothing is wrong.
-    // This is a rudimentary way of ensuring we load the trusted setup if we need it.
-  } else {
-    throw new Error(error);
-  }
-}

package/src/kzg_context.ts

@@ -0,0 +1,5 @@
+import { DasContextJs } from '@crate-crypto/node-eth-kzg';
+
+export * from '@crate-crypto/node-eth-kzg';
+
+export const kzg = DasContextJs.create({ usePrecomp: true });

package/src/types.ts

@@ -11,4 +11,6 @@ export interface BlobKzgInstance {
   blobToKzgCommitment(blob: Uint8Array): Uint8Array;
   /** Function to compute KZG proof for blob data */
   computeBlobKzgProof(blob: Uint8Array, commitment: Uint8Array): Uint8Array;
+  /** Function to compute both blob data cells and their corresponding KZG proofs for EIP7594 */
+  computeCellsAndKzgProofs(blob: Uint8Array): [Uint8Array[], Uint8Array[]];
 }