@aztec/stdlib 0.77.0-testnet-ignition.17

package/dest/versioning/versioning.js

@@ -0,0 +1,92 @@
+import { jsonStringify } from '@aztec/foundation/json-rpc';
+/** Returns components versions from chain config. */ export function getComponentsVersionsFromConfig(config, l2ProtocolContractsTreeRoot, l2CircuitsVkTreeRoot) {
+    return {
+        l1ChainId: config.l1ChainId,
+        l1RollupAddress: config.l1Contracts?.rollupAddress,
+        l2ChainVersion: config.version,
+        l2ProtocolContractsTreeRoot: l2ProtocolContractsTreeRoot.toString(),
+        l2CircuitsVkTreeRoot: l2CircuitsVkTreeRoot.toString()
+    };
+}
+/** Returns a compressed string representation of the version (around 32 chars). Used in p2p ENRs. */ export function compressComponentVersions(versions) {
+    if (versions.l1RollupAddress === undefined || versions.l2ProtocolContractsTreeRoot === undefined || versions.l2CircuitsVkTreeRoot === undefined) {
+        throw new Error(`Component versions are not set: ${jsonStringify(versions)}`);
+    }
+    return [
+        '00',
+        versions.l1ChainId,
+        versions.l1RollupAddress.toString().slice(2, 10),
+        versions.l2ChainVersion,
+        versions.l2ProtocolContractsTreeRoot.toString().slice(2, 10),
+        versions.l2CircuitsVkTreeRoot.toString().slice(2, 10)
+    ].join('-');
+}
+export class ComponentsVersionsError extends Error {
+    constructor(key, expected, value){
+        super(`Expected component version ${key} to be ${expected} but received ${value}`);
+        this.name = 'ComponentsVersionsError';
+    }
+}
+/** Checks if the compressed string matches against the expected versions. Throws on mismatch. */ export function checkCompressedComponentVersion(compressed, expected) {
+    const [versionVersion, l1ChainId, l1RollupAddress, l2ChainVersion, l2ProtocolContractsTreeRoot, l2CircuitsVkTreeRoot] = compressed.split('-');
+    if (versionVersion !== '00') {
+        throw new ComponentsVersionsError('version', '00', versionVersion);
+    }
+    if (l1ChainId !== expected.l1ChainId.toString()) {
+        throw new ComponentsVersionsError(`L1 chain ID`, expected.l1ChainId.toString(), l1ChainId);
+    }
+    if (l1RollupAddress !== expected.l1RollupAddress.toString().slice(2, 10)) {
+        throw new ComponentsVersionsError(`L1 address`, expected.l1RollupAddress.toString(), l1RollupAddress);
+    }
+    if (l2ChainVersion !== expected.l2ChainVersion.toString()) {
+        throw new ComponentsVersionsError('L2 chain version', expected.l2ChainVersion.toString(), l2ChainVersion);
+    }
+    if (l2ProtocolContractsTreeRoot !== expected.l2ProtocolContractsTreeRoot.toString().slice(2, 10)) {
+        throw new ComponentsVersionsError(`L2 protocol contracts vk tree root`, expected.l2ProtocolContractsTreeRoot.toString(), l2ProtocolContractsTreeRoot);
+    }
+    if (l2CircuitsVkTreeRoot !== expected.l2CircuitsVkTreeRoot.toString().slice(2, 10)) {
+        throw new ComponentsVersionsError('L2 circuits vk tree root', expected.l2CircuitsVkTreeRoot.toString(), l2CircuitsVkTreeRoot);
+    }
+}
+/** Checks that two component versions match. Undefined fields are ignored. */ export function validatePartialComponentVersionsMatch(expected, actual) {
+    for (const key of [
+        'l1RollupAddress',
+        'l2ProtocolContractsTreeRoot',
+        'l2CircuitsVkTreeRoot',
+        'l1ChainId',
+        'l2ChainVersion'
+    ]){
+        const actualValue = actual[key];
+        const expectedValue = expected[key];
+        if (expectedValue !== undefined && actualValue !== undefined) {
+            if (typeof actualValue === 'object' ? !actualValue.equals(expectedValue) : actualValue !== expectedValue) {
+                throw new Error(`Expected ${key} to be ${expectedValue} but received ${actualValue}`);
+            }
+        }
+    }
+}
+/** Returns a Koa middleware that injects the versioning info as headers. */ export function getVersioningMiddleware(versions) {
+    return async (ctx, next)=>{
+        await next();
+        for(const key in versions){
+            const value = versions[key];
+            if (value !== undefined) {
+                ctx.set(`x-aztec-${key}`, value.toString());
+            }
+        }
+    };
+}
+/** Returns a json rpc client handler that rejects responses with mismatching versions. */ export function getVersioningResponseHandler(versions) {
+    return ({ headers })=>{
+        for(const key in versions){
+            const value = versions[key];
+            if (value !== undefined) {
+                const headerValue = headers.get(`x-aztec-${key}`);
+                if (headerValue !== undefined && headerValue !== null && headerValue !== value.toString()) {
+                    throw new ComponentsVersionsError(key, value.toString(), headerValue);
+                }
+            }
+        }
+        return Promise.resolve();
+    };
+}

