@aztec/blob-lib 4.0.0-nightly.20250907 → 4.0.0-nightly.20260108

package/dest/encoding/checkpoint_blob_data.js

@@ -0,0 +1,67 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
+import { BlobDeserializationError } from '../errors.js';
+import { decodeBlockBlobData, encodeBlockBlobData } from './block_blob_data.js';
+import { decodeCheckpointEndMarker, encodeCheckpointEndMarker, isCheckpointEndMarker } from './checkpoint_end_marker.js';
+export function encodeCheckpointBlobData(checkpointBlobData) {
+    return [
+        ...checkpointBlobData.blocks.map((block)=>encodeBlockBlobData(block)).flat(),
+        encodeCheckpointEndMarker(checkpointBlobData.checkpointEndMarker)
+    ];
+}
+export function encodeCheckpointBlobDataFromBlocks(blocks) {
+    const blocksBlobFields = blocks.map((block)=>encodeBlockBlobData(block)).flat();
+    const numBlobFields = blocksBlobFields.length + 1; // +1 for the checkpoint end marker.
+    return blocksBlobFields.concat(encodeCheckpointEndMarker({
+        numBlobFields
+    }));
+}
+export function decodeCheckpointBlobData(fields) {
+    const reader = FieldReader.asReader(fields);
+    if (reader.isFinished()) {
+        throw new BlobDeserializationError(`Cannot decode empty blob data.`);
+    }
+    const blocks = [];
+    let checkpointEndMarker;
+    while(!reader.isFinished() && !checkpointEndMarker){
+        blocks.push(decodeBlockBlobData(reader, blocks.length === 0 /* isFirstBlock */ ));
+        // After reading a block, the next item must be either a checkpoint end marker or another block.
+        // The first field of a block is always a tx start marker. So if the provided fields are valid, it's not possible to
+        // misinterpret a tx start marker as checkpoint end marker, or vice versa.
+        const nextField = reader.peekField();
+        if (isCheckpointEndMarker(nextField)) {
+            checkpointEndMarker = decodeCheckpointEndMarker(reader.readField());
+            const numFieldsRead = reader.cursor;
+            if (numFieldsRead !== checkpointEndMarker.numBlobFields) {
+                throw new BlobDeserializationError(`Incorrect encoding of blob fields: mismatch number of blob fields. Expected ${checkpointEndMarker.numBlobFields} fields, got ${numFieldsRead}.`);
+            }
+        }
+    }
+    if (!checkpointEndMarker) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: checkpoint end marker does not exist.`);
+    }
+    const remainingFields = reader.readFieldArray(reader.remainingFields());
+    if (!remainingFields.every((f)=>f.isZero())) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: unexpected non-zero field after checkpoint end marker.`);
+    }
+    return {
+        checkpointEndMarker,
+        blocks
+    };
+}
+export function decodeCheckpointBlobDataFromBuffer(buf) {
+    const reader = BufferReader.asReader(buf);
+    const totalFieldsInBuffer = Math.floor(buf.length / Fr.SIZE_IN_BYTES);
+    const blobFields = reader.readArray(totalFieldsInBuffer, Fr);
+    return decodeCheckpointBlobData(blobFields);
+}
+export function getTotalNumBlobFieldsFromTxs(txsPerBlock) {
+    const numBlocks = txsPerBlock.length;
+    if (!numBlocks) {
+        return 0;
+    }
+    return (numBlocks ? 1 : 0) + // l1ToL2Messages root in the first block
+    numBlocks * 6 + // 6 fields for each block end blob data.
+    txsPerBlock.reduce((total, txs)=>total + txs.reduce((total, tx)=>total + tx.numBlobFields, 0), 0) + 1 // checkpoint end marker
+    ;
+}

package/dest/encoding/checkpoint_end_marker.d.ts

