@aztec/stdlib 0.0.0-test.1 → 0.0.1-commit.017a351

package/dest/vks/verification_key.d.ts

@@ -1,66 +1,7 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import { Fq, Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 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
  */
@@ -68,16 +9,16 @@ export declare class VerificationKeyAsFields {
     key: Fr[];
     hash: Fr;
     constructor(key: Fr[], hash: Fr);
+    static fromKey(key: Fr[]): Promise<VerificationKeyAsFields>;
     get numPublicInputs(): number;
     get circuitSize(): number;
-    get isRecursive(): boolean;
-    static get schema(): import("zod").ZodType<VerificationKeyAsFields, any, string>;
-    toJSON(): Buffer;
+    static get schema(): import("zod").ZodType<VerificationKeyAsFields, string, import("zod/v4/core").$ZodTypeInternals<VerificationKeyAsFields, string>>;
+    toJSON(): Buffer<ArrayBufferLike>;
     /**
      * Serialize as a buffer.
      * @returns The buffer.
      */
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
     toFields(): (number | Fr)[];
     /**
      * Deserializes from a buffer or reader, corresponding to a write in cpp.
@@ -85,6 +26,7 @@ export declare class VerificationKeyAsFields {
      * @returns The VerificationKeyAsFields.
      */
     static fromBuffer(buffer: Buffer | BufferReader): VerificationKeyAsFields;
+    static fromFrBuffer(vkBytes: Buffer): Promise<VerificationKeyAsFields>;
     /**
      * Builds a fake verification key that should be accepted by circuits.
      * @returns A fake verification key.
@@ -98,100 +40,28 @@ export declare class VerificationKeyAsFields {
      */
     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;
+    toBuffer(): Buffer<ArrayBufferLike>;
     toString(): `0x${string}`;
     static fromBuffer(buffer: Buffer | BufferReader): VerificationKeyData;
+    static fromFrBuffer(vkBytes: Buffer): Promise<VerificationKeyData>;
     static fromString(str: string): VerificationKeyData;
     clone(): VerificationKeyData;
     /** Returns a hex representation for JSON serialization. */
-    toJSON(): Buffer;
+    toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<VerificationKeyData, any, string>;
+    static get schema(): import("zod").ZodType<VerificationKeyData, string, import("zod/v4/core").$ZodTypeInternals<VerificationKeyData, string>>;
 }
-//# sourceMappingURL=verification_key.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmVyaWZpY2F0aW9uX2tleS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Zrcy92ZXJpZmljYXRpb25fa2V5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUVBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBQUUsWUFBWSxFQUFxQixNQUFNLDZCQUE2QixDQUFDO0FBTTlFLGVBQU8sTUFBTSxrQkFBa0IsSUFBSSxDQUFDO0FBQ3BDLGVBQU8sTUFBTSwyQkFBMkIsSUFBSSxDQUFDO0FBRTdDOztHQUVHO0FBQ0gscUJBQWEsdUJBQXVCO0lBRXpCLEdBQUcsRUFBRSxFQUFFLEVBQUU7SUFDVCxJQUFJLEVBQUUsRUFBRTtJQUZqQixZQUNTLEdBQUcsRUFBRSxFQUFFLEVBQUUsRUFDVCxJQUFJLEVBQUUsRUFBRSxFQUNiO0lBRUosT0FBYSxPQUFPLENBQUMsR0FBRyxFQUFFLEVBQUUsRUFBRSxvQ0FHN0I7SUFFRCxJQUFXLGVBQWUsV0FFekI7SUFFRCxJQUFXLFdBQVcsV0FFckI7SUFFRCxNQUFNLEtBQUssTUFBTSxxSUFHaEI7SUFFRCxNQUFNLDRCQUVMO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVELFFBQVEsb0JBRVA7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyx1QkFBdUIsQ0FHeEU7SUFFRCxNQUFNLENBQUMsWUFBWSxDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLHVCQUF1QixDQUFDLENBS3JFO0lBRUQ7OztPQUdHO0lBQ0gsTUFBTSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsTUFBTSxFQUFFLElBQUksU0FBSSxHQUFHLHVCQUF1QixDQUUvRDtJQUVELE1BQU0sQ0FBQyxZQUFZLENBQUMsSUFBSSxTQUFJLEdBQUcsdUJBQXVCLENBRXJEO0lBRUQsTUFBTSxDQUFDLGtCQUFrQixDQUFDLElBQUksU0FBSSxHQUFHLHVCQUF1QixDQUszRDtJQUVEOzs7T0FHRztJQUNILE1BQU0sQ0FBQyxTQUFTLENBQUMsSUFBSSxFQUFFLE1BQU0sR0FBRyx1QkFBdUIsQ0FFdEQ7Q0FDRjtBQUVELHFCQUFhLG1CQUFtQjthQUVaLFdBQVcsRUFBRSx1QkFBdUI7YUFDcEMsVUFBVSxFQUFFLE1BQU07SUFGcEMsWUFDa0IsV0FBVyxFQUFFLHVCQUF1QixFQUNwQyxVQUFVLEVBQUUsTUFBTSxFQUNoQztJQUVKLElBQVcsZUFBZSxXQUV6QjtJQUVELElBQVcsV0FBVyxXQUVyQjtJQUVELE1BQU0sQ0FBQyxLQUFLLHdCQUVYO0lBRUQsTUFBTSxDQUFDLFlBQVksSUFBSSxtQkFBbUIsQ0FHekM7SUFFRCxNQUFNLENBQUMsa0JBQWtCLElBQUksbUJBQW1CLENBRy9DO0lBRUQ7OztPQUdHO0lBQ0gsUUFBUSw0QkFFUDtJQUVELFFBQVEsa0JBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLG1CQUFtQixDQU1wRTtJQUVELE9BQWEsWUFBWSxDQUFDLE9BQU8sRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLG1CQUFtQixDQUFDLENBRXZFO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxHQUFHLEVBQUUsTUFBTSxHQUFHLG1CQUFtQixDQUVsRDtJQUVNLEtBQUssd0JBRVg7SUFFRCwyREFBMkQ7SUFDM0QsTUFBTSw0QkFFTDtJQUVELDZDQUE2QztJQUM3QyxNQUFNLEtBQUssTUFBTSw2SEFFaEI7Q0FDRiJ9

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

@@ -1 +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"}
+{"version":3,"file":"verification_key.d.ts","sourceRoot":"","sources":["../../src/vks/verification_key.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAM9E,eAAO,MAAM,kBAAkB,IAAI,CAAC;AACpC,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C;;GAEG;AACH,qBAAa,uBAAuB;IAEzB,GAAG,EAAE,EAAE,EAAE;IACT,IAAI,EAAE,EAAE;IAFjB,YACS,GAAG,EAAE,EAAE,EAAE,EACT,IAAI,EAAE,EAAE,EACb;IAEJ,OAAa,OAAO,CAAC,GAAG,EAAE,EAAE,EAAE,oCAG7B;IAED,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,KAAK,MAAM,qIAGhB;IAED,MAAM,4BAEL;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED,QAAQ,oBAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,uBAAuB,CAGxE;IAED,MAAM,CAAC,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,uBAAuB,CAAC,CAKrE;IAED;;;OAGG;IACH,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,SAAI,GAAG,uBAAuB,CAE/D;IAED,MAAM,CAAC,YAAY,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAErD;IAED,MAAM,CAAC,kBAAkB,CAAC,IAAI,SAAI,GAAG,uBAAuB,CAK3D;IAED;;;OAGG;IACH,MAAM,CAAC,SAAS,CAAC,IAAI,EAAE,MAAM,GAAG,uBAAuB,CAEtD;CACF;AAED,qBAAa,mBAAmB;aAEZ,WAAW,EAAE,uBAAuB;aACpC,UAAU,EAAE,MAAM;IAFpC,YACkB,WAAW,EAAE,uBAAuB,EACpC,UAAU,EAAE,MAAM,EAChC;IAEJ,IAAW,eAAe,WAEzB;IAED,IAAW,WAAW,WAErB;IAED,MAAM,CAAC,KAAK,wBAEX;IAED,MAAM,CAAC,YAAY,IAAI,mBAAmB,CAGzC;IAED,MAAM,CAAC,kBAAkB,IAAI,mBAAmB,CAG/C;IAED;;;OAGG;IACH,QAAQ,4BAEP;IAED,QAAQ,kBAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,mBAAmB,CAMpE;IAED,OAAa,YAAY,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAEvE;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,mBAAmB,CAElD;IAEM,KAAK,wBAEX;IAED,2DAA2D;IAC3D,MAAM,4BAEL;IAED,6CAA6C;IAC7C,MAAM,KAAK,MAAM,6HAEhB;CACF"}

package/dest/vks/verification_key.js

@@ -1,69 +1,13 @@
-import { HONK_VERIFICATION_KEY_LENGTH_IN_FIELDS, ROLLUP_HONK_VERIFICATION_KEY_LENGTH_IN_FIELDS } from '@aztec/constants';
+import { ULTRA_VK_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 { Fr } from '@aztec/foundation/curves/bn254';
 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));
-    }
-}
+import { hashVK } from '../hash/index.js';
 // 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 {
