@aztec/blob-lib 0.0.1-commit.9b94fc1 → 0.0.1-commit.9badcec54

package/src/encoding/fixtures.ts

@@ -9,7 +9,8 @@ import {
   PRIVATE_LOG_SIZE_IN_FIELDS,
 } from '@aztec/constants';
 import { makeTuple } from '@aztec/foundation/array';
-import { Fr } from '@aztec/foundation/fields';
+import { BlockNumber } from '@aztec/foundation/branded-types';
+import { Fr } from '@aztec/foundation/curves/bn254';
 
 import type { BlockBlobData, BlockEndBlobData } from './block_blob_data.js';
 import type { BlockEndMarker } from './block_end_marker.js';
@@ -109,7 +110,7 @@ export function makeBlockEndMarker({
 }: { seed?: number } & Partial<BlockEndMarker> = {}): BlockEndMarker {
   return {
     numTxs: seed,
-    blockNumber: seed + 1,
+    blockNumber: BlockNumber(seed + 1),
     timestamp: BigInt(seed + 2),
     ...overrides,
   };

package/src/encoding/tx_blob_data.ts

@@ -1,5 +1,5 @@
 import { chunk } from '@aztec/foundation/collection';
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { FieldReader } from '@aztec/foundation/serialize';
 
 import { BlobDeserializationError } from '../errors.js';

package/src/encoding/tx_start_marker.ts

@@ -1,5 +1,5 @@
 import { TX_START_PREFIX } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 
 import { BlobDeserializationError } from '../errors.js';
 
@@ -30,7 +30,7 @@ export interface TxStartMarker {
 }
 
 export function encodeTxStartMarker(txStartMarker: TxStartMarker): Fr {
-  let value = TX_START_PREFIX;
+  let value = BigInt(TX_START_PREFIX);
   value <<= NUM_NOTE_HASH_BIT_SIZE;
   value += BigInt(txStartMarker.numNoteHashes);
   value <<= NUM_NULLIFIER_BIT_SIZE;
@@ -78,7 +78,7 @@ export function decodeTxStartMarker(field: Fr): TxStartMarker {
   value >>= NUM_NOTE_HASH_BIT_SIZE;
 
   const prefix = value;
-  if (prefix !== TX_START_PREFIX) {
+  if (prefix !== BigInt(TX_START_PREFIX)) {
     throw new BlobDeserializationError(`Incorrect encoding of blob fields: invalid tx start marker.`);
   }
 

package/src/hash.ts

@@ -1,7 +1,10 @@
-import { poseidon2Hash, sha256, sha256ToField } from '@aztec/foundation/crypto';
-import { BLS12Fr, Fr } from '@aztec/foundation/fields';
+import { DomainSeparator } from '@aztec/constants';
+import { poseidon2HashWithSeparator } from '@aztec/foundation/crypto/poseidon';
+import { sha256, sha256ToField } from '@aztec/foundation/crypto/sha256';
+import { BLS12Fr } from '@aztec/foundation/curves/bls12';
+import { Fr } from '@aztec/foundation/curves/bn254';
 
-import { BYTES_PER_BLOB, BYTES_PER_COMMITMENT, kzg } from './kzg_context.js';
+import { getBytesPerBlob, getBytesPerCommitment, getKzg } from './kzg_context.js';
 import { SpongeBlob } from './sponge_blob.js';
 
 const VERSIONED_HASH_VERSION_KZG = 0x01;
@@ -42,12 +45,12 @@ export async function computeBlobFieldsHash(fields: Fr[]): Promise<Fr> {
   return sponge.squeeze();
 }
 
-export function computeBlobCommitment(data: Uint8Array): Buffer {
-  if (data.length !== BYTES_PER_BLOB) {
-    throw new Error(`Expected ${BYTES_PER_BLOB} bytes per blob. Got ${data.length}.`);
+export async function computeBlobCommitment(data: Uint8Array): Promise<Buffer> {
+  if (data.length !== getBytesPerBlob()) {
+    throw new Error(`Expected ${getBytesPerBlob()} bytes per blob. Got ${data.length}.`);
   }
 
-  return Buffer.from(kzg.blobToKzgCommitment(data));
+  return Buffer.from(await getKzg().asyncBlobToKzgCommitment(data));
 }
 
 /**
@@ -65,23 +68,27 @@ export function computeBlobCommitment(data: Uint8Array): Buffer {
  * @returns The fields representing the commitment buffer.
  */
 export function commitmentToFields(commitment: Buffer): [Fr, Fr] {
-  if (commitment.length !== BYTES_PER_COMMITMENT) {
-    throw new Error(`Expected ${BYTES_PER_COMMITMENT} bytes for blob commitment. Got ${commitment.length}.`);
+  if (commitment.length !== getBytesPerCommitment()) {
+    throw new Error(`Expected ${getBytesPerCommitment()} bytes for blob commitment. Got ${commitment.length}.`);
   }
 
-  return [new Fr(commitment.subarray(0, 31)), new Fr(commitment.subarray(31, BYTES_PER_COMMITMENT))];
+  return [new Fr(commitment.subarray(0, 31)), new Fr(commitment.subarray(31, getBytesPerCommitment()))];
 }
 
 export async function computeChallengeZ(blobFieldsHash: Fr, commitment: Buffer): Promise<Fr> {
   const commitmentFields = commitmentToFields(commitment);
-  return await poseidon2Hash([blobFieldsHash, commitmentFields[0], commitmentFields[1]]);
+  return await poseidon2HashWithSeparator(
+    [blobFieldsHash, commitmentFields[0], commitmentFields[1]],
+    DomainSeparator.BLOB_CHALLENGE_Z,
+  );
 }
 
 /**
- * Hash each u128 limb of the noir bignum struct representing the BLS field, to mimic the hash accumulation in the
- * rollup circuits.
+ * Hash the u128 limbs of a BLS field's noir bignum representation under the `BLOB_HASHED_Y_LIMBS` separator.
+ * Used to commit to blob evaluation values `y_i` before folding them into the gamma accumulator; mirrors the
+ * hash accumulation performed in the rollup circuits.
  */
-export async function hashNoirBigNumLimbs(field: BLS12Fr): Promise<Fr> {
+export async function hashBlobYLimbs(field: BLS12Fr): Promise<Fr> {
   const num = field.toNoirBigNum();
-  return await poseidon2Hash(num.limbs.map(Fr.fromHexString));
+  return await poseidon2HashWithSeparator(num.limbs.map(Fr.fromHexString), DomainSeparator.BLOB_HASHED_Y_LIMBS);
 }

package/src/index.ts

@@ -7,3 +7,4 @@ export * from './encoding/index.js';
 export * from './hash.js';
 export * from './interface.js';
 export * from './sponge_blob.js';
+export * from './kzg_context.js';

package/src/interface.ts

@@ -3,6 +3,5 @@
  */
 export interface BlobJson {
   blob: string;
-  index: string;
   kzg_commitment: string;
 }

package/src/kzg_context.ts

@@ -1,5 +1,41 @@
-import { DasContextJs } from '@crate-crypto/node-eth-kzg';
+import type { DasContextJs } from '@crate-crypto/node-eth-kzg';
+import { createRequire } from 'module';
 
-export * from '@crate-crypto/node-eth-kzg';
+// Re-export the type only. The native module is loaded lazily to avoid
+// creating a napi-rs CustomGC handle at import time, which keeps the
+// Node.js event loop alive and can deadlock process.exit().
+export type { DasContextJs } from '@crate-crypto/node-eth-kzg';
 
-export const kzg = DasContextJs.create({ usePrecomp: true });
+let nativeModule: typeof import('@crate-crypto/node-eth-kzg') | undefined;
+
+/** Lazily loads the @crate-crypto/node-eth-kzg native module. */
+function loadNativeModule(): typeof import('@crate-crypto/node-eth-kzg') {
+  if (!nativeModule) {
+    const require = createRequire(import.meta.url);
+    nativeModule = require('@crate-crypto/node-eth-kzg') as typeof import('@crate-crypto/node-eth-kzg');
+  }
+  return nativeModule!;
+}
+
+// Ethereum blob constants, loaded lazily from the native module.
+// Values: BYTES_PER_BLOB=131072, BYTES_PER_COMMITMENT=48
+export function getBytesPerBlob(): number {
+  return loadNativeModule().BYTES_PER_BLOB;
+}
+
+export function getBytesPerCommitment(): number {
+  return loadNativeModule().BYTES_PER_COMMITMENT;
+}
+
+let kzgInstance: DasContextJs | undefined;
+
+/**
+ * Returns the lazily-initialized KZG context.
+ * The first call takes ~3 seconds to initialize the precomputation tables.
+ */
+export function getKzg(): DasContextJs {
+  if (!kzgInstance) {
+    kzgInstance = loadNativeModule().DasContextJs.create({ usePrecomp: true });
+  }
+  return kzgInstance;
+}

package/src/sponge_blob.ts

@@ -1,7 +1,7 @@
 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';
+import { poseidon2Permutation } from '@aztec/foundation/crypto/poseidon';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import {
   BufferReader,
   FieldReader,

package/src/testing.ts

@@ -1,5 +1,6 @@
 import { makeTuple } from '@aztec/foundation/array';
-import { BLS12Fq, BLS12Fr, BLS12Point, BLSPointNotOnCurveError, Fr } from '@aztec/foundation/fields';
+import { BLS12Fq, BLS12Fr, BLS12Point, BLSPointNotOnCurveError } from '@aztec/foundation/curves/bls12';
+import { Fr } from '@aztec/foundation/curves/bn254';
 
 import { Blob } from './blob.js';
 import { BlobAccumulator } from './circuit_types/blob_accumulator.js';
@@ -88,6 +89,6 @@ export function makeFinalBlobBatchingChallenges(seed = 1) {
  * @param length
  * @returns
  */
-export function makeRandomBlob(length: number): Blob {
+export function makeRandomBlob(length: number): Promise<Blob> {
   return Blob.fromFields([...Array.from({ length: length }, () => Fr.random())]);
 }