@@ -0,0 +1,8 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+export interface CheckpointEndMarker {
+    numBlobFields: number;
+}
+export declare function encodeCheckpointEndMarker(checkpointEndMarker: CheckpointEndMarker): Fr;
+export declare function decodeCheckpointEndMarker(field: Fr): CheckpointEndMarker;
+export declare function isCheckpointEndMarker(field: Fr): boolean;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY2hlY2twb2ludF9lbmRfbWFya2VyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZW5jb2RpbmcvY2hlY2twb2ludF9lbmRfbWFya2VyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQVFwRCxNQUFNLFdBQVcsbUJBQW1CO0lBQ2xDLGFBQWEsRUFBRSxNQUFNLENBQUM7Q0FDdkI7QUFFRCx3QkFBZ0IseUJBQXlCLENBQUMsbUJBQW1CLEVBQUUsbUJBQW1CLE1BS2pGO0FBRUQsd0JBQWdCLHlCQUF5QixDQUFDLEtBQUssRUFBRSxFQUFFLEdBQUcsbUJBQW1CLENBYXhFO0FBR0Qsd0JBQWdCLHFCQUFxQixDQUFDLEtBQUssRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUd4RCJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"checkpoint_end_marker.d.ts","sourceRoot":"","sources":["../../src/encoding/checkpoint_end_marker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAQpD,MAAM,WAAW,mBAAmB;IAClC,aAAa,EAAE,MAAM,CAAC;CACvB;AAED,wBAAgB,yBAAyB,CAAC,mBAAmB,EAAE,mBAAmB,MAKjF;AAED,wBAAgB,yBAAyB,CAAC,KAAK,EAAE,EAAE,GAAG,mBAAmB,CAaxE;AAGD,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,EAAE,GAAG,OAAO,CAGxD"}

package/dest/encoding/checkpoint_end_marker.js

