@aztec/blob-lib 3.0.0-nightly.20251113 → 3.0.0-nightly.20251115

package/dest/blob_utils.d.ts

@@ -1,5 +1,6 @@
 import { BLS12Point, Fr } from '@aztec/foundation/fields';
 import { Blob } from './blob.js';
+import { type CheckpointBlobData } from './encoding/index.js';
 /**
  * @param blobs - The blobs to emit.
  * @returns The blobs' compressed commitments in hex prefixed by the number of blobs. 1 byte for the prefix, 48 bytes
@@ -15,15 +16,11 @@ export declare function getPrefixedEthBlobCommitments(blobs: Blob[]): `0x${strin
  */
 export declare function getBlobsPerL1Block(fields: Fr[]): Blob[];
 /**
- * Get the fields from all blobs in the checkpoint. Ignoring the fields beyond the length specified by the
- * checkpoint prefix (the first field).
- *
- * @param blobs - The blobs to read fields from. Should be all the blobs in the L1 block proposing the checkpoint.
- * @param checkEncoding - Whether to check if the entire encoded blob fields are valid. If false, it will still check
- * the checkpoint prefix and throw if there's not enough fields.
- * @returns The fields added throughout the checkpoint.
+ * Get the encoded data from all blobs in the checkpoint.
+ * @param blobs - The blobs to read data from. Should be all the blobs for the L1 block proposing the checkpoint.
+ * @returns The encoded data of the checkpoint.
  */
-export declare function getBlobFieldsInCheckpoint(blobs: Blob[], checkEncoding?: boolean): Fr[];
+export declare function decodeCheckpointBlobDataFromBlobs(blobs: Blob[]): CheckpointBlobData;
 export declare function computeBlobFieldsHashFromBlobs(blobs: Blob[]): Promise<Fr>;
 export declare function computeBlobsHashFromBlobs(blobs: Blob[]): Fr;
 export declare function getBlobCommitmentsFromBlobs(blobs: Blob[]): BLS12Point[];

