@aztec/blob-lib 0.0.1-fake-c83136db25 → 0.0.1-fake-ceab37513c

package/dest/circuit_types/blob_accumulator.js

@@ -1,58 +0,0 @@
-import { BLS12_FQ_LIMBS, BLS12_FR_LIMBS } from '@aztec/constants';
-import { BLS12Fq, BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
-import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
-/**
- * See `noir-projects/noir-protocol-circuits/crates/blob/src/abis/blob_accumulator.nr` for documentation.
- */ export class BlobAccumulator {
-    blobCommitmentsHashAcc;
-    zAcc;
-    yAcc;
-    cAcc;
-    gammaAcc;
-    gammaPowAcc;
-    constructor(blobCommitmentsHashAcc, zAcc, yAcc, cAcc, gammaAcc, gammaPowAcc){
-        this.blobCommitmentsHashAcc = blobCommitmentsHashAcc;
-        this.zAcc = zAcc;
-        this.yAcc = yAcc;
-        this.cAcc = cAcc;
-        this.gammaAcc = gammaAcc;
-        this.gammaPowAcc = gammaPowAcc;
-    }
-    static empty() {
-        return new BlobAccumulator(Fr.ZERO, Fr.ZERO, BLS12Fr.ZERO, BLS12Point.ZERO, Fr.ZERO, BLS12Fr.ZERO);
-    }
-    equals(other) {
-        return this.blobCommitmentsHashAcc.equals(other.blobCommitmentsHashAcc) && this.zAcc.equals(other.zAcc) && this.yAcc.equals(other.yAcc) && this.cAcc.equals(other.cAcc) && this.gammaAcc.equals(other.gammaAcc) && this.gammaPowAcc.equals(other.gammaPowAcc);
-    }
-    static fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        return new BlobAccumulator(Fr.fromBuffer(reader), Fr.fromBuffer(reader), BLS12Fr.fromBuffer(reader), BLS12Point.fromBuffer(reader), Fr.fromBuffer(reader), BLS12Fr.fromBuffer(reader));
-    }
-    toBuffer() {
-        return serializeToBuffer(this.blobCommitmentsHashAcc, this.zAcc, this.yAcc, this.cAcc, this.gammaAcc, this.gammaPowAcc);
-    }
-    toFields() {
-        return [
-            this.blobCommitmentsHashAcc,
-            this.zAcc,
-            ...this.yAcc.toNoirBigNum().limbs.map(Fr.fromString),
-            ...this.cAcc.x.toNoirBigNum().limbs.map(Fr.fromString),
-            ...this.cAcc.y.toNoirBigNum().limbs.map(Fr.fromString),
-            new Fr(this.cAcc.isInfinite),
-            this.gammaAcc,
-            ...this.gammaPowAcc.toNoirBigNum().limbs.map(Fr.fromString)
-        ];
-    }
-    static fromFields(fields) {
-        const reader = FieldReader.asReader(fields);
-        return new BlobAccumulator(reader.readField(), reader.readField(), BLS12Fr.fromNoirBigNum({
-            limbs: reader.readFieldArray(BLS12_FR_LIMBS).map((f)=>f.toString())
-        }), new BLS12Point(BLS12Fq.fromNoirBigNum({
-            limbs: reader.readFieldArray(BLS12_FQ_LIMBS).map((f)=>f.toString())
-        }), BLS12Fq.fromNoirBigNum({
-            limbs: reader.readFieldArray(BLS12_FQ_LIMBS).map((f)=>f.toString())
-        }), reader.readBoolean()), reader.readField(), BLS12Fr.fromNoirBigNum({
-            limbs: reader.readFieldArray(BLS12_FR_LIMBS).map((f)=>f.toString())
-        }));
-    }
-}

package/dest/circuit_types/final_blob_accumulator.d.ts