@@ -0,0 +1,28 @@
+import { CHECKPOINT_END_PREFIX } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BlobDeserializationError } from '../errors.js';
+// Must match the implementation in `noir-protocol-circuits/crates/types/src/blob_data/checkpoint_blob_data.nr`.
+const NUM_BLOB_FIELDS_BIT_SIZE = 32n;
+export function encodeCheckpointEndMarker(checkpointEndMarker) {
+    let value = CHECKPOINT_END_PREFIX;
+    value <<= NUM_BLOB_FIELDS_BIT_SIZE;
+    value += BigInt(checkpointEndMarker.numBlobFields);
+    return new Fr(value);
+}
+export function decodeCheckpointEndMarker(field) {
+    let value = field.toBigInt();
+    const numBlobFields = Number(value & 2n ** NUM_BLOB_FIELDS_BIT_SIZE - 1n);
+    value >>= NUM_BLOB_FIELDS_BIT_SIZE;
+    const prefix = value;
+    if (prefix !== CHECKPOINT_END_PREFIX) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: invalid checkpoint end marker.`);
+    }
+    return {
+        numBlobFields
+    };
+}
+// Check if a field is a checkpoint end marker. Used to check if it has reached the end of the blob fields.
+export function isCheckpointEndMarker(field) {
+    const prefix = field.toBigInt() >> NUM_BLOB_FIELDS_BIT_SIZE;
+    return prefix === CHECKPOINT_END_PREFIX;
+}

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=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZml4dHVyZXMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lbmNvZGluZy9maXh0dXJlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFjQSxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsZ0JBQWdCLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUM1RSxPQUFPLEtBQUssRUFBRSxjQUFjLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUM1RCxPQUFPLEtBQUssRUFBRSxrQkFBa0IsRUFBRSxNQUFNLDRCQUE0QixDQUFDO0FBQ3JFLE9BQU8sRUFBRSxLQUFLLGtCQUFrQixFQUFnQyxNQUFNLDJCQUEyQixDQUFDO0FBQ2xHLE9BQU8sRUFBRSxLQUFLLFVBQVUsRUFBc0IsTUFBTSxtQkFBbUIsQ0FBQztBQUN4RSxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUkxRCx3QkFBZ0IsaUJBQWlCLENBQUMsRUFDaEMsUUFBZ0IsRUFDaEIsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUFFLFFBQVEsQ0FBQyxFQUFFLE9BQU8sQ0FBQTtDQUFFLEdBQUcsT0FBTyxDQUFDLGFBQWEsQ0FBTSxHQUFHLGFBQWEsQ0FtQnRFO0FBRUQsd0JBQWdCLGNBQWMsQ0FBQyxFQUM3QixRQUFnQixFQUNoQixJQUFRLEVBQ1IsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUFFLFFBQVEsQ0FBQyxFQUFFLE9BQU8sQ0FBQztJQUFDLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQTtDQUFFLEdBQUcsT0FBTyxDQUNoRCxJQUFJLENBQUMsVUFBVSxFQUFFLGVBQWUsQ0FBQyxHQUFHO0lBQUUsYUFBYSxDQUFDLEVBQUUsT0FBTyxDQUFDLGFBQWEsQ0FBQyxDQUFBO0NBQUUsQ0FDMUUsR0FBRyxVQUFVLENBbURsQjtBQUVELHdCQUFnQixrQkFBa0IsQ0FBQyxFQUNqQyxJQUFRLEVBQ1IsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUFFLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQTtDQUFFLEdBQUcsT0FBTyxDQUFDLGNBQWMsQ0FBTSxHQUFHLGNBQWMsQ0FPbkU7QUFFRCx3QkFBZ0Isc0JBQXNCLENBQUMsRUFDckMsSUFBUSxFQUNSLEdBQUcsU0FBUyxFQUNiLEdBQUU7SUFBRSxJQUFJLENBQUMsRUFBRSxNQUFNLENBQUE7Q0FBRSxHQUFHLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBTSxHQUFHLGtCQUFrQixDQVMzRTtBQUVELHdCQUFnQixvQkFBb0IsQ0FBQyxFQUNuQyxZQUFtQixFQUNuQixJQUFRLEVBQ1IsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUFFLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUFDLFlBQVksQ0FBQyxFQUFFLE9BQU8sQ0FBQTtDQUFFLEdBQUcsT0FBTyxDQUNwRCxJQUFJLENBQUMsZ0JBQWdCLEVBQUUsZ0JBQWdCLEdBQUcsb0JBQW9CLENBQUMsQ0FDaEUsR0FBRztJQUNBLGNBQWMsQ0FBQyxFQUFFLE9BQU8sQ0FBQyxjQUFjLENBQUMsQ0FBQztJQUN6QyxrQkFBa0IsQ0FBQyxFQUFFLE9BQU8sQ0FBQyxrQkFBa0IsQ0FBQyxDQUFDO0NBQzdDLEdBQUcsZ0JBQWdCLENBZ0IxQjtBQUVELHdCQUFnQixpQkFBaUIsQ0FBQyxFQUNoQyxNQUFVLEVBQ1YsWUFBbUIsRUFDbkIsUUFBZ0IsRUFDaEIsSUFBUSxFQUNSLEdBQUcsU0FBUyxFQUNiLEdBQUU7SUFBRSxNQUFNLENBQUMsRUFBRSxNQUFNLENBQUM7SUFBQyxZQUFZLENBQUMsRUFBRSxPQUFPLENBQUM7SUFBQyxRQUFRLENBQUMsRUFBRSxPQUFPLENBQUM7SUFBQyxJQUFJLENBQUMsRUFBRSxNQUFNLENBQUE7Q0FBRSxHQUFHLE9BQU8sQ0FDekYsVUFBVSxDQUFDLE9BQU8sb0JBQW9CLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FDdEMsR0FBRyxhQUFhLENBWXJCO0FBRUQsd0JBQWdCLHNCQUFzQixDQUFDLEVBQ3JDLFNBQWEsRUFDYixjQUFrQixFQUNsQixRQUFnQixFQUNoQixJQUFRLEVBQ1IsR0FBRyxTQUFTLEVBQ2IsR0FBRTtJQUNELFNBQVMsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNuQixjQUFjLENBQUMsRUFBRSxNQUFNLENBQUM7SUFDeEIsUUFBUSxDQUFDLEVBQUUsT0FBTyxDQUFDO0lBQ25CLElBQUksQ0FBQyxFQUFFLE1BQU0sQ0FBQztDQUNmLEdBQUcsT0FBTyxDQUFDLGtCQUFrQixDQUFNLEdBQUcsa0JBQWtCLENBaUJ4RCJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"fixtures.d.ts","sourceRoot":"","sources":["../../src/encoding/fixtures.ts"],"names":[],"mappings":"AAcA,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,140 @@
+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 { BlockNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
+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: 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 numBlobFields = overrides.checkpointEndMarker?.numBlobFields ?? getTotalNumBlobFieldsFromTxs(blocks.map((block)=>block.txs.map((tx)=>tx.txStartMarker)));
+    return {
+        blocks,
+        checkpointEndMarker: {
+            numBlobFields
+        }
+    };
+}

package/dest/encoding/index.d.ts

@@ -0,0 +1,10 @@
+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 './checkpoint_end_marker.js';
+export * from './fixtures.js';
+export * from './tx_blob_data.js';
+export * from './tx_start_marker.js';
+export { BlobDeserializationError } from '../errors.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9lbmNvZGluZy9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLGNBQWMsdUJBQXVCLENBQUM7QUFDdEMsY0FBYyw0QkFBNEIsQ0FBQztBQUMzQyxjQUFjLDJCQUEyQixDQUFDO0FBQzFDLGNBQWMsNEJBQTRCLENBQUM7QUFDM0MsY0FBYyxlQUFlLENBQUM7QUFDOUIsY0FBYyxtQkFBbUIsQ0FBQztBQUNsQyxjQUFjLHNCQUFzQixDQUFDO0FBQ3JDLE9BQU8sRUFBRSx3QkFBd0IsRUFBRSxNQUFNLGNBQWMsQ0FBQyJ9

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,4BAA4B,CAAC;AAC3C,cAAc,eAAe,CAAC;AAC9B,cAAc,mBAAmB,CAAC;AAClC,cAAc,sBAAsB,CAAC;AACrC,OAAO,EAAE,wBAAwB,EAAE,MAAM,cAAc,CAAC"}

package/dest/encoding/index.js

@@ -0,0 +1,9 @@
+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 './checkpoint_end_marker.js';
+export * from './fixtures.js';
+export * from './tx_blob_data.js';
+export * from './tx_start_marker.js';
+export { BlobDeserializationError } from '../errors.js';

package/dest/encoding/tx_blob_data.d.ts

@@ -0,0 +1,19 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+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=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfYmxvYl9kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZW5jb2RpbmcvdHhfYmxvYl9kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFHMUQsT0FBTyxFQUFFLEtBQUssYUFBYSxFQUE0QyxNQUFNLHNCQUFzQixDQUFDO0FBSXBHLE1BQU0sV0FBVyxVQUFVO0lBQ3pCLGFBQWEsRUFBRSxhQUFhLENBQUM7SUFDN0IsTUFBTSxFQUFFLEVBQUUsQ0FBQztJQUNYLGNBQWMsRUFBRSxFQUFFLENBQUM7SUFDbkIsVUFBVSxFQUFFLEVBQUUsRUFBRSxDQUFDO0lBQ2pCLFVBQVUsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNqQixVQUFVLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDakIsZ0JBQWdCLEVBQUUsQ0FBQyxFQUFFLEVBQUUsRUFBRSxDQUFDLEVBQUUsQ0FBQztJQUM3QixXQUFXLEVBQUUsRUFBRSxFQUFFLEVBQUUsQ0FBQztJQUNwQixVQUFVLEVBQUUsRUFBRSxFQUFFLENBQUM7SUFDakIsZ0JBQWdCLEVBQUUsRUFBRSxFQUFFLENBQUM7Q0FDeEI7QUFFRCx3QkFBZ0IsZ0JBQWdCLENBQUMsVUFBVSxFQUFFLFVBQVUsR0FBRyxFQUFFLEVBQUUsQ0FhN0Q7QUFFRCx3QkFBZ0IsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRyxVQUFVLENBNkR2RTtBQUVELHdCQUFnQixrQkFBa0IsQ0FBQyxhQUFhLEVBQUUsSUFBSSxDQUFDLGFBQWEsRUFBRSxZQUFZLEdBQUcsZUFBZSxDQUFDLFVBZXBHIn0=

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,gCAAgC,CAAC;AACpD,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"}

package/dest/encoding/tx_blob_data.js

@@ -0,0 +1,79 @@
+import { chunk } from '@aztec/foundation/collection';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { FieldReader } from '@aztec/foundation/serialize';
+import { BlobDeserializationError } from '../errors.js';
+import { decodeTxStartMarker, encodeTxStartMarker } from './tx_start_marker.js';
+export function encodeTxBlobData(txBlobData) {
+    return [
+        encodeTxStartMarker(txBlobData.txStartMarker),
+        txBlobData.txHash,
+        txBlobData.transactionFee,
+        ...txBlobData.noteHashes,
+        ...txBlobData.nullifiers,
+        ...txBlobData.l2ToL1Msgs,
+        ...txBlobData.publicDataWrites.flat(),
+        ...txBlobData.privateLogs.map((log)=>[
+                new Fr(log.length),
+                ...log
+            ]).flat(),
+        ...txBlobData.publicLogs,
+        ...txBlobData.contractClassLog
+    ];
+}
+export function decodeTxBlobData(fields) {
+    const reader = FieldReader.asReader(fields);
+    if (reader.isFinished()) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: not enough fields for tx blob data.`);
+    }
+    const txStartMarker = decodeTxStartMarker(reader.readField());
+    const checkRemainingFields = (requiredFields, type)=>{
+        if (requiredFields > reader.remainingFields()) {
+            throw new BlobDeserializationError(`Incorrect encoding of blob fields: not enough fields for ${type}. Expected ${requiredFields} fields, only ${reader.remainingFields()} remaining.`);
+        }
+    };
+    const numTxEffectFields = txStartMarker.numBlobFields - 1; // -1 because we already read the tx start marker.
+    checkRemainingFields(numTxEffectFields, 'tx effect');
+    const txHash = reader.readField();
+    const transactionFee = reader.readField();
+    checkRemainingFields(txStartMarker.numNoteHashes, 'note hashes');
+    const noteHashes = reader.readFieldArray(txStartMarker.numNoteHashes);
+    checkRemainingFields(txStartMarker.numNullifiers, 'nullifiers');
+    const nullifiers = reader.readFieldArray(txStartMarker.numNullifiers);
+    checkRemainingFields(txStartMarker.numL2ToL1Msgs, 'l2-to-l1 messages');
+    const l2ToL1Msgs = reader.readFieldArray(txStartMarker.numL2ToL1Msgs);
+    checkRemainingFields(txStartMarker.numPublicDataWrites * 2, 'public data writes'); // *2 for leaf slot and value
+    const publicDataWrites = chunk(reader.readFieldArray(txStartMarker.numPublicDataWrites * 2), 2);
+    const privateLogs = Array.from({
+        length: txStartMarker.numPrivateLogs
+    }, ()=>{
+        const length = reader.readU32();
+        checkRemainingFields(length, 'private log');
+        return reader.readFieldArray(length);
+    });
+    checkRemainingFields(txStartMarker.publicLogsLength, 'public logs');
+    const publicLogs = reader.readFieldArray(txStartMarker.publicLogsLength);
+    const contractClassLogBlobDataLength = txStartMarker.contractClassLogLength > 0 ? txStartMarker.contractClassLogLength + 1 : 0; // If the log exists, +1 for the contract address
+    checkRemainingFields(contractClassLogBlobDataLength, 'contract class logs');
+    const contractClassLog = reader.readFieldArray(contractClassLogBlobDataLength);
+    return {
+        txStartMarker,
+        txHash,
+        transactionFee,
+        noteHashes,
+        nullifiers,
+        l2ToL1Msgs,
+        publicDataWrites,
+        privateLogs,
+        publicLogs,
+        contractClassLog
+    };
+}
+export function getNumTxBlobFields(txStartMarker) {
+    return 1 + // tx start marker
+    1 + // tx hash
+    1 + // transaction fee
+    txStartMarker.numNoteHashes + txStartMarker.numNullifiers + txStartMarker.numL2ToL1Msgs + txStartMarker.numPublicDataWrites * 2 + // *2 for leaf slot and value per public data write
+    txStartMarker.numPrivateLogs + // +1 length field for each private log
+    txStartMarker.privateLogsLength + txStartMarker.publicLogsLength + txStartMarker.contractClassLogLength + (txStartMarker.contractClassLogLength > 0 ? 1 : 0 // +1 for contract address of the contract class log
+    );
+}

