@aztec/blob-lib 3.0.0-canary.a9708bd → 3.0.0-devnet.2

package/dest/index.js

@@ -1,20 +1,10 @@
-import cKzg from 'c-kzg';
-const { loadTrustedSetup } = cKzg;
 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';
-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/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,7 +1,6 @@
 import { Fr } from '@aztec/foundation/fields';
 import { Blob } from './blob.js';
 import { BatchedBlobAccumulator } from './blob_batching.js';
-import { BlockBlobPublicInputs } from './blob_batching_public_inputs.js';
 import { SpongeBlob } from './sponge_blob.js';
 /**
  * Makes arbitrary poseidon sponge for blob inputs.
@@ -17,13 +16,9 @@ export declare function makeSpongeBlob(seed?: number): SpongeBlob;
  * @returns A blob accumulator instance.
  */
 export declare function makeBatchedBlobAccumulator(seed?: number): BatchedBlobAccumulator;
-/**
- * Makes arbitrary block blob public inputs.
- * Note: will not verify inside the circuit.
- * @param seed - The seed to use for generating the blob inputs.
- * @returns A block blob public inputs instance.
- */
-export declare function makeBlockBlobPublicInputs(seed?: number): BlockBlobPublicInputs;
+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
  *
@@ -31,14 +26,14 @@ export declare function makeBlockBlobPublicInputs(seed?: number): BlockBlobPubli
  * @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 an unencoded blob with the given length
+ * Make a blob with random fields.
  *
  * This will fail deserialisation in the archiver
  * @param length
  * @returns
  */
-export declare function makeUnencodedBlob(length: number): Promise<Blob>;
-export declare function makeEncodedBlobFields(fields: Fr[]): 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":"AAEA,OAAO,EAAuB,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnE,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,sBAAsB,EAA+B,MAAM,oBAAoB,CAAC;AACzF,OAAO,EAA+B,qBAAqB,EAAE,MAAM,kCAAkC,CAAC;AAEtG,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;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,SAAI,GAAG,qBAAqB,CAOzE;AAmBD;;;;;;GAMG;AACH,wBAAgB,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAE7D;AAED;;;;;;GAMG;AACH,wBAAgB,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAE/D;AAED,wBAAgB,qBAAqB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAEjE"}
+{"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"}

package/dest/testing.js

@@ -1,10 +1,12 @@
+import { FIELDS_PER_BLOB } from '@aztec/constants';
 import { makeTuple } from '@aztec/foundation/array';