@@ -1,22 +0,0 @@
-import { BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
-import { BufferReader } from '@aztec/foundation/serialize';
-import { inspect } from 'util';
-/**
- * See `noir-projects/noir-protocol-circuits/crates/blob/src/abis/final_blob_accumulator.nr` for documentation.
- */
-export declare class FinalBlobAccumulator {
-    blobCommitmentsHash: Fr;
-    z: Fr;
-    y: BLS12Fr;
-    c: BLS12Point;
-    constructor(blobCommitmentsHash: Fr, z: Fr, y: BLS12Fr, c: BLS12Point);
-    static empty(): FinalBlobAccumulator;
-    static fromBuffer(buffer: Buffer | BufferReader): FinalBlobAccumulator;
-    toBuffer(): Buffer<ArrayBufferLike>;
-    toFields(): Fr[];
-    toString(): string;
-    equals(other: FinalBlobAccumulator): boolean;
-    static random(): FinalBlobAccumulator;
-    [inspect.custom](): string;
-}
-//# sourceMappingURL=final_blob_accumulator.d.ts.map

package/dest/circuit_types/final_blob_accumulator.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"final_blob_accumulator.d.ts","sourceRoot":"","sources":["../../src/circuit_types/final_blob_accumulator.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnE,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAE/B;;GAEG;AACH,qBAAa,oBAAoB;IAEtB,mBAAmB,EAAE,EAAE;IACvB,CAAC,EAAE,EAAE;IACL,CAAC,EAAE,OAAO;IACV,CAAC,EAAE,UAAU;gBAHb,mBAAmB,EAAE,EAAE,EACvB,CAAC,EAAE,EAAE,EACL,CAAC,EAAE,OAAO,EACV,CAAC,EAAE,UAAU;IAGtB,MAAM,CAAC,KAAK,IAAI,oBAAoB;IAIpC,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,oBAAoB;IAUtE,QAAQ;IAIR,QAAQ;IAUR,QAAQ;IAQR,MAAM,CAAC,KAAK,EAAE,oBAAoB;IAUlC,MAAM,CAAC,MAAM;IAIb,CAAC,OAAO,CAAC,MAAM,CAAC;CAQjB"}

package/dest/circuit_types/final_blob_accumulator.js

@@ -1,63 +0,0 @@
-import { BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-import { inspect } from 'util';
-/**
- * See `noir-projects/noir-protocol-circuits/crates/blob/src/abis/final_blob_accumulator.nr` for documentation.
- */ export class FinalBlobAccumulator {
-    blobCommitmentsHash;
-    z;
-    y;
-    c;
-    constructor(blobCommitmentsHash, z, y, c){
-        this.blobCommitmentsHash = blobCommitmentsHash;
-        this.z = z;
-        this.y = y;
-        this.c = c;
-    }
-    static empty() {
-        return new FinalBlobAccumulator(Fr.ZERO, Fr.ZERO, BLS12Fr.ZERO, BLS12Point.ZERO);
-    }
-    static fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        return new FinalBlobAccumulator(Fr.fromBuffer(reader), Fr.fromBuffer(reader), BLS12Fr.fromBuffer(reader), BLS12Point.fromBuffer(reader));
-    }
-    toBuffer() {
-        return serializeToBuffer(this.blobCommitmentsHash, this.z, this.y, this.c);
-    }
-    toFields() {
-        return [
-            this.blobCommitmentsHash,
-            this.z,
-            ...this.y.toNoirBigNum().limbs.map(Fr.fromString),
-            ...this.c.toBN254Fields()
-        ];
-    }
-    // The below is used to send to L1 for proof verification
-    toString() {
-        // We prepend 32 bytes for the (unused) 'blobHash' slot. This is not read or required by getEpochProofPublicInputs() on L1, but
-        // is expected since we usually pass the full precompile inputs via verifyEpochRootProof() to getEpochProofPublicInputs() to ensure
-        // we use calldata rather than a slice in memory:
-        const buf = Buffer.concat([
-            Buffer.alloc(32),
-            this.z.toBuffer(),
-            this.y.toBuffer(),
-            this.c.compress()
-        ]);
-        return buf.toString('hex');
-    }
-    equals(other) {
-        return this.blobCommitmentsHash.equals(other.blobCommitmentsHash) && this.z.equals(other.z) && this.y.equals(other.y) && this.c.equals(other.c);
-    }
-    // Creates a random instance. Used for testing only - will not prove/verify.
-    static random() {
-        return new FinalBlobAccumulator(Fr.random(), Fr.random(), BLS12Fr.random(), BLS12Point.random());
-    }
-    [inspect.custom]() {
-        return `FinalBlobAccumulator {
-      blobCommitmentsHash: ${inspect(this.blobCommitmentsHash)},
-      z: ${inspect(this.z)},
-      y: ${inspect(this.y)},
-      c: ${inspect(this.c)},
-    }`;
-    }
-}

package/dest/circuit_types/final_blob_batching_challenges.d.ts

@@ -1,15 +0,0 @@
-import { BLS12Fr, Fr } from '@aztec/foundation/fields';
-import { BufferReader } from '@aztec/foundation/serialize';
-/**
- * See `noir-projects/noir-protocol-circuits/crates/blob/src/abis/final_blob_batching_challenges.nr` for documentation.
- */
-export declare class FinalBlobBatchingChallenges {
-    readonly z: Fr;
-    readonly gamma: BLS12Fr;
-    constructor(z: Fr, gamma: BLS12Fr);
-    equals(other: FinalBlobBatchingChallenges): boolean;
-    static empty(): FinalBlobBatchingChallenges;
-    static fromBuffer(buffer: Buffer | BufferReader): FinalBlobBatchingChallenges;
-    toBuffer(): Buffer<ArrayBufferLike>;
-}
-//# sourceMappingURL=final_blob_batching_challenges.d.ts.map

package/dest/circuit_types/final_blob_batching_challenges.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"final_blob_batching_challenges.d.ts","sourceRoot":"","sources":["../../src/circuit_types/final_blob_batching_challenges.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACvD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E;;GAEG;AACH,qBAAa,2BAA2B;aAEpB,CAAC,EAAE,EAAE;aACL,KAAK,EAAE,OAAO;gBADd,CAAC,EAAE,EAAE,EACL,KAAK,EAAE,OAAO;IAGhC,MAAM,CAAC,KAAK,EAAE,2BAA2B;IAIzC,MAAM,CAAC,KAAK,IAAI,2BAA2B;IAI3C,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,2BAA2B;IAK7E,QAAQ;CAGT"}

package/dest/circuit_types/final_blob_batching_challenges.js

@@ -1,25 +0,0 @@
-import { BLS12Fr, Fr } from '@aztec/foundation/fields';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-/**
- * See `noir-projects/noir-protocol-circuits/crates/blob/src/abis/final_blob_batching_challenges.nr` for documentation.
- */ export class FinalBlobBatchingChallenges {
-    z;
-    gamma;
-    constructor(z, gamma){
-        this.z = z;
-        this.gamma = gamma;
-    }
-    equals(other) {
-        return this.z.equals(other.z) && this.gamma.equals(other.gamma);
-    }
-    static empty() {
-        return new FinalBlobBatchingChallenges(Fr.ZERO, BLS12Fr.ZERO);
-    }
-    static fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        return new FinalBlobBatchingChallenges(Fr.fromBuffer(reader), reader.readObject(BLS12Fr));
-    }
-    toBuffer() {
-        return serializeToBuffer(this.z, this.gamma);
-    }
-}

