@aztec/stdlib 0.0.0-test.0

package/dest/p2p/topic_type.js

@@ -0,0 +1,40 @@
+import { P2PClientType } from './client_type.js';
+/** Create Topic String
+ *
+ * The topic channel identifier
+ * @param topicType
+ * @returns
+ */ export function createTopicString(topicType) {
+    return '/aztec/' + topicType + '/0.1.0';
+}
+/**
+ *
+ */ export var TopicType = /*#__PURE__*/ function(TopicType) {
+    TopicType["tx"] = "tx";
+    TopicType["block_proposal"] = "block_proposal";
+    TopicType["block_attestation"] = "block_attestation";
+    return TopicType;
+}({});
+export function getTopicTypeForClientType(clientType) {
+    if (clientType === P2PClientType.Full) {
+        return Object.values(TopicType);
+    }
+    return [
+        "tx"
+    ];
+}
+/**
+ * Convert the topic string into a set of labels
+ *
+ * In the form:
+ * {
+ *  "/aztec/tx/0.1.0": "tx",
+ *  ...
+ * }
+ */ export function metricsTopicStrToLabels() {
+    const topicStrToLabel = new Map();
+    for(const topic in TopicType){
+        topicStrToLabel.set(createTopicString(TopicType[topic]), topic);
+    }
+    return topicStrToLabel;
+}

package/dest/parity/base_parity_inputs.d.ts

@@ -0,0 +1,37 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { type NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP, NUM_MSGS_PER_BASE_PARITY } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
+export declare class BaseParityInputs {
+    /** Aggregated proof of all the parity circuit iterations. */
+    readonly msgs: Tuple<Fr, typeof NUM_MSGS_PER_BASE_PARITY>;
+    /** Root of the VK tree */
+    readonly vkTreeRoot: Fr;
+    constructor(
+    /** Aggregated proof of all the parity circuit iterations. */
+    msgs: Tuple<Fr, typeof NUM_MSGS_PER_BASE_PARITY>, 
+    /** Root of the VK tree */
+    vkTreeRoot: Fr);
+    static fromSlice(array: Tuple<Fr, typeof NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP>, index: number, vkTreeRoot: Fr): BaseParityInputs;
+    /** Serializes the inputs to a buffer. */
+    toBuffer(): Buffer;
+    /** Serializes the inputs to a hex string. */
+    toString(): `0x${string}`;
+    /**
+     * Deserializes the inputs from a buffer.
+     * @param buffer - The buffer to deserialize from.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): BaseParityInputs;
+    /**
+     * Deserializes the inputs from a hex string.
+     * @param str - The hex string to deserialize from.
+     * @returns - The deserialized inputs.
+     */
+    static fromString(str: string): BaseParityInputs;
+    /** Returns a buffer representation for JSON serialization. */
+    toJSON(): Buffer;
+    /** Creates an instance from a hex string. */
+    static get schema(): import("zod").ZodType<BaseParityInputs, any, string>;
+}
+//# sourceMappingURL=base_parity_inputs.d.ts.map

package/dest/parity/base_parity_inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"base_parity_inputs.d.ts","sourceRoot":"","sources":["../../src/parity/base_parity_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,KAAK,mCAAmC,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACtG,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,qBAAa,gBAAgB;IAEzB,6DAA6D;aAC7C,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAChE,0BAA0B;aACV,UAAU,EAAE,EAAE;;IAH9B,6DAA6D;IAC7C,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,wBAAwB,CAAC;IAChE,0BAA0B;IACV,UAAU,EAAE,EAAE;WAGlB,SAAS,CACrB,KAAK,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,mCAAmC,CAAC,EAC5D,KAAK,EAAE,MAAM,EACb,UAAU,EAAE,EAAE,GACb,gBAAgB;IAOnB,yCAAyC;IACzC,QAAQ;IAIR,6CAA6C;IAC7C,QAAQ;IAIR;;;OAGG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,yDAEhB;CACF"}

package/dest/parity/base_parity_inputs.js

