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

package/dest/encoding.js

@@ -1,6 +1,6 @@
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
-// Note duplicated from circuit-types !
+// Note duplicated from stdlib !
 // This will appear as 0x74785f7374617274 in logs
 export const TX_START_PREFIX = 8392562855083340404n;
 // These are helper constants to decode tx effects from blob encoded fields
@@ -39,14 +39,13 @@ export const REVERT_CODE_PREFIX = 1;
  *
  * @param blob - The blob buffer to deserialize.
  * @returns An array of field elements.
- */
-export function deserializeEncodedBlobToFields(blob) {
+ */ export function deserializeEncodedBlobToFields(blob) {
     // Convert blob buffer to array of field elements
     const reader = BufferReader.asReader(blob);
     const array = reader.readArray(blob.length >> 5, Fr); // >> 5 = / 32 (bytes per field)
     const fieldReader = FieldReader.asReader(array);
     // Read fields until we hit zeros at the end
-    while (!fieldReader.isFinished()) {
+    while(!fieldReader.isFinished()){
         const currentField = fieldReader.peekField();
         // Stop when we hit a zero field
         if (!currentField || currentField.isZero()) {
@@ -66,8 +65,7 @@ export function deserializeEncodedBlobToFields(blob) {
  * @returns The length of the transaction.
  *
  * @throws If the first field does not include the correct prefix - encoding invalid.
- */
-export function getLengthFromFirstField(firstField) {
+ */ export function getLengthFromFirstField(firstField) {
     // Check that the first field includes the correct prefix
     if (!isValidFirstField(firstField)) {
         throw new Error('Invalid prefix');
@@ -75,25 +73,18 @@ export function getLengthFromFirstField(firstField) {
     const buf = firstField.toBuffer().subarray(-TX_EFFECT_PREFIX_BYTE_LENGTH);
     return new Fr(buf.subarray(TX_START_PREFIX_BYTES_LENGTH + 1, TX_START_PREFIX_BYTES_LENGTH + 3)).toNumber();
 }
-// NOTE: duplicated from circuit-types tx effect!
 /**
  * Determines whether a field is the first field of a tx effect
- */
-export function isValidFirstField(field) {
+ */ export function isValidFirstField(field) {
     const buf = field.toBuffer();
-    if (!buf
-        .subarray(0, field.size - TX_EFFECT_PREFIX_BYTE_LENGTH)
-        .equals(Buffer.alloc(field.size - TX_EFFECT_PREFIX_BYTE_LENGTH))) {
+    if (!buf.subarray(0, field.size - TX_EFFECT_PREFIX_BYTE_LENGTH).equals(Buffer.alloc(field.size - TX_EFFECT_PREFIX_BYTE_LENGTH))) {
         return false;
     }
     const sliced = buf.subarray(-TX_EFFECT_PREFIX_BYTE_LENGTH);
-    if (
-    // Checking we start with the correct prefix...
-    !new Fr(sliced.subarray(0, TX_START_PREFIX_BYTES_LENGTH)).equals(new Fr(TX_START_PREFIX)) ||
-        // ...and include the revert code prefix..
-        sliced[sliced.length - 3] !== REVERT_CODE_PREFIX ||
-        // ...and the following revert code is valid.
-        sliced[sliced.length - 1] > 4) {
+    if (// Checking we start with the correct prefix...
+    !new Fr(sliced.subarray(0, TX_START_PREFIX_BYTES_LENGTH)).equals(new Fr(TX_START_PREFIX)) || // ...and include the revert code prefix..
+    sliced[sliced.length - 3] !== REVERT_CODE_PREFIX || // ...and the following revert code is valid.
+    sliced[sliced.length - 1] > 4) {
         return false;
     }
     return true;
@@ -109,16 +100,14 @@ export function isValidFirstField(field) {
  *                                                ^
  *                                                |
  * Function reads until here ----------------------
- */
-export function extractBlobFieldsFromBuffer(blob) {
+ */ export function extractBlobFieldsFromBuffer(blob) {
     const reader = BufferReader.asReader(blob);
     const array = reader.readArray(blob.length >> 5, Fr);
     // Find the index of the last non-zero field
     let lastNonZeroIndex = array.length - 1;
-    while (lastNonZeroIndex >= 0 && array[lastNonZeroIndex].isZero()) {
+    while(lastNonZeroIndex >= 0 && array[lastNonZeroIndex].isZero()){
         lastNonZeroIndex--;
     }
     // Return the trimmed array
     return array.slice(0, lastNonZeroIndex + 1);
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZW5jb2RpbmcuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvZW5jb2RpbmcudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzlDLE9BQU8sRUFBRSxZQUFZLEVBQUUsV0FBVyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFJeEUsdUNBQXVDO0FBQ3ZDLGlEQUFpRDtBQUNqRCxNQUFNLENBQUMsTUFBTSxlQUFlLEdBQUcsb0JBQW9CLENBQUM7QUFDcEQsMkVBQTJFO0FBQzNFLE1BQU0sQ0FBQyxNQUFNLDRCQUE0QixHQUFHLGVBQWUsQ0FBQyxRQUFRLENBQUMsRUFBRSxDQUFDLENBQUMsTUFBTSxHQUFHLENBQUMsQ0FBQztBQUNwRixxRkFBcUY7QUFDckYsTUFBTSxDQUFDLE1BQU0sNEJBQTRCLEdBQUcsNEJBQTRCLEdBQUcsQ0FBQyxDQUFDO0FBQzdFLE1BQU0sQ0FBQyxNQUFNLGtCQUFrQixHQUFHLENBQUMsQ0FBQztBQUVwQzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztHQStCRztBQUNILE1BQU0sVUFBVSw4QkFBOEIsQ0FBQyxJQUFnQjtJQUM3RCxpREFBaUQ7SUFDakQsTUFBTSxNQUFNLEdBQUcsWUFBWSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUMzQyxNQUFNLEtBQUssR0FBRyxNQUFNLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQyxNQUFNLElBQUksQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDLENBQUMsZ0NBQWdDO0lBQ3RGLE1BQU0sV0FBVyxHQUFHLFdBQVcsQ0FBQyxRQUFRLENBQUMsS0FBSyxDQUFDLENBQUM7SUFFaEQsNENBQTRDO0lBQzVDLE9BQU8sQ0FBQyxXQUFXLENBQUMsVUFBVSxFQUFFLEVBQUUsQ0FBQztRQUNqQyxNQUFNLFlBQVksR0FBRyxXQUFXLENBQUMsU0FBUyxFQUFFLENBQUM7UUFFN0MsZ0NBQWdDO1FBQ2hDLElBQUksQ0FBQyxZQUFZLElBQUksWUFBWSxDQUFDLE1BQU0sRUFBRSxFQUFFLENBQUM7WUFDM0MsTUFBTTtRQUNSLENBQUM7UUFFRCxnREFBZ0Q7UUFDaEQsTUFBTSxHQUFHLEdBQUcsdUJBQXVCLENBQUMsWUFBWSxDQUFDLENBQUM7UUFDbEQsV0FBVyxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQztJQUN4QixDQUFDO0lBRUQseUNBQXlDO0lBQ3pDLE9BQU8sS0FBSyxDQUFDLEtBQUssQ0FBQyxDQUFDLEVBQUUsV0FBVyxDQUFDLE1BQU0sQ0FBQyxDQUFDO0FBQzVDLENBQUM7QUFFRDs7Ozs7OztHQU9HO0FBQ0gsTUFBTSxVQUFVLHVCQUF1QixDQUFDLFVBQWM7SUFDcEQseURBQXlEO0lBQ3pELElBQUksQ0FBQyxpQkFBaUIsQ0FBQyxVQUFVLENBQUMsRUFBRSxDQUFDO1FBQ25DLE1BQU0sSUFBSSxLQUFLLENBQUMsZ0JBQWdCLENBQUMsQ0FBQztJQUNwQyxDQUFDO0lBQ0QsTUFBTSxHQUFHLEdBQUcsVUFBVSxDQUFDLFFBQVEsRUFBRSxDQUFDLFFBQVEsQ0FBQyxDQUFDLDRCQUE0QixDQUFDLENBQUM7SUFDMUUsT0FBTyxJQUFJLEVBQUUsQ0FBQyxHQUFHLENBQUMsUUFBUSxDQUFDLDRCQUE0QixHQUFHLENBQUMsRUFBRSw0QkFBNEIsR0FBRyxDQUFDLENBQUMsQ0FBQyxDQUFDLFFBQVEsRUFBRSxDQUFDO0FBQzdHLENBQUM7QUFFRCxpREFBaUQ7QUFDakQ7O0dBRUc7QUFDSCxNQUFNLFVBQVUsaUJBQWlCLENBQUMsS0FBUztJQUN6QyxNQUFNLEdBQUcsR0FBRyxLQUFLLENBQUMsUUFBUSxFQUFFLENBQUM7SUFDN0IsSUFDRSxDQUFDLEdBQUc7U0FDRCxRQUFRLENBQUMsQ0FBQyxFQUFFLEtBQUssQ0FBQyxJQUFJLEdBQUcsNEJBQTRCLENBQUM7U0FDdEQsTUFBTSxDQUFDLE1BQU0sQ0FBQyxLQUFLLENBQUMsS0FBSyxDQUFDLElBQUksR0FBRyw0QkFBNEIsQ0FBQyxDQUFDLEVBQ2xFLENBQUM7UUFDRCxPQUFPLEtBQUssQ0FBQztJQUNmLENBQUM7SUFDRCxNQUFNLE1BQU0sR0FBRyxHQUFHLENBQUMsUUFBUSxDQUFDLENBQUMsNEJBQTRCLENBQUMsQ0FBQztJQUMzRDtJQUNFLCtDQUErQztJQUMvQyxDQUFDLElBQUksRUFBRSxDQUFDLE1BQU0sQ0FBQyxRQUFRLENBQUMsQ0FBQyxFQUFFLDRCQUE0QixDQUFDLENBQUMsQ0FBQyxNQUFNLENBQUMsSUFBSSxFQUFFLENBQUMsZUFBZSxDQUFDLENBQUM7UUFDekYsMENBQTBDO1FBQzFDLE1BQU0sQ0FBQyxNQUFNLENBQUMsTUFBTSxHQUFHLENBQUMsQ0FBQyxLQUFLLGtCQUFrQjtRQUNoRCw2Q0FBNkM7UUFDN0MsTUFBTSxDQUFDLE1BQU0sQ0FBQyxNQUFNLEdBQUcsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxFQUM3QixDQUFDO1FBQ0QsT0FBTyxLQUFLLENBQUM7SUFDZixDQUFDO0lBQ0QsT0FBTyxJQUFJLENBQUM7QUFDZCxDQUFDO0FBRUQ7Ozs7Ozs7Ozs7O0dBV0c7QUFDSCxNQUFNLFVBQVUsMkJBQTJCLENBQUMsSUFBZ0I7SUFDMUQsTUFBTSxNQUFNLEdBQUcsWUFBWSxDQUFDLFFBQVEsQ0FBQyxJQUFJLENBQUMsQ0FBQztJQUMzQyxNQUFNLEtBQUssR0FBRyxNQUFNLENBQUMsU0FBUyxDQUFDLElBQUksQ0FBQyxNQUFNLElBQUksQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUFDO0lBRXJELDRDQUE0QztJQUM1QyxJQUFJLGdCQUFnQixHQUFHLEtBQUssQ0FBQyxNQUFNLEdBQUcsQ0FBQyxDQUFDO0lBQ3hDLE9BQU8sZ0JBQWdCLElBQUksQ0FBQyxJQUFJLEtBQUssQ0FBQyxnQkFBZ0IsQ0FBQyxDQUFDLE1BQU0sRUFBRSxFQUFFLENBQUM7UUFDakUsZ0JBQWdCLEVBQUUsQ0FBQztJQUNyQixDQUFDO0lBRUQsMkJBQTJCO0lBQzNCLE9BQU8sS0FBSyxDQUFDLEtBQUssQ0FBQyxDQUFDLEVBQUUsZ0JBQWdCLEdBQUcsQ0FBQyxDQUFDLENBQUM7QUFDOUMsQ0FBQyJ9

package/dest/errors.js

@@ -1,7 +1,6 @@
 export class BlobDeserializationError extends Error {
-    constructor(message) {
+    constructor(message){
         super(message);
         this.name = 'BlobDeserializationError';
     }
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3JzLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vc3JjL2Vycm9ycy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxNQUFNLE9BQU8sd0JBQXlCLFNBQVEsS0FBSztJQUNqRCxZQUFZLE9BQWU7UUFDekIsS0FBSyxDQUFDLE9BQU8sQ0FBQyxDQUFDO1FBQ2YsSUFBSSxDQUFDLElBQUksR0FBRywwQkFBMEIsQ0FBQztJQUN6QyxDQUFDO0NBQ0YifQ==

package/dest/index.d.ts

@@ -1,6 +1,7 @@
 export * from './blob.js';
-export * from './mocks.js';
 export * from './encoding.js';
 export * from './interface.js';
 export * from './errors.js';
+export * from './blob_public_inputs.js';
+export * from './sponge_blob.js';
 //# sourceMappingURL=index.d.ts.map

package/dest/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA,cAAc,WAAW,CAAC;AAC1B,cAAc,YAAY,CAAC;AAC3B,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAKA,cAAc,WAAW,CAAC;AAC1B,cAAc,eAAe,CAAC;AAC9B,cAAc,gBAAgB,CAAC;AAC/B,cAAc,aAAa,CAAC;AAC5B,cAAc,yBAAyB,CAAC;AACxC,cAAc,kBAAkB,CAAC"}

package/dest/index.js

@@ -1,22 +1,19 @@
 import cKzg from 'c-kzg';
-/* eslint-disable import/no-named-as-default-member */
-const { loadTrustedSetup } = cKzg;
+/* eslint-disable import/no-named-as-default-member */ const { loadTrustedSetup } = cKzg;
 export * from './blob.js';
-export * from './mocks.js';
 export * from './encoding.js';
 export * from './interface.js';
 export * from './errors.js';
+export * from './blob_public_inputs.js';
+export * from './sponge_blob.js';
 try {
     loadTrustedSetup();
-}
-catch (error) {
+} 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 {
+    // 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);
     }
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvaW5kZXgudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxJQUFJLE1BQU0sT0FBTyxDQUFDO0FBRXpCLHNEQUFzRDtBQUN0RCxNQUFNLEVBQUUsZ0JBQWdCLEVBQUUsR0FBRyxJQUFJLENBQUM7QUFFbEMsY0FBYyxXQUFXLENBQUM7QUFDMUIsY0FBYyxZQUFZLENBQUM7QUFDM0IsY0FBYyxlQUFlLENBQUM7QUFDOUIsY0FBYyxnQkFBZ0IsQ0FBQztBQUMvQixjQUFjLGFBQWEsQ0FBQztBQUU1QixJQUFJLENBQUM7SUFDSCxnQkFBZ0IsRUFBRSxDQUFDO0FBQ3JCLENBQUM7QUFBQyxPQUFPLEtBQVUsRUFBRSxDQUFDO0lBQ3BCLElBQUksS0FBSyxDQUFDLE9BQU8sQ0FBQyxRQUFRLENBQUMsaUNBQWlDLENBQUMsRUFBRSxDQUFDO1FBQzlELCtFQUErRTtRQUMvRSwrRUFBK0U7UUFDL0UsaUZBQWlGO0lBQ25GLENBQUM7U0FBTSxDQUFDO1FBQ04sTUFBTSxJQUFJLEtBQUssQ0FBQyxLQUFLLENBQUMsQ0FBQztJQUN6QixDQUFDO0FBQ0gsQ0FBQyJ9

package/dest/interface.js

@@ -1,2 +1,3 @@
-export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW50ZXJmYWNlLmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vc3JjL2ludGVyZmFjZS50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiIn0=
+/**
+ * The relevant parts of a response from https://ethereum.github.io/beacon-APIs/?urls.primaryName=dev#/Beacon/getBlobSidecars
+ */ export { };

package/dest/sponge_blob.d.ts

@@ -0,0 +1,52 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+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.
+ * 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. */
+    readonly sponge: Poseidon2Sponge;
+    /** Number of effects absorbed so far. */
+    fields: number;
+    /** Number of effects that will be absorbed. */
+    readonly expectedFields: number;
+    constructor(
+    /** Sponge with absorbed tx effects that will go into a blob. */
+    sponge: Poseidon2Sponge, 
+    /** Number of effects absorbed so far. */
+    fields: number, 
+    /** Number of effects that will be absorbed. */
+    expectedFields: number);
+    static fromBuffer(buffer: Buffer | BufferReader): SpongeBlob;
+    toBuffer(): Buffer;
+    static getFields(fields: FieldsOf<SpongeBlob>): (number | Poseidon2Sponge)[];
+    toFields(): Fr[];
+    static fromFields(fields: Fr[] | FieldReader): SpongeBlob;
+    clone(): SpongeBlob;
+    absorb(fields: Fr[]): Promise<void>;
+    squeeze(): Promise<Fr>;
+    static empty(): SpongeBlob;
+    static init(expectedFields: number): SpongeBlob;
+}
+export declare class Poseidon2Sponge {
+    cache: Tuple<Fr, 3>;
+    state: Tuple<Fr, 4>;
+    cacheSize: number;
+    squeezeMode: boolean;
+    constructor(cache: Tuple<Fr, 3>, state: Tuple<Fr, 4>, cacheSize: number, squeezeMode: boolean);
+    static fromBuffer(buffer: Buffer | BufferReader): Poseidon2Sponge;
+    toBuffer(): Buffer;
+    static getFields(fields: FieldsOf<Poseidon2Sponge>): (number | boolean | [Fr, Fr, Fr] | [Fr, Fr, Fr, Fr])[];
+    toFields(): Fr[];
+    static fromFields(fields: Fr[] | FieldReader): Poseidon2Sponge;
+    static empty(): Poseidon2Sponge;
+    static init(expectedFields: number): Poseidon2Sponge;
+    performDuplex(): Promise<void>;
+    absorb(fields: Fr[]): Promise<void>;
+    squeeze(): Promise<Fr>;
+}
+//# sourceMappingURL=sponge_blob.d.ts.map

package/dest/sponge_blob.d.ts.map

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

package/dest/sponge_blob.js

@@ -0,0 +1,148 @@
+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.
+ * 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){
+        this.sponge = sponge;
+        this.fields = fields;
+        this.expectedFields = expectedFields;
+    }
+    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);
+    }
+    static getFields(fields) {
+        return [
+            fields.sponge,
+            fields.fields,
+            fields.expectedFields
+        ];
+    }
+    toFields() {
+        return serializeToFields(...SpongeBlob.getFields(this));
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new SpongeBlob(reader.readObject(Poseidon2Sponge), reader.readField().toNumber(), reader.readField().toNumber());
+    }
+    clone() {
+        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}`);
+        }
+        await this.sponge.absorb(fields);
+        this.fields += 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) {
+            await this.sponge.absorb([
+                Fr.ONE
+            ]);
+        }
+        return this.sponge.squeeze();
+    }
+    static empty() {
+        return new SpongeBlob(Poseidon2Sponge.empty(), 0, 0);
+    }
+    static init(expectedFields) {
+        return new SpongeBlob(Poseidon2Sponge.init(expectedFields), 0, expectedFields);
+    }
+}
+// This is just noir's stdlib version of the poseidon2 sponge. We use it for a blob-specific implmentation of the hasher.
+export class Poseidon2Sponge {
+    cache;
+    state;
+    cacheSize;
+    squeezeMode;
+    constructor(cache, state, cacheSize, squeezeMode){
+        this.cache = cache;
+        this.state = state;
+        this.cacheSize = cacheSize;
+        this.squeezeMode = squeezeMode;
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new Poseidon2Sponge(reader.readArray(3, Fr), reader.readArray(4, Fr), reader.readNumber(), reader.readBoolean());
+    }
+    toBuffer() {
+        return serializeToBuffer(this.cache, this.state, this.cacheSize, this.squeezeMode);
+    }
+    static getFields(fields) {
+        return [
+            fields.cache,
+            fields.state,
+            fields.cacheSize,
+            fields.squeezeMode
+        ];
+    }
+    toFields() {
+        return serializeToFields(...Poseidon2Sponge.getFields(this));
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new Poseidon2Sponge(reader.readFieldArray(3), reader.readFieldArray(4), reader.readField().toNumber(), reader.readBoolean());
+    }
+    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')));
+        const sponge = Poseidon2Sponge.empty();
+        sponge.state[3] = iv;
+        return sponge;
+    }
+    // Note: there isn't currently an impl in ts that allows for a custom aborption via an
+    // existing sponge.
+    // A custom blob-based impl of noir/noir-repo/noir_stdlib/src/hash/poseidon2.nr
+    async performDuplex() {
+        for(let i = 0; i < this.cache.length; i++){
+            if (i < this.cacheSize) {
+                this.state[i] = this.state[i].add(this.cache[i]);
+            }
+        }
+        const perm = await poseidon2Permutation(this.state);
+        // ts doesn't understand that the above always gives 4
+        this.state = [
+            perm[0],
+            perm[1],
+            perm[2],
+            perm[3]
+        ];
+    }
+    async absorb(fields) {
+        if (this.squeezeMode) {
+            throw new Error(`Poseidon sponge is not able to absorb more inputs.`);
+        }
+        for (const field of fields){
+            if (this.cacheSize == this.cache.length) {
+                await this.performDuplex();
+                this.cache[0] = field;
+                this.cacheSize = 1;
+            } else {
+                this.cache[this.cacheSize++] = field;
+            }
+        }
+    }
+    async squeeze() {
+        if (this.squeezeMode) {
+            throw new Error(`Poseidon sponge has already been squeezed.`);
+        }
+        await this.performDuplex();
+        this.squeezeMode = true;
+        return this.state[0];
+    }
+}

package/dest/testing.d.ts

@@ -0,0 +1,43 @@
+import { Fr } from '@aztec/foundation/fields';
+import { Blob } from './blob.js';
+import { BlobPublicInputs, BlockBlobPublicInputs } from './blob_public_inputs.js';
+import { SpongeBlob } from './sponge_blob.js';
+/**
+ * Makes arbitrary poseidon sponge for blob inputs.
+ * Note: will not verify inside the circuit.
+ * @param seed - The seed to use for generating the sponge.
+ * @returns A sponge blob instance.
+ */
+export declare function makeSpongeBlob(seed?: number): SpongeBlob;
+/**
+ * Makes arbitrary blob public inputs.
+ * Note: will not verify inside the circuit.
+ * @param seed - The seed to use for generating the blob inputs.
+ * @returns A blob public inputs instance.
+ */
+export declare function makeBlobPublicInputs(seed?: number): BlobPublicInputs;
+/**
+ * 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;
+/**
+ * Make an encoded blob with the given length
+ *
+ * This will deserialise correctly in the archiver
+ * @param length
+ * @returns
+ */
+export declare function makeEncodedBlob(length: number): Promise<Blob>;
+/**
+ * Make an unencoded blob with the given length
+ *
+ * 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>;
+//# sourceMappingURL=testing.d.ts.map

package/dest/testing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"testing.d.ts","sourceRoot":"","sources":["../src/testing.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,gBAAgB,EAAE,qBAAqB,EAAE,MAAM,yBAAyB,CAAC;AAElF,OAAO,EAAmB,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAE/D;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,IAAI,SAAI,GAAG,UAAU,CAWnD;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,IAAI,SAAI,GAAG,gBAAgB,CAM/D;AAED;;;;;GAKG;AACH,wBAAgB,yBAAyB,CAAC,IAAI,SAAI,GAAG,qBAAqB,CAEzE;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"}

package/dest/testing.js

@@ -0,0 +1,81 @@
+import { BLOBS_PER_BLOCK } from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
+import { toBufferBE } from '@aztec/foundation/bigint-buffer';
+import { Fr } from '@aztec/foundation/fields';
+import { Blob } from './blob.js';
+import { BlobPublicInputs, BlockBlobPublicInputs } from './blob_public_inputs.js';
+import { TX_START_PREFIX, TX_START_PREFIX_BYTES_LENGTH } from './encoding.js';
+import { Poseidon2Sponge, SpongeBlob } from './sponge_blob.js';
+/**
+ * Makes arbitrary poseidon sponge for blob inputs.
+ * Note: will not verify inside the circuit.
+ * @param seed - The seed to use for generating the sponge.
+ * @returns A sponge blob instance.
+ */ export function makeSpongeBlob(seed = 1) {
+    return new SpongeBlob(new Poseidon2Sponge(makeTuple(3, (i)=>new Fr(i)), makeTuple(4, (i)=>new Fr(i)), 1, false), seed, seed + 1);
+}
+/**
+ * Makes arbitrary blob public inputs.
+ * Note: will not verify inside the circuit.
+ * @param seed - The seed to use for generating the blob inputs.
+ * @returns A blob public inputs instance.
+ */ export function makeBlobPublicInputs(seed = 1) {
+    return new BlobPublicInputs(new Fr(seed), BigInt(seed + 1), makeTuple(2, (i)=>new Fr(i)));
+}
+/**
+ * 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) {
+    return new BlockBlobPublicInputs(makeTuple(BLOBS_PER_BLOCK, ()=>makeBlobPublicInputs(seed)));
+}
+// 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)
+    ]));
+}
+/**
+ * Make an encoded blob with the given length
+ *
+ * This will deserialise correctly in the archiver
+ * @param length
+ * @returns
+ */ export function makeEncodedBlob(length) {
+    return Blob.fromFields([
+        encodeFirstField(length + 1),
+        ...Array.from({
+            length: length
+        }, ()=>Fr.random())
+    ]);
+}
+/**
+ * Make an unencoded blob with the given length
+ *
+ * This will fail deserialisation in the archiver
+ * @param length
+ * @returns
+ */ export function makeUnencodedBlob(length) {
+    return Blob.fromFields([
+        ...Array.from({
+            length: length
+        }, ()=>Fr.random())
+    ]);
+}
+export function makeEncodedBlobFields(fields) {
+    return Blob.fromFields([
+        encodeFirstField(fields.length + 1),
+        ...fields
+    ]);
+}

package/package.json

@@ -1,9 +1,10 @@
 {
   "name": "@aztec/blob-lib",
-  "version": "0.76.4",
+  "version": "0.77.0-testnet-ignition.17",
   "type": "module",
   "exports": {
-    ".": "./dest/index.js"
+    ".": "./dest/index.js",
+    "./testing": "./dest/testing.js"
   },
   "typedocOptions": {
     "entryPoints": [
@@ -20,13 +21,14 @@
     "formatting:fix": "run -T eslint --fix ./src && run -T prettier -w ./src",
     "start:dev": "tsc-watch -p tsconfig.json --onSuccess 'yarn start'",
     "start": "node ./dest/index.js",
-    "test": "HARDWARE_CONCURRENCY=${HARDWARE_CONCURRENCY:-16} RAYON_NUM_THREADS=${RAYON_NUM_THREADS:-4} NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
+    "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules ../node_modules/.bin/jest --passWithNoTests --maxWorkers=${JEST_MAX_WORKERS:-8}"
   },
   "inherits": [
     "../package.common.json"
   ],
   "dependencies": {
-    "@aztec/foundation": "0.76.4",
+    "@aztec/constants": "0.77.0-testnet-ignition.17",
+    "@aztec/foundation": "0.77.0-testnet-ignition.17",
     "c-kzg": "4.0.0-alpha.1",
     "tslib": "^2.4.0"
   },
@@ -73,7 +75,7 @@
     "reporters": [
       "default"
     ],
-    "testTimeout": 30000,
+    "testTimeout": 120000,
     "setupFiles": [
       "../../foundation/src/jest/setup.mjs"
     ]

package/src/blob.ts

@@ -8,7 +8,7 @@ import type { Blob as BlobBuffer } from 'c-kzg';
 
 import { deserializeEncodedBlobToFields, extractBlobFieldsFromBuffer } from './encoding.js';
 import { BlobDeserializationError } from './errors.js';
-import { type BlobJson } from './interface.js';
+import type { BlobJson } from './interface.js';
 
 /* eslint-disable import/no-named-as-default-member */
 const { BYTES_PER_BLOB, FIELD_ELEMENTS_PER_BLOB, blobToKzgCommitment, computeKzgProof, verifyKzgProof } = cKzg;