package/dest/circuit_types/index.d.ts

@@ -1,4 +0,0 @@
-export * from './blob_accumulator.js';
-export * from './final_blob_accumulator.js';
-export * from './final_blob_batching_challenges.js';
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/circuit_types/index.ts"],"names":[],"mappings":"AACA,cAAc,uBAAuB,CAAC;AACtC,cAAc,6BAA6B,CAAC;AAC5C,cAAc,qCAAqC,CAAC"}

package/dest/circuit_types/index.js

@@ -1,4 +0,0 @@
-/// Types used in the protocol circuits.
-export * from './blob_accumulator.js';
-export * from './final_blob_accumulator.js';
-export * from './final_blob_batching_challenges.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/hash.d.ts

@@ -1,35 +0,0 @@
-import { BLS12Fr, Fr } from '@aztec/foundation/fields';
-/**
- * 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;
-/**
- * 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.
- */
-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=hash.d.ts.map

package/dest/hash.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"hash.d.ts","sourceRoot":"","sources":["../src/hash.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAMvD;;GAEG;AACH,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,CAItE;AAOD,wBAAgB,gBAAgB,CAAC,sBAAsB,EAAE,MAAM,EAAE,GAAG,EAAE,CAErE;AAED;;;;GAIG;AACH,wBAAsB,qBAAqB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAErE;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"}