@@ -0,0 +1,45 @@
+import { NUM_MSGS_PER_BASE_PARITY } from '@aztec/constants';
+import { 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';
+export class BaseParityInputs {
+    msgs;
+    vkTreeRoot;
+    constructor(/** Aggregated proof of all the parity circuit iterations. */ msgs, /** Root of the VK tree */ vkTreeRoot){
+        this.msgs = msgs;
+        this.vkTreeRoot = vkTreeRoot;
+    }
+    static fromSlice(array, index, vkTreeRoot) {
+        const start = index * NUM_MSGS_PER_BASE_PARITY;
+        const end = start + NUM_MSGS_PER_BASE_PARITY;
+        const msgs = array.slice(start, end);
+        return new BaseParityInputs(msgs, vkTreeRoot);
+    }
+    /** Serializes the inputs to a buffer. */ toBuffer() {
+        return serializeToBuffer(this.msgs, this.vkTreeRoot);
+    }
+    /** Serializes the inputs to a hex string. */ toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    /**
+   * Deserializes the inputs from a buffer.
+   * @param buffer - The buffer to deserialize from.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new BaseParityInputs(reader.readArray(NUM_MSGS_PER_BASE_PARITY, Fr), Fr.fromBuffer(reader));
+    }
+    /**
+   * Deserializes the inputs from a hex string.
+   * @param str - The hex string to deserialize from.
+   * @returns - The deserialized inputs.
+   */ static fromString(str) {
+        return BaseParityInputs.fromBuffer(hexToBuffer(str));
+    }
+    /** Returns a buffer representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    /** Creates an instance from a hex string. */ static get schema() {
+        return bufferSchemaFor(BaseParityInputs);
+    }
+}

package/dest/parity/index.d.ts

@@ -0,0 +1,5 @@
+export * from './base_parity_inputs.js';
+export * from './parity_public_inputs.js';
+export * from './root_parity_input.js';
+export * from './root_parity_inputs.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/parity/index.ts"],"names":[],"mappings":"AAAA,cAAc,yBAAyB,CAAC;AACxC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,wBAAwB,CAAC;AACvC,cAAc,yBAAyB,CAAC"}

package/dest/parity/index.js

@@ -0,0 +1,4 @@
+export * from './base_parity_inputs.js';
+export * from './parity_public_inputs.js';
+export * from './root_parity_input.js';
+export * from './root_parity_inputs.js';

package/dest/parity/parity_public_inputs.d.ts

@@ -0,0 +1,58 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+export declare class ParityPublicInputs {
+    /** Root of the SHA256 tree. */
+    shaRoot: Fr;
+    /** Root of the converted tree. */
+    convertedRoot: Fr;
+    /** Root of the VK tree */
+    vkTreeRoot: Fr;
+    constructor(
+    /** Root of the SHA256 tree. */
+    shaRoot: Fr, 
+    /** Root of the converted tree. */
+    convertedRoot: Fr, 
+    /** Root of the VK tree */
+    vkTreeRoot: Fr);
+    /**
+     * Serializes the inputs to a buffer.
+     * @returns The inputs serialized to a buffer.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Serializes the inputs to a hex string.
+     * @returns The inputs serialized to a hex string.
+     */
+    toString(): `0x${string}`;
+    /** Returns a representation for JSON serialization. */
+    toJSON(): Buffer;
+    /**
+     * Creates a new ParityPublicInputs instance from the given fields.
+     * @param fields - The fields to create the instance from.
+     * @returns The instance.
+     */
+    static from(fields: FieldsOf<ParityPublicInputs>): ParityPublicInputs;
+    /**
+     * Extracts the fields from the given instance.
+     * @param fields - The instance to get the fields from.
+     * @returns The instance fields.
+     */
+    static getFields(fields: FieldsOf<ParityPublicInputs>): readonly [Fr, Fr, Fr];
+    /**
+     * Deserializes the inputs from a buffer.
+     * @param buffer - The buffer to deserialize from.
+     * @returns A new ParityPublicInputs instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): ParityPublicInputs;
+    /**
+     * Deserializes the inputs from a hex string.
+     * @param str - The hex string to deserialize from.
+     * @returns A new ParityPublicInputs instance.
+     */
+    static fromString(str: string): ParityPublicInputs;
+    static get schema(): import("zod").ZodType<ParityPublicInputs, any, string>;
+}
+//# sourceMappingURL=parity_public_inputs.d.ts.map

package/dest/parity/parity_public_inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"parity_public_inputs.d.ts","sourceRoot":"","sources":["../../src/parity/parity_public_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,qBAAa,kBAAkB;IAE3B,+BAA+B;IACxB,OAAO,EAAE,EAAE;IAClB,kCAAkC;IAC3B,aAAa,EAAE,EAAE;IACxB,0BAA0B;IACnB,UAAU,EAAE,EAAE;;IALrB,+BAA+B;IACxB,OAAO,EAAE,EAAE;IAClB,kCAAkC;IAC3B,aAAa,EAAE,EAAE;IACxB,0BAA0B;IACnB,UAAU,EAAE,EAAE;IAOvB;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR,uDAAuD;IACvD,MAAM;IAIN;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,kBAAkB,CAAC,GAAG,kBAAkB;IAIrE;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,kBAAkB,CAAC;IAIrD;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,MAAM,KAAK,MAAM,2DAEhB;CACF"}

package/dest/parity/parity_public_inputs.js

@@ -0,0 +1,68 @@
+import { 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';
+export class ParityPublicInputs {
+    shaRoot;
+    convertedRoot;
+    vkTreeRoot;
+    constructor(/** Root of the SHA256 tree. */ shaRoot, /** Root of the converted tree. */ convertedRoot, /** Root of the VK tree */ vkTreeRoot){
+        this.shaRoot = shaRoot;
+        this.convertedRoot = convertedRoot;
+        this.vkTreeRoot = vkTreeRoot;
+        if (shaRoot.toBuffer()[0] != 0) {
+            throw new Error(`shaRoot buffer must be 31 bytes. Got 32 bytes`);
+        }
+    }
+    /**
+   * Serializes the inputs to a buffer.
+   * @returns The inputs serialized to a buffer.
+   */ toBuffer() {
+        return serializeToBuffer(...ParityPublicInputs.getFields(this));
+    }
+    /**
+   * Serializes the inputs to a hex string.
+   * @returns The inputs serialized to a hex string.
+   */ toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    /** Returns a representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    /**
+   * Creates a new ParityPublicInputs instance from the given fields.
+   * @param fields - The fields to create the instance from.
+   * @returns The instance.
+   */ static from(fields) {
+        return new ParityPublicInputs(...ParityPublicInputs.getFields(fields));
+    }
+    /**
+   * Extracts the fields from the given instance.
+   * @param fields - The instance to get the fields from.
+   * @returns The instance fields.
+   */ static getFields(fields) {
+        return [
+            fields.shaRoot,
+            fields.convertedRoot,
+            fields.vkTreeRoot
+        ];
+    }
+    /**
+   * Deserializes the inputs from a buffer.
+   * @param buffer - The buffer to deserialize from.
+   * @returns A new ParityPublicInputs instance.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ParityPublicInputs(reader.readObject(Fr), reader.readObject(Fr), Fr.fromBuffer(reader));
+    }
+    /**
+   * Deserializes the inputs from a hex string.
+   * @param str - The hex string to deserialize from.
+   * @returns A new ParityPublicInputs instance.
+   */ static fromString(str) {
+        return ParityPublicInputs.fromBuffer(hexToBuffer(str));
+    }
+    static get schema() {
+        return bufferSchemaFor(ParityPublicInputs);
+    }
+}

package/dest/parity/root_parity_input.d.ts

@@ -0,0 +1,54 @@
+/// <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 { FieldsOf } from '@aztec/foundation/types';
+import { RecursiveProof } from '../proofs/recursive_proof.js';
+import { VerificationKeyAsFields } from '../vks/verification_key.js';
+import { ParityPublicInputs } from './parity_public_inputs.js';
+export declare class RootParityInput<PROOF_LENGTH extends number> {
+    /** The proof of the execution of the parity circuit. */
+    readonly proof: RecursiveProof<PROOF_LENGTH>;
+    /** The circuit's verification key */
+    readonly verificationKey: VerificationKeyAsFields;
+    /** The vk path in the vk tree*/
+    readonly vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>;
+    /** The public inputs of the parity circuit. */
+    readonly publicInputs: ParityPublicInputs;
+    constructor(
+    /** The proof of the execution of the parity circuit. */
+    proof: RecursiveProof<PROOF_LENGTH>, 
+    /** The circuit's verification key */
+    verificationKey: VerificationKeyAsFields, 
+    /** The vk path in the vk tree*/
+    vkPath: Tuple<Fr, typeof VK_TREE_HEIGHT>, 
+    /** The public inputs of the parity circuit. */
+    publicInputs: ParityPublicInputs);
+    toBuffer(): Buffer;
+    toString(): `0x${string}`;
+    static from<PROOF_LENGTH extends number>(fields: FieldsOf<RootParityInput<PROOF_LENGTH>>): RootParityInput<PROOF_LENGTH>;
+    static getFields<PROOF_LENGTH extends number>(fields: FieldsOf<RootParityInput<PROOF_LENGTH>>): readonly [RecursiveProof<PROOF_LENGTH>, VerificationKeyAsFields, [Fr, Fr, Fr, Fr, Fr, Fr], ParityPublicInputs];
+    static fromBuffer<PROOF_LENGTH extends number>(buffer: Buffer | BufferReader, expectedSize?: PROOF_LENGTH): RootParityInput<PROOF_LENGTH>;
+    static fromString<PROOF_LENGTH extends number>(str: string, expectedSize?: PROOF_LENGTH): RootParityInput<PROOF_LENGTH>;
+    /** Returns a hex representation for JSON serialization. */
+    toJSON(): Buffer;
+    /** Creates an instance from a hex string with expected size. */
+    static schemaFor<N extends number>(expectedSize?: N): import("zod").ZodEffects<import("zod").ZodUnion<[import("zod").ZodEffects<import("zod").ZodEffects<import("zod").ZodString, string, string>, Buffer, string>, import("zod").ZodEffects<import("zod").ZodObject<{
+        type: import("zod").ZodLiteral<"Buffer">;
+        data: import("zod").ZodArray<import("zod").ZodNumber, "many">;
+    }, "strip", import("zod").ZodTypeAny, {
+        type: "Buffer";
+        data: number[];
+    }, {
+        type: "Buffer";
+        data: number[];
+    }>, Buffer, {
+        type: "Buffer";
+        data: number[];
+    }>]>, RootParityInput<N>, string | {
+        type: "Buffer";
+        data: number[];
+    }>;
+}
+//# sourceMappingURL=root_parity_input.d.ts.map

package/dest/parity/root_parity_input.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"root_parity_input.d.ts","sourceRoot":"","sources":["../../src/parity/root_parity_input.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,kBAAkB,CAAC;AAClD,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAE1F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,cAAc,EAAE,MAAM,8BAA8B,CAAC;AAC9D,OAAO,EAAE,uBAAuB,EAAE,MAAM,4BAA4B,CAAC;AACrE,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,qBAAa,eAAe,CAAC,YAAY,SAAS,MAAM;IAEpD,wDAAwD;aACxC,KAAK,EAAE,cAAc,CAAC,YAAY,CAAC;IACnD,qCAAqC;aACrB,eAAe,EAAE,uBAAuB;IACxD,gCAAgC;aAChB,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACxD,+CAA+C;aAC/B,YAAY,EAAE,kBAAkB;;IAPhD,wDAAwD;IACxC,KAAK,EAAE,cAAc,CAAC,YAAY,CAAC;IACnD,qCAAqC;IACrB,eAAe,EAAE,uBAAuB;IACxD,gCAAgC;IAChB,MAAM,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,cAAc,CAAC;IACxD,+CAA+C;IAC/B,YAAY,EAAE,kBAAkB;IAGlD,QAAQ;IAIR,QAAQ;IAIR,MAAM,CAAC,IAAI,CAAC,YAAY,SAAS,MAAM,EACrC,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC,GAC9C,eAAe,CAAC,YAAY,CAAC;IAIhC,MAAM,CAAC,SAAS,CAAC,YAAY,SAAS,MAAM,EAAE,MAAM,EAAE,QAAQ,CAAC,eAAe,CAAC,YAAY,CAAC,CAAC;IAI7F,MAAM,CAAC,UAAU,CAAC,YAAY,SAAS,MAAM,EAC3C,MAAM,EAAE,MAAM,GAAG,YAAY,EAC7B,YAAY,CAAC,EAAE,YAAY,GAC1B,eAAe,CAAC,YAAY,CAAC;IAUhC,MAAM,CAAC,UAAU,CAAC,YAAY,SAAS,MAAM,EAC3C,GAAG,EAAE,MAAM,EACX,YAAY,CAAC,EAAE,YAAY,GAC1B,eAAe,CAAC,YAAY,CAAC;IAIhC,2DAA2D;IAC3D,MAAM;IAIN,gEAAgE;IAChE,MAAM,CAAC,SAAS,CAAC,CAAC,SAAS,MAAM,EAAE,YAAY,CAAC,EAAE,CAAC;;;;;;;;;;;;;;;;CAGpD"}

package/dest/parity/root_parity_input.js

@@ -0,0 +1,50 @@
+import { VK_TREE_HEIGHT } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/fields';
+import { schemas } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { RecursiveProof } from '../proofs/recursive_proof.js';
+import { VerificationKeyAsFields } from '../vks/verification_key.js';
+import { ParityPublicInputs } from './parity_public_inputs.js';
+export class RootParityInput {
+    proof;
+    verificationKey;
+    vkPath;
+    publicInputs;
+    constructor(/** The proof of the execution of the parity circuit. */ proof, /** The circuit's verification key */ verificationKey, /** The vk path in the vk tree*/ vkPath, /** The public inputs of the parity circuit. */ publicInputs){
+        this.proof = proof;
+        this.verificationKey = verificationKey;
+        this.vkPath = vkPath;
+        this.publicInputs = publicInputs;
+    }
+    toBuffer() {
+        return serializeToBuffer(...RootParityInput.getFields(this));
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static from(fields) {
+        return new RootParityInput(...RootParityInput.getFields(fields));
+    }
+    static getFields(fields) {
+        return [
+            fields.proof,
+            fields.verificationKey,
+            fields.vkPath,
+            fields.publicInputs
+        ];
+    }
+    static fromBuffer(buffer, expectedSize) {
+        const reader = BufferReader.asReader(buffer);
+        return new RootParityInput(RecursiveProof.fromBuffer(reader, expectedSize), reader.readObject(VerificationKeyAsFields), reader.readArray(VK_TREE_HEIGHT, Fr), reader.readObject(ParityPublicInputs));
+    }
+    static fromString(str, expectedSize) {
+        return RootParityInput.fromBuffer(hexToBuffer(str), expectedSize);
+    }
+    /** Returns a hex representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    /** Creates an instance from a hex string with expected size. */ static schemaFor(expectedSize) {
+        return schemas.Buffer.transform((buf)=>RootParityInput.fromBuffer(buf, expectedSize));
+    }
+}

package/dest/parity/root_parity_inputs.d.ts

@@ -0,0 +1,39 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { NUM_BASE_PARITY_PER_ROOT_PARITY, RECURSIVE_PROOF_LENGTH } from '@aztec/constants';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
+import { RootParityInput } from './root_parity_input.js';
+export declare class RootParityInputs {
+    /** Public inputs of children and their proofs. */
+    readonly children: Tuple<RootParityInput<typeof RECURSIVE_PROOF_LENGTH>, typeof NUM_BASE_PARITY_PER_ROOT_PARITY>;
+    constructor(
+    /** Public inputs of children and their proofs. */
+    children: Tuple<RootParityInput<typeof RECURSIVE_PROOF_LENGTH>, typeof NUM_BASE_PARITY_PER_ROOT_PARITY>);
+    /**
+     * Serializes the inputs to a buffer.
+     * @returns The inputs serialized to a buffer.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Serializes the inputs to a hex string.
+     * @returns The instance serialized to a hex string.
+     */
+    toString(): `0x${string}`;
+    /**
+     * Deserializes the inputs from a buffer.
+     * @param buffer - The buffer to deserialize from.
+     * @returns A new RootParityInputs instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): RootParityInputs;
+    /**
+     * Deserializes the inputs from a hex string.
+     * @param str - A hex string to deserialize from.
+     * @returns A new RootParityInputs instance.
+     */
+    static fromString(str: string): RootParityInputs;
+    /** Returns a buffer representation for JSON serialization. */
+    toJSON(): Buffer;
+    /** Creates an instance from a hex string. */
+    static get schema(): import("zod").ZodType<RootParityInputs, any, string>;
+}
+//# sourceMappingURL=root_parity_inputs.d.ts.map

package/dest/parity/root_parity_inputs.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"root_parity_inputs.d.ts","sourceRoot":"","sources":["../../src/parity/root_parity_inputs.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,+BAA+B,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE3F,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,qBAAa,gBAAgB;IAEzB,kDAAkD;aAClC,QAAQ,EAAE,KAAK,CAC7B,eAAe,CAAC,OAAO,sBAAsB,CAAC,EAC9C,OAAO,+BAA+B,CACvC;;IAJD,kDAAkD;IAClC,QAAQ,EAAE,KAAK,CAC7B,eAAe,CAAC,OAAO,sBAAsB,CAAC,EAC9C,OAAO,+BAA+B,CACvC;IAGH;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAU/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,yDAEhB;CACF"}

package/dest/parity/root_parity_inputs.js

@@ -0,0 +1,47 @@
+import { NUM_BASE_PARITY_PER_ROOT_PARITY, RECURSIVE_PROOF_LENGTH } from '@aztec/constants';
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
+import { RootParityInput } from './root_parity_input.js';
+export class RootParityInputs {
+    children;
+    constructor(/** Public inputs of children and their proofs. */ children){
+        this.children = children;
+    }
+    /**
+   * Serializes the inputs to a buffer.
+   * @returns The inputs serialized to a buffer.
+   */ toBuffer() {
+        return serializeToBuffer(...this.children);
+    }
+    /**
+   * Serializes the inputs to a hex string.
+   * @returns The instance serialized to a hex string.
+   */ toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    /**
+   * Deserializes the inputs from a buffer.
+   * @param buffer - The buffer to deserialize from.
+   * @returns A new RootParityInputs instance.
+   */ static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        const tuple = Array.from({
+            length: NUM_BASE_PARITY_PER_ROOT_PARITY
+        }, ()=>RootParityInput.fromBuffer(reader, RECURSIVE_PROOF_LENGTH));
+        return new RootParityInputs(tuple);
+    }
+    /**
+   * Deserializes the inputs from a hex string.
+   * @param str - A hex string to deserialize from.
+   * @returns A new RootParityInputs instance.
+   */ static fromString(str) {
+        return RootParityInputs.fromBuffer(hexToBuffer(str));
+    }
+    /** Returns a buffer representation for JSON serialization. */ toJSON() {
+        return this.toBuffer();
+    }
+    /** Creates an instance from a hex string. */ static get schema() {
+        return bufferSchemaFor(RootParityInputs);
+    }
+}

package/dest/proofs/client_ivc_proof.d.ts

@@ -0,0 +1,21 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { BufferReader } from '@aztec/foundation/serialize';
+/**
+ * TODO(https://github.com/AztecProtocol/aztec-packages/issues/7370) refactor this to
+ * eventually we read all these VKs from the data tree instead of passing them
+ */
+export declare class ClientIvcProof {
+    clientIvcProofBuffer: Buffer;
+    clientIvcVkBuffer: Buffer;
+    constructor(clientIvcProofBuffer: Buffer, clientIvcVkBuffer: Buffer);
+    isEmpty(): boolean;
+    static empty(): ClientIvcProof;
+    static fake(fill?: number): ClientIvcProof;
+    static random(): ClientIvcProof;
+    static get schema(): import("zod").ZodType<ClientIvcProof, any, string>;
+    toJSON(): Buffer;
+    static fromBuffer(buffer: Buffer | BufferReader): ClientIvcProof;
+    toBuffer(): Buffer;
+}
+//# sourceMappingURL=client_ivc_proof.d.ts.map

package/dest/proofs/client_ivc_proof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"client_ivc_proof.d.ts","sourceRoot":"","sources":["../../src/proofs/client_ivc_proof.ts"],"names":[],"mappings":";;AAEA,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAK9E;;;GAGG;AACH,qBAAa,cAAc;IAKhB,oBAAoB,EAAE,MAAM;IAC5B,iBAAiB,EAAE,MAAM;gBADzB,oBAAoB,EAAE,MAAM,EAC5B,iBAAiB,EAAE,MAAM;IAG3B,OAAO;IAId,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,IAAI,CAAC,IAAI,SAAkC;IAIlD,MAAM,CAAC,MAAM;IAOb,MAAM,KAAK,MAAM,uDAEhB;IAED,MAAM;IAIN,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,cAAc;IAKzD,QAAQ;CAQhB"}

package/dest/proofs/client_ivc_proof.js

@@ -0,0 +1,44 @@
+import { randomBytes } from '@aztec/foundation/crypto';
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+const CLIENT_IVC_PROOF_LENGTH = 172052;
+const CLIENT_IVC_VK_LENGTH = 2730;
+/**
+ * TODO(https://github.com/AztecProtocol/aztec-packages/issues/7370) refactor this to
+ * eventually we read all these VKs from the data tree instead of passing them
+ */ export class ClientIvcProof {
+    clientIvcProofBuffer;
+    clientIvcVkBuffer;
+    constructor(// produced by the sequencer when making the tube proof
+    // TODO(https://github.com/AztecProtocol/aztec-packages/issues/7370): Need to precompute private kernel tail VK so we can verify this immediately in the tx pool
+    // which parts of these are needed to quickly verify that we have a correct IVC proof
+    clientIvcProofBuffer, clientIvcVkBuffer){
+        this.clientIvcProofBuffer = clientIvcProofBuffer;
+        this.clientIvcVkBuffer = clientIvcVkBuffer;
+    }
+    isEmpty() {
+        return this.clientIvcProofBuffer.length === 0;
+    }
+    static empty() {
+        return new ClientIvcProof(Buffer.from(''), Buffer.from(''));
+    }
+    static fake(fill = Math.floor(Math.random() * 255)) {
+        return new ClientIvcProof(Buffer.alloc(1, fill), Buffer.alloc(1, fill));
+    }
+    static random() {
+        return new ClientIvcProof(Buffer.from(randomBytes(CLIENT_IVC_PROOF_LENGTH)), Buffer.from(randomBytes(CLIENT_IVC_VK_LENGTH)));
+    }
+    static get schema() {
+        return bufferSchemaFor(ClientIvcProof);
+    }
+    toJSON() {
+        return this.toBuffer();
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ClientIvcProof(reader.readBuffer(), reader.readBuffer());
+    }
+    toBuffer() {
+        return serializeToBuffer(this.clientIvcProofBuffer.length, this.clientIvcProofBuffer, this.clientIvcVkBuffer.length, this.clientIvcVkBuffer);
+    }
+}

package/dest/proofs/index.d.ts

@@ -0,0 +1,5 @@
+export * from './recursive_proof.js';
+export * from './client_ivc_proof.js';
+export * from './proof.js';
+export * from './proving_request_type.js';
+//# sourceMappingURL=index.d.ts.map

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

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

package/dest/proofs/index.js

@@ -0,0 +1,4 @@
+export * from './recursive_proof.js';
+export * from './client_ivc_proof.js';
+export * from './proof.js';
+export * from './proving_request_type.js';

package/dest/proofs/proof.d.ts

@@ -0,0 +1,65 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader } from '@aztec/foundation/serialize';
+/**
+ * The Proof class is a wrapper around the circuits proof.
+ * Underlying it is a buffer of proof data in a form a barretenberg prover understands.
+ * It provides methods to easily create, serialize, and deserialize the proof data for efficient
+ * communication and storage.
+ */
+export declare class Proof {
+    /**
+     * Holds the serialized proof data in a binary buffer format.
+     */
+    buffer: Buffer;
+    numPublicInputs: number;
+    readonly __proofBrand: any;
+    private readonly metadataOffset;
+    private readonly publicInputsOffset;
+    constructor(
+    /**
+     * Holds the serialized proof data in a binary buffer format.
+     */
+    buffer: Buffer, numPublicInputs: number);
+    /**
+     * Create a Proof from a Buffer or BufferReader.
+     * Expects a length-encoding.
+     *
+     * @param buffer - A Buffer or BufferReader containing the length-encoded proof data.
+     * @returns A Proof instance containing the decoded proof data.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): Proof;
+    /**
+     * Convert the Proof instance to a custom Buffer format.
+     * This function serializes the Proof's buffer length and data sequentially into a new Buffer.
+     *
+     * @returns A Buffer containing the serialized proof data in custom format.
+     */
+    toBuffer(): Buffer;
+    /**
+     * Serialize the Proof instance to a hex string.
+     * @returns The hex string representation of the proof data.
+     */
+    toString(): `0x${string}`;
+    withoutPublicInputs(): Buffer;
+    extractPublicInputs(): Fr[];
+    extractAggregationObject(): Fr[];
+    /**
+     * Deserialize a Proof instance from a hex string.
+     * @param str - A hex string to deserialize from.
+     * @returns - A new Proof instance.
+     */
+    static fromString(str: string): Proof;
+    /** Returns whether this proof is actually empty. */
+    isEmpty(): boolean;
+    /** Returns an empty proof. */
+    static empty(): Proof;
+}
+/**
+ * Makes an empty proof.
+ * Note: Used for local devnet milestone where we are not proving anything yet.
+ * @returns The empty "proof".
+ */
+export declare function makeEmptyProof(): Proof;
+//# sourceMappingURL=proof.d.ts.map

