@aztec/stdlib 3.0.0-canary.a9708bd → 3.0.0-manual.20251030

package/dest/p2p/consensus_payload.js

@@ -4,7 +4,8 @@ import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { hexToBuffer } from '@aztec/foundation/string';
 import { encodeAbiParameters, parseAbiParameters } from 'viem';
 import { z } from 'zod';
-import { ProposedBlockHeader, StateReference } from '../tx/index.js';
+import { CheckpointHeader } from '../rollup/checkpoint_header.js';
+import { StateReference } from '../tx/state_reference.js';
 export class ConsensusPayload {
     header;
     archive;
@@ -17,7 +18,7 @@ export class ConsensusPayload {
     }
     static get schema() {
         return z.object({
-            header: ProposedBlockHeader.schema,
+            header: CheckpointHeader.schema,
             archive: schemas.Fr,
             stateReference: StateReference.schema
         }).transform((obj)=>new ConsensusPayload(obj.header, obj.archive, obj.stateReference));
@@ -53,26 +54,31 @@ export class ConsensusPayload {
         return hexToBuffer(encodedData);
     }
     toBuffer() {
-        const buffer = serializeToBuffer([
+        return serializeToBuffer([
             this.header,
             this.archive,
             this.stateReference
         ]);
-        this.size = buffer.length;
-        return buffer;
+    }
+    equals(other) {
+        return this.header.equals(other.header) && this.archive.equals(other.archive) && this.stateReference.equals(other.stateReference);
     }
     static fromBuffer(buf) {
         const reader = BufferReader.asReader(buf);
-        return new ConsensusPayload(reader.readObject(ProposedBlockHeader), reader.readObject(Fr), reader.readObject(StateReference));
+        const payload = new ConsensusPayload(reader.readObject(CheckpointHeader), reader.readObject(Fr), reader.readObject(StateReference));
+        return payload;
     }
     static fromFields(fields) {
         return new ConsensusPayload(fields.header, fields.archive, fields.stateReference);
     }
     static fromBlock(block) {
-        return new ConsensusPayload(block.header.toPropose(), block.archive.root, block.header.state);
+        return new ConsensusPayload(block.header.toCheckpointHeader(), block.archive.root, block.header.state);
     }
     static empty() {
-        return new ConsensusPayload(ProposedBlockHeader.empty(), Fr.ZERO, StateReference.empty());
+        return new ConsensusPayload(CheckpointHeader.empty(), Fr.ZERO, StateReference.empty());
+    }
+    static random() {
+        return new ConsensusPayload(CheckpointHeader.random(), Fr.random(), StateReference.random());
     }
     /**
    * Get the size of the consensus payload in bytes.
@@ -85,6 +91,13 @@ export class ConsensusPayload {
         this.size = this.toBuffer().length;
         return this.size;
     }
+    toInspect() {
+        return {
+            header: this.header.toInspect(),
+            archive: this.archive.toString(),
+            stateReference: this.stateReference.toInspect()
+        };
+    }
     toString() {
         return `header: ${this.header.toString()}, archive: ${this.archive.toString()}, stateReference: ${this.stateReference.l1ToL2MessageTree.root.toString()}`;
     }

package/dest/p2p/gossipable.d.ts

@@ -1,11 +1,9 @@
 import { Buffer32 } from '@aztec/foundation/buffer';
 import type { TopicType } from './topic_type.js';
 export declare class P2PMessage {
-    readonly publishTime: Date;
-    readonly id: Buffer32;
     readonly payload: Buffer;
-    constructor(publishTime: Date, id: Buffer32, payload: Buffer);
-    static fromGossipable(message: Gossipable): Promise<P2PMessage>;
+    constructor(payload: Buffer);
+    static fromGossipable(message: Gossipable): P2PMessage;
     static fromMessageData(messageData: Buffer): P2PMessage;
     toMessageData(): Buffer;
 }
@@ -16,26 +14,18 @@ export declare class P2PMessage {
  */
 export declare abstract class Gossipable {
     private cachedId;
-    /** p2p Topic
-     *
-     * - The p2p topic identifier, this determines how the message is handled
-     */
+    /** The p2p topic identifier, this determines how the message is handled */
     static p2pTopic: TopicType;
-    /** p2p Message Identifier
-     *
-     *  - A digest of the message information, this key is used for deduplication
+    /**
+     * A digest of the message information **used for logging only**.
+     * The identifier used for deduplication is `getMsgIdFn` as defined in `encoding.ts` which is a hash over topic and data.
      */
     p2pMessageIdentifier(): Promise<Buffer32>;
     abstract generateP2PMessageIdentifier(): Promise<Buffer32>;
-    /** To Buffer
-     *
-     * - Serialization method
-     */
     abstract toBuffer(): Buffer;
     toMessage(): Buffer;
     /**
      * Get the size of the gossipable object.
-     *
      * This is used for metrics recording.
      */
     abstract getSize(): number;

package/dest/p2p/gossipable.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"gossipable.d.ts","sourceRoot":"","sources":["../../src/p2p/gossipable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,qBAAa,UAAU;aAEH,WAAW,EAAE,IAAI;aACjB,EAAE,EAAE,QAAQ;aACZ,OAAO,EAAE,MAAM;gBAFf,WAAW,EAAE,IAAI,EACjB,EAAE,EAAE,QAAQ,EACZ,OAAO,EAAE,MAAM;WAGpB,cAAc,CAAC,OAAO,EAAE,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC;IAIrE,MAAM,CAAC,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,UAAU;IAQvD,aAAa,IAAI,MAAM;CAOxB;AAED;;;;GAIG;AACH,8BAAsB,UAAU;IAC9B,OAAO,CAAC,QAAQ,CAAuB;IACvC;;;OAGG;IACH,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC;IAE3B;;;OAGG;IACG,oBAAoB,IAAI,OAAO,CAAC,QAAQ,CAAC;IAQ/C,QAAQ,CAAC,4BAA4B,IAAI,OAAO,CAAC,QAAQ,CAAC;IAE1D;;;OAGG;IACH,QAAQ,CAAC,QAAQ,IAAI,MAAM;IAE3B,SAAS,IAAI,MAAM;IAInB;;;;OAIG;IACH,QAAQ,CAAC,OAAO,IAAI,MAAM;CAC3B"}
+{"version":3,"file":"gossipable.d.ts","sourceRoot":"","sources":["../../src/p2p/gossipable.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAEjD,qBAAa,UAAU;aACO,OAAO,EAAE,MAAM;gBAAf,OAAO,EAAE,MAAM;IAE3C,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,UAAU,GAAG,UAAU;IAItD,MAAM,CAAC,eAAe,CAAC,WAAW,EAAE,MAAM,GAAG,UAAU;IAMvD,aAAa,IAAI,MAAM;CAGxB;AAED;;;;GAIG;AACH,8BAAsB,UAAU;IAC9B,OAAO,CAAC,QAAQ,CAAuB;IACvC,2EAA2E;IAC3E,MAAM,CAAC,QAAQ,EAAE,SAAS,CAAC;IAE3B;;;OAGG;IACG,oBAAoB,IAAI,OAAO,CAAC,QAAQ,CAAC;IAQ/C,QAAQ,CAAC,4BAA4B,IAAI,OAAO,CAAC,QAAQ,CAAC;IAE1D,QAAQ,CAAC,QAAQ,IAAI,MAAM;IAE3B,SAAS,IAAI,MAAM;IAInB;;;OAGG;IACH,QAAQ,CAAC,OAAO,IAAI,MAAM;CAC3B"}

package/dest/p2p/gossipable.js

@@ -1,28 +1,19 @@
-import { Buffer32 } from '@aztec/foundation/buffer';
-import { BufferReader, bigintToUInt64BE, serializeToBuffer } from '@aztec/foundation/serialize';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 export class P2PMessage {
-    publishTime;
-    id;
     payload;
-    constructor(publishTime, id, payload){
-        this.publishTime = publishTime;
-        this.id = id;
+    constructor(payload){
         this.payload = payload;
     }
-    static async fromGossipable(message) {
-        return new P2PMessage(new Date(), await message.p2pMessageIdentifier(), message.toBuffer());
+    static fromGossipable(message) {
+        return new P2PMessage(message.toBuffer());
     }
     static fromMessageData(messageData) {
         const reader = new BufferReader(messageData);
-        const publishTime = reader.readUInt64();
-        const id = Buffer32.fromBuffer(reader);
         const payload = reader.readBuffer();
-        return new P2PMessage(new Date(Number(publishTime)), id, payload);
+        return new P2PMessage(payload);
     }
     toMessageData() {
         return serializeToBuffer([
-            bigintToUInt64BE(BigInt(this.publishTime.getTime())),
-            this.id,
             serializeToBuffer(this.payload.length, this.payload)
         ]);
     }
@@ -33,13 +24,10 @@ export class P2PMessage {
  * Any class which extends gossipable will be able to be Gossiped over the p2p network
  */ export class Gossipable {
     cachedId;
-    /** p2p Topic
-   *
-   * - The p2p topic identifier, this determines how the message is handled
-   */ static p2pTopic;
-    /** p2p Message Identifier
-   *
-   *  - A digest of the message information, this key is used for deduplication
+    /** The p2p topic identifier, this determines how the message is handled */ static p2pTopic;
+    /**
+   * A digest of the message information **used for logging only**.
+   * The identifier used for deduplication is `getMsgIdFn` as defined in `encoding.ts` which is a hash over topic and data.
    */ async p2pMessageIdentifier() {
         if (this.cachedId) {
             return this.cachedId;

package/dest/p2p/signature_utils.d.ts

@@ -1,7 +1,8 @@
 import { Buffer32 } from '@aztec/foundation/buffer';
 export declare enum SignatureDomainSeparator {
     blockProposal = 0,
-    blockAttestation = 1
+    blockAttestation = 1,
+    attestationsAndSigners = 2
 }
 export interface Signable {
     getPayloadToSign(domainSeparator: SignatureDomainSeparator): Buffer;

package/dest/p2p/signature_utils.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"signature_utils.d.ts","sourceRoot":"","sources":["../../src/p2p/signature_utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,oBAAY,wBAAwB;IAClC,aAAa,IAAI;IACjB,gBAAgB,IAAI;CACrB;AAED,MAAM,WAAW,QAAQ;IACvB,gBAAgB,CAAC,eAAe,EAAE,wBAAwB,GAAG,MAAM,CAAC;CACrE;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,wBAAwB,GAAG,QAAQ,CAE1G;AAED;;;;GAIG;AACH,wBAAgB,yCAAyC,CACvD,CAAC,EAAE,QAAQ,EACX,eAAe,EAAE,wBAAwB,GACxC,QAAQ,CAGV"}
+{"version":3,"file":"signature_utils.d.ts","sourceRoot":"","sources":["../../src/p2p/signature_utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,0BAA0B,CAAC;AAGpD,oBAAY,wBAAwB;IAClC,aAAa,IAAI;IACjB,gBAAgB,IAAI;IACpB,sBAAsB,IAAI;CAC3B;AAED,MAAM,WAAW,QAAQ;IACvB,gBAAgB,CAAC,eAAe,EAAE,wBAAwB,GAAG,MAAM,CAAC;CACrE;AAED;;;;GAIG;AACH,wBAAgB,yBAAyB,CAAC,CAAC,EAAE,QAAQ,EAAE,eAAe,EAAE,wBAAwB,GAAG,QAAQ,CAE1G;AAED;;;;GAIG;AACH,wBAAgB,yCAAyC,CACvD,CAAC,EAAE,QAAQ,EACX,eAAe,EAAE,wBAAwB,GACxC,QAAQ,CAGV"}

package/dest/p2p/signature_utils.js

@@ -3,6 +3,7 @@ import { keccak256, makeEthSignDigest } from '@aztec/foundation/crypto';
 export var SignatureDomainSeparator = /*#__PURE__*/ function(SignatureDomainSeparator) {
     SignatureDomainSeparator[SignatureDomainSeparator["blockProposal"] = 0] = "blockProposal";
     SignatureDomainSeparator[SignatureDomainSeparator["blockAttestation"] = 1] = "blockAttestation";
+    SignatureDomainSeparator[SignatureDomainSeparator["attestationsAndSigners"] = 2] = "attestationsAndSigners";
     return SignatureDomainSeparator;
 }({});
 /**

package/dest/p2p/topic_type.d.ts

@@ -1,14 +1,10 @@
 import { P2PClientType } from './client_type.js';
-/** Create Topic String
- *
- * The topic channel identifier
- * @param topicType
- * @returns
- */
-export declare function createTopicString(topicType: TopicType, protocolVersion: string): string;
 /**
- *
+ * Creates the topic channel identifier string from a given topic type
  */
+export declare function createTopicString(topicType: TopicType, protocolVersion: string): string;
+/** Extracts the topic type from a topic string */
+export declare function getTopicFromString(topicStr: string): TopicType | undefined;
 export declare enum TopicType {
     tx = "tx",
     block_proposal = "block_proposal",

package/dest/p2p/topic_type.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"topic_type.d.ts","sourceRoot":"","sources":["../../src/p2p/topic_type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD;;;;;GAKG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,UAE9E;AAED;;GAEG;AACH,oBAAY,SAAS;IACnB,EAAE,OAAO;IACT,cAAc,mBAAmB;IACjC,iBAAiB,sBAAsB;CACxC;AAED,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,aAAa,eASlE;AAED,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,aAAa,EAAE,mBAAmB,EAAE,OAAO,eAMlG;AAED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,eAAe,EAAE,MAAM,uBAO9D"}
+{"version":3,"file":"topic_type.d.ts","sourceRoot":"","sources":["../../src/p2p/topic_type.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,kBAAkB,CAAC;AAEjD;;GAEG;AACH,wBAAgB,iBAAiB,CAAC,SAAS,EAAE,SAAS,EAAE,eAAe,EAAE,MAAM,UAE9E;AAED,kDAAkD;AAClD,wBAAgB,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,SAAS,GAAG,SAAS,CAU1E;AAED,oBAAY,SAAS;IACnB,EAAE,OAAO;IACT,cAAc,mBAAmB;IACjC,iBAAiB,sBAAsB;CACxC;AAED,wBAAgB,yBAAyB,CAAC,UAAU,EAAE,aAAa,eASlE;AAED,wBAAgB,2BAA2B,CAAC,UAAU,EAAE,aAAa,EAAE,mBAAmB,EAAE,OAAO,eAMlG;AAED;;;;;;;;GAQG;AACH,wBAAgB,uBAAuB,CAAC,eAAe,EAAE,MAAM,uBAO9D"}

package/dest/p2p/topic_type.js

@@ -1,15 +1,21 @@
 import { P2PClientType } from './client_type.js';
-/** Create Topic String
- *
- * The topic channel identifier
- * @param topicType
- * @returns
+/**
+ * Creates the topic channel identifier string from a given topic type
  */ export function createTopicString(topicType, protocolVersion) {
     return `/aztec/${TopicType[topicType]}/${protocolVersion}`;
 }
-/**
- *
- */ export var TopicType = /*#__PURE__*/ function(TopicType) {
+/** Extracts the topic type from a topic string */ export function getTopicFromString(topicStr) {
+    const parts = topicStr.split('/');
+    if (parts.length < 4 || parts[1] !== 'aztec') {
+        return undefined;
+    }
+    const topic = parts[2];
+    if (Object.values(TopicType).includes(topic)) {
+        return topic;
+    }
+    return undefined;
+}
+export var TopicType = /*#__PURE__*/ function(TopicType) {
     TopicType["tx"] = "tx";
     TopicType["block_proposal"] = "block_proposal";
     TopicType["block_attestation"] = "block_attestation";

package/dest/parity/index.d.ts

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

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

@@ -1 +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"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/parity/index.ts"],"names":[],"mappings":"AAAA,cAAc,iCAAiC,CAAC;AAChD,cAAc,2BAA2B,CAAC;AAC1C,cAAc,iCAAiC,CAAC"}

package/dest/parity/index.js

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

package/dest/parity/{base_parity_inputs.d.ts → parity_base_private_inputs.d.ts}

@@ -1,7 +1,7 @@
-import { type NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP, NUM_MSGS_PER_BASE_PARITY } from '@aztec/constants';
+import { 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 {
+export declare class ParityBasePrivateInputs {
     /** Aggregated proof of all the parity circuit iterations. */
     readonly msgs: Tuple<Fr, typeof NUM_MSGS_PER_BASE_PARITY>;
     /** Root of the VK tree */
@@ -11,7 +11,7 @@ export declare class BaseParityInputs {
     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;
+    static fromSlice(array: Fr[], index: number, vkTreeRoot: Fr): ParityBasePrivateInputs;
     /** Serializes the inputs to a buffer. */
     toBuffer(): Buffer<ArrayBufferLike>;
     /** Serializes the inputs to a hex string. */
@@ -20,16 +20,16 @@ export declare class BaseParityInputs {
      * Deserializes the inputs from a buffer.
      * @param buffer - The buffer to deserialize from.
      */
-    static fromBuffer(buffer: Buffer | BufferReader): BaseParityInputs;
+    static fromBuffer(buffer: Buffer | BufferReader): ParityBasePrivateInputs;
     /**
      * Deserializes the inputs from a hex string.
      * @param str - The hex string to deserialize from.
      * @returns - The deserialized inputs.
      */
-    static fromString(str: string): BaseParityInputs;
+    static fromString(str: string): ParityBasePrivateInputs;
     /** Returns a buffer representation for JSON serialization. */
     toJSON(): Buffer<ArrayBufferLike>;
     /** Creates an instance from a hex string. */
-    static get schema(): import("zod").ZodType<BaseParityInputs, any, string>;
+    static get schema(): import("zod").ZodType<ParityBasePrivateInputs, any, string>;
 }
-//# sourceMappingURL=base_parity_inputs.d.ts.map
+//# sourceMappingURL=parity_base_private_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parity_base_private_inputs.d.ts","sourceRoot":"","sources":["../../src/parity/parity_base_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAuC,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACjG,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,qBAAa,uBAAuB;IAEhC,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,CAAC,KAAK,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,EAAE,GAAG,uBAAuB;IAa5F,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,gEAEhB;CACF"}

package/dest/parity/{base_parity_inputs.js → parity_base_private_inputs.js}

@@ -1,9 +1,9 @@
-import { NUM_MSGS_PER_BASE_PARITY } from '@aztec/constants';
+import { NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP, 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 {
+export class ParityBasePrivateInputs {
     msgs;
     vkTreeRoot;
     constructor(/** Aggregated proof of all the parity circuit iterations. */ msgs, /** Root of the VK tree */ vkTreeRoot){
@@ -11,10 +11,14 @@ export class BaseParityInputs {
         this.vkTreeRoot = vkTreeRoot;
     }
     static fromSlice(array, index, vkTreeRoot) {
+        // Can't use Tuple<Fr, typeof NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP> due to length
+        if (array.length !== NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP) {
+            throw new Error(`Msgs array length must be NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP=${NUMBER_OF_L1_L2_MESSAGES_PER_ROLLUP}`);
+        }
         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);
+        return new ParityBasePrivateInputs(msgs, vkTreeRoot);
     }
     /** Serializes the inputs to a buffer. */ toBuffer() {
         return serializeToBuffer(this.msgs, this.vkTreeRoot);
@@ -27,19 +31,19 @@ export class BaseParityInputs {
    * @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));
+        return new ParityBasePrivateInputs(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));
+        return ParityBasePrivateInputs.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);
+        return bufferSchemaFor(ParityBasePrivateInputs);
     }
 }

package/dest/parity/parity_root_private_inputs.d.ts

@@ -0,0 +1,39 @@
+import { NUM_BASE_PARITY_PER_ROOT_PARITY } from '@aztec/constants';
+import { BufferReader, type Tuple } from '@aztec/foundation/serialize';
+import { type UltraHonkProofData } from '../proofs/proof_data.js';
+import { ParityPublicInputs } from './parity_public_inputs.js';
+export type ParityBaseProofData = UltraHonkProofData<ParityPublicInputs>;
+export declare class ParityRootPrivateInputs {
+    /** Public inputs of the parity base circuits and their proofs and vk data. */
+    readonly children: Tuple<ParityBaseProofData, typeof NUM_BASE_PARITY_PER_ROOT_PARITY>;
+    constructor(
+    /** Public inputs of the parity base circuits and their proofs and vk data. */
+    children: Tuple<ParityBaseProofData, typeof NUM_BASE_PARITY_PER_ROOT_PARITY>);
+    /**
+     * Serializes the inputs to a buffer.
+     * @returns The inputs serialized to a buffer.
+     */
+    toBuffer(): Buffer<ArrayBufferLike>;
+    /**
+     * 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 ParityRootPrivateInputs instance.
+     */
+    static fromBuffer(buffer: Buffer | BufferReader): ParityRootPrivateInputs;
+    /**
+     * Deserializes the inputs from a hex string.
+     * @param str - A hex string to deserialize from.
+     * @returns A new ParityRootPrivateInputs instance.
+     */
+    static fromString(str: string): ParityRootPrivateInputs;
+    /** Returns a buffer representation for JSON serialization. */
+    toJSON(): Buffer<ArrayBufferLike>;
+    /** Creates an instance from a hex string. */
+    static get schema(): import("zod").ZodType<ParityRootPrivateInputs, any, string>;
+}
+//# sourceMappingURL=parity_root_private_inputs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"parity_root_private_inputs.d.ts","sourceRoot":"","sources":["../../src/parity/parity_root_private_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,+BAA+B,EAAE,MAAM,kBAAkB,CAAC;AAGnE,OAAO,EAAE,YAAY,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAG1F,OAAO,EAAa,KAAK,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAE/D,MAAM,MAAM,mBAAmB,GAAG,kBAAkB,CAAC,kBAAkB,CAAC,CAAC;AAEzE,qBAAa,uBAAuB;IAEhC,8EAA8E;aAC9D,QAAQ,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,+BAA+B,CAAC;;IAD5F,8EAA8E;IAC9D,QAAQ,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,+BAA+B,CAAC;IAG9F;;;OAGG;IACH,QAAQ;IAIR;;;OAGG;IACH,QAAQ;IAIR;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAO/C;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,8DAA8D;IAC9D,MAAM;IAIN,6CAA6C;IAC7C,MAAM,KAAK,MAAM,gEAEhB;CACF"}

package/dest/parity/{root_parity_inputs.js → parity_root_private_inputs.js}

@@ -1,18 +1,20 @@
-import { NUM_BASE_PARITY_PER_ROOT_PARITY, RECURSIVE_PROOF_LENGTH } from '@aztec/constants';
+import { NUM_BASE_PARITY_PER_ROOT_PARITY } from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
 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 {
+import { ProofData } from '../proofs/proof_data.js';
+import { ParityPublicInputs } from './parity_public_inputs.js';
+export class ParityRootPrivateInputs {
     children;
-    constructor(/** Public inputs of children and their proofs. */ children){
+    constructor(/** Public inputs of the parity base circuits and their proofs and vk data. */ children){
         this.children = children;
     }
     /**
    * Serializes the inputs to a buffer.
    * @returns The inputs serialized to a buffer.
    */ toBuffer() {
-        return serializeToBuffer(...this.children);
+        return serializeToBuffer(this.children);
     }
     /**
    * Serializes the inputs to a hex string.
@@ -23,25 +25,22 @@ export class RootParityInputs {
     /**
    * Deserializes the inputs from a buffer.
    * @param buffer - The buffer to deserialize from.
-   * @returns A new RootParityInputs instance.
+   * @returns A new ParityRootPrivateInputs 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);
+        return new ParityRootPrivateInputs(makeTuple(NUM_BASE_PARITY_PER_ROOT_PARITY, ()=>ProofData.fromBuffer(reader, ParityPublicInputs)));
     }
     /**
    * Deserializes the inputs from a hex string.
    * @param str - A hex string to deserialize from.
-   * @returns A new RootParityInputs instance.
+   * @returns A new ParityRootPrivateInputs instance.
    */ static fromString(str) {
-        return RootParityInputs.fromBuffer(hexToBuffer(str));
+        return ParityRootPrivateInputs.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);
+        return bufferSchemaFor(ParityRootPrivateInputs);
     }
 }

package/dest/proofs/chonk_proof.d.ts

@@ -0,0 +1,28 @@
+import { Fr } from '@aztec/foundation/fields';
+import { BufferReader } from '@aztec/foundation/serialize';
+export declare class ChonkProof {
+    fields: Fr[];
+    constructor(fields: Fr[]);
+    attachPublicInputs(publicInputs: Fr[]): ChonkProofWithPublicInputs;
+    isEmpty(): boolean;
+    static empty(): ChonkProof;
+    static random(): ChonkProof;
+    static get schema(): import("zod").ZodType<ChonkProof, any, string>;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): ChonkProof;
+    toBuffer(): Buffer<ArrayBufferLike>;
+}
+export declare class ChonkProofWithPublicInputs {
+    fieldsWithPublicInputs: Fr[];
+    constructor(fieldsWithPublicInputs: Fr[]);
+    getPublicInputs(): Fr[];
+    removePublicInputs(): ChonkProof;
+    isEmpty(): boolean;
+    static empty(): ChonkProofWithPublicInputs;
+    static get schema(): import("zod").ZodType<ChonkProofWithPublicInputs, any, string>;
+    toJSON(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): ChonkProofWithPublicInputs;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBufferArray(fields: Uint8Array[]): ChonkProofWithPublicInputs;
+}
+//# sourceMappingURL=chonk_proof.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"chonk_proof.d.ts","sourceRoot":"","sources":["../../src/proofs/chonk_proof.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAG9E,qBAAa,UAAU;IAKZ,MAAM,EAAE,EAAE,EAAE;gBAAZ,MAAM,EAAE,EAAE,EAAE;IAOd,kBAAkB,CAAC,YAAY,EAAE,EAAE,EAAE;IAIrC,OAAO;IAId,MAAM,CAAC,KAAK;IAIZ,MAAM,CAAC,MAAM;IAWb,MAAM,KAAK,MAAM,mDAEhB;IAGD,MAAM;IAIN,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,UAAU;IAOrD,QAAQ;CAGhB;AAED,qBAAa,0BAA0B;IAI5B,sBAAsB,EAAE,EAAE,EAAE;gBAA5B,sBAAsB,EAAE,EAAE,EAAE;IAO9B,eAAe;IAKf,kBAAkB;IAKlB,OAAO;IAId,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM,mEAEhB;IAGD,MAAM;IAIN,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IAOrE,QAAQ;IAKf,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,UAAU,EAAE,GAAG,0BAA0B;CAIzE"}

package/dest/proofs/chonk_proof.js

@@ -0,0 +1,101 @@
+import { CHONK_PROOF_LENGTH } from '@aztec/constants';
+import { randomBytes } from '@aztec/foundation/crypto';
+import { Fr } from '@aztec/foundation/fields';
+import { bufferSchemaFor } from '@aztec/foundation/schemas';
+import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
+// CHONK: "Client Honk" - An UltraHonk variant with incremental folding and delayed non-native arithmetic.
+export class ChonkProof {
+    fields;
+    constructor(// The proof fields.
+    // For native verification, attach public inputs via `attachPublicInputs(publicInputs)`.
+    // Not using Tuple here due to the length being too high.
+    fields){
+        this.fields = fields;
+        if (fields.length !== CHONK_PROOF_LENGTH) {
+            throw new Error(`Invalid ChonkProof length: ${fields.length}`);
+        }
+    }
+    attachPublicInputs(publicInputs) {
+        return new ChonkProofWithPublicInputs([
+            ...publicInputs,
+            ...this.fields
+        ]);
+    }
+    isEmpty() {
+        return this.fields.every((field)=>field.isZero());
+    }
+    static empty() {
+        return new ChonkProof(new Array(CHONK_PROOF_LENGTH).fill(Fr.ZERO));
+    }
+    static random() {
+        // NB: Not using Fr.random here because it slows down some tests that require a large number of txs significantly.
+        const reducedFrSize = Fr.SIZE_IN_BYTES - 1;
+        const randomFields = randomBytes(CHONK_PROOF_LENGTH * reducedFrSize);
+        const proof = Array.from({
+            length: CHONK_PROOF_LENGTH
+        }, (_, i)=>new Fr(randomFields.subarray(i * reducedFrSize, (i + 1) * reducedFrSize)));
+        return new ChonkProof(proof);
+    }
+    static get schema() {
+        return bufferSchemaFor(ChonkProof);
+    }
+    // We use this in tandem with the bufferSchemaFor to serialize to base64 strings.
+    toJSON() {
+        return this.toBuffer();
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        const proofLength = reader.readNumber();
+        const proof = reader.readArray(proofLength, Fr);
+        return new ChonkProof(proof);
+    }
+    toBuffer() {
+        return serializeToBuffer(this.fields.length, this.fields);
+    }
+}
+export class ChonkProofWithPublicInputs {
+    fieldsWithPublicInputs;
+    constructor(// The proof fields with public inputs.
+    // For recursive verification, use without public inputs via `removePublicInputs()`.
+    fieldsWithPublicInputs){
+        this.fieldsWithPublicInputs = fieldsWithPublicInputs;
+        if (fieldsWithPublicInputs.length < CHONK_PROOF_LENGTH) {
+            throw new Error(`Invalid ChonkProofWithPublicInputs length: ${fieldsWithPublicInputs.length}`);
+        }
+    }
+    getPublicInputs() {
+        const numPublicInputs = this.fieldsWithPublicInputs.length - CHONK_PROOF_LENGTH;
+        return this.fieldsWithPublicInputs.slice(0, numPublicInputs);
+    }
+    removePublicInputs() {
+        const numPublicInputs = this.fieldsWithPublicInputs.length - CHONK_PROOF_LENGTH;
+        return new ChonkProof(this.fieldsWithPublicInputs.slice(numPublicInputs));
+    }
+    isEmpty() {
+        return this.fieldsWithPublicInputs.every((field)=>field.isZero());
+    }
+    static empty() {
+        return ChonkProof.empty().attachPublicInputs([]);
+    }
+    static get schema() {
+        return bufferSchemaFor(ChonkProofWithPublicInputs);
+    }
+    // We use this in tandem with the bufferSchemaFor to serialize to base64 strings.
+    toJSON() {
+        return this.toBuffer();
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        const proofLength = reader.readNumber();
+        const proof = reader.readArray(proofLength, Fr);
+        return new ChonkProofWithPublicInputs(proof);
+    }
+    toBuffer() {
+        return serializeToBuffer(this.fieldsWithPublicInputs.length, this.fieldsWithPublicInputs);
+    }
+    // Called when constructing from bb proving results.
+    static fromBufferArray(fields) {
+        const proof = fields.map((field)=>Fr.fromBuffer(Buffer.from(field)));
+        return new ChonkProofWithPublicInputs(proof);
+    }
+}

package/dest/proofs/index.d.ts

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

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

@@ -1 +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"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/proofs/index.ts"],"names":[],"mappings":"AAAA,cAAc,sBAAsB,CAAC;AACrC,cAAc,kBAAkB,CAAC;AACjC,cAAc,YAAY,CAAC;AAC3B,cAAc,iBAAiB,CAAC;AAChC,cAAc,2BAA2B,CAAC"}

package/dest/proofs/index.js

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