package/dest/hash.js

@@ -1,69 +0,0 @@
-import { poseidon2Hash, sha256, sha256ToField } from '@aztec/foundation/crypto';
-import { Fr } from '@aztec/foundation/fields';
-import { BYTES_PER_BLOB, BYTES_PER_COMMITMENT, kzg } from './kzg_context.js';
-const VERSIONED_HASH_VERSION_KZG = 0x01;
-/**
- * Returns ethereum's versioned blob hash, following kzg_to_versioned_hash: https://eips.ethereum.org/EIPS/eip-4844#helpers
- */ export function computeEthVersionedBlobHash(commitment) {
-    const hash = sha256(commitment);
-    hash[0] = VERSIONED_HASH_VERSION_KZG;
-    return hash;
-}
-// TODO(#13430): The blobsHash is confusingly similar to blobCommitmentsHash, calculated from below blobCommitments:
-// - blobsHash := sha256([blobhash_0, ..., blobhash_m]) = a hash of all blob hashes in a block with m+1 blobs inserted into the header, exists so a user can cross check blobs.
-// - blobCommitmentsHash := sha256( ...sha256(sha256(C_0), C_1) ... C_n) = iteratively calculated hash of all blob commitments in an epoch with n+1 blobs (see calculateBlobCommitmentsHash()),
-//   exists so we can validate injected commitments to the rollup circuits correspond to the correct real blobs.
-// We may be able to combine these values e.g. blobCommitmentsHash := sha256( ...sha256(sha256(blobshash_0), blobshash_1) ... blobshash_l) for an epoch with l+1 blocks.
-export function computeBlobsHash(evmVersionedBlobHashes) {
-    return sha256ToField(evmVersionedBlobHashes);
-}
-/**
- * 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.
- */ export async function computeBlobFieldsHash(fields) {
-    return await poseidon2Hash(fields);
-}
-export function computeBlobCommitment(data) {
-    if (data.length !== BYTES_PER_BLOB) {
-        throw new Error(`Expected ${BYTES_PER_BLOB} bytes per blob. Got ${data.length}.`);
-    }
-    return Buffer.from(kzg.blobToKzgCommitment(data));
-}
-/**
- * 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 function commitmentToFields(commitment) {
-    if (commitment.length !== BYTES_PER_COMMITMENT) {
-        throw new Error(`Expected ${BYTES_PER_COMMITMENT} bytes for blob commitment. Got ${commitment.length}.`);
-    }
-    return [
-        new Fr(commitment.subarray(0, 31)),
-        new Fr(commitment.subarray(31, BYTES_PER_COMMITMENT))
-    ];
-}
-export async function computeChallengeZ(blobFieldsHash, commitment) {
-    const commitmentFields = commitmentToFields(commitment);
-    return await poseidon2Hash([
-        blobFieldsHash,
-        commitmentFields[0],
-        commitmentFields[1]
-    ]);
-}
-/**
- * Hash each u128 limb of the noir bignum struct representing the BLS field, to mimic the hash accumulation in the
- * rollup circuits.
- */ export async function hashNoirBigNumLimbs(field) {
-    const num = field.toNoirBigNum();
-    return await poseidon2Hash(num.limbs.map(Fr.fromHexString));
-}