package/dest/blob_utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"blob_utils.d.ts","sourceRoot":"","sources":["../src/blob_utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE1D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAIjC;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,MAAM,EAAE,CAS1E;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,CASvD;AAED;;;;;;;;GAQG;AACH,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE,aAAa,UAAQ,GAAG,EAAE,EAAE,CAEpF;AAED,wBAAsB,8BAA8B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAQ/E;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAE3D;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,CAEvE"}
+{"version":3,"file":"blob_utils.d.ts","sourceRoot":"","sources":["../src/blob_utils.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE1D,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AACjC,OAAO,EAAE,KAAK,kBAAkB,EAAsC,MAAM,qBAAqB,CAAC;AAGlG;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,KAAK,MAAM,EAAE,CAS1E;AAED;;;;;GAKG;AACH,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI,EAAE,CASvD;AAED;;;;GAIG;AACH,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,kBAAkB,CAGnF;AAED,wBAAsB,8BAA8B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAQ/E;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,EAAE,CAE3D;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,IAAI,EAAE,GAAG,UAAU,EAAE,CAEvE"}

package/dest/blob_utils.js

@@ -1,7 +1,7 @@
 import { FIELDS_PER_BLOB } from '@aztec/constants';
 import { BLS12Point } from '@aztec/foundation/fields';
 import { Blob } from './blob.js';
-import { deserializeEncodedBlobToFields } from './deserialize.js';
+import { decodeCheckpointBlobDataFromBuffer } from './encoding/index.js';
 import { computeBlobFieldsHash, computeBlobsHash } from './hash.js';
 /**
  * @param blobs - The blobs to emit.
@@ -34,15 +34,12 @@ import { computeBlobFieldsHash, computeBlobsHash } from './hash.js';
     }, (_, i)=>Blob.fromFields(fields.slice(i * FIELDS_PER_BLOB, (i + 1) * FIELDS_PER_BLOB)));
 }
 /**
- * Get the fields from all blobs in the checkpoint. Ignoring the fields beyond the length specified by the
- * checkpoint prefix (the first field).
- *
- * @param blobs - The blobs to read fields from. Should be all the blobs in the L1 block proposing the checkpoint.
- * @param checkEncoding - Whether to check if the entire encoded blob fields are valid. If false, it will still check
- * the checkpoint prefix and throw if there's not enough fields.
- * @returns The fields added throughout the checkpoint.
- */ export function getBlobFieldsInCheckpoint(blobs, checkEncoding = false) {
-    return deserializeEncodedBlobToFields(Buffer.concat(blobs.map((b)=>b.data)), checkEncoding);
+ * Get the encoded data from all blobs in the checkpoint.
+ * @param blobs - The blobs to read data from. Should be all the blobs for the L1 block proposing the checkpoint.
+ * @returns The encoded data of the checkpoint.
+ */ export function decodeCheckpointBlobDataFromBlobs(blobs) {
+    const buf = Buffer.concat(blobs.map((b)=>b.data));
+    return decodeCheckpointBlobDataFromBuffer(buf);
 }
 export async function computeBlobFieldsHashFromBlobs(blobs) {
     const fields = blobs.map((b)=>b.toFields()).flat();

package/dest/encoding/block_blob_data.d.ts

@@ -0,0 +1,22 @@
+import { Fr } from '@aztec/foundation/fields';
+import { FieldReader } from '@aztec/foundation/serialize';
+import { type BlockEndMarker } from './block_end_marker.js';
+import { type BlockEndStateField } from './block_end_state_field.js';
+import { type TxBlobData } from './tx_blob_data.js';
+export interface BlockEndBlobData {
+    blockEndMarker: BlockEndMarker;
+    blockEndStateField: BlockEndStateField;
+    lastArchiveRoot: Fr;
+    noteHashRoot: Fr;
+    nullifierRoot: Fr;
+    publicDataRoot: Fr;
+    l1ToL2MessageRoot: Fr | undefined;
+}
+export interface BlockBlobData extends BlockEndBlobData {
+    txs: TxBlobData[];
+}
+export declare function encodeBlockEndBlobData(blockEndBlobData: BlockEndBlobData): Fr[];
+export declare function decodeBlockEndBlobData(fields: Fr[] | FieldReader, isFirstBlock: boolean): BlockEndBlobData;
+export declare function encodeBlockBlobData(blockBlobData: BlockBlobData): Fr[];
+export declare function decodeBlockBlobData(fields: Fr[] | FieldReader, isFirstBlock: boolean): BlockBlobData;
+//# sourceMappingURL=block_blob_data.d.ts.map

package/dest/encoding/block_blob_data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"block_blob_data.d.ts","sourceRoot":"","sources":["../../src/encoding/block_blob_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG1D,OAAO,EACL,KAAK,cAAc,EAIpB,MAAM,uBAAuB,CAAC;AAC/B,OAAO,EACL,KAAK,kBAAkB,EAGxB,MAAM,4BAA4B,CAAC;AACpC,OAAO,EAAE,KAAK,UAAU,EAAsC,MAAM,mBAAmB,CAAC;AAIxF,MAAM,WAAW,gBAAgB;IAC/B,cAAc,EAAE,cAAc,CAAC;IAC/B,kBAAkB,EAAE,kBAAkB,CAAC;IACvC,eAAe,EAAE,EAAE,CAAC;IACpB,YAAY,EAAE,EAAE,CAAC;IACjB,aAAa,EAAE,EAAE,CAAC;IAClB,cAAc,EAAE,EAAE,CAAC;IACnB,iBAAiB,EAAE,EAAE,GAAG,SAAS,CAAC;CACnC;AAED,MAAM,WAAW,aAAc,SAAQ,gBAAgB;IACrD,GAAG,EAAE,UAAU,EAAE,CAAC;CACnB;AAED,wBAAgB,sBAAsB,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,EAAE,EAAE,CAU/E;AAED,wBAAgB,sBAAsB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,YAAY,EAAE,OAAO,GAAG,gBAAgB,CAmB1G;AAED,wBAAgB,mBAAmB,CAAC,aAAa,EAAE,aAAa,GAAG,EAAE,EAAE,CAEtE;AAED,wBAAgB,mBAAmB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,EAAE,YAAY,EAAE,OAAO,GAAG,aAAa,CA+BpG"}

package/dest/encoding/block_blob_data.js

@@ -0,0 +1,65 @@
+import { FieldReader } from '@aztec/foundation/serialize';
+import { BlobDeserializationError } from '../errors.js';
+import { decodeBlockEndMarker, encodeBlockEndMarker, isBlockEndMarker } from './block_end_marker.js';
+import { decodeBlockEndStateField, encodeBlockEndStateField } from './block_end_state_field.js';
+import { decodeTxBlobData, encodeTxBlobData } from './tx_blob_data.js';
+export function encodeBlockEndBlobData(blockEndBlobData) {
+    return [
+        encodeBlockEndMarker(blockEndBlobData.blockEndMarker),
+        encodeBlockEndStateField(blockEndBlobData.blockEndStateField),
+        blockEndBlobData.lastArchiveRoot,
+        blockEndBlobData.noteHashRoot,
+        blockEndBlobData.nullifierRoot,
+        blockEndBlobData.publicDataRoot,
+        ...blockEndBlobData.l1ToL2MessageRoot ? [
+            blockEndBlobData.l1ToL2MessageRoot
+        ] : []
+    ];
+}
+export function decodeBlockEndBlobData(fields, isFirstBlock) {
+    const reader = FieldReader.asReader(fields);
+    const numBlockEndData = isFirstBlock ? 7 : 6;
+    if (numBlockEndData > reader.remainingFields()) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: not enough fields for block end data. Expected ${numBlockEndData} fields, only ${reader.remainingFields()} remaining.`);
+    }
+    return {
+        blockEndMarker: decodeBlockEndMarker(reader.readField()),
+        blockEndStateField: decodeBlockEndStateField(reader.readField()),
+        lastArchiveRoot: reader.readField(),
+        noteHashRoot: reader.readField(),
+        nullifierRoot: reader.readField(),
+        publicDataRoot: reader.readField(),
+        l1ToL2MessageRoot: isFirstBlock ? reader.readField() : undefined
+    };
+}
+export function encodeBlockBlobData(blockBlobData) {
+    return [
+        ...blockBlobData.txs.map((tx)=>encodeTxBlobData(tx)).flat(),
+        ...encodeBlockEndBlobData(blockBlobData)
+    ];
+}
+export function decodeBlockBlobData(fields, isFirstBlock) {
+    const reader = FieldReader.asReader(fields);
+    const txs = [];
+    let hasReachedBlockEnd = false;
+    while(!hasReachedBlockEnd){
+        if (reader.isFinished()) {
+            throw new BlobDeserializationError(`Incorrect encoding of blob fields: not enough fields for block end marker.`);
+        }
+        const currentField = reader.peekField();
+        if (isBlockEndMarker(currentField)) {
+            hasReachedBlockEnd = true;
+        } else {
+            txs.push(decodeTxBlobData(reader));
+        }
+    }
+    const blockEndBlobData = decodeBlockEndBlobData(reader, isFirstBlock);
+    const blockEndMarker = blockEndBlobData.blockEndMarker;
+    if (blockEndMarker.numTxs !== txs.length) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: expected ${blockEndMarker.numTxs} txs, but got ${txs.length}.`);
+    }
+    return {
+        txs,
+        ...blockEndBlobData
+    };
+}

package/dest/encoding/block_end_marker.d.ts

@@ -0,0 +1,10 @@
+import { Fr } from '@aztec/foundation/fields';
+export interface BlockEndMarker {
+    timestamp: bigint;
+    blockNumber: number;
+    numTxs: number;
+}
+export declare function encodeBlockEndMarker(blockEndMarker: BlockEndMarker): Fr;
+export declare function decodeBlockEndMarker(field: Fr): BlockEndMarker;
+export declare function isBlockEndMarker(field: Fr): boolean;
+//# sourceMappingURL=block_end_marker.d.ts.map

package/dest/encoding/block_end_marker.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"block_end_marker.d.ts","sourceRoot":"","sources":["../../src/encoding/block_end_marker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAU9C,MAAM,WAAW,cAAc;IAC7B,SAAS,EAAE,MAAM,CAAC;IAClB,WAAW,EAAE,MAAM,CAAC;IACpB,MAAM,EAAE,MAAM,CAAC;CAChB;AAED,wBAAgB,oBAAoB,CAAC,cAAc,EAAE,cAAc,MASlE;AAED,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,EAAE,GAAG,cAAc,CAmB9D;AAGD,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,CAGnD"}

package/dest/encoding/block_end_marker.js

@@ -0,0 +1,40 @@
+import { BLOCK_END_PREFIX } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { BlobDeserializationError } from '../errors.js';
+// Must match the implementation in `noir-protocol-circuits/crates/rollup-lib/src/block_merge/components/block_blob_data.nr`.
+const BLOCK_NUMBER_BIT_SIZE = 32n;
+const TIMESTAMP_BIT_SIZE = 64n;
+const NUM_TXS_BIT_SIZE = 16n;
+export function encodeBlockEndMarker(blockEndMarker) {
+    let value = BLOCK_END_PREFIX;
+    value <<= TIMESTAMP_BIT_SIZE;
+    value += blockEndMarker.timestamp;
+    value <<= BLOCK_NUMBER_BIT_SIZE;
+    value += BigInt(blockEndMarker.blockNumber);
+    value <<= NUM_TXS_BIT_SIZE;
+    value += BigInt(blockEndMarker.numTxs);
+    return new Fr(value);
+}
+export function decodeBlockEndMarker(field) {
+    let value = field.toBigInt();
+    const numTxs = Number(value & 2n ** NUM_TXS_BIT_SIZE - 1n);
+    value >>= NUM_TXS_BIT_SIZE;
+    const blockNumber = Number(value & 2n ** BLOCK_NUMBER_BIT_SIZE - 1n);
+    value >>= BLOCK_NUMBER_BIT_SIZE;
+    const timestamp = value & 2n ** TIMESTAMP_BIT_SIZE - 1n;
+    value >>= TIMESTAMP_BIT_SIZE;
+    const prefix = value;
+    if (prefix !== BLOCK_END_PREFIX) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: invalid block end marker.`);
+    }
+    return {
+        blockNumber,
+        timestamp,
+        numTxs
+    };
+}
+// Check if a field is a block end marker. Used before decoding to check if it has reached the end of the block.
+export function isBlockEndMarker(field) {
+    const prefix = field.toBigInt() >> NUM_TXS_BIT_SIZE + BLOCK_NUMBER_BIT_SIZE + TIMESTAMP_BIT_SIZE;
+    return prefix === BLOCK_END_PREFIX;
+}

package/dest/encoding/block_end_state_field.d.ts

@@ -0,0 +1,12 @@
+import { Fr } from '@aztec/foundation/fields';
+export declare const TOTAL_MANA_USED_BIT_SIZE = 48n;
+export interface BlockEndStateField {
+    l1ToL2MessageNextAvailableLeafIndex: number;
+    noteHashNextAvailableLeafIndex: number;
+    nullifierNextAvailableLeafIndex: number;
+    publicDataNextAvailableLeafIndex: number;
+    totalManaUsed: bigint;
+}
+export declare function encodeBlockEndStateField(blockEndStateField: BlockEndStateField): Fr;
+export declare function decodeBlockEndStateField(field: Fr): BlockEndStateField;
+//# sourceMappingURL=block_end_state_field.d.ts.map

package/dest/encoding/block_end_state_field.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"block_end_state_field.d.ts","sourceRoot":"","sources":["../../src/encoding/block_end_state_field.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAM9C,eAAO,MAAM,wBAAwB,MAAM,CAAC;AAE5C,MAAM,WAAW,kBAAkB;IACjC,mCAAmC,EAAE,MAAM,CAAC;IAC5C,8BAA8B,EAAE,MAAM,CAAC;IACvC,+BAA+B,EAAE,MAAM,CAAC;IACxC,gCAAgC,EAAE,MAAM,CAAC;IACzC,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,wBAAwB,CAAC,kBAAkB,EAAE,kBAAkB,MAW9E;AAED,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,EAAE,GAAG,kBAAkB,CAuBtE"}

package/dest/encoding/block_end_state_field.js

@@ -0,0 +1,39 @@
+import { L1_TO_L2_MSG_TREE_HEIGHT, NOTE_HASH_TREE_HEIGHT, NULLIFIER_TREE_HEIGHT, PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { BlobDeserializationError } from '../errors.js';
+// Must match the implementation in `noir-protocol-circuits/crates/rollup-lib/src/block_merge/components/block_blob_data.nr`.
+export const TOTAL_MANA_USED_BIT_SIZE = 48n;
+export function encodeBlockEndStateField(blockEndStateField) {
+    let value = BigInt(blockEndStateField.l1ToL2MessageNextAvailableLeafIndex);
+    value <<= BigInt(NOTE_HASH_TREE_HEIGHT);
+    value += BigInt(blockEndStateField.noteHashNextAvailableLeafIndex);
+    value <<= BigInt(NULLIFIER_TREE_HEIGHT);
+    value += BigInt(blockEndStateField.nullifierNextAvailableLeafIndex);
+    value <<= BigInt(PUBLIC_DATA_TREE_HEIGHT);
+    value += BigInt(blockEndStateField.publicDataNextAvailableLeafIndex);
+    value <<= BigInt(TOTAL_MANA_USED_BIT_SIZE);
+    value += BigInt(blockEndStateField.totalManaUsed);
+    return new Fr(value);
+}
+export function decodeBlockEndStateField(field) {
+    let value = field.toBigInt();
+    const totalManaUsed = value & 2n ** TOTAL_MANA_USED_BIT_SIZE - 1n;
+    value >>= TOTAL_MANA_USED_BIT_SIZE;
+    const publicDataNextAvailableLeafIndex = Number(value & 2n ** BigInt(PUBLIC_DATA_TREE_HEIGHT) - 1n);
+    value >>= BigInt(PUBLIC_DATA_TREE_HEIGHT);
+    const nullifierNextAvailableLeafIndex = Number(value & 2n ** BigInt(NULLIFIER_TREE_HEIGHT) - 1n);
+    value >>= BigInt(NULLIFIER_TREE_HEIGHT);
+    const noteHashNextAvailableLeafIndex = Number(value & 2n ** BigInt(NOTE_HASH_TREE_HEIGHT) - 1n);
+    value >>= BigInt(NOTE_HASH_TREE_HEIGHT);
+    if (value > 2n ** BigInt(L1_TO_L2_MSG_TREE_HEIGHT) - 1n) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: invalid block end state field.`);
+    }
+    const l1ToL2MessageNextAvailableLeafIndex = Number(value);
+    return {
+        l1ToL2MessageNextAvailableLeafIndex,
+        noteHashNextAvailableLeafIndex,
+        nullifierNextAvailableLeafIndex,
+        publicDataNextAvailableLeafIndex,
+        totalManaUsed
+    };
+}