@@ -73,15 +17,16 @@ export const CIRCUIT_RECURSIVE_INDEX = 3;
         this.key = key;
         this.hash = hash;
     }
+    static async fromKey(key) {
+        const hash = await hashVK(key);
+        return new VerificationKeyAsFields(key, 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);
@@ -110,6 +55,12 @@ export const CIRCUIT_RECURSIVE_INDEX = 3;
         const reader = BufferReader.asReader(buffer);
         return new VerificationKeyAsFields(reader.readVector(Fr), reader.readObject(Fr));
     }
+    static fromFrBuffer(vkBytes) {
+        const numFields = vkBytes.length / Fr.SIZE_IN_BYTES;
+        const reader = BufferReader.asReader(vkBytes);
+        const fields = reader.readArray(numFields, Fr);
+        return VerificationKeyAsFields.fromKey(fields);
+    }
     /**
    * Builds a fake verification key that should be accepted by circuits.
    * @returns A fake verification key.
@@ -117,10 +68,10 @@ export const CIRCUIT_RECURSIVE_INDEX = 3;
         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());
+        return new VerificationKeyAsFields(makeTuple(ULTRA_VK_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));
+        return new VerificationKeyAsFields(makeTuple(ULTRA_VK_LENGTH_IN_FIELDS, (i)=>new Fr(i), seed), new Fr(seed + 1));
     }
     /**
    * Builds an 'empty' verification key
@@ -129,59 +80,6 @@ export const CIRCUIT_RECURSIVE_INDEX = 3;
         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;
@@ -195,20 +93,16 @@ export class VerificationKeyData {
     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());
+        const keyAsFields = VerificationKeyAsFields.makeFakeHonk();
+        return new VerificationKeyData(keyAsFields, keyAsFields.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());
+        const keyAsFields = VerificationKeyAsFields.makeFakeRollupHonk();
+        return new VerificationKeyData(keyAsFields, keyAsFields.toBuffer());
     }
     /**
    * Serialize as a buffer.
@@ -226,6 +120,9 @@ export class VerificationKeyData {
         const bytes = reader.readBytes(length);
         return new VerificationKeyData(verificationKeyAsFields, bytes);
     }
+    static async fromFrBuffer(vkBytes) {
+        return new VerificationKeyData(await VerificationKeyAsFields.fromFrBuffer(vkBytes), vkBytes);
+    }
     static fromString(str) {
         return VerificationKeyData.fromBuffer(hexToBuffer(str));
     }

package/dest/vks/vk_data.d.ts

@@ -0,0 +1,30 @@
+import { VK_TREE_HEIGHT } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
+import type { UInt32 } from '../types/shared.js';
+import { VerificationKeyData } from './verification_key.js';
+export declare class VkData {
+    vk: VerificationKeyData;
+    /**
+     * Index of the vk in the vk tree.
+     */
+    leafIndex: UInt32;
+    /**
+     * Sibling path of the vk in the vk tree.
+     */
+    siblingPath: Tuple<Fr, typeof VK_TREE_HEIGHT>;
+    constructor(vk: VerificationKeyData, 
+    /**
+     * Index of the vk in the vk tree.
+     */
+    leafIndex: UInt32, 
+    /**
+     * Sibling path of the vk in the vk tree.
+     */
+    siblingPath: Tuple<Fr, typeof VK_TREE_HEIGHT>);
+    static empty(): VkData;
+    static fromBuffer(buffer: Buffer | BufferReader): VkData;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    toString(): `0x${string}`;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidmtfZGF0YS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3Zrcy92a19kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxjQUFjLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUVsRCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxLQUFLLEtBQUssRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUcxRixPQUFPLEtBQUssRUFBRSxNQUFNLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUNqRCxPQUFPLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSx1QkFBdUIsQ0FBQztBQUU1RCxxQkFBYSxNQUFNO0lBRVIsRUFBRSxFQUFFLG1CQUFtQjtJQUM5Qjs7T0FFRztJQUNJLFNBQVMsRUFBRSxNQUFNO0lBQ3hCOztPQUVHO0lBQ0ksV0FBVyxFQUFFLEtBQUssQ0FBQyxFQUFFLEVBQUUsT0FBTyxjQUFjLENBQUM7SUFUdEQsWUFDUyxFQUFFLEVBQUUsbUJBQW1CO0lBQzlCOztPQUVHO0lBQ0ksU0FBUyxFQUFFLE1BQU07SUFDeEI7O09BRUc7SUFDSSxXQUFXLEVBQUUsS0FBSyxDQUFDLEVBQUUsRUFBRSxPQUFPLGNBQWMsQ0FBQyxFQUNsRDtJQUVKLE1BQU0sQ0FBQyxLQUFLLFdBRVg7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxVQU85QztJQUVELFFBQVEsNEJBRVA7SUFFRCxRQUFRLGtCQUVQO0NBQ0YifQ==

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