package/dest/encoding/tx_start_marker.d.ts

@@ -0,0 +1,16 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+export interface TxStartMarker {
+    numBlobFields: number;
+    revertCode: number;
+    numNoteHashes: number;
+    numNullifiers: number;
+    numL2ToL1Msgs: number;
+    numPublicDataWrites: number;
+    numPrivateLogs: number;
+    privateLogsLength: number;
+    publicLogsLength: number;
+    contractClassLogLength: number;
+}
+export declare function encodeTxStartMarker(txStartMarker: TxStartMarker): Fr;
+export declare function decodeTxStartMarker(field: Fr): TxStartMarker;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhfc3RhcnRfbWFya2VyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvZW5jb2RpbmcvdHhfc3RhcnRfbWFya2VyLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQWlCcEQsTUFBTSxXQUFXLGFBQWE7SUFDNUIsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixVQUFVLEVBQUUsTUFBTSxDQUFDO0lBQ25CLGFBQWEsRUFBRSxNQUFNLENBQUM7SUFDdEIsYUFBYSxFQUFFLE1BQU0sQ0FBQztJQUN0QixhQUFhLEVBQUUsTUFBTSxDQUFDO0lBQ3RCLG1CQUFtQixFQUFFLE1BQU0sQ0FBQztJQUM1QixjQUFjLEVBQUUsTUFBTSxDQUFDO0lBQ3ZCLGlCQUFpQixFQUFFLE1BQU0sQ0FBQztJQUMxQixnQkFBZ0IsRUFBRSxNQUFNLENBQUM7SUFDekIsc0JBQXNCLEVBQUUsTUFBTSxDQUFDO0NBQ2hDO0FBRUQsd0JBQWdCLG1CQUFtQixDQUFDLGFBQWEsRUFBRSxhQUFhLEdBQUcsRUFBRSxDQXVCcEU7QUFFRCx3QkFBZ0IsbUJBQW1CLENBQUMsS0FBSyxFQUFFLEVBQUUsR0FBRyxhQUFhLENBd0M1RCJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"tx_start_marker.d.ts","sourceRoot":"","sources":["../../src/encoding/tx_start_marker.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAiBpD,MAAM,WAAW,aAAa;IAC5B,aAAa,EAAE,MAAM,CAAC;IACtB,UAAU,EAAE,MAAM,CAAC;IACnB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,aAAa,EAAE,MAAM,CAAC;IACtB,mBAAmB,EAAE,MAAM,CAAC;IAC5B,cAAc,EAAE,MAAM,CAAC;IACvB,iBAAiB,EAAE,MAAM,CAAC;IAC1B,gBAAgB,EAAE,MAAM,CAAC;IACzB,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAED,wBAAgB,mBAAmB,CAAC,aAAa,EAAE,aAAa,GAAG,EAAE,CAuBpE;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,EAAE,GAAG,aAAa,CAwC5D"}