package/dest/encoding/checkpoint_blob_data.d.ts

@@ -0,0 +1,13 @@
+import { Fr } from '@aztec/foundation/fields';
+import { FieldReader } from '@aztec/foundation/serialize';
+import { type BlockBlobData } from './block_blob_data.js';
+import type { TxStartMarker } from './tx_start_marker.js';
+export interface CheckpointBlobData {
+    totalNumBlobFields: number;
+    blocks: BlockBlobData[];
+}
+export declare function encodeCheckpointBlobData(checkpointBlobData: CheckpointBlobData): Fr[];
+export declare function decodeCheckpointBlobData(fields: Fr[] | FieldReader): CheckpointBlobData;
+export declare function decodeCheckpointBlobDataFromBuffer(buf: Buffer): CheckpointBlobData;
+export declare function getTotalNumBlobFieldsFromTxs(txs: TxStartMarker[][]): number;
+//# sourceMappingURL=checkpoint_blob_data.d.ts.map

package/dest/encoding/checkpoint_blob_data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_blob_data.d.ts","sourceRoot":"","sources":["../../src/encoding/checkpoint_blob_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAgB,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAGxE,OAAO,EAAE,KAAK,aAAa,EAA4C,MAAM,sBAAsB,CAAC;AACpG,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,WAAW,kBAAkB;IACjC,kBAAkB,EAAE,MAAM,CAAC;IAC3B,MAAM,EAAE,aAAa,EAAE,CAAC;CACzB;AAED,wBAAgB,wBAAwB,CAAC,kBAAkB,EAAE,kBAAkB,GAAG,EAAE,EAAE,CAKrF;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,kBAAkB,CA0BvF;AAED,wBAAgB,kCAAkC,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB,CAkBlF;AAED,wBAAgB,4BAA4B,CAAC,GAAG,EAAE,aAAa,EAAE,EAAE,GAAG,MAAM,CAO3E"}