package/dest/proofs/proof.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"proof.d.ts","sourceRoot":"","sources":["../../src/proofs/proof.ts"],"names":[],"mappings":";;AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAK9E;;;;;GAKG;AACH,qBAAa,KAAK;IAYd;;OAEG;IACI,MAAM,EAAE,MAAM;IAEd,eAAe,EAAE,MAAM;IAfhC,QAAQ,CAAC,YAAY,EAAE,GAAG,CAAC;IAI3B,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAK;IAGpC,OAAO,CAAC,QAAQ,CAAC,kBAAkB,CAAO;;IAGxC;;OAEG;IACI,MAAM,EAAE,MAAM,EAEd,eAAe,EAAE,MAAM;IAGhC;;;;;;OAMG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,KAAK;IAQvD;;;;;OAKG;IACI,QAAQ;IAIf;;;OAGG;IACI,QAAQ;IAIR,mBAAmB,IAAI,MAAM;IAO7B,mBAAmB,IAAI,EAAE,EAAE;IAO3B,wBAAwB,IAAI,EAAE,EAAE;IAKvC;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,oDAAoD;IAC7C,OAAO;IAMd,8BAA8B;IAC9B,MAAM,CAAC,KAAK;CAGb;AAED;;;;GAIG;AACH,wBAAgB,cAAc,UAE7B"}