package/dest/encoding/tx_start_marker.js

@@ -0,0 +1,77 @@
+import { TX_START_PREFIX } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BlobDeserializationError } from '../errors.js';
+// Must match the implementation in `noir-protocol-circuits/crates/types/src/blob_data/tx_blob_data.nr`.
+const NUM_BLOB_FIELDS_BIT_SIZE = 32n;
+const REVERT_CODE_BIT_SIZE = 8n;
+const NUM_NOTE_HASH_BIT_SIZE = 16n;
+const NUM_NULLIFIER_BIT_SIZE = 16n;
+const NUM_L2_TO_L1_MSG_BIT_SIZE = 16n;
+const NUM_PUBLIC_DATA_WRITE_BIT_SIZE = 16n;
+const NUM_PRIVATE_LOG_BIT_SIZE = 16n;
+const PRIVATE_LOGS_LENGTH_BIT_SIZE = 16n;
+const PUBLIC_LOGS_LENGTH_BIT_SIZE = 32n;
+const CONTRACT_CLASS_LOG_LENGTH_BIT_SIZE = 16n;
+export function encodeTxStartMarker(txStartMarker) {
+    let value = TX_START_PREFIX;
+    value <<= NUM_NOTE_HASH_BIT_SIZE;
+    value += BigInt(txStartMarker.numNoteHashes);
+    value <<= NUM_NULLIFIER_BIT_SIZE;
+    value += BigInt(txStartMarker.numNullifiers);
+    value <<= NUM_L2_TO_L1_MSG_BIT_SIZE;
+    value += BigInt(txStartMarker.numL2ToL1Msgs);
+    value <<= NUM_PUBLIC_DATA_WRITE_BIT_SIZE;
+    value += BigInt(txStartMarker.numPublicDataWrites);
+    value <<= NUM_PRIVATE_LOG_BIT_SIZE;
+    value += BigInt(txStartMarker.numPrivateLogs);
+    value <<= PRIVATE_LOGS_LENGTH_BIT_SIZE;
+    value += BigInt(txStartMarker.privateLogsLength);
+    value <<= PUBLIC_LOGS_LENGTH_BIT_SIZE;
+    value += BigInt(txStartMarker.publicLogsLength);
+    value <<= CONTRACT_CLASS_LOG_LENGTH_BIT_SIZE;
+    value += BigInt(txStartMarker.contractClassLogLength);
+    value <<= REVERT_CODE_BIT_SIZE;
+    value += BigInt(txStartMarker.revertCode);
+    value <<= NUM_BLOB_FIELDS_BIT_SIZE;
+    value += BigInt(txStartMarker.numBlobFields);
+    return new Fr(value);
+}
+export function decodeTxStartMarker(field) {
+    let value = field.toBigInt();
+    const numBlobFields = Number(value & 2n ** NUM_BLOB_FIELDS_BIT_SIZE - 1n);
+    value >>= NUM_BLOB_FIELDS_BIT_SIZE;
+    const revertCode = Number(value & 2n ** REVERT_CODE_BIT_SIZE - 1n);
+    value >>= REVERT_CODE_BIT_SIZE;
+    const contractClassLogLength = Number(value & 2n ** CONTRACT_CLASS_LOG_LENGTH_BIT_SIZE - 1n);
+    value >>= CONTRACT_CLASS_LOG_LENGTH_BIT_SIZE;
+    const publicLogsLength = Number(value & 2n ** PUBLIC_LOGS_LENGTH_BIT_SIZE - 1n);
+    value >>= PUBLIC_LOGS_LENGTH_BIT_SIZE;
+    const privateLogsLength = Number(value & 2n ** PRIVATE_LOGS_LENGTH_BIT_SIZE - 1n);
+    value >>= PRIVATE_LOGS_LENGTH_BIT_SIZE;
+    const numPrivateLogs = Number(value & 2n ** NUM_PRIVATE_LOG_BIT_SIZE - 1n);
+    value >>= NUM_PRIVATE_LOG_BIT_SIZE;
+    const numPublicDataWrites = Number(value & 2n ** NUM_PUBLIC_DATA_WRITE_BIT_SIZE - 1n);
+    value >>= NUM_PUBLIC_DATA_WRITE_BIT_SIZE;
+    const numL2ToL1Msgs = Number(value & 2n ** NUM_L2_TO_L1_MSG_BIT_SIZE - 1n);
+    value >>= NUM_L2_TO_L1_MSG_BIT_SIZE;
+    const numNullifiers = Number(value & 2n ** NUM_NULLIFIER_BIT_SIZE - 1n);
+    value >>= NUM_NULLIFIER_BIT_SIZE;
+    const numNoteHashes = Number(value & 2n ** NUM_NOTE_HASH_BIT_SIZE - 1n);
+    value >>= NUM_NOTE_HASH_BIT_SIZE;
+    const prefix = value;
+    if (prefix !== TX_START_PREFIX) {
+        throw new BlobDeserializationError(`Incorrect encoding of blob fields: invalid tx start marker.`);
+    }
+    return {
+        numBlobFields,
+        revertCode,
+        numNoteHashes,
+        numNullifiers,
+        numL2ToL1Msgs,
+        numPublicDataWrites,
+        numPrivateLogs,
+        privateLogsLength,
+        publicLogsLength,
+        contractClassLogLength
+    };
+}