package/dest/kzg_context.d.ts

@@ -1,4 +0,0 @@
-import { DasContextJs } from '@crate-crypto/node-eth-kzg';
-export * from '@crate-crypto/node-eth-kzg';
-export declare const kzg: DasContextJs;
-//# sourceMappingURL=kzg_context.d.ts.map

package/dest/kzg_context.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"kzg_context.d.ts","sourceRoot":"","sources":["../src/kzg_context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,YAAY,EAAE,MAAM,4BAA4B,CAAC;AAE1D,cAAc,4BAA4B,CAAC;AAE3C,eAAO,MAAM,GAAG,cAA4C,CAAC"}

package/dest/kzg_context.js

@@ -1,5 +0,0 @@
-import { DasContextJs } from '@crate-crypto/node-eth-kzg';
-export * from '@crate-crypto/node-eth-kzg';
-export const kzg = DasContextJs.create({
-    usePrecomp: true
-});

package/src/blob_utils.ts

@@ -1,71 +0,0 @@
-import { FIELDS_PER_BLOB } from '@aztec/constants';
-import { BLS12Point, Fr } from '@aztec/foundation/fields';
-
-import { Blob } from './blob.js';
-import { deserializeEncodedBlobToFields } from './deserialize.js';
-import { computeBlobFieldsHash, computeBlobsHash } from './hash.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
- * per blob commitment.
- * @dev Used for proposing blocks to validate injected blob commitments match real broadcast blobs.
- */
-export function getPrefixedEthBlobCommitments(blobs: Blob[]): `0x${string}` {
-  // Prefix the number of blobs.
-  const lenBuf = Buffer.alloc(1);
-  lenBuf.writeUint8(blobs.length);
-
-  const blobBuf = Buffer.concat(blobs.map(blob => blob.commitment));
-
-  const buf = Buffer.concat([lenBuf, blobBuf]);
-  return `0x${buf.toString('hex')}`;
-}
-
-/**
- * @param fields - Fields to broadcast in the blob(s)
- * @returns As many blobs as required to broadcast the given fields to an L1 block.
- *
- * @throws If the number of fields does not match what's indicated by the checkpoint prefix.
- */
-export function getBlobsPerL1Block(fields: Fr[]): Blob[] {
-  if (!fields.length) {
-    throw new Error('Cannot create blobs from empty fields.');
-  }
-
-  const numBlobs = Math.ceil(fields.length / FIELDS_PER_BLOB);
-  return Array.from({ length: numBlobs }, (_, 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: Blob[], checkEncoding = false): Fr[] {
-  return deserializeEncodedBlobToFields(Buffer.concat(blobs.map(b => b.data)), checkEncoding);
-}
-
-export async function computeBlobFieldsHashFromBlobs(blobs: Blob[]): Promise<Fr> {
-  const fields = blobs.map(b => b.toFields()).flat();
-  const numBlobFields = fields[0].toNumber();
-  if (numBlobFields > fields.length) {
-    throw new Error(`The prefix indicates ${numBlobFields} fields. Got ${fields.length}.`);
-  }
-
-  return await computeBlobFieldsHash(fields.slice(0, numBlobFields));
-}
-
-export function computeBlobsHashFromBlobs(blobs: Blob[]): Fr {
-  return computeBlobsHash(blobs.map(b => b.getEthVersionedBlobHash()));
-}
-
-export function getBlobCommitmentsFromBlobs(blobs: Blob[]): BLS12Point[] {
-  return blobs.map(b => BLS12Point.decompress(b.commitment));
-}

package/src/circuit_types/blob_accumulator.ts

@@ -1,84 +0,0 @@
-import { BLS12_FQ_LIMBS, BLS12_FR_LIMBS } from '@aztec/constants';
-import { BLS12Fq, BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
-import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
-
-/**
- * See `noir-projects/noir-protocol-circuits/crates/blob/src/abis/blob_accumulator.nr` for documentation.
- */
-export class BlobAccumulator {
-  constructor(
-    public blobCommitmentsHashAcc: Fr,
-    public zAcc: Fr,
-    public yAcc: BLS12Fr,
-    public cAcc: BLS12Point,
-    public gammaAcc: Fr,
-    public gammaPowAcc: BLS12Fr,
-  ) {}
-
-  static empty(): BlobAccumulator {
-    return new BlobAccumulator(Fr.ZERO, Fr.ZERO, BLS12Fr.ZERO, BLS12Point.ZERO, Fr.ZERO, BLS12Fr.ZERO);
-  }
-
-  equals(other: BlobAccumulator) {
-    return (
-      this.blobCommitmentsHashAcc.equals(other.blobCommitmentsHashAcc) &&
-      this.zAcc.equals(other.zAcc) &&
-      this.yAcc.equals(other.yAcc) &&
-      this.cAcc.equals(other.cAcc) &&
-      this.gammaAcc.equals(other.gammaAcc) &&
-      this.gammaPowAcc.equals(other.gammaPowAcc)
-    );
-  }
-
-  static fromBuffer(buffer: Buffer | BufferReader): BlobAccumulator {
-    const reader = BufferReader.asReader(buffer);
-    return new BlobAccumulator(
-      Fr.fromBuffer(reader),
-      Fr.fromBuffer(reader),
-      BLS12Fr.fromBuffer(reader),
-      BLS12Point.fromBuffer(reader),
-      Fr.fromBuffer(reader),
-      BLS12Fr.fromBuffer(reader),
-    );
-  }
-
-  toBuffer() {
-    return serializeToBuffer(
-      this.blobCommitmentsHashAcc,
-      this.zAcc,
-      this.yAcc,
-      this.cAcc,
-      this.gammaAcc,
-      this.gammaPowAcc,
-    );
-  }
-
-  toFields() {
-    return [
-      this.blobCommitmentsHashAcc,
-      this.zAcc,
-      ...this.yAcc.toNoirBigNum().limbs.map(Fr.fromString),
-      ...this.cAcc.x.toNoirBigNum().limbs.map(Fr.fromString),
-      ...this.cAcc.y.toNoirBigNum().limbs.map(Fr.fromString),
-      new Fr(this.cAcc.isInfinite),
-      this.gammaAcc,
-      ...this.gammaPowAcc.toNoirBigNum().limbs.map(Fr.fromString),
-    ];
-  }
-
-  static fromFields(fields: Fr[] | FieldReader): BlobAccumulator {
-    const reader = FieldReader.asReader(fields);
-    return new BlobAccumulator(
-      reader.readField(),
-      reader.readField(),
-      BLS12Fr.fromNoirBigNum({ limbs: reader.readFieldArray(BLS12_FR_LIMBS).map(f => f.toString()) }),
-      new BLS12Point(
-        BLS12Fq.fromNoirBigNum({ limbs: reader.readFieldArray(BLS12_FQ_LIMBS).map(f => f.toString()) }),
-        BLS12Fq.fromNoirBigNum({ limbs: reader.readFieldArray(BLS12_FQ_LIMBS).map(f => f.toString()) }),
-        reader.readBoolean(),
-      ),
-      reader.readField(),
-      BLS12Fr.fromNoirBigNum({ limbs: reader.readFieldArray(BLS12_FR_LIMBS).map(f => f.toString()) }),
-    );
-  }
-}

package/src/circuit_types/final_blob_accumulator.ts

@@ -1,75 +0,0 @@
-import { BLS12Fr, BLS12Point, Fr } from '@aztec/foundation/fields';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-
-import { inspect } from 'util';
-
-/**
- * See `noir-projects/noir-protocol-circuits/crates/blob/src/abis/final_blob_accumulator.nr` for documentation.
- */
-export class FinalBlobAccumulator {
-  constructor(
-    public blobCommitmentsHash: Fr,
-    public z: Fr,
-    public y: BLS12Fr,
-    public c: BLS12Point,
-  ) {}
-
-  static empty(): FinalBlobAccumulator {
-    return new FinalBlobAccumulator(Fr.ZERO, Fr.ZERO, BLS12Fr.ZERO, BLS12Point.ZERO);
-  }
-
-  static fromBuffer(buffer: Buffer | BufferReader): FinalBlobAccumulator {
-    const reader = BufferReader.asReader(buffer);
-    return new FinalBlobAccumulator(
-      Fr.fromBuffer(reader),
-      Fr.fromBuffer(reader),
-      BLS12Fr.fromBuffer(reader),
-      BLS12Point.fromBuffer(reader),
-    );
-  }
-
-  toBuffer() {
-    return serializeToBuffer(this.blobCommitmentsHash, this.z, this.y, this.c);
-  }
-
-  toFields() {
-    return [
-      this.blobCommitmentsHash,
-      this.z,
-      ...this.y.toNoirBigNum().limbs.map(Fr.fromString),
-      ...this.c.toBN254Fields(),
-    ];
-  }
-
-  // The below is used to send to L1 for proof verification
-  toString() {
-    // We prepend 32 bytes for the (unused) 'blobHash' slot. This is not read or required by getEpochProofPublicInputs() on L1, but
-    // is expected since we usually pass the full precompile inputs via verifyEpochRootProof() to getEpochProofPublicInputs() to ensure
-    // we use calldata rather than a slice in memory:
-    const buf = Buffer.concat([Buffer.alloc(32), this.z.toBuffer(), this.y.toBuffer(), this.c.compress()]);
-    return buf.toString('hex');
-  }
-
-  equals(other: FinalBlobAccumulator) {
-    return (
-      this.blobCommitmentsHash.equals(other.blobCommitmentsHash) &&
-      this.z.equals(other.z) &&
-      this.y.equals(other.y) &&
-      this.c.equals(other.c)
-    );
-  }
-
-  // Creates a random instance. Used for testing only - will not prove/verify.
-  static random() {
-    return new FinalBlobAccumulator(Fr.random(), Fr.random(), BLS12Fr.random(), BLS12Point.random());
-  }
-
-  [inspect.custom]() {
-    return `FinalBlobAccumulator {
-      blobCommitmentsHash: ${inspect(this.blobCommitmentsHash)},
-      z: ${inspect(this.z)},
-      y: ${inspect(this.y)},
-      c: ${inspect(this.c)},
-    }`;
-  }
-}

package/src/circuit_types/final_blob_batching_challenges.ts

@@ -1,29 +0,0 @@
-import { BLS12Fr, Fr } from '@aztec/foundation/fields';
-import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
-
-/**
- * See `noir-projects/noir-protocol-circuits/crates/blob/src/abis/final_blob_batching_challenges.nr` for documentation.
- */
-export class FinalBlobBatchingChallenges {
-  constructor(
-    public readonly z: Fr,
-    public readonly gamma: BLS12Fr,
-  ) {}
-
-  equals(other: FinalBlobBatchingChallenges) {
-    return this.z.equals(other.z) && this.gamma.equals(other.gamma);
-  }
-
-  static empty(): FinalBlobBatchingChallenges {
-    return new FinalBlobBatchingChallenges(Fr.ZERO, BLS12Fr.ZERO);
-  }
-
-  static fromBuffer(buffer: Buffer | BufferReader): FinalBlobBatchingChallenges {
-    const reader = BufferReader.asReader(buffer);
-    return new FinalBlobBatchingChallenges(Fr.fromBuffer(reader), reader.readObject(BLS12Fr));
-  }
-
-  toBuffer() {
-    return serializeToBuffer(this.z, this.gamma);
-  }
-}

package/src/circuit_types/index.ts

@@ -1,4 +0,0 @@
-/// Types used in the protocol circuits.
-export * from './blob_accumulator.js';
-export * from './final_blob_accumulator.js';
-export * from './final_blob_batching_challenges.js';