package/dest/encoding/checkpoint_blob_data.js

@@ -0,0 +1,54 @@
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
+import { BlobDeserializationError } from '../errors.js';
+import { decodeBlockBlobData, encodeBlockBlobData } from './block_blob_data.js';
+export function encodeCheckpointBlobData(checkpointBlobData) {
+    return [
+        new Fr(checkpointBlobData.totalNumBlobFields),
+        ...checkpointBlobData.blocks.map((block)=>encodeBlockBlobData(block)).flat()
+    ];
+}
+export function decodeCheckpointBlobData(fields) {
+    const reader = FieldReader.asReader(fields);
+    if (reader.isFinished()) {
+        throw new BlobDeserializationError(`Cannot decode empty blob data.`);
+    }
+    const firstField = reader.readField();
+    // Use toBigInt instead of toNumber so that we can catch it and throw a more descriptive error if the first field is
+    // larger than a javascript integer.
+    const totalNumBlobFields = firstField.toBigInt();
+    if (totalNumBlobFields > BigInt(reader.remainingFields() + 1)) {
+        // +1 because we already read the first field.
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: not enough fields for checkpoint blob data. Expected ${totalNumBlobFields} fields, got ${reader.remainingFields() + 1}.`);
+    }
+    const blocks = [];
+    while(reader.cursor < totalNumBlobFields){
+        blocks.push(decodeBlockBlobData(reader, blocks.length === 0 /* isFirstBlock */ ));
+    }
+    return {
+        totalNumBlobFields: Number(totalNumBlobFields),
+        blocks
+    };
+}
+export function decodeCheckpointBlobDataFromBuffer(buf) {
+    const reader = BufferReader.asReader(buf);
+    const firstField = reader.readObject(Fr);
+    // Use toBigInt instead of toNumber so that we can catch it and throw a more descriptive error if the first field is
+    // larger than a javascript integer.
+    const numFields = firstField.toBigInt();
+    const totalFieldsInBuffer = BigInt(buf.length / Fr.SIZE_IN_BYTES);
+    if (numFields > totalFieldsInBuffer) {
+        throw new BlobDeserializationError(`Failed to deserialize blob buffer: not enough fields for checkpoint blob data. Expected ${numFields} fields, got ${totalFieldsInBuffer}.`);
+    }
+    const numFieldsWithoutPrefix = Number(numFields) - 1;
+    const blobFields = [
+        firstField
+    ].concat(reader.readArray(numFieldsWithoutPrefix, Fr));
+    return decodeCheckpointBlobData(blobFields);
+}
+export function getTotalNumBlobFieldsFromTxs(txs) {
+    return 1 + // totalNumBlobFields
+    (txs.length ? 1 : 0) + // l1ToL2Messages root in the first block
+    txs.length * 6 + // 6 fields for each block end blob data.
+    txs.reduce((total, txs)=>total + txs.reduce((total, tx)=>total + tx.numBlobFields, 0), 0);
+}

package/dest/encoding/fixtures.d.ts

@@ -0,0 +1,41 @@
+import type { BlockBlobData, BlockEndBlobData } from './block_blob_data.js';
+import type { BlockEndMarker } from './block_end_marker.js';
+import type { BlockEndStateField } from './block_end_state_field.js';
+import { type CheckpointBlobData } from './checkpoint_blob_data.js';
+import { type TxBlobData } from './tx_blob_data.js';
+import type { TxStartMarker } from './tx_start_marker.js';
+export declare function makeTxStartMarker({ isFullTx, ...overrides }?: {
+    isFullTx?: boolean;
+} & Partial<TxStartMarker>): TxStartMarker;
+export declare function makeTxBlobData({ isFullTx, seed, ...overrides }?: {
+    isFullTx?: boolean;
+    seed?: number;
+} & Partial<Omit<TxBlobData, 'txStartMarker'> & {
+    txStartMarker?: Partial<TxStartMarker>;
+}>): TxBlobData;
+export declare function makeBlockEndMarker({ seed, ...overrides }?: {
+    seed?: number;
+} & Partial<BlockEndMarker>): BlockEndMarker;
+export declare function makeBlockEndStateField({ seed, ...overrides }?: {
+    seed?: number;
+} & Partial<BlockEndStateField>): BlockEndStateField;
+export declare function makeBlockEndBlobData({ isFirstBlock, seed, ...overrides }?: {
+    seed?: number;
+    isFirstBlock?: boolean;
+} & Partial<Omit<BlockEndBlobData, 'blockEndMarker' | 'blockEndStateField'>> & {
+    blockEndMarker?: Partial<BlockEndMarker>;
+    blockEndStateField?: Partial<BlockEndStateField>;
+}): BlockEndBlobData;
+export declare function makeBlockBlobData({ numTxs, isFirstBlock, isFullTx, seed, ...overrides }?: {
+    numTxs?: number;
+    isFirstBlock?: boolean;
+    isFullTx?: boolean;
+    seed?: number;
+} & Partial<Parameters<typeof makeBlockEndBlobData>[0]>): BlockBlobData;
+export declare function makeCheckpointBlobData({ numBlocks, numTxsPerBlock, isFullTx, seed, ...overrides }?: {
+    numBlocks?: number;
+    numTxsPerBlock?: number;
+    isFullTx?: boolean;
+    seed?: number;
+} & Partial<CheckpointBlobData>): CheckpointBlobData;
+//# sourceMappingURL=fixtures.d.ts.map

package/dest/encoding/fixtures.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"fixtures.d.ts","sourceRoot":"","sources":["../../src/encoding/fixtures.ts"],"names":[],"mappings":"AAaA,OAAO,KAAK,EAAE,aAAa,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AAC5E,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAC5D,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,KAAK,kBAAkB,EAAgC,MAAM,2BAA2B,CAAC;AAClG,OAAO,EAAE,KAAK,UAAU,EAAsB,MAAM,mBAAmB,CAAC;AACxE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAI1D,wBAAgB,iBAAiB,CAAC,EAChC,QAAgB,EAChB,GAAG,SAAS,EACb,GAAE;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CAAC,aAAa,CAAM,GAAG,aAAa,CAmBtE;AAED,wBAAgB,cAAc,CAAC,EAC7B,QAAgB,EAChB,IAAQ,EACR,GAAG,SAAS,EACb,GAAE;IAAE,QAAQ,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAChD,IAAI,CAAC,UAAU,EAAE,eAAe,CAAC,GAAG;IAAE,aAAa,CAAC,EAAE,OAAO,CAAC,aAAa,CAAC,CAAA;CAAE,CAC1E,GAAG,UAAU,CAmDlB;AAED,wBAAgB,kBAAkB,CAAC,EACjC,IAAQ,EACR,GAAG,SAAS,EACb,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,cAAc,CAAM,GAAG,cAAc,CAOnE;AAED,wBAAgB,sBAAsB,CAAC,EACrC,IAAQ,EACR,GAAG,SAAS,EACb,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CAAC,kBAAkB,CAAM,GAAG,kBAAkB,CAS3E;AAED,wBAAgB,oBAAoB,CAAC,EACnC,YAAmB,EACnB,IAAQ,EACR,GAAG,SAAS,EACb,GAAE;IAAE,IAAI,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAA;CAAE,GAAG,OAAO,CACpD,IAAI,CAAC,gBAAgB,EAAE,gBAAgB,GAAG,oBAAoB,CAAC,CAChE,GAAG;IACA,cAAc,CAAC,EAAE,OAAO,CAAC,cAAc,CAAC,CAAC;IACzC,kBAAkB,CAAC,EAAE,OAAO,CAAC,kBAAkB,CAAC,CAAC;CAC7C,GAAG,gBAAgB,CAgB1B;AAED,wBAAgB,iBAAiB,CAAC,EAChC,MAAU,EACV,YAAmB,EACnB,QAAgB,EAChB,IAAQ,EACR,GAAG,SAAS,EACb,GAAE;IAAE,MAAM,CAAC,EAAE,MAAM,CAAC;IAAC,YAAY,CAAC,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAAC,IAAI,CAAC,EAAE,MAAM,CAAA;CAAE,GAAG,OAAO,CACzF,UAAU,CAAC,OAAO,oBAAoB,CAAC,CAAC,CAAC,CAAC,CACtC,GAAG,aAAa,CAYrB;AAED,wBAAgB,sBAAsB,CAAC,EACrC,SAAa,EACb,cAAkB,EAClB,QAAgB,EAChB,IAAQ,EACR,GAAG,SAAS,EACb,GAAE;IACD,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,EAAE,OAAO,CAAC;IACnB,IAAI,CAAC,EAAE,MAAM,CAAC;CACf,GAAG,OAAO,CAAC,kBAAkB,CAAM,GAAG,kBAAkB,CAiBxD"}

package/dest/encoding/fixtures.js

@@ -0,0 +1,137 @@
+import { FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH, MAX_CONTRACT_CLASS_LOGS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PRIVATE_LOGS_PER_TX, MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, PRIVATE_LOG_SIZE_IN_FIELDS } from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
+import { Fr } from '@aztec/foundation/fields';
+import { getTotalNumBlobFieldsFromTxs } from './checkpoint_blob_data.js';
+import { getNumTxBlobFields } from './tx_blob_data.js';
+const fr = (seed)=>new Fr(BigInt(seed));
+export function makeTxStartMarker({ isFullTx = false, ...overrides } = {}) {
+    const partialTxStartMarker = {
+        revertCode: 0,
+        numNoteHashes: isFullTx ? MAX_NOTE_HASHES_PER_TX : 1,
+        numNullifiers: isFullTx ? MAX_NULLIFIERS_PER_TX : 1,
+        numL2ToL1Msgs: isFullTx ? MAX_L2_TO_L1_MSGS_PER_TX : 1,
+        numPublicDataWrites: isFullTx ? MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX : 1,
+        numPrivateLogs: isFullTx ? MAX_PRIVATE_LOGS_PER_TX : 1,
+        privateLogsLength: isFullTx ? PRIVATE_LOG_SIZE_IN_FIELDS * MAX_PRIVATE_LOGS_PER_TX : 1,
+        publicLogsLength: isFullTx ? FLAT_PUBLIC_LOGS_PAYLOAD_LENGTH : 1,
+        contractClassLogLength: isFullTx ? MAX_CONTRACT_CLASS_LOGS_PER_TX : 1,
+        ...overrides
+    };
+    const numBlobFields = overrides.numBlobFields ?? getNumTxBlobFields(partialTxStartMarker);
+    return {
+        ...partialTxStartMarker,
+        numBlobFields
+    };
+}
+export function makeTxBlobData({ isFullTx = false, seed = 1, ...overrides } = {}) {
+    const { txStartMarker: txStartMarkerOverrides, ...txBlobDataOverrides } = overrides;
+    const txStartMarker = makeTxStartMarker({
+        isFullTx,
+        ...txStartMarkerOverrides
+    });
+    const noteHashes = makeTuple(txStartMarker.numNoteHashes, fr, seed);
+    const nullifiers = makeTuple(txStartMarker.numNullifiers, fr, seed + 0x100);
+    const l2ToL1Msgs = makeTuple(txStartMarker.numL2ToL1Msgs, fr, seed + 0x200);
+    const publicDataWrites = makeTuple(txStartMarker.numPublicDataWrites, (i)=>[
+            fr(seed + i * 2),
+            fr(seed + i * 2 + 1)
+        ], seed + 0x300);
+    const privateLogs = [];
+    if (txStartMarker.privateLogsLength > txStartMarker.numPrivateLogs * PRIVATE_LOG_SIZE_IN_FIELDS) {
+        throw new Error('Private logs length is too large');
+    }
+    if (txStartMarker.privateLogsLength < txStartMarker.numPrivateLogs) {
+        throw new Error('Private logs length is too small');
+    }
+    let remainingNumPrivateLogs = txStartMarker.numPrivateLogs;
+    let remainingPrivateLogsLength = txStartMarker.privateLogsLength;
+    for(let i = 0; i < txStartMarker.numPrivateLogs; i++){
+        const minLength = Math.max(1, remainingPrivateLogsLength - (remainingNumPrivateLogs - 1) * PRIVATE_LOG_SIZE_IN_FIELDS);
+        const length = Math.max(minLength, Math.floor(remainingPrivateLogsLength / remainingNumPrivateLogs));
+        privateLogs.push(makeTuple(length, fr, seed + 0x400 + i * PRIVATE_LOG_SIZE_IN_FIELDS));
+        remainingNumPrivateLogs -= 1;
+        remainingPrivateLogsLength -= length;
+    }
+    const publicLogs = makeTuple(txStartMarker.publicLogsLength, fr, seed + 0x500);
+    const contractClassLogBlobDataLength = txStartMarker.contractClassLogLength > 0 ? txStartMarker.contractClassLogLength + 1 : 0; // If the log exists, +1 for the contract address
+    const contractClassLog = makeTuple(contractClassLogBlobDataLength, fr, seed + 0x600);
+    return {
+        txStartMarker,
+        txHash: fr(seed + 0x700),
+        transactionFee: fr(seed + 0x800),
+        noteHashes,
+        nullifiers,
+        l2ToL1Msgs,
+        publicDataWrites,
+        privateLogs,
+        publicLogs,
+        contractClassLog,
+        ...txBlobDataOverrides
+    };
+}
+export function makeBlockEndMarker({ seed = 1, ...overrides } = {}) {
+    return {
+        numTxs: seed,
+        blockNumber: seed + 1,
+        timestamp: BigInt(seed + 2),
+        ...overrides
+    };
+}
+export function makeBlockEndStateField({ seed = 1, ...overrides } = {}) {
+    return {
+        l1ToL2MessageNextAvailableLeafIndex: seed,
+        noteHashNextAvailableLeafIndex: seed + 0x10,
+        nullifierNextAvailableLeafIndex: seed + 0x20,
+        publicDataNextAvailableLeafIndex: seed + 0x30,
+        totalManaUsed: BigInt(seed + 0x40),
+        ...overrides
+    };
+}
+export function makeBlockEndBlobData({ isFirstBlock = true, seed = 1, ...overrides } = {}) {
+    const { blockEndMarker: blockEndMarkerOverrides, blockEndStateField: blockEndStateFieldOverrides, ...blockEndBlobDataOverrides } = overrides;
+    return {
+        blockEndMarker: makeBlockEndMarker({
+            seed,
+            ...blockEndMarkerOverrides
+        }),
+        blockEndStateField: makeBlockEndStateField({
+            seed: seed + 0x100,
+            ...blockEndStateFieldOverrides
+        }),
+        lastArchiveRoot: fr(seed + 0x200),
+        noteHashRoot: fr(seed + 0x300),
+        nullifierRoot: fr(seed + 0x400),
+        publicDataRoot: fr(seed + 0x500),
+        l1ToL2MessageRoot: isFirstBlock ? fr(seed + 0x600) : undefined,
+        ...blockEndBlobDataOverrides
+    };
+}
+export function makeBlockBlobData({ numTxs = 1, isFirstBlock = true, isFullTx = false, seed = 1, ...overrides } = {}) {
+    return {
+        txs: makeTuple(numTxs, (i)=>makeTxBlobData({
+                isFullTx,
+                seed: seed + i * 0x100
+            }), seed),
+        ...makeBlockEndBlobData({
+            seed: seed + 0x1000 * numTxs,
+            blockEndMarker: {
+                numTxs
+            },
+            isFirstBlock,
+            ...overrides
+        })
+    };
+}
+export function makeCheckpointBlobData({ numBlocks = 1, numTxsPerBlock = 1, isFullTx = false, seed = 1, ...overrides } = {}) {
+    const blocks = overrides.blocks ?? makeTuple(numBlocks, (i)=>makeBlockBlobData({
+            numTxs: numTxsPerBlock,
+            isFirstBlock: i === seed,
+            isFullTx,
+            seed: seed + i * 0x1000
+        }), seed);
+    const totalNumBlobFields = overrides.totalNumBlobFields ?? getTotalNumBlobFieldsFromTxs(blocks.map((block)=>block.txs.map((tx)=>tx.txStartMarker)));
+    return {
+        totalNumBlobFields,
+        blocks
+    };
+}

package/dest/encoding/index.d.ts

@@ -0,0 +1,8 @@
+export * from './block_blob_data.js';
+export * from './block_end_marker.js';
+export * from './block_end_state_field.js';
+export * from './checkpoint_blob_data.js';
+export * from './fixtures.js';
+export * from './tx_blob_data.js';
+export * from './tx_start_marker.js';
+//# sourceMappingURL=index.d.ts.map

package/dest/encoding/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/encoding/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC;AACrC,cAAc,uBAAuB,CAAC;AACtC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,2BAA2B,CAAC;AAC1C,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC"}

package/dest/encoding/index.js

@@ -0,0 +1,7 @@
+export * from './block_blob_data.js';
+export * from './block_end_marker.js';
+export * from './block_end_state_field.js';
+export * from './checkpoint_blob_data.js';
+export * from './fixtures.js';
+export * from './tx_blob_data.js';
+export * from './tx_start_marker.js';

package/dest/encoding/tx_blob_data.d.ts

@@ -0,0 +1,19 @@
+import { Fr } from '@aztec/foundation/fields';
+import { FieldReader } from '@aztec/foundation/serialize';
+import { type TxStartMarker } from './tx_start_marker.js';
+export interface TxBlobData {
+    txStartMarker: TxStartMarker;
+    txHash: Fr;
+    transactionFee: Fr;
+    noteHashes: Fr[];
+    nullifiers: Fr[];
+    l2ToL1Msgs: Fr[];
+    publicDataWrites: [Fr, Fr][];
+    privateLogs: Fr[][];
+    publicLogs: Fr[];
+    contractClassLog: Fr[];
+}
+export declare function encodeTxBlobData(txBlobData: TxBlobData): Fr[];
+export declare function decodeTxBlobData(fields: Fr[] | FieldReader): TxBlobData;
+export declare function getNumTxBlobFields(txStartMarker: Omit<TxStartMarker, 'revertCode' | 'numBlobFields'>): number;
+//# sourceMappingURL=tx_blob_data.d.ts.map

package/dest/encoding/tx_blob_data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"tx_blob_data.d.ts","sourceRoot":"","sources":["../../src/encoding/tx_blob_data.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,WAAW,EAAE,MAAM,6BAA6B,CAAC;AAG1D,OAAO,EAAE,KAAK,aAAa,EAA4C,MAAM,sBAAsB,CAAC;AAIpG,MAAM,WAAW,UAAU;IACzB,aAAa,EAAE,aAAa,CAAC;IAC7B,MAAM,EAAE,EAAE,CAAC;IACX,cAAc,EAAE,EAAE,CAAC;IACnB,UAAU,EAAE,EAAE,EAAE,CAAC;IACjB,UAAU,EAAE,EAAE,EAAE,CAAC;IACjB,UAAU,EAAE,EAAE,EAAE,CAAC;IACjB,gBAAgB,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;IAC7B,WAAW,EAAE,EAAE,EAAE,EAAE,CAAC;IACpB,UAAU,EAAE,EAAE,EAAE,CAAC;IACjB,gBAAgB,EAAE,EAAE,EAAE,CAAC;CACxB;AAED,wBAAgB,gBAAgB,CAAC,UAAU,EAAE,UAAU,GAAG,EAAE,EAAE,CAa7D;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,UAAU,CA6DvE;AAED,wBAAgB,kBAAkB,CAAC,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,YAAY,GAAG,eAAe,CAAC,UAepG"}