package/dest/errors.d.ts

@@ -1,4 +1,4 @@
 export declare class BlobDeserializationError extends Error {
     constructor(message: string);
 }
-//# sourceMappingURL=errors.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZXJyb3JzLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvZXJyb3JzLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLHFCQUFhLHdCQUF5QixTQUFRLEtBQUs7SUFDakQsWUFBWSxPQUFPLEVBQUUsTUFBTSxFQUcxQjtDQUNGIn0=

package/dest/errors.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,qBAAa,wBAAyB,SAAQ,KAAK;gBACrC,OAAO,EAAE,MAAM;CAI5B"}
+{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../src/errors.ts"],"names":[],"mappings":"AAAA,qBAAa,wBAAyB,SAAQ,KAAK;IACjD,YAAY,OAAO,EAAE,MAAM,EAG1B;CACF"}

package/dest/hash.d.ts

@@ -0,0 +1,43 @@
+import { BLS12Fr } from '@aztec/foundation/curves/bls12';
+import { Fr } from '@aztec/foundation/curves/bn254';
+/**
+ * Returns ethereum's versioned blob hash, following kzg_to_versioned_hash: https://eips.ethereum.org/EIPS/eip-4844#helpers
+ */
+export declare function computeEthVersionedBlobHash(commitment: Buffer): Buffer;
+export declare function computeBlobsHash(evmVersionedBlobHashes: Buffer[]): Fr;
+/**
+ * Computes a non-standard Poseidon2 hash over the provided fields.
+ *
+ * This function is used to compute:
+ * - `blobFieldsHash` of a checkpoint:
+ *   Verified in the circuit against all fields absorbed into the blob sponge over the entire checkpoint.
+ *   The exact number of fields is encoded in the checkpoint end marker (the last field).
+ *   This hash is used when generating the challenge `z` for all blobs in the checkpoint.
+ * - `spongeBlobHash` of a block:
+ *   Computed from the block's tx effects, its end-state, and the blob fields of all prior blocks in the same checkpoint.
+ *   This hash is included in the block header.
+ */
+export declare function computeBlobFieldsHash(fields: Fr[]): Promise<Fr>;
+export declare function computeBlobCommitment(data: Uint8Array): Buffer;
+/**
+ * Get the commitment fields of the blob, to compute the challenge z.
+ *
+ * The 48-byte commitment is encoded into two field elements:
+ * +-------------------+------------------------+
+ * |      31 bytes     |         17 bytes       |
+ * +-------------------+------------------------+
+ * |  Field Element 1  |     Field Element 2    |
+ * |  [0][bytes 0-30]  |  [0...0][bytes 31-47]  |
+ * +-------------------+------------------------+
+ *
+ * @param commitment - The commitment to convert to fields. Computed from `computeBlobCommitment`.
+ * @returns The fields representing the commitment buffer.
+ */
+export declare function commitmentToFields(commitment: Buffer): [Fr, Fr];
+export declare function computeChallengeZ(blobFieldsHash: Fr, commitment: Buffer): Promise<Fr>;
+/**
+ * Hash each u128 limb of the noir bignum struct representing the BLS field, to mimic the hash accumulation in the
+ * rollup circuits.
+ */
+export declare function hashNoirBigNumLimbs(field: BLS12Fr): Promise<Fr>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaGFzaC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vc3JjL2hhc2gudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxFQUFFLE9BQU8sRUFBRSxNQUFNLGdDQUFnQyxDQUFDO0FBQ3pELE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQU9wRDs7R0FFRztBQUNILHdCQUFnQiwyQkFBMkIsQ0FBQyxVQUFVLEVBQUUsTUFBTSxHQUFHLE1BQU0sQ0FJdEU7QUFPRCx3QkFBZ0IsZ0JBQWdCLENBQUMsc0JBQXNCLEVBQUUsTUFBTSxFQUFFLEdBQUcsRUFBRSxDQUVyRTtBQUVEOzs7Ozs7Ozs7OztHQVdHO0FBQ0gsd0JBQXNCLHFCQUFxQixDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsRUFBRSxDQUFDLENBSXJFO0FBRUQsd0JBQWdCLHFCQUFxQixDQUFDLElBQUksRUFBRSxVQUFVLEdBQUcsTUFBTSxDQU05RDtBQUVEOzs7Ozs7Ozs7Ozs7O0dBYUc7QUFDSCx3QkFBZ0Isa0JBQWtCLENBQUMsVUFBVSxFQUFFLE1BQU0sR0FBRyxDQUFDLEVBQUUsRUFBRSxFQUFFLENBQUMsQ0FNL0Q7QUFFRCx3QkFBc0IsaUJBQWlCLENBQUMsY0FBYyxFQUFFLEVBQUUsRUFBRSxVQUFVLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FHM0Y7QUFFRDs7O0dBR0c7QUFDSCx3QkFBc0IsbUJBQW1CLENBQUMsS0FBSyxFQUFFLE9BQU8sR0FBRyxPQUFPLENBQUMsRUFBRSxDQUFDLENBR3JFIn0=

package/dest/hash.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../src/hash.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,OAAO,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAOpD;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAItE;AAOD,wBAAgB,gBAAgB,CAAC,sBAAsB,EAAE,MAAM,EAAE,GAAG,EAAE,CAErE;AAED;;;;;;;;;;;GAWG;AACH,wBAAsB,qBAAqB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAIrE;AAED,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,UAAU,GAAG,MAAM,CAM9D;AAED;;;;;;;;;;;;;GAaG;AACH,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,MAAM,GAAG,CAAC,EAAE,EAAE,EAAE,CAAC,CAM/D;AAED,wBAAsB,iBAAiB,CAAC,cAAc,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC,CAG3F;AAED;;;GAGG;AACH,wBAAsB,mBAAmB,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,CAAC,EAAE,CAAC,CAGrE"}