-import { toBufferBE } from '@aztec/foundation/bigint-buffer';
+import { randomInt } from '@aztec/foundation/crypto';
 import { BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
 import { Blob } from './blob.js';
-import { BatchedBlobAccumulator, FinalBlobBatchingChallenges } from './blob_batching.js';
-import { BlobAccumulatorPublicInputs, BlockBlobPublicInputs } from './blob_batching_public_inputs.js';
-import { TX_START_PREFIX, TX_START_PREFIX_BYTES_LENGTH } from './encoding.js';
+import { BatchedBlobAccumulator } from './blob_batching.js';
+import { getBlobsPerL1Block } from './blob_utils.js';
+import { FinalBlobBatchingChallenges } from './circuit_types/index.js';
+import { createBlockEndMarker, encodeTxStartMarker } from './encoding.js';
 import { Poseidon2Sponge, SpongeBlob } from './sponge_blob.js';
 /**
  * Makes arbitrary poseidon sponge for blob inputs.
@@ -22,30 +24,45 @@ import { Poseidon2Sponge, SpongeBlob } from './sponge_blob.js';
  */ export function makeBatchedBlobAccumulator(seed = 1) {
     return new BatchedBlobAccumulator(new Fr(seed), new Fr(seed + 1), new BLS12Fr(seed + 2), BLS12Point.random(), BLS12Point.random(), new Fr(seed + 3), new BLS12Fr(seed + 4), new FinalBlobBatchingChallenges(new Fr(seed + 5), new BLS12Fr(seed + 6)));
 }
-/**
- * Makes arbitrary block blob public inputs.
- * Note: will not verify inside the circuit.
- * @param seed - The seed to use for generating the blob inputs.
- * @returns A block blob public inputs instance.
- */ export function makeBlockBlobPublicInputs(seed = 1) {
-    const startBlobAccumulator = makeBatchedBlobAccumulator(seed);
-    return new BlockBlobPublicInputs(BlobAccumulatorPublicInputs.fromBatchedBlobAccumulator(startBlobAccumulator), BlobAccumulatorPublicInputs.fromBatchedBlobAccumulator(makeBatchedBlobAccumulator(seed + 1)), startBlobAccumulator.finalBlobChallenges);
+export function makeEncodedTxBlobFields(length) {
+    const txStartMarker = {
+        numBlobFields: length,
+        // The rest of the values don't matter. The test components using it do not try to deserialize everything.
+        // Only `checkBlobFieldsEncoding` is used and it only looks at `numBlobFields`. This might change in the future
+        // when we add more thorough checks to `checkBlobFieldsEncoding`.
+        revertCode: 0,
+        numNoteHashes: 0,
+        numNullifiers: 0,
+        numL2ToL1Msgs: 0,
+        numPublicDataWrites: 0,
+        numPrivateLogs: 0,
+        publicLogsLength: 0,
+        contractClassLogLength: 0
+    };
+    return [
+        encodeTxStartMarker(txStartMarker),
+        ...Array.from({
+            length: length - 1
+        }, ()=>new Fr(randomInt(Number.MAX_SAFE_INTEGER)))
+    ];
+}
+export function makeEncodedBlockBlobFields(...lengths) {
+    return [
+        ...lengths.length > 0 ? makeEncodedTxBlobFields(lengths[0] - 1) : [],
+        ...lengths.slice(1).flatMap((length)=>makeEncodedTxBlobFields(length)),
+        createBlockEndMarker(lengths.length)
+    ];
 }
-// TODO: copied form stdlib tx effect
-function encodeFirstField(length) {
-    const lengthBuf = Buffer.alloc(2);
-    lengthBuf.writeUInt16BE(length, 0);
-    return new Fr(Buffer.concat([
-        toBufferBE(TX_START_PREFIX, TX_START_PREFIX_BYTES_LENGTH),
-        Buffer.alloc(1),
-        lengthBuf,
-        Buffer.alloc(1),
-        Buffer.from([
-            1
-        ]),
-        Buffer.alloc(1),
-        Buffer.alloc(1)
-    ]));
+// Create blob fields for a checkpoint with a single block.
+export function makeEncodedBlobFields(length) {
+    if (length <= 2) {
+        throw new Error('Encoded blob fields length must be greater than 2');
+    }
+    const checkpointPrefix = new Fr(length);
+    return [
+        checkpointPrefix,
+        ...makeEncodedBlockBlobFields(length - 1)
+    ]; // -1 to account for the checkpoint prefix.
 }
 /**
  * Make an encoded blob with the given length
@@ -54,29 +71,25 @@ function encodeFirstField(length) {
  * @param length
  * @returns
  */ export function makeEncodedBlob(length) {
-    return Blob.fromFields([
-        encodeFirstField(length + 1),
-        ...Array.from({
-            length: length
-        }, ()=>Fr.random())
-    ]);
+    if (length > FIELDS_PER_BLOB) {
+        throw new Error(`A single encoded blob must be less than ${FIELDS_PER_BLOB} fields`);
+    }
+    return Blob.fromFields(makeEncodedBlobFields(length));
+}
+export function makeEncodedBlobs(length) {
+    const fields = makeEncodedBlobFields(length);
+    return getBlobsPerL1Block(fields);
 }
 /**
- * Make an unencoded blob with the given length
+ * Make a blob with random fields.
  *
  * This will fail deserialisation in the archiver
  * @param length
  * @returns
- */ export function makeUnencodedBlob(length) {
+ */ export function makeRandomBlob(length) {
     return Blob.fromFields([
         ...Array.from({
             length: length
         }, ()=>Fr.random())
     ]);
 }
-export function makeEncodedBlobFields(fields) {
-    return Blob.fromFields([
-        encodeFirstField(fields.length + 1),
-        ...fields
-    ]);
-}

package/dest/types.d.ts

@@ -0,0 +1,16 @@
+export * from './circuit_types/index.js';
+export * from './interface.js';
+export * from './sponge_blob.js';
+/**
+ * Type definition for the KZG instance returned by Blob.getViemKzgInstance().
+ * Contains the cryptographic functions needed for blob commitment and proof generation.
+ */
+export interface BlobKzgInstance {
+    /** Function to compute KZG commitment from blob data */
+    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

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,cAAc,0BAA0B,CAAC;AACzC,cAAc,gBAAgB,CAAC;AAC/B,cAAc,kBAAkB,CAAC;AAEjC;;;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/dest/types.js

@@ -0,0 +1,3 @@
+export * from './circuit_types/index.js';
+export * from './interface.js';
+export * from './sponge_blob.js';

package/package.json

@@ -1,9 +1,11 @@
 {
   "name": "@aztec/blob-lib",
-  "version": "3.0.0-canary.a9708bd",
+  "version": "3.0.0-devnet.2",
   "type": "module",
   "exports": {
     ".": "./dest/index.js",
+    "./encoding": "./dest/encoding.js",
+    "./types": "./dest/types.js",
     "./testing": "./dest/testing.js"
   },
   "typedocOptions": {
@@ -25,9 +27,9 @@
     "../package.common.json"
   ],
   "dependencies": {
-    "@aztec/constants": "3.0.0-canary.a9708bd",
-    "@aztec/foundation": "3.0.0-canary.a9708bd",
-    "c-kzg": "4.0.0-alpha.1",
+    "@aztec/constants": "3.0.0-devnet.2",
+    "@aztec/foundation": "3.0.0-devnet.2",
+    "@crate-crypto/node-eth-kzg": "^0.10.0",
     "tslib": "^2.4.0"
   },
   "devDependencies": {