package/dest/vks/index.d.ts

@@ -0,0 +1,3 @@
+export * from './verification_key.js';
+export * from './vk_witness_data.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/vks/index.ts"],"names":[],"mappings":"AAAA,cAAc,uBAAuB,CAAC;AACtC,cAAc,sBAAsB,CAAC"}

package/dest/vks/index.js

@@ -0,0 +1,2 @@
+export * from './verification_key.js';
+export * from './vk_witness_data.js';

package/dest/vks/verification_key.d.ts

@@ -0,0 +1,197 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { Fq, Fr } from '@aztec/foundation/fields';
+import { BufferReader } from '@aztec/foundation/serialize';
+import { CircuitType } from '../types/shared.js';
+/**
+ * Curve data.
+ */
+export declare class G1AffineElement {
+    /**
+     * Element's x coordinate.
+     */
+    x: Fq;
+    /**
+     * Element's y coordinate.
+     */
+    y: Fq;
+    constructor(x: Fq | bigint, y: Fq | bigint);
+    /**
+     * Serialize as a buffer.
+     * @returns The buffer.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Deserializes from a buffer or reader, corresponding to a write in cpp.
+     * @param buffer - Buffer  or BufferReader to read from.
+     * @returns The G1AffineElement.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): G1AffineElement;
+}
+/**
+ * Used store and serialize a key-value map of commitments where key is the name of the commitment and value is
+ * the commitment itself. The name can be e.g. Q_1, Q_2, SIGMA_1 etc.
+ */
+export declare class CommitmentMap {
+    /**
+     * An object used to store the commitments.
+     */
+    record: {
+        [name: string]: G1AffineElement;
+    };
+    constructor(
+    /**
+     * An object used to store the commitments.
+     */
+    record: {
+        [name: string]: G1AffineElement;
+    });
+    /**
+     * Serialize as a buffer.
+     * @returns The buffer.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Deserializes from a buffer or reader, corresponding to a write in cpp.
+     * @param buffer - Buffer or BufferReader to read from.
+     * @returns The CommitmentMap.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): CommitmentMap;
+}
+export declare const CIRCUIT_SIZE_INDEX = 0;
+export declare const CIRCUIT_PUBLIC_INPUTS_INDEX = 1;
+export declare const CIRCUIT_RECURSIVE_INDEX = 3;
+/**
+ * Provides a 'fields' representation of a circuit's verification key
+ */
+export declare class VerificationKeyAsFields {
+    key: Fr[];
+    hash: Fr;
+    constructor(key: Fr[], hash: Fr);
+    get numPublicInputs(): number;
+    get circuitSize(): number;
+    get isRecursive(): boolean;
+    static get schema(): import("zod").ZodType<VerificationKeyAsFields, any, string>;
+    toJSON(): Buffer;
+    /**
+     * Serialize as a buffer.
+     * @returns The buffer.
+     */
+    toBuffer(): Buffer;
+    toFields(): (number | Fr)[];
+    /**
+     * Deserializes from a buffer or reader, corresponding to a write in cpp.
+     * @param buffer - Buffer to read from.
+     * @returns The VerificationKeyAsFields.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): VerificationKeyAsFields;
+    /**
+     * Builds a fake verification key that should be accepted by circuits.
+     * @returns A fake verification key.
+     */
+    static makeFake(size: number, seed?: number): VerificationKeyAsFields;
+    static makeFakeHonk(seed?: number): VerificationKeyAsFields;
+    static makeFakeRollupHonk(seed?: number): VerificationKeyAsFields;
+    /**
+     * Builds an 'empty' verification key
+     * @returns An 'empty' verification key
+     */
+    static makeEmpty(size: number): VerificationKeyAsFields;
+}
+export declare class VerificationKey {
+    /**
+     * For Plonk, this is equivalent to the proving system used to prove and verify.
+     */
+    circuitType: CircuitType;
+    /**
+     * The number of gates in this circuit.
+     */
+    circuitSize: number;
+    /**
+     * The number of public inputs in this circuit.
+     */
+    numPublicInputs: number;
+    /**
+     * The commitments for this circuit.
+     */
+    commitments: Record<string, G1AffineElement>;
+    /**
+     * Contains a recursive proof?
+     */
+    containsRecursiveProof: boolean;
+    /**
+     * Recursion stack.
+     */
+    recursiveProofPublicInputIndices: number[];
+    constructor(
+    /**
+     * For Plonk, this is equivalent to the proving system used to prove and verify.
+     */
+    circuitType: CircuitType, 
+    /**
+     * The number of gates in this circuit.
+     */
+    circuitSize: number, 
+    /**
+     * The number of public inputs in this circuit.
+     */
+    numPublicInputs: number, 
+    /**
+     * The commitments for this circuit.
+     */
+    commitments: Record<string, G1AffineElement>, 
+    /**
+     * Contains a recursive proof?
+     */
+    containsRecursiveProof: boolean, 
+    /**
+     * Recursion stack.
+     */
+    recursiveProofPublicInputIndices: number[]);
+    /**
+     * Serialize as a buffer.
+     * @returns The buffer.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Deserializes class from a buffer.
+     * @returns A VerificationKey instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): VerificationKey;
+    /**
+     * Builds a fake Rollup Honk verification key that should be accepted by circuits.
+     * @returns A fake verification key.
+     */
+    static makeRollupFake(): VerificationKey;
+    /**
+     * Builds a fake verification key that should be accepted by circuits.
+     * @returns A fake verification key.
+     */
+    static makeFake(): VerificationKey;
+}
+export declare class VerificationKeyData {
+    readonly keyAsFields: VerificationKeyAsFields;
+    readonly keyAsBytes: Buffer;
+    constructor(keyAsFields: VerificationKeyAsFields, keyAsBytes: Buffer);
+    get numPublicInputs(): number;
+    get circuitSize(): number;
+    get isRecursive(): boolean;
+    static empty(): VerificationKeyData;
+    static makeFakeHonk(): VerificationKeyData;
+    static makeFakeRollupHonk(): VerificationKeyData;
+    static makeFake(len?: number): VerificationKeyData;
+    /**
+     * Serialize as a buffer.
+     * @returns The buffer.
+     */
+    toBuffer(): Buffer;
+    toString(): `0x${string}`;
+    static fromBuffer(buffer: Buffer | BufferReader): VerificationKeyData;
+    static fromString(str: string): VerificationKeyData;
+    clone(): VerificationKeyData;
+    /** Returns a hex representation for JSON serialization. */
+    toJSON(): Buffer;
+    /** Creates an instance from a hex string. */
+    static get schema(): import("zod").ZodType<VerificationKeyData, any, string>;
+}
+//# sourceMappingURL=verification_key.d.ts.map

package/dest/vks/verification_key.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"verification_key.d.ts","sourceRoot":"","sources":["../../src/vks/verification_key.ts"],"names":[],"mappings":";;AAMA,OAAO,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAElD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,OAAO,EAAE,WAAW,EAAE,MAAM,oBAAoB,CAAC;AAEjD;;GAEG;AACH,qBAAa,eAAe;IAC1B;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;IACb;;OAEG;IACI,CAAC,EAAE,EAAE,CAAC;gBAED,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC,EAAE,EAAE,GAAG,MAAM;IAI1C;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;CAIlE;AAED;;;GAGG;AACH,qBAAa,aAAa;IAEtB;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE;;IAHlD;;OAEG;IACI,MAAM,EAAE;QAAE,CAAC,IAAI,EAAE,MAAM,GAAG,eAAe,CAAA;KAAE;IAGpD;;;OAGG;IACH,QAAQ;IAKR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,aAAa;CAIhE;AAGD,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAC7C,eAAO,MAAM,uBAAuB,IAAI,CAAC;AAEzC;;GAEG;AACH,qBAAa,uBAAuB;IACf,GAAG,EAAE,EAAE,EAAE;IAAS,IAAI,EAAE,EAAE;gBAA1B,GAAG,EAAE,EAAE,EAAE,EAAS,IAAI,EAAE,EAAE;IAE7C,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,IAAW,WAAW,YAErB;IAED,MAAM,KAAK,MAAM,gEAGhB;IAED,MAAM;IAIN;;;OAGG;IACH,QAAQ;IAIR,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB;IAKzE;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,uBAAuB;IAIhE,MAAM,CAAC,YAAY,CAAC,IAAI,SAAI,GAAG,uBAAuB;IAItD,MAAM,CAAC,kBAAkB,CAAC,IAAI,SAAI,GAAG,uBAAuB;IAO5D;;;OAGG;IACH,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB;CAGxD;AAED,qBAAa,eAAe;IAExB;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE;;IAvBjD;;OAEG;IACI,WAAW,EAAE,WAAW;IAC/B;;OAEG;IACI,WAAW,EAAE,MAAM;IAC1B;;OAEG;IACI,eAAe,EAAE,MAAM;IAC9B;;OAEG;IACI,WAAW,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC;IACnD;;OAEG;IACI,sBAAsB,EAAE,OAAO;IACtC;;OAEG;IACI,gCAAgC,EAAE,MAAM,EAAE;IAGnD;;;OAGG;IACH,QAAQ;IAWR;;;OAGG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,eAAe;IAYjE;;;OAGG;IACH,MAAM,CAAC,cAAc,IAAI,eAAe;IAWxC;;;OAGG;IACH,MAAM,CAAC,QAAQ,IAAI,eAAe;CAUnC;AAED,qBAAa,mBAAmB;aACF,WAAW,EAAE,uBAAuB;aAAkB,UAAU,EAAE,MAAM;gBAAxE,WAAW,EAAE,uBAAuB,EAAkB,UAAU,EAAE,MAAM;IAEpG,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,IAAW,WAAW,YAErB;IAED,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,YAAY,IAAI,mBAAmB;IAI1C,MAAM,CAAC,kBAAkB,IAAI,mBAAmB;IAOhD,MAAM,CAAC,QAAQ,CAAC,GAAG,SAAgD,GAAG,mBAAmB;IAIzF;;;OAGG;IACH,QAAQ;IAIR,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB;IAQrE,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB;IAI5C,KAAK;IAIZ,2DAA2D;IAC3D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,4DAEhB;CACF"}

package/dest/vks/verification_key.js

@@ -0,0 +1,241 @@
+import { HONK_VERIFICATION_KEY_LENGTH_IN_FIELDS, ROLLUP_HONK_VERIFICATION_KEY_LENGTH_IN_FIELDS } from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
+import { times } from '@aztec/foundation/collection';
+import { Fq, Fr } from '@aztec/foundation/fields';
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { CircuitType } from '../types/shared.js';
+/**
+ * Curve data.
+ */ export class G1AffineElement {
+    /**
+   * Element's x coordinate.
+   */ x;
+    /**
+   * Element's y coordinate.
+   */ y;
+    constructor(x, y){
+        this.x = typeof x === 'bigint' ? new Fq(x) : x;
+        this.y = typeof y === 'bigint' ? new Fq(y) : y;
+    }
+    /**
+   * Serialize as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        return serializeToBuffer(this.x, this.y);
+    }
+    /**
+   * Deserializes from a buffer or reader, corresponding to a write in cpp.
+   * @param buffer - Buffer  or BufferReader to read from.
+   * @returns The G1AffineElement.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new G1AffineElement(Fq.fromBuffer(reader), Fq.fromBuffer(reader));
+    }
+}
+/**
+ * Used store and serialize a key-value map of commitments where key is the name of the commitment and value is
+ * the commitment itself. The name can be e.g. Q_1, Q_2, SIGMA_1 etc.
+ */ export class CommitmentMap {
+    record;
+    constructor(/**
+     * An object used to store the commitments.
+     */ record){
+        this.record = record;
+    }
+    /**
+   * Serialize as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        const values = Object.entries(this.record);
+        return serializeToBuffer(values.length, ...values.flat());
+    }
+    /**
+   * Deserializes from a buffer or reader, corresponding to a write in cpp.
+   * @param buffer - Buffer or BufferReader to read from.
+   * @returns The CommitmentMap.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new CommitmentMap(reader.readMap(G1AffineElement));
+    }
+}
+// TODO: find better home for these constants
+export const CIRCUIT_SIZE_INDEX = 0;
+export const CIRCUIT_PUBLIC_INPUTS_INDEX = 1;
+export const CIRCUIT_RECURSIVE_INDEX = 3;
+/**
+ * Provides a 'fields' representation of a circuit's verification key
+ */ export class VerificationKeyAsFields {
+    key;
+    hash;
+    constructor(key, hash){
+        this.key = key;
+        this.hash = hash;
+    }
+    get numPublicInputs() {
+        return Number(this.key[CIRCUIT_PUBLIC_INPUTS_INDEX]);
+    }
+    get circuitSize() {
+        return Number(this.key[CIRCUIT_SIZE_INDEX]);
+    }
+    get isRecursive() {
+        return this.key[CIRCUIT_RECURSIVE_INDEX].equals(Fr.ONE);
+    }
+    static get schema() {
+        // TODO(palla/schemas): Should we verify the hash matches the key when deserializing?
+        return bufferSchemaFor(VerificationKeyAsFields);
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    /**
+   * Serialize as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        return serializeToBuffer(...this.toFields());
+    }
+    toFields() {
+        return [
+            this.key.length,
+            ...this.key,
+            this.hash
+        ];
+    }
+    /**
+   * Deserializes from a buffer or reader, corresponding to a write in cpp.
+   * @param buffer - Buffer to read from.
+   * @returns The VerificationKeyAsFields.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new VerificationKeyAsFields(reader.readVector(Fr), reader.readObject(Fr));
+    }
+    /**
+   * Builds a fake verification key that should be accepted by circuits.
+   * @returns A fake verification key.
+   */ static makeFake(size, seed = 1) {
+        return new VerificationKeyAsFields(makeTuple(size, Fr.random, seed), Fr.random());
+    }
+    static makeFakeHonk(seed = 1) {
+        return new VerificationKeyAsFields(makeTuple(HONK_VERIFICATION_KEY_LENGTH_IN_FIELDS, Fr.random, seed), Fr.random());
+    }
+    static makeFakeRollupHonk(seed = 1) {
+        return new VerificationKeyAsFields(makeTuple(ROLLUP_HONK_VERIFICATION_KEY_LENGTH_IN_FIELDS, (i)=>new Fr(i), seed), new Fr(seed + 1));
+    }
+    /**
+   * Builds an 'empty' verification key
+   * @returns An 'empty' verification key
+   */ static makeEmpty(size) {
+        return new VerificationKeyAsFields(makeTuple(size, Fr.zero), Fr.zero());
+    }
+}
+export class VerificationKey {
+    circuitType;
+    circuitSize;
+    numPublicInputs;
+    commitments;
+    containsRecursiveProof;
+    recursiveProofPublicInputIndices;
+    constructor(/**
+     * For Plonk, this is equivalent to the proving system used to prove and verify.
+     */ circuitType, /**
+     * The number of gates in this circuit.
+     */ circuitSize, /**
+     * The number of public inputs in this circuit.
+     */ numPublicInputs, /**
+     * The commitments for this circuit.
+     */ commitments, /**
+     * Contains a recursive proof?
+     */ containsRecursiveProof, /**
+     * Recursion stack.
+     */ recursiveProofPublicInputIndices){
+        this.circuitType = circuitType;
+        this.circuitSize = circuitSize;
+        this.numPublicInputs = numPublicInputs;
+        this.commitments = commitments;
+        this.containsRecursiveProof = containsRecursiveProof;
+        this.recursiveProofPublicInputIndices = recursiveProofPublicInputIndices;
+    }
+    /**
+   * Serialize as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        return serializeToBuffer(this.circuitType, this.circuitSize, this.numPublicInputs, new CommitmentMap(this.commitments), this.containsRecursiveProof, serializeToBuffer(this.recursiveProofPublicInputIndices.length, this.recursiveProofPublicInputIndices));
+    }
+    /**
+   * Deserializes class from a buffer.
+   * @returns A VerificationKey instance.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new VerificationKey(reader.readNumber(), reader.readNumber(), reader.readNumber(), reader.readObject(CommitmentMap).record, reader.readBoolean(), reader.readNumberVector());
+    }
+    /**
+   * Builds a fake Rollup Honk verification key that should be accepted by circuits.
+   * @returns A fake verification key.
+   */ static makeRollupFake() {
+        return new VerificationKey(CircuitType.ULTRA, 2048, 116, {}, false, times(16, (i)=>i));
+    }
+    /**
+   * Builds a fake verification key that should be accepted by circuits.
+   * @returns A fake verification key.
+   */ static makeFake() {
+        return new VerificationKey(CircuitType.ULTRA, 2048, 116, {}, false, times(16, (i)=>i));
+    }
+}
+export class VerificationKeyData {
+    keyAsFields;
+    keyAsBytes;
+    constructor(keyAsFields, keyAsBytes){
+        this.keyAsFields = keyAsFields;
+        this.keyAsBytes = keyAsBytes;
+    }
+    get numPublicInputs() {
+        return this.keyAsFields.numPublicInputs;
+    }
+    get circuitSize() {
+        return this.keyAsFields.circuitSize;
+    }
+    get isRecursive() {
+        return this.keyAsFields.isRecursive;
+    }
+    static empty() {
+        return new VerificationKeyData(VerificationKeyAsFields.makeEmpty(0), Buffer.alloc(0));
+    }
+    static makeFakeHonk() {
+        return new VerificationKeyData(VerificationKeyAsFields.makeFakeHonk(), VerificationKey.makeFake().toBuffer());
+    }
+    static makeFakeRollupHonk() {
+        return new VerificationKeyData(VerificationKeyAsFields.makeFakeRollupHonk(), VerificationKey.makeRollupFake().toBuffer());
+    }
+    static makeFake(len = ROLLUP_HONK_VERIFICATION_KEY_LENGTH_IN_FIELDS) {
+        return new VerificationKeyData(VerificationKeyAsFields.makeFake(len), VerificationKey.makeFake().toBuffer());
+    }
+    /**
+   * Serialize as a buffer.
+   * @returns The buffer.
+   */ toBuffer() {
+        return serializeToBuffer(this.keyAsFields, this.keyAsBytes.length, this.keyAsBytes);
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        const verificationKeyAsFields = reader.readObject(VerificationKeyAsFields);
+        const length = reader.readNumber();
+        const bytes = reader.readBytes(length);
+        return new VerificationKeyData(verificationKeyAsFields, bytes);
+    }
+    static fromString(str) {
+        return VerificationKeyData.fromBuffer(hexToBuffer(str));
+    }
+    clone() {
+        return VerificationKeyData.fromBuffer(this.toBuffer());
+    }
+    /** Returns a hex representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    /** Creates an instance from a hex string. */ static get schema() {
+        return bufferSchemaFor(VerificationKeyData);
+    }
+}

package/dest/vks/vk_witness_data.d.ts

@@ -0,0 +1,32 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { VK_TREE_HEIGHT } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
+import type { UInt32 } from '../types/shared.js';
+import { VerificationKeyData } from './verification_key.js';
+export declare class VkWitnessData {
+    vk: VerificationKeyData;
+    /**
+     * Index of the vk in the vk tree.
+     */
+    vkIndex: UInt32;
+    /**
+     * Sibling path of the vk in the vk tree.
+     */
+    vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>;
+    constructor(vk: VerificationKeyData, 
+    /**
+     * Index of the vk in the vk tree.
+     */
+    vkIndex: UInt32, 
+    /**
+     * Sibling path of the vk in the vk tree.
+     */
+    vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>);
+    static empty(): VkWitnessData;
+    static fromBuffer(buffer: Buffer | BufferReader): VkWitnessData;
+    toBuffer(): Buffer;
+    toString(): `0x${string}`;
+}
+//# sourceMappingURL=vk_witness_data.d.ts.map

package/dest/vks/vk_witness_data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"vk_witness_data.d.ts","sourceRoot":"","sources":["../../src/vks/vk_witness_data.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AACjD,OAAO,EAAE,mBAAmB,EAAE,MAAM,uBAAuB,CAAC;AAE5D,qBAAa,aAAa;IAEf,EAAE,EAAE,mBAAmB;IAC9B;;OAEG;IACI,OAAO,EAAE,MAAM;IACtB;;OAEG;IACI,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;gBARxC,EAAE,EAAE,mBAAmB;IAC9B;;OAEG;IACI,OAAO,EAAE,MAAM;IACtB;;OAEG;IACI,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IAGjD,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAS/C,QAAQ;IAIR,QAAQ;CAGT"}

package/dest/vks/vk_witness_data.js

@@ -0,0 +1,33 @@
+import { VK_TREE_HEIGHT } from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex } from '@aztec/foundation/string';
+import { VerificationKeyData } from './verification_key.js';
+export class VkWitnessData {
+    vk;
+    vkIndex;
+    vkPath;
+    constructor(vk, /**
+     * Index of the vk in the vk tree.
+     */ vkIndex, /**
+     * Sibling path of the vk in the vk tree.
+     */ vkPath){
+        this.vk = vk;
+        this.vkIndex = vkIndex;
+        this.vkPath = vkPath;
+    }
+    static empty() {
+        return new VkWitnessData(VerificationKeyData.empty(), 0, makeTuple(VK_TREE_HEIGHT, Fr.zero));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new VkWitnessData(reader.readObject(VerificationKeyData), reader.readNumber(), reader.readArray(VK_TREE_HEIGHT, Fr));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.vk, this.vkIndex, this.vkPath);
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+}