@@ -0,0 +1 @@
+{"version":3,"file":"vk_data.d.ts","sourceRoot":"","sources":["../../src/vks/vk_data.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAElD,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,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,MAAM;IAER,EAAE,EAAE,mBAAmB;IAC9B;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IATtD,YACS,EAAE,EAAE,mBAAmB;IAC9B;;OAEG;IACI,SAAS,EAAE,MAAM;IACxB;;OAEG;IACI,WAAW,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC,EAClD;IAEJ,MAAM,CAAC,KAAK,WAEX;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,UAO9C;IAED,QAAQ,4BAEP;IAED,QAAQ,kBAEP;CACF"}

package/dest/vks/vk_data.js

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

package/dest/world-state/genesis_data.d.ts

@@ -0,0 +1,13 @@
+import type { PublicDataTreeLeaf } from '../trees/index.js';
+/** Data used to initialize the genesis block, including prefilled public state and an optional timestamp. */
+export type GenesisData = {
+    /** Public data tree leaves to pre-populate in the genesis state (e.g. fee juice balances). */
+    prefilledPublicData: PublicDataTreeLeaf[];
+    /** Timestamp for the genesis block header. Defaults to 0 (canonical empty genesis) in production. */
+    genesisTimestamp: bigint;
+};
+/** An empty genesis data with no prefilled state and a zero timestamp. */
+export declare const EMPTY_GENESIS_DATA: GenesisData;
+/** Returns if an object looks like genesis data */
+export declare function isGenesisData(obj: any): obj is GenesisData;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZ2VuZXNpc19kYXRhLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvd29ybGQtc3RhdGUvZ2VuZXNpc19kYXRhLnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sS0FBSyxFQUFFLGtCQUFrQixFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFNUQsNkdBQTZHO0FBQzdHLE1BQU0sTUFBTSxXQUFXLEdBQUc7SUFDeEIsOEZBQThGO0lBQzlGLG1CQUFtQixFQUFFLGtCQUFrQixFQUFFLENBQUM7SUFDMUMscUdBQXFHO0lBQ3JHLGdCQUFnQixFQUFFLE1BQU0sQ0FBQztDQUMxQixDQUFDO0FBRUYsMEVBQTBFO0FBQzFFLGVBQU8sTUFBTSxrQkFBa0IsRUFBRSxXQUdoQyxDQUFDO0FBRUYsbURBQW1EO0FBQ25ELHdCQUFnQixhQUFhLENBQUMsR0FBRyxFQUFFLEdBQUcsR0FBRyxHQUFHLElBQUksV0FBVyxDQVMxRCJ9

package/dest/world-state/genesis_data.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"genesis_data.d.ts","sourceRoot":"","sources":["../../src/world-state/genesis_data.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAE5D,6GAA6G;AAC7G,MAAM,MAAM,WAAW,GAAG;IACxB,8FAA8F;IAC9F,mBAAmB,EAAE,kBAAkB,EAAE,CAAC;IAC1C,qGAAqG;IACrG,gBAAgB,EAAE,MAAM,CAAC;CAC1B,CAAC;AAEF,0EAA0E;AAC1E,eAAO,MAAM,kBAAkB,EAAE,WAGhC,CAAC;AAEF,mDAAmD;AACnD,wBAAgB,aAAa,CAAC,GAAG,EAAE,GAAG,GAAG,GAAG,IAAI,WAAW,CAS1D"}

package/dest/world-state/genesis_data.js

@@ -0,0 +1,7 @@
+/** An empty genesis data with no prefilled state and a zero timestamp. */ export const EMPTY_GENESIS_DATA = {
+    prefilledPublicData: [],
+    genesisTimestamp: 0n
+};
+/** Returns if an object looks like genesis data */ export function isGenesisData(obj) {
+    return obj && typeof obj === 'object' && 'prefilledPublicData' in obj && Array.isArray(obj.prefilledPublicData) && 'genesisTimestamp' in obj && typeof obj.genesisTimestamp === 'bigint';
+}

package/dest/world-state/index.d.ts

@@ -0,0 +1,3 @@
+export * from './genesis_data.js';
+export * from './world_state_revision.js';
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy93b3JsZC1zdGF0ZS9pbmRleC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxjQUFjLG1CQUFtQixDQUFDO0FBQ2xDLGNBQWMsMkJBQTJCLENBQUMifQ==

package/dest/world-state/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/world-state/index.ts"],"names":[],"mappings":"AAAA,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC"}

package/dest/world-state/index.js

@@ -0,0 +1,2 @@
+export * from './genesis_data.js';
+export * from './world_state_revision.js';

package/dest/world-state/world_state_revision.d.ts

@@ -0,0 +1,26 @@
+import { z } from 'zod';
+export declare class WorldStateRevision {
+    readonly forkId: number;
+    readonly blockNumber: number;
+    readonly includeUncommitted: boolean;
+    /**
+     * Sentinel `blockNumber` meaning "not pinned to any historical block; use the latest committed
+     * state of the underlying tree". Mirrors the `WorldStateRevision::LATEST` constant on the C++
+     * side (defined as `std::numeric_limits<uint32_t>::max()`). Distinct from `blockNumber === 0`,
+     * which pins to the initial / genesis state.
+     */
+    static readonly LATEST = 4294967295;
+    constructor(forkId: number, blockNumber: number, includeUncommitted: boolean);
+    toString(): string;
+    static empty(): WorldStateRevision;
+    static get schema(): z.ZodPipe<z.ZodObject<{
+        forkId: z.ZodNumber;
+        blockNumber: z.ZodNumber;
+        includeUncommitted: z.ZodBoolean;
+    }, z.core.$strip>, z.ZodTransform<WorldStateRevision, {
+        forkId: number;
+        blockNumber: number;
+        includeUncommitted: boolean;
+    }>>;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoid29ybGRfc3RhdGVfcmV2aXNpb24uZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy93b3JsZC1zdGF0ZS93b3JsZF9zdGF0ZV9yZXZpc2lvbi50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsQ0FBQyxFQUFFLE1BQU0sS0FBSyxDQUFDO0FBRXhCLHFCQUFhLGtCQUFrQjthQVVYLE1BQU0sRUFBRSxNQUFNO2FBQ2QsV0FBVyxFQUFFLE1BQU07YUFDbkIsa0JBQWtCLEVBQUUsT0FBTztJQVg3Qzs7Ozs7T0FLRztJQUNILGdCQUF1QixNQUFNLGNBQWM7SUFFM0MsWUFDa0IsTUFBTSxFQUFFLE1BQU0sRUFDZCxXQUFXLEVBQUUsTUFBTSxFQUNuQixrQkFBa0IsRUFBRSxPQUFPLEVBQ3pDO0lBRUcsUUFBUSxXQUVkO0lBRUQsTUFBTSxDQUFDLEtBQUssdUJBRVg7SUFFRCxNQUFNLEtBQUssTUFBTTs7Ozs7Ozs7UUFXaEI7Q0FDRiJ9

package/dest/world-state/world_state_revision.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"world_state_revision.d.ts","sourceRoot":"","sources":["../../src/world-state/world_state_revision.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,qBAAa,kBAAkB;aAUX,MAAM,EAAE,MAAM;aACd,WAAW,EAAE,MAAM;aACnB,kBAAkB,EAAE,OAAO;IAX7C;;;;;OAKG;IACH,gBAAuB,MAAM,cAAc;IAE3C,YACkB,MAAM,EAAE,MAAM,EACd,WAAW,EAAE,MAAM,EACnB,kBAAkB,EAAE,OAAO,EACzC;IAEG,QAAQ,WAEd;IAED,MAAM,CAAC,KAAK,uBAEX;IAED,MAAM,KAAK,MAAM;;;;;;;;QAWhB;CACF"}

package/dest/world-state/world_state_revision.js

@@ -0,0 +1,30 @@
+import { z } from 'zod';
+export class WorldStateRevision {
+    forkId;
+    blockNumber;
+    includeUncommitted;
+    /**
+   * Sentinel `blockNumber` meaning "not pinned to any historical block; use the latest committed
+   * state of the underlying tree". Mirrors the `WorldStateRevision::LATEST` constant on the C++
+   * side (defined as `std::numeric_limits<uint32_t>::max()`). Distinct from `blockNumber === 0`,
+   * which pins to the initial / genesis state.
+   */ static LATEST = 0xffffffff;
+    constructor(forkId, blockNumber, includeUncommitted){
+        this.forkId = forkId;
+        this.blockNumber = blockNumber;
+        this.includeUncommitted = includeUncommitted;
+    }
+    toString() {
+        return `WorldStateRevision(forkId: ${this.forkId}, blockNumber: ${this.blockNumber}, includeUncommitted: ${this.includeUncommitted})`;
+    }
+    static empty() {
+        return new WorldStateRevision(0, WorldStateRevision.LATEST, false);
+    }
+    static get schema() {
+        return z.object({
+            forkId: z.number(),
+            blockNumber: z.number(),
+            includeUncommitted: z.boolean()
+        }).transform(({ forkId, blockNumber, includeUncommitted })=>new WorldStateRevision(forkId, blockNumber, includeUncommitted));
+    }
+}

package/dest/zkpassport/index.d.ts

@@ -0,0 +1,34 @@
+import { Buffer32 } from '@aztec/foundation/buffer';
+import { Fr } from '@aztec/foundation/curves/bn254';
+export type ViemZkPassportProofParams = {
+    version: `0x${string}`;
+    proofVerificationData: {
+        vkeyHash: `0x${string}`;
+        proof: `0x${string}`;
+        publicInputs: `0x${string}`[];
+    };
+    committedInputs: `0x${string}`;
+    serviceConfig: {
+        validityPeriodInSeconds: bigint;
+        domain: string;
+        scope: string;
+        devMode: boolean;
+    };
+};
+export declare class ZkPassportProofParams {
+    devMode: boolean;
+    vkeyHash: Buffer32;
+    proof: Buffer;
+    publicInputs: Fr[];
+    committedInputs: Buffer;
+    validityPeriodInSeconds: bigint;
+    domain: string;
+    scope: string;
+    constructor(devMode: boolean, vkeyHash: Buffer32, proof: Buffer, publicInputs: Fr[], committedInputs: Buffer, validityPeriodInSeconds: bigint, domain: string, scope: string);
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static random(): ZkPassportProofParams;
+    static fromBuffer(buffer: Buffer): ZkPassportProofParams;
+    static fromViem(params: ViemZkPassportProofParams): ZkPassportProofParams;
+    toViem(): ViemZkPassportProofParams;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiaW5kZXguZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy96a3Bhc3Nwb3J0L2luZGV4LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxRQUFRLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUVwRCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFJcEQsTUFBTSxNQUFNLHlCQUF5QixHQUFHO0lBQ3RDLE9BQU8sRUFBRSxLQUFLLE1BQU0sRUFBRSxDQUFDO0lBQ3ZCLHFCQUFxQixFQUFFO1FBQ3JCLFFBQVEsRUFBRSxLQUFLLE1BQU0sRUFBRSxDQUFDO1FBQ3hCLEtBQUssRUFBRSxLQUFLLE1BQU0sRUFBRSxDQUFDO1FBQ3JCLFlBQVksRUFBRSxLQUFLLE1BQU0sRUFBRSxFQUFFLENBQUM7S0FDL0IsQ0FBQztJQUNGLGVBQWUsRUFBRSxLQUFLLE1BQU0sRUFBRSxDQUFDO0lBQy9CLGFBQWEsRUFBRTtRQUNiLHVCQUF1QixFQUFFLE1BQU0sQ0FBQztRQUNoQyxNQUFNLEVBQUUsTUFBTSxDQUFDO1FBQ2YsS0FBSyxFQUFFLE1BQU0sQ0FBQztRQUNkLE9BQU8sRUFBRSxPQUFPLENBQUM7S0FDbEIsQ0FBQztDQUNILENBQUM7QUFJRixxQkFBYSxxQkFBcUI7SUFFdkIsT0FBTyxFQUFFLE9BQU87SUFDaEIsUUFBUSxFQUFFLFFBQVE7SUFDbEIsS0FBSyxFQUFFLE1BQU07SUFDYixZQUFZLEVBQUUsRUFBRSxFQUFFO0lBQ2xCLGVBQWUsRUFBRSxNQUFNO0lBQ3ZCLHVCQUF1QixFQUFFLE1BQU07SUFDL0IsTUFBTSxFQUFFLE1BQU07SUFDZCxLQUFLLEVBQUUsTUFBTTtJQVJ0QixZQUNTLE9BQU8sRUFBRSxPQUFPLEVBQ2hCLFFBQVEsRUFBRSxRQUFRLEVBQ2xCLEtBQUssRUFBRSxNQUFNLEVBQ2IsWUFBWSxFQUFFLEVBQUUsRUFBRSxFQUNsQixlQUFlLEVBQUUsTUFBTSxFQUN2Qix1QkFBdUIsRUFBRSxNQUFNLEVBQy9CLE1BQU0sRUFBRSxNQUFNLEVBQ2QsS0FBSyxFQUFFLE1BQU0sRUFDbEI7SUFFSixRQUFRLDRCQWNQO0lBRUQsTUFBTSxDQUFDLE1BQU0sMEJBa0JaO0lBRUQsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSx5QkFZL0I7SUFFRCxNQUFNLENBQUMsUUFBUSxDQUFDLE1BQU0sRUFBRSx5QkFBeUIseUJBV2hEO0lBRUQsTUFBTSxJQUFJLHlCQUF5QixDQWlCbEM7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/zkpassport/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAEpD,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAIpD,MAAM,MAAM,yBAAyB,GAAG;IACtC,OAAO,EAAE,KAAK,MAAM,EAAE,CAAC;IACvB,qBAAqB,EAAE;QACrB,QAAQ,EAAE,KAAK,MAAM,EAAE,CAAC;QACxB,KAAK,EAAE,KAAK,MAAM,EAAE,CAAC;QACrB,YAAY,EAAE,KAAK,MAAM,EAAE,EAAE,CAAC;KAC/B,CAAC;IACF,eAAe,EAAE,KAAK,MAAM,EAAE,CAAC;IAC/B,aAAa,EAAE;QACb,uBAAuB,EAAE,MAAM,CAAC;QAChC,MAAM,EAAE,MAAM,CAAC;QACf,KAAK,EAAE,MAAM,CAAC;QACd,OAAO,EAAE,OAAO,CAAC;KAClB,CAAC;CACH,CAAC;AAIF,qBAAa,qBAAqB;IAEvB,OAAO,EAAE,OAAO;IAChB,QAAQ,EAAE,QAAQ;IAClB,KAAK,EAAE,MAAM;IACb,YAAY,EAAE,EAAE,EAAE;IAClB,eAAe,EAAE,MAAM;IACvB,uBAAuB,EAAE,MAAM;IAC/B,MAAM,EAAE,MAAM;IACd,KAAK,EAAE,MAAM;IARtB,YACS,OAAO,EAAE,OAAO,EAChB,QAAQ,EAAE,QAAQ,EAClB,KAAK,EAAE,MAAM,EACb,YAAY,EAAE,EAAE,EAAE,EAClB,eAAe,EAAE,MAAM,EACvB,uBAAuB,EAAE,MAAM,EAC/B,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,EAClB;IAEJ,QAAQ,4BAcP;IAED,MAAM,CAAC,MAAM,0BAkBZ;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,yBAY/B;IAED,MAAM,CAAC,QAAQ,CAAC,MAAM,EAAE,yBAAyB,yBAWhD;IAED,MAAM,IAAI,yBAAyB,CAiBlC;CACF"}