@aztec/blob-lib 0.0.1-commit.b655e406 → 0.0.1-commit.fce3e4f

package/src/{encoding.ts → encoding/tx_start_marker.ts}

@@ -1,6 +1,9 @@
-import { BLOCK_END_PREFIX, TX_START_PREFIX } from '@aztec/constants';
+import { TX_START_PREFIX } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
-import { FieldReader } from '@aztec/foundation/serialize';
+
+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;
@@ -9,11 +12,11 @@ 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 interface TxStartMarker {
-  prefix: bigint;
   numBlobFields: number;
   revertCode: number;
   numNoteHashes: number;
@@ -21,12 +24,12 @@ export interface TxStartMarker {
   numL2ToL1Msgs: number;
   numPublicDataWrites: number;
   numPrivateLogs: number;
+  privateLogsLength: number;
   publicLogsLength: number;
   contractClassLogLength: number;
 }
 
-// Must match the implementation in `noir-protocol-circuits/crates/rollup-lib/src/tx_base/components/tx_blob_data.nr`.
-export function encodeTxStartMarker(txStartMarker: Omit<TxStartMarker, 'prefix'>) {
+export function encodeTxStartMarker(txStartMarker: TxStartMarker): Fr {
   let value = TX_START_PREFIX;
   value <<= NUM_NOTE_HASH_BIT_SIZE;
   value += BigInt(txStartMarker.numNoteHashes);
@@ -38,6 +41,8 @@ export function encodeTxStartMarker(txStartMarker: Omit<TxStartMarker, 'prefix'>
   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;
@@ -59,6 +64,8 @@ export function decodeTxStartMarker(field: Fr): TxStartMarker {
   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));
@@ -69,11 +76,13 @@ export function decodeTxStartMarker(field: Fr): TxStartMarker {
   value >>= NUM_NULLIFIER_BIT_SIZE;
   const numNoteHashes = Number(value & (2n ** NUM_NOTE_HASH_BIT_SIZE - 1n));
   value >>= NUM_NOTE_HASH_BIT_SIZE;
-  // Do not throw if the prefix doesn't match.
-  // The caller function can check it by calling `isValidTxStartMarker`, and decide what to do if it's incorrect.
+
   const prefix = value;
+  if (prefix !== TX_START_PREFIX) {
+    throw new BlobDeserializationError(`Incorrect encoding of blob fields: invalid tx start marker.`);
+  }
+
   return {
-    prefix,
     numBlobFields,
     revertCode,
     numNoteHashes,
@@ -81,74 +90,8 @@ export function decodeTxStartMarker(field: Fr): TxStartMarker {
     numL2ToL1Msgs,
     numPublicDataWrites,
     numPrivateLogs,
+    privateLogsLength,
     publicLogsLength,
     contractClassLogLength,
   };
 }
-
-export function getNumBlobFieldsFromTxStartMarker(field: Fr) {
-  return Number(field.toBigInt() & (2n ** NUM_BLOB_FIELDS_BIT_SIZE - 1n));
-}
-
-export function isValidTxStartMarker(txStartMarker: TxStartMarker) {
-  return txStartMarker.prefix === TX_START_PREFIX;
-}
-
-export function createBlockEndMarker(numTxs: number) {
-  // Must match the implementation in `block_rollup_public_inputs_composer.nr > create_block_end_marker`.
-  return new Fr(BLOCK_END_PREFIX * 256n * 256n + BigInt(numTxs));
-}
-
-export function getNumTxsFromBlockEndMarker(field: Fr) {
-  return Number(field.toBigInt() & 0xffffn);
-}
-
-export function isBlockEndMarker(field: Fr) {
-  const value = field.toBigInt();
-  const numTxs = value & 0xffffn;
-  return value - numTxs === BLOCK_END_PREFIX * 256n * 256n;
-}
-
-/**
- * Check that the fields are emitted from the circuits and conform to the encoding.
- * @param blobFields - The concatenated fields from all blobs of an L1 block.
- */
-export function checkBlobFieldsEncoding(blobFields: Fr[]) {
-  const reader = FieldReader.asReader(blobFields);
-
-  const checkpointPrefix = reader.readField();
-  if (checkpointPrefix.toBigInt() !== BigInt(blobFields.length)) {
-    return false;
-  }
-
-  const numFieldsInCheckpoint = checkpointPrefix.toNumber();
-  let seenNumTxs = 0;
-  while (reader.cursor < numFieldsInCheckpoint) {
-    const currentField = reader.readField();
-
-    if (isBlockEndMarker(currentField)) {
-      // Found a block end marker. Confirm that the number of txs in this block is correct.
-      const numTxs = getNumTxsFromBlockEndMarker(currentField);
-      if (numTxs !== seenNumTxs) {
-        return false;
-      }
-      seenNumTxs = 0;
-      // Continue the loop to process the next field.
-      continue;
-    }
-
-    // If the field is not a block end marker, it must be a tx start marker.
-    const txStartMarker = decodeTxStartMarker(currentField);
-    if (!isValidTxStartMarker(txStartMarker)) {
-      return false;
-    }
-
-    seenNumTxs += 1;
-
-    // Skip the remaining fields in this tx. -1 because we already read the tx start marker.
-    reader.skip(txStartMarker.numBlobFields - 1);
-    // TODO: Check the encoding of the tx if we want to be more strict.
-  }
-
-  return true;
-}

package/src/hash.ts

@@ -2,6 +2,7 @@ import { poseidon2Hash, sha256, sha256ToField } from '@aztec/foundation/crypto';
 import { BLS12Fr, Fr } from '@aztec/foundation/fields';
 
 import { BYTES_PER_BLOB, BYTES_PER_COMMITMENT, kzg } from './kzg_context.js';
+import { SpongeBlob } from './sponge_blob.js';
 
 const VERSIONED_HASH_VERSION_KZG = 0x01;
 
@@ -24,12 +25,21 @@ export function computeBlobsHash(evmVersionedBlobHashes: Buffer[]): Fr {
 }
 
 /**
- * The hash of the fields added throughout the checkpoint. The exact number of fields is specified by the checkpoint
- * prefix (the first field). It's verified in the circuit against the fields absorbed into the sponge blob.
- * This hash is used in generating the challenge z for all blobs in the same checkpoint.
+ * 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 async function computeBlobFieldsHash(fields: Fr[]): Promise<Fr> {
-  return await poseidon2Hash(fields);
+  const sponge = SpongeBlob.init();
+  await sponge.absorb(fields);
+  return sponge.squeeze();
 }
 
 export function computeBlobCommitment(data: Uint8Array): Buffer {

package/src/index.ts

@@ -1,10 +1,9 @@
+export * from './batched_blob.js';
 export * from './blob.js';
 export * from './blob_batching.js';
 export * from './blob_utils.js';
 export * from './circuit_types/index.js';
-export * from './deserialize.js';
-export * from './encoding.js';
-export * from './errors.js';
+export * from './encoding/index.js';
 export * from './hash.js';
 export * from './interface.js';
 export * from './sponge_blob.js';

package/src/sponge_blob.ts

@@ -1,4 +1,4 @@
-import { TWO_POW_64 } from '@aztec/constants';
+import { BLOBS_PER_CHECKPOINT, FIELDS_PER_BLOB, TWO_POW_64 } from '@aztec/constants';
 import { type FieldsOf, makeTuple } from '@aztec/foundation/array';
 import { poseidon2Permutation } from '@aztec/foundation/crypto';
 import { Fr } from '@aztec/foundation/fields';
@@ -15,18 +15,28 @@ import {
  * See noir-projects/noir-protocol-circuits/crates/types/src/abis/sponge_blob.nr.
  */
 export class SpongeBlob {
+  static MAX_FIELDS = BLOBS_PER_CHECKPOINT * FIELDS_PER_BLOB;
+
   constructor(
     /** Sponge with absorbed fields that will go into one or more blobs. */
     public readonly sponge: Poseidon2Sponge,
     /** Number of effects absorbed so far. */
     public numAbsorbedFields: number,
-    /** Number of effects that will be absorbed. */
-    public readonly numExpectedFields: number,
   ) {}
 
+  /**
+   * Initialize the sponge blob to absorb data for a checkpoint.
+   */
+  static init(): SpongeBlob {
+    // This must match the implementation in noir-projects/noir-protocol-circuits/types/src/abis/sponge_blob.nr
+    const iv = new Fr(BigInt(SpongeBlob.MAX_FIELDS) * TWO_POW_64);
+    const sponge = Poseidon2Sponge.init(iv);
+    return new SpongeBlob(sponge, 0);
+  }
+
   static fromBuffer(buffer: Buffer | BufferReader): SpongeBlob {
     const reader = BufferReader.asReader(buffer);
-    return new SpongeBlob(reader.readObject(Poseidon2Sponge), reader.readNumber(), reader.readNumber());
+    return new SpongeBlob(reader.readObject(Poseidon2Sponge), reader.readNumber());
   }
 
   toBuffer() {
@@ -34,7 +44,7 @@ export class SpongeBlob {
   }
 
   static getFields(fields: FieldsOf<SpongeBlob>) {
-    return [fields.sponge, fields.numAbsorbedFields, fields.numExpectedFields];
+    return [fields.sponge, fields.numAbsorbedFields];
   }
 
   toFields(): Fr[] {
@@ -43,11 +53,7 @@ export class SpongeBlob {
 
   static fromFields(fields: Fr[] | FieldReader): SpongeBlob {
     const reader = FieldReader.asReader(fields);
-    return new SpongeBlob(
-      reader.readObject(Poseidon2Sponge),
-      reader.readField().toNumber(),
-      reader.readField().toNumber(),
-    );
+    return new SpongeBlob(reader.readObject(Poseidon2Sponge), reader.readField().toNumber());
   }
 
   clone() {
@@ -55,9 +61,9 @@ export class SpongeBlob {
   }
 
   async absorb(fields: Fr[]) {
-    if (this.numAbsorbedFields + fields.length > this.numExpectedFields) {
+    if (this.numAbsorbedFields + fields.length > SpongeBlob.MAX_FIELDS) {
       throw new Error(
-        `Attempted to fill spongeBlob with ${this.numAbsorbedFields + fields.length}, but it has a max of ${this.numExpectedFields}`,
+        `Attempted to fill spongeBlob with ${this.numAbsorbedFields + fields.length}, but it has a max of ${SpongeBlob.MAX_FIELDS}`,
       );
     }
     await this.sponge.absorb(fields);
@@ -65,29 +71,11 @@ export class SpongeBlob {
   }
 
   async squeeze(): Promise<Fr> {
-    // 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.numAbsorbedFields != this.numExpectedFields) {
-      await this.sponge.absorb([Fr.ONE]);
-    }
-    return this.sponge.squeeze();
+    return await this.sponge.squeeze();
   }
 
   static empty(): SpongeBlob {
-    return new SpongeBlob(Poseidon2Sponge.empty(), 0, 0);
-  }
-
-  /**
-   * Initialize the sponge blob with the number of expected fields in the checkpoint and absorb it as the first field.
-   * Note: `numExpectedFields` includes the first field absorbed in this method.
-   */
-  static async init(numExpectedFields: number): Promise<SpongeBlob> {
-    // This must match what the checkpoint root rollup circuit expects.
-    // See noir-projects/noir-protocol-circuits/types/src/abis/sponge_blob.nr -> init_for_checkpoint.
-    const sponge = Poseidon2Sponge.init(numExpectedFields);
-    await sponge.absorb([new Fr(numExpectedFields)]);
-    const numAbsorbedFields = 1;
-    return new SpongeBlob(sponge, numAbsorbedFields, numExpectedFields);
+    return new SpongeBlob(Poseidon2Sponge.empty(), 0);
   }
 }
 
@@ -141,8 +129,7 @@ export class Poseidon2Sponge {
     );
   }
 
-  static init(numExpectedFields: number): Poseidon2Sponge {
-    const iv = new Fr(numExpectedFields).mul(new Fr(TWO_POW_64));
+  static init(iv: Fr): Poseidon2Sponge {
     const sponge = Poseidon2Sponge.empty();
     sponge.state[3] = iv;
     return sponge;

package/src/testing.ts

@@ -1,15 +1,14 @@
-import { FIELDS_PER_BLOB } from '@aztec/constants';
 import { makeTuple } from '@aztec/foundation/array';
-import { randomInt } from '@aztec/foundation/crypto';
-import { BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
+import { BLS12Fq, BLS12Fr, BLS12Point, BLSPointNotOnCurveError, Fr } from '@aztec/foundation/fields';
 
 import { Blob } from './blob.js';
-import { BatchedBlobAccumulator } from './blob_batching.js';
-import { getBlobsPerL1Block } from './blob_utils.js';
-import { FinalBlobBatchingChallenges } from './circuit_types/index.js';
-import { createBlockEndMarker, encodeTxStartMarker } from './encoding.js';
+import { BlobAccumulator } from './circuit_types/blob_accumulator.js';
+import { FinalBlobAccumulator } from './circuit_types/final_blob_accumulator.js';
+import { FinalBlobBatchingChallenges } from './circuit_types/final_blob_batching_challenges.js';
 import { Poseidon2Sponge, SpongeBlob } from './sponge_blob.js';
 
+export * from './encoding/fixtures.js';
+
 /**
  * Makes arbitrary poseidon sponge for blob inputs.
  * Note: will not verify inside the circuit.
@@ -25,87 +24,61 @@ export function makeSpongeBlob(seed = 1): SpongeBlob {
       false,
     ),
     seed,
-    seed + 1,
   );
 }
 
+/**
+ * Makes an arbitrary but valid BLS12 point. The value is deterministic for a given seed.
+ * @param seed - The seed to use for generating the point.
+ * @returns A BLS12 point instance.
+ */
+function makeBLS12Point(seed = 1): BLS12Point {
+  let accum = 0;
+  while (true) {
+    try {
+      const x = new BLS12Fq(seed + accum);
+      const y = BLS12Point.YFromX(x);
+      if (y) {
+        return new BLS12Point(x, y, false);
+      }
+      accum++;
+    } catch (e: any) {
+      if (!(e instanceof BLSPointNotOnCurveError)) {
+        throw e;
+      }
+      // The point is not on the curve - try again
+    }
+  }
+}
+
 /**
  * Makes arbitrary blob public accumulator.
  * Note: will not verify inside the circuit.
  * @param seed - The seed to use for generating the blob accumulator.
  * @returns A blob accumulator instance.
  */
-export function makeBatchedBlobAccumulator(seed = 1): BatchedBlobAccumulator {
-  return new BatchedBlobAccumulator(
+export function makeBlobAccumulator(seed = 1): BlobAccumulator {
+  return new BlobAccumulator(
     new Fr(seed),
-    new Fr(seed + 1),
-    new BLS12Fr(seed + 2),
-    BLS12Point.random(),
-    BLS12Point.random(),
-    new Fr(seed + 3),
-    new BLS12Fr(seed + 4),
-    new FinalBlobBatchingChallenges(new Fr(seed + 5), new BLS12Fr(seed + 6)),
+    new Fr(seed + 0x10),
+    new BLS12Fr(seed + 0x20),
+    makeBLS12Point(seed + 0x30),
+    new Fr(seed + 0x50),
+    new BLS12Fr(seed + 0x60),
   );
 }
 
-export function makeEncodedTxBlobFields(length: number): Fr[] {
-  const txStartMarker = {
-    numBlobFields: length,
-    // The rest of the values don't matter. The test components using it do not try to deserialize everything.
-    // Only `checkBlobFieldsEncoding` is used and it only looks at `numBlobFields`. This might change in the future
-    // when we add more thorough checks to `checkBlobFieldsEncoding`.
-    revertCode: 0,
-    numNoteHashes: 0,
-    numNullifiers: 0,
-    numL2ToL1Msgs: 0,
-    numPublicDataWrites: 0,
-    numPrivateLogs: 0,
-    publicLogsLength: 0,
-    contractClassLogLength: 0,
-  };
-
-  return [
-    encodeTxStartMarker(txStartMarker),
-    ...Array.from({ length: length - 1 }, () => new Fr(randomInt(Number.MAX_SAFE_INTEGER))), // -1 to account for the tx start marker.
-  ];
-}
-
-export function makeEncodedBlockBlobFields(...lengths: number[]): Fr[] {
-  return [
-    ...(lengths.length > 0 ? makeEncodedTxBlobFields(lengths[0] - 1) : []), // -1 to account for the block end marker.
-    ...lengths.slice(1).flatMap(length => makeEncodedTxBlobFields(length)),
-    createBlockEndMarker(lengths.length),
-  ];
-}
-
-// Create blob fields for a checkpoint with a single block.
-export function makeEncodedBlobFields(length: number): Fr[] {
-  if (length <= 2) {
-    throw new Error('Encoded blob fields length must be greater than 2');
-  }
-
-  const checkpointPrefix = new Fr(length);
-  return [checkpointPrefix, ...makeEncodedBlockBlobFields(length - 1)]; // -1 to account for the checkpoint prefix.
-}
-
-/**
- * Make an encoded blob with the given length
- *
- * This will deserialise correctly in the archiver
- * @param length
- * @returns
- */
-export function makeEncodedBlob(length: number): Blob {
-  if (length > FIELDS_PER_BLOB) {
-    throw new Error(`A single encoded blob must be less than ${FIELDS_PER_BLOB} fields`);
-  }
-
-  return Blob.fromFields(makeEncodedBlobFields(length));
+export function makeFinalBlobAccumulator(seed = 1) {
+  return new FinalBlobAccumulator(
+    new Fr(seed),
+    new Fr(seed + 0x10),
+    new BLS12Fr(seed + 0x20),
+    makeBLS12Point(seed + 0x30),
+  );
 }
 
-export function makeEncodedBlobs(length: number): Blob[] {
-  const fields = makeEncodedBlobFields(length);
-  return getBlobsPerL1Block(fields);
+export function makeFinalBlobBatchingChallenges(seed = 1) {
+  return new FinalBlobBatchingChallenges(new Fr(seed), new BLS12Fr(seed + 0x10));
 }
 
 /**

package/src/types.ts

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

package/dest/deserialize.d.ts

@@ -1,14 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-/**
- * Deserializes a buffer into an array of field elements.
- *
- * This function returns the fields that were actually added in a checkpoint. The number of fields is specified by the
- * first field.
- *
- * @param buf - The buffer to deserialize.
- * @param checkEncoding - Whether to check if the encoding is correct. If false, it will still check the checkpoint
- * prefix and throw if there's not enough fields.
- * @returns An array of field elements.
- */
-export declare function deserializeEncodedBlobToFields(buf: Uint8Array, checkEncoding?: boolean): Fr[];
-//# sourceMappingURL=deserialize.d.ts.map

package/dest/deserialize.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"deserialize.d.ts","sourceRoot":"","sources":["../src/deserialize.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAM9C;;;;;;;;;;GAUG;AACH,wBAAgB,8BAA8B,CAAC,GAAG,EAAE,UAAU,EAAE,aAAa,UAAQ,GAAG,EAAE,EAAE,CAoB3F"}

package/dest/deserialize.js

@@ -1,33 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import { BufferReader } from '@aztec/foundation/serialize';
-import { checkBlobFieldsEncoding } from './encoding.js';
-import { BlobDeserializationError } from './errors.js';
-/**
- * Deserializes a buffer into an array of field elements.
- *
- * This function returns the fields that were actually added in a checkpoint. The number of fields is specified by the
- * first field.
- *
- * @param buf - The buffer to deserialize.
- * @param checkEncoding - Whether to check if the encoding is correct. If false, it will still check the checkpoint
- * prefix and throw if there's not enough fields.
- * @returns An array of field elements.
- */ export function deserializeEncodedBlobToFields(buf, checkEncoding = false) {
-    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 below 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 fields, this blob was likely not created by us`);
-    }
-    const numFieldsWithoutPrefix = Number(numFields) - 1;
-    const blobFields = [
-        firstField
-    ].concat(reader.readArray(numFieldsWithoutPrefix, Fr));
-    if (checkEncoding && !checkBlobFieldsEncoding(blobFields)) {
-        throw new BlobDeserializationError(`Incorrect encoding of blob fields, this blob was likely not created by us`);
-    }
-    return blobFields;
-}

package/dest/encoding.d.ts

@@ -1,26 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-export interface TxStartMarker {
-    prefix: bigint;
-    numBlobFields: number;
-    revertCode: number;
-    numNoteHashes: number;
-    numNullifiers: number;
-    numL2ToL1Msgs: number;
-    numPublicDataWrites: number;
-    numPrivateLogs: number;
-    publicLogsLength: number;
-    contractClassLogLength: number;
-}
-export declare function encodeTxStartMarker(txStartMarker: Omit<TxStartMarker, 'prefix'>): Fr;
-export declare function decodeTxStartMarker(field: Fr): TxStartMarker;
-export declare function getNumBlobFieldsFromTxStartMarker(field: Fr): number;
-export declare function isValidTxStartMarker(txStartMarker: TxStartMarker): boolean;
-export declare function createBlockEndMarker(numTxs: number): Fr;
-export declare function getNumTxsFromBlockEndMarker(field: Fr): number;
-export declare function isBlockEndMarker(field: Fr): boolean;
-/**
- * Check that the fields are emitted from the circuits and conform to the encoding.
- * @param blobFields - The concatenated fields from all blobs of an L1 block.
- */
-export declare function checkBlobFieldsEncoding(blobFields: Fr[]): boolean;
-//# sourceMappingURL=encoding.d.ts.map

package/dest/encoding.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"encoding.d.ts","sourceRoot":"","sources":["../src/encoding.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAa9C,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,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,gBAAgB,EAAE,MAAM,CAAC;IACzB,sBAAsB,EAAE,MAAM,CAAC;CAChC;AAGD,wBAAgB,mBAAmB,CAAC,aAAa,EAAE,IAAI,CAAC,aAAa,EAAE,QAAQ,CAAC,MAqB/E;AAED,wBAAgB,mBAAmB,CAAC,KAAK,EAAE,EAAE,GAAG,aAAa,CAmC5D;AAED,wBAAgB,iCAAiC,CAAC,KAAK,EAAE,EAAE,UAE1D;AAED,wBAAgB,oBAAoB,CAAC,aAAa,EAAE,aAAa,WAEhE;AAED,wBAAgB,oBAAoB,CAAC,MAAM,EAAE,MAAM,MAGlD;AAED,wBAAgB,2BAA2B,CAAC,KAAK,EAAE,EAAE,UAEpD;AAED,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,EAAE,WAIzC;AAED;;;GAGG;AACH,wBAAgB,uBAAuB,CAAC,UAAU,EAAE,EAAE,EAAE,WAsCvD"}

package/src/deserialize.ts

@@ -1,38 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import { BufferReader } from '@aztec/foundation/serialize';
-
-import { checkBlobFieldsEncoding } from './encoding.js';
-import { BlobDeserializationError } from './errors.js';
-
-/**
- * Deserializes a buffer into an array of field elements.
- *
- * This function returns the fields that were actually added in a checkpoint. The number of fields is specified by the
- * first field.
- *
- * @param buf - The buffer to deserialize.
- * @param checkEncoding - Whether to check if the encoding is correct. If false, it will still check the checkpoint
- * prefix and throw if there's not enough fields.
- * @returns An array of field elements.
- */
-export function deserializeEncodedBlobToFields(buf: Uint8Array, checkEncoding = false): Fr[] {
-  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 below 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 fields, this blob was likely not created by us`);
-  }
-
-  const numFieldsWithoutPrefix = Number(numFields) - 1;
-  const blobFields = [firstField].concat(reader.readArray(numFieldsWithoutPrefix, Fr));
-
-  if (checkEncoding && !checkBlobFieldsEncoding(blobFields)) {
-    throw new BlobDeserializationError(`Incorrect encoding of blob fields, this blob was likely not created by us`);
-  }
-
-  return blobFields;
-}