@aztec/stdlib 0.0.0-test.1 → 0.0.1-commit.5476d83

package/dest/trees/public_data_leaf.d.ts

@@ -1,5 +1,3 @@
-/// <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 { IndexedTreeLeaf, IndexedTreeLeafPreimage } from '@aztec/foundation/trees';
@@ -9,59 +7,77 @@ import { z } from 'zod';
  * Note: It's called preimage because this data gets hashed before being inserted as a node into the `IndexedTree`.
  */
 export declare class PublicDataTreeLeafPreimage implements IndexedTreeLeafPreimage {
-    /**
-     * The slot of the leaf
-     */
-    slot: Fr;
-    /**
-     * The value of the leaf
-     */
-    value: Fr;
-    /**
-     * Next value inside the indexed tree's linked list.
-     */
-    nextSlot: Fr;
-    /**
-     * Index of the next leaf in the indexed tree's linked list.
-     */
+    leaf: PublicDataTreeLeaf;
+    nextKey: Fr;
     nextIndex: bigint;
     constructor(
     /**
-     * The slot of the leaf
-     */
-    slot: Fr, 
-    /**
-     * The value of the leaf
+     * The leaf (slot, value).
      */
-    value: Fr, 
+    leaf: PublicDataTreeLeaf, 
     /**
-     * Next value inside the indexed tree's linked list.
+     * Next key (slot) inside the indexed tree's linked list.
      */
-    nextSlot: Fr, 
+    nextKey: Fr, 
     /**
      * Index of the next leaf in the indexed tree's linked list.
      */
     nextIndex: bigint);
     static get schema(): z.ZodEffects<z.ZodObject<{
-        slot: z.ZodType<Fr, any, string>;
-        value: z.ZodType<Fr, any, string>;
-        nextSlot: z.ZodType<Fr, any, string>;
+        leaf: z.ZodEffects<z.ZodObject<{
+            slot: z.ZodType<Fr, any, string>;
+            value: z.ZodType<Fr, any, string>;
+        }, "strip", z.ZodTypeAny, {
+            slot: Fr;
+            value: Fr;
+        }, {
+            slot: string;
+            value: string;
+        }>, PublicDataTreeLeaf, {
+            slot: string;
+            value: string;
+        }>;
+        nextKey: z.ZodType<Fr, any, string>;
         nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
     }, "strip", z.ZodTypeAny, {
-        value: Fr;
-        slot: Fr;
+        leaf: PublicDataTreeLeaf;
+        nextKey: Fr;
         nextIndex: bigint;
-        nextSlot: Fr;
     }, {
-        value: string;
-        slot: string;
+        leaf: {
+            slot: string;
+            value: string;
+        };
+        nextKey: string;
         nextIndex: string | number | bigint;
-        nextSlot: string;
     }>, PublicDataTreeLeafPreimage, {
+        leaf: {
+            slot: string;
+            value: string;
+        };
+        nextKey: string;
+        nextIndex: string | number | bigint;
+    }>;
+    /**
+     * Creates a PublicDataTreeLeafPreimage from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing PublicDataTreeLeafPreimage fields
+     * @returns A PublicDataTreeLeafPreimage instance
+     */
+    static fromPlainObject(obj: any): PublicDataTreeLeafPreimage;
+    static get leafSchema(): z.ZodEffects<z.ZodObject<{
+        slot: z.ZodType<Fr, any, string>;
+        value: z.ZodType<Fr, any, string>;
+    }, "strip", z.ZodTypeAny, {
+        slot: Fr;
+        value: Fr;
+    }, {
+        slot: string;
         value: string;
+    }>, PublicDataTreeLeaf, {
         slot: string;
-        nextIndex: string | number | bigint;
-        nextSlot: string;
+        value: string;
     }>;
     getKey(): bigint;
     getNextKey(): bigint;
@@ -80,13 +96,7 @@ export declare class PublicDataTreeLeafPreimage implements IndexedTreeLeafPreima
  * A leaf in the public data indexed tree.
  */
 export declare class PublicDataTreeLeaf implements IndexedTreeLeaf {
-    /**
-     * The slot the value is stored in
-     */
     slot: Fr;
-    /**
-     * The value stored in the slot
-     */
     value: Fr;
     constructor(
     /**
@@ -98,7 +108,9 @@ export declare class PublicDataTreeLeaf implements IndexedTreeLeaf {
      */
     value: Fr);
     getKey(): bigint;
-    toBuffer(): Buffer;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    clone(): PublicDataTreeLeaf;
+    toHashInputs(): Buffer[];
     static fromBuffer(buffer: Buffer | BufferReader): PublicDataTreeLeaf;
     equals(another: PublicDataTreeLeaf): boolean;
     toString(): string;
@@ -106,5 +118,26 @@ export declare class PublicDataTreeLeaf implements IndexedTreeLeaf {
     updateTo(another: PublicDataTreeLeaf): PublicDataTreeLeaf;
     static buildDummy(key: bigint): PublicDataTreeLeaf;
     static empty(): PublicDataTreeLeaf;
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        slot: z.ZodType<Fr, any, string>;
+        value: z.ZodType<Fr, any, string>;
+    }, "strip", z.ZodTypeAny, {
+        slot: Fr;
+        value: Fr;
+    }, {
+        slot: string;
+        value: string;
+    }>, PublicDataTreeLeaf, {
+        slot: string;
+        value: string;
+    }>;
+    /**
+     * Creates a PublicDataTreeLeaf from a plain object without Zod validation.
+     * This method is optimized for performance and skips validation, making it suitable
+     * for deserializing trusted data (e.g., from C++ via MessagePack).
+     * @param obj - Plain object containing PublicDataTreeLeaf fields
+     * @returns A PublicDataTreeLeaf instance
+     */
+    static fromPlainObject(obj: any): PublicDataTreeLeaf;
 }
-//# sourceMappingURL=public_data_leaf.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX2RhdGFfbGVhZi5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3RyZWVzL3B1YmxpY19kYXRhX2xlYWYudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBRTlDLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFDOUUsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLHVCQUF1QixFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFeEYsT0FBTyxFQUFFLENBQUMsRUFBRSxNQUFNLEtBQUssQ0FBQztBQUV4Qjs7O0dBR0c7QUFDSCxxQkFBYSwwQkFBMkIsWUFBVyx1QkFBdUI7SUFLL0QsSUFBSSxFQUFFLGtCQUFrQjtJQUl4QixPQUFPLEVBQUUsRUFBRTtJQUlYLFNBQVMsRUFBRSxNQUFNO0lBWjFCO0lBQ0U7O09BRUc7SUFDSSxJQUFJLEVBQUUsa0JBQWtCO0lBQy9COztPQUVHO0lBQ0ksT0FBTyxFQUFFLEVBQUU7SUFDbEI7O09BRUc7SUFDSSxTQUFTLEVBQUUsTUFBTSxFQUN0QjtJQUVKLE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O09BUWhCO0lBRUQ7Ozs7OztPQU1HO0lBQ0gsTUFBTSxDQUFDLGVBQWUsQ0FBQyxHQUFHLEVBQUUsR0FBRyxHQUFHLDBCQUEwQixDQVMzRDtJQUVELE1BQU0sS0FBSyxVQUFVOzs7Ozs7Ozs7Ozs7T0FFcEI7SUFFRCxNQUFNLElBQUksTUFBTSxDQUVmO0lBRUQsVUFBVSxJQUFJLE1BQU0sQ0FFbkI7SUFFRCxZQUFZLElBQUksTUFBTSxDQUVyQjtJQUVELE1BQU0sSUFBSSxrQkFBa0IsQ0FFM0I7SUFFRCxRQUFRLElBQUksTUFBTSxDQUVqQjtJQUVELFlBQVksSUFBSSxNQUFNLEVBQUUsQ0FNdkI7SUFFRCxLQUFLLElBQUksMEJBQTBCLENBRWxDO0lBRUQsTUFBTSxDQUFDLE1BQU0sK0JBTVo7SUFFRCxNQUFNLENBQUMsS0FBSyxJQUFJLDBCQUEwQixDQUV6QztJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLEdBQUcsMEJBQTBCLENBTTNFO0lBRUQsTUFBTSxDQUFDLFFBQVEsQ0FBQyxJQUFJLEVBQUUsa0JBQWtCLEVBQUUsT0FBTyxFQUFFLE1BQU0sRUFBRSxTQUFTLEVBQUUsTUFBTSxHQUFHLDBCQUEwQixDQUV4RztJQUVELE1BQU0sQ0FBQyxLQUFLLENBQUMsUUFBUSxFQUFFLDBCQUEwQixHQUFHLDBCQUEwQixDQUU3RTtDQUNGO0FBRUQ7O0dBRUc7QUFDSCxxQkFBYSxrQkFBbUIsWUFBVyxlQUFlO0lBSy9DLElBQUksRUFBRSxFQUFFO0lBSVIsS0FBSyxFQUFFLEVBQUU7SUFSbEI7SUFDRTs7T0FFRztJQUNJLElBQUksRUFBRSxFQUFFO0lBQ2Y7O09BRUc7SUFDSSxLQUFLLEVBQUUsRUFBRSxFQUNkO0lBRUosTUFBTSxJQUFJLE1BQU0sQ0FFZjtJQUVELFFBQVEsNEJBRVA7SUFFRCxLQUFLLElBQUksa0JBQWtCLENBRTFCO0lBRUQsWUFBWSxJQUFJLE1BQU0sRUFBRSxDQUV2QjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sR0FBRyxZQUFZLHNCQUc5QztJQUVELE1BQU0sQ0FBQyxPQUFPLEVBQUUsa0JBQWtCLEdBQUcsT0FBTyxDQUUzQztJQUVELFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FFakI7SUFFRCxRQUFRLENBQUMsT0FBTyxFQUFFLGtCQUFrQixHQUFHLGtCQUFrQixDQUt4RDtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsR0FBRyxFQUFFLE1BQU0sR0FBRyxrQkFBa0IsQ0FFakQ7SUFFRCxNQUFNLENBQUMsS0FBSyxJQUFJLGtCQUFrQixDQUVqQztJQUVELE1BQU0sS0FBSyxNQUFNOzs7Ozs7Ozs7Ozs7T0FPaEI7SUFFRDs7Ozs7O09BTUc7SUFDSCxNQUFNLENBQUMsZUFBZSxDQUFDLEdBQUcsRUFBRSxHQUFHLEdBQUcsa0JBQWtCLENBS25EO0NBQ0YifQ==

package/dest/trees/public_data_leaf.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"public_data_leaf.d.ts","sourceRoot":"","sources":["../../src/trees/public_data_leaf.ts"],"names":[],"mappings":";;AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAExF,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;GAGG;AACH,qBAAa,0BAA2B,YAAW,uBAAuB;IAEtE;;OAEG;IACI,IAAI,EAAE,EAAE;IACf;;OAEG;IACI,KAAK,EAAE,EAAE;IAChB;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,SAAS,EAAE,MAAM;;IAfxB;;OAEG;IACI,IAAI,EAAE,EAAE;IACf;;OAEG;IACI,KAAK,EAAE,EAAE;IAChB;;OAEG;IACI,QAAQ,EAAE,EAAE;IACnB;;OAEG;IACI,SAAS,EAAE,MAAM;IAG1B,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;OAWhB;IAED,MAAM,IAAI,MAAM;IAIhB,UAAU,IAAI,MAAM;IAIpB,YAAY,IAAI,MAAM;IAItB,MAAM,IAAI,kBAAkB;IAI5B,QAAQ,IAAI,MAAM;IAIlB,YAAY,IAAI,MAAM,EAAE;IASxB,KAAK,IAAI,0BAA0B;IAInC,MAAM,CAAC,MAAM;IASb,MAAM,CAAC,KAAK,IAAI,0BAA0B;IAI1C,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B;IAS5E,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,0BAA0B;IAIzG,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,0BAA0B,GAAG,0BAA0B;CAG/E;AAED;;GAEG;AACH,qBAAa,kBAAmB,YAAW,eAAe;IAEtD;;OAEG;IACI,IAAI,EAAE,EAAE;IACf;;OAEG;IACI,KAAK,EAAE,EAAE;;IAPhB;;OAEG;IACI,IAAI,EAAE,EAAE;IACf;;OAEG;IACI,KAAK,EAAE,EAAE;IAGlB,MAAM,IAAI,MAAM;IAIhB,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAK/C,MAAM,CAAC,OAAO,EAAE,kBAAkB,GAAG,OAAO;IAI5C,QAAQ,IAAI,MAAM;IAIlB,OAAO,IAAI,OAAO;IAIlB,QAAQ,CAAC,OAAO,EAAE,kBAAkB,GAAG,kBAAkB;IAOzD,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB;IAIlD,MAAM,CAAC,KAAK,IAAI,kBAAkB;CAGnC"}
+{"version":3,"file":"public_data_leaf.d.ts","sourceRoot":"","sources":["../../src/trees/public_data_leaf.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAC9E,OAAO,KAAK,EAAE,eAAe,EAAE,uBAAuB,EAAE,MAAM,yBAAyB,CAAC;AAExF,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB;;;GAGG;AACH,qBAAa,0BAA2B,YAAW,uBAAuB;IAK/D,IAAI,EAAE,kBAAkB;IAIxB,OAAO,EAAE,EAAE;IAIX,SAAS,EAAE,MAAM;IAZ1B;IACE;;OAEG;IACI,IAAI,EAAE,kBAAkB;IAC/B;;OAEG;IACI,OAAO,EAAE,EAAE;IAClB;;OAEG;IACI,SAAS,EAAE,MAAM,EACtB;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED;;;;;;OAMG;IACH,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,0BAA0B,CAS3D;IAED,MAAM,KAAK,UAAU;;;;;;;;;;;;OAEpB;IAED,MAAM,IAAI,MAAM,CAEf;IAED,UAAU,IAAI,MAAM,CAEnB;IAED,YAAY,IAAI,MAAM,CAErB;IAED,MAAM,IAAI,kBAAkB,CAE3B;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,YAAY,IAAI,MAAM,EAAE,CAMvB;IAED,KAAK,IAAI,0BAA0B,CAElC;IAED,MAAM,CAAC,MAAM,+BAMZ;IAED,MAAM,CAAC,KAAK,IAAI,0BAA0B,CAEzC;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,0BAA0B,CAM3E;IAED,MAAM,CAAC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,0BAA0B,CAExG;IAED,MAAM,CAAC,KAAK,CAAC,QAAQ,EAAE,0BAA0B,GAAG,0BAA0B,CAE7E;CACF;AAED;;GAEG;AACH,qBAAa,kBAAmB,YAAW,eAAe;IAK/C,IAAI,EAAE,EAAE;IAIR,KAAK,EAAE,EAAE;IARlB;IACE;;OAEG;IACI,IAAI,EAAE,EAAE;IACf;;OAEG;IACI,KAAK,EAAE,EAAE,EACd;IAEJ,MAAM,IAAI,MAAM,CAEf;IAED,QAAQ,4BAEP;IAED,KAAK,IAAI,kBAAkB,CAE1B;IAED,YAAY,IAAI,MAAM,EAAE,CAEvB;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,sBAG9C;IAED,MAAM,CAAC,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAE3C;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED,OAAO,IAAI,OAAO,CAEjB;IAED,QAAQ,CAAC,OAAO,EAAE,kBAAkB,GAAG,kBAAkB,CAKxD;IAED,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,GAAG,kBAAkB,CAEjD;IAED,MAAM,CAAC,KAAK,IAAI,kBAAkB,CAEjC;IAED,MAAM,KAAK,MAAM;;;;;;;;;;;;OAOhB;IAED;;;;;;OAMG;IACH,MAAM,CAAC,eAAe,CAAC,GAAG,EAAE,GAAG,GAAG,kBAAkB,CAKnD;CACF"}

package/dest/trees/public_data_leaf.js

@@ -7,77 +7,85 @@ import { z } from 'zod';
  * Class containing the data of a preimage of a single leaf in the public data tree.
  * Note: It's called preimage because this data gets hashed before being inserted as a node into the `IndexedTree`.
  */ export class PublicDataTreeLeafPreimage {
-    slot;
-    value;
-    nextSlot;
+    leaf;
+    nextKey;
     nextIndex;
     constructor(/**
-     * The slot of the leaf
-     */ slot, /**
-     * The value of the leaf
-     */ value, /**
-     * Next value inside the indexed tree's linked list.
-     */ nextSlot, /**
+     * The leaf (slot, value).
+     */ leaf, /**
+     * Next key (slot) inside the indexed tree's linked list.
+     */ nextKey, /**
      * Index of the next leaf in the indexed tree's linked list.
      */ nextIndex){
-        this.slot = slot;
-        this.value = value;
-        this.nextSlot = nextSlot;
+        this.leaf = leaf;
+        this.nextKey = nextKey;
         this.nextIndex = nextIndex;
     }
     static get schema() {
         return z.object({
-            slot: schemas.Fr,
-            value: schemas.Fr,
-            nextSlot: schemas.Fr,
+            leaf: PublicDataTreeLeaf.schema,
+            nextKey: schemas.Fr,
             nextIndex: schemas.BigInt
-        }).transform(({ slot, value, nextSlot, nextIndex })=>new PublicDataTreeLeafPreimage(slot, value, nextSlot, nextIndex));
+        }).transform(({ leaf, nextKey, nextIndex })=>new PublicDataTreeLeafPreimage(leaf, nextKey, nextIndex));
+    }
+    /**
+   * Creates a PublicDataTreeLeafPreimage from a plain object without Zod validation.
+   * This method is optimized for performance and skips validation, making it suitable
+   * for deserializing trusted data (e.g., from C++ via MessagePack).
+   * @param obj - Plain object containing PublicDataTreeLeafPreimage fields
+   * @returns A PublicDataTreeLeafPreimage instance
+   */ static fromPlainObject(obj) {
+        if (obj instanceof PublicDataTreeLeafPreimage) {
+            return obj;
+        }
+        return new PublicDataTreeLeafPreimage(PublicDataTreeLeaf.fromPlainObject(obj.leaf), Fr.fromPlainObject(obj.nextKey), typeof obj.nextIndex === 'bigint' ? obj.nextIndex : BigInt(obj.nextIndex));
+    }
+    static get leafSchema() {
+        return PublicDataTreeLeaf.schema;
     }
     getKey() {
-        return this.slot.toBigInt();
+        return this.leaf.getKey();
     }
     getNextKey() {
-        return this.nextSlot.toBigInt();
+        return this.nextKey.toBigInt();
     }
     getNextIndex() {
         return this.nextIndex;
     }
     asLeaf() {
-        return new PublicDataTreeLeaf(this.slot, this.value);
+        return this.leaf;
     }
     toBuffer() {
         return Buffer.concat(this.toHashInputs());
     }
     toHashInputs() {
         return [
-            Buffer.from(this.slot.toBuffer()),
-            Buffer.from(this.value.toBuffer()),
+            ...this.leaf.toHashInputs(),
             Buffer.from(toBufferBE(this.nextIndex, 32)),
-            Buffer.from(this.nextSlot.toBuffer())
+            Buffer.from(this.nextKey.toBuffer())
         ];
     }
     clone() {
-        return new PublicDataTreeLeafPreimage(this.slot, this.value, this.nextSlot, this.nextIndex);
+        return new PublicDataTreeLeafPreimage(this.leaf.clone(), this.nextKey, this.nextIndex);
     }
     static random() {
-        return new PublicDataTreeLeafPreimage(Fr.random(), Fr.random(), Fr.random(), BigInt(Math.floor(Math.random() * 1000)));
+        return new PublicDataTreeLeafPreimage(PublicDataTreeLeaf.buildDummy(BigInt(Math.floor(Math.random() * 1000))), Fr.random(), BigInt(Math.floor(Math.random() * 1000)));
     }
     static empty() {
-        return new PublicDataTreeLeafPreimage(Fr.ZERO, Fr.ZERO, Fr.ZERO, 0n);
+        return new PublicDataTreeLeafPreimage(PublicDataTreeLeaf.empty(), Fr.ZERO, 0n);
     }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
-        const slot = Fr.fromBuffer(reader);
-        const value = Fr.fromBuffer(reader);
+        const value = PublicDataTreeLeaf.fromBuffer(reader);
         const nextIndex = toBigIntBE(reader.readBytes(32));
         const nextSlot = Fr.fromBuffer(reader);
-        return new PublicDataTreeLeafPreimage(slot, value, nextSlot, nextIndex);
+        return new PublicDataTreeLeafPreimage(value, nextSlot, nextIndex);
     }
     static fromLeaf(leaf, nextKey, nextIndex) {
-        return new PublicDataTreeLeafPreimage(leaf.slot, leaf.value, new Fr(nextKey), nextIndex);
+        return new PublicDataTreeLeafPreimage(leaf, new Fr(nextKey), nextIndex);
     }
     static clone(preimage) {
-        return new PublicDataTreeLeafPreimage(preimage.slot, preimage.value, preimage.nextSlot, preimage.nextIndex);
+        return preimage.clone();
     }
 }
 /**
@@ -102,6 +110,15 @@ import { z } from 'zod';
             this.value
         ]);
     }
+    clone() {
+        return new PublicDataTreeLeaf(this.slot, this.value);
+    }
+    toHashInputs() {
+        return [
+            this.slot.toBuffer(),
+            this.value.toBuffer()
+        ];
+    }
     static fromBuffer(buffer) {
         const reader = BufferReader.asReader(buffer);
         return new PublicDataTreeLeaf(Fr.fromBuffer(reader), Fr.fromBuffer(reader));
@@ -127,4 +144,22 @@ import { z } from 'zod';
     static empty() {
         return new PublicDataTreeLeaf(Fr.ZERO, Fr.ZERO);
     }
+    static get schema() {
+        return z.object({
+            slot: schemas.Fr,
+            value: schemas.Fr
+        }).transform(({ slot, value })=>new PublicDataTreeLeaf(slot, value));
+    }
+    /**
+   * Creates a PublicDataTreeLeaf from a plain object without Zod validation.
+   * This method is optimized for performance and skips validation, making it suitable
+   * for deserializing trusted data (e.g., from C++ via MessagePack).
+   * @param obj - Plain object containing PublicDataTreeLeaf fields
+   * @returns A PublicDataTreeLeaf instance
+   */ static fromPlainObject(obj) {
+        if (obj instanceof PublicDataTreeLeaf) {
+            return obj;
+        }
+        return new PublicDataTreeLeaf(Fr.fromPlainObject(obj.slot), Fr.fromPlainObject(obj.value));
+    }
 }

package/dest/trees/public_data_witness.d.ts

@@ -1,9 +1,7 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
 import { PUBLIC_DATA_TREE_HEIGHT } from '@aztec/constants';
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader } from '@aztec/foundation/serialize';
-import { SiblingPath } from '@aztec/foundation/trees';
+import { MembershipWitness, SiblingPath } from '@aztec/foundation/trees';
 import { z } from 'zod';
 import { PublicDataTreeLeafPreimage } from './public_data_leaf.js';
 /**
@@ -13,18 +11,8 @@ import { PublicDataTreeLeafPreimage } from './public_data_leaf.js';
  * - The current value of a slot in the public data tree if it matches exactly the slot of the leaf.
  */
 export declare class PublicDataWitness {
-    /**
-     * The index of the leaf in the public data tree.
-     */
     readonly index: bigint;
-    /**
-     * Preimage of a low leaf. All the slots in the range of the leaf are empty, and the current value of the
-     * leaf slot is stored in the leaf.
-     */
     readonly leafPreimage: PublicDataTreeLeafPreimage;
-    /**
-     * Sibling path to prove membership of the leaf.
-     */
     readonly siblingPath: SiblingPath<typeof PUBLIC_DATA_TREE_HEIGHT>;
     constructor(
     /**
@@ -43,49 +31,41 @@ export declare class PublicDataWitness {
     static get schema(): z.ZodEffects<z.ZodObject<{
         index: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
         leafPreimage: z.ZodEffects<z.ZodObject<{
-            slot: z.ZodType<Fr, any, string>;
-            value: z.ZodType<Fr, any, string>;
-            nextSlot: z.ZodType<Fr, any, string>;
+            leaf: z.ZodEffects<z.ZodObject<{
+                slot: z.ZodType<Fr, any, string>;
+                value: z.ZodType<Fr, any, string>;
+            }, "strip", z.ZodTypeAny, {
+                slot: Fr;
+                value: Fr;
+            }, {
+                slot: string;
+                value: string;
+            }>, import("./public_data_leaf.js").PublicDataTreeLeaf, {
+                slot: string;
+                value: string;
+            }>;
+            nextKey: z.ZodType<Fr, any, string>;
             nextIndex: z.ZodPipeline<z.ZodUnion<[z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodBigInt>;
         }, "strip", z.ZodTypeAny, {
-            value: Fr;
-            slot: Fr;
+            leaf: import("./public_data_leaf.js").PublicDataTreeLeaf;
+            nextKey: Fr;
             nextIndex: bigint;
-            nextSlot: Fr;
         }, {
-            value: string;
-            slot: string;
+            leaf: {
+                slot: string;
+                value: string;
+            };
+            nextKey: string;
             nextIndex: string | number | bigint;
-            nextSlot: string;
         }>, PublicDataTreeLeafPreimage, {
-            value: string;
-            slot: string;
+            leaf: {
+                slot: string;
+                value: string;
+            };
+            nextKey: string;
             nextIndex: string | number | bigint;
-            nextSlot: string;
-        }>;
-        siblingPath: z.ZodEffects<z.ZodEffects<z.ZodUnion<[z.ZodEffects<z.ZodEffects<z.ZodString, string, string>, Buffer, string>, z.ZodEffects<z.ZodObject<{
-            type: z.ZodLiteral<"Buffer">;
-            data: z.ZodArray<z.ZodNumber, "many">;
-        }, "strip", z.ZodTypeAny, {
-            type: "Buffer";
-            data: number[];
-        }, {
-            type: "Buffer";
-            data: number[]; /**
-             * Deserializes an PublicDataWitness object from a buffer.
-             * @param buf - Buffer or BufferReader to deserialize.
-             * @returns An instance of PublicDataWitness.
-             */
-        }>, Buffer, {
-            type: "Buffer";
-            data: number[];
-        }>]>, SiblingPath<40>, string | {
-            type: "Buffer";
-            data: number[];
-        }>, SiblingPath<40>, string | {
-            type: "Buffer";
-            data: number[];
         }>;
+        siblingPath: z.ZodEffects<z.ZodEffects<import("../schemas/schemas.js").ZodFor<Buffer<ArrayBufferLike>>, SiblingPath<40>, any>, SiblingPath<40>, any>;
     }, "strip", z.ZodTypeAny, {
         index: bigint;
         leafPreimage: PublicDataTreeLeafPreimage;
@@ -93,39 +73,42 @@ export declare class PublicDataWitness {
     }, {
         index: string | number | bigint;
         leafPreimage: {
-            value: string;
-            slot: string;
+            leaf: {
+                slot: string;
+                value: string;
+            };
+            nextKey: string;
             nextIndex: string | number | bigint;
-            nextSlot: string;
-        };
-        siblingPath: string | {
-            type: "Buffer";
-            data: number[];
         };
+        siblingPath?: any;
     }>, PublicDataWitness, {
         index: string | number | bigint;
         leafPreimage: {
-            value: string;
-            slot: string;
+            leaf: {
+                slot: string;
+                value: string;
+            };
+            nextKey: string;
             nextIndex: string | number | bigint;
-            nextSlot: string;
-        };
-        siblingPath: string | {
-            type: "Buffer";
-            data: number[];
         };
+        siblingPath?: any;
     }>;
     /**
      * Returns a field array representation of a public data witness.
      * @returns A field array representation of a public data witness.
      */
     toFields(): Fr[];
+    /**
+     * Returns a representation of the public data witness as expected by intrinsic Noir deserialization.
+     */
+    toNoirRepresentation(): (string | string[])[];
     toBuffer(): Buffer;
     /**
      * Returns a string representation of the TxEffect object.
      */
     toString(): string;
     static random(): PublicDataWitness;
+    withoutPreimage(): MembershipWitness<typeof PUBLIC_DATA_TREE_HEIGHT>;
     /**
      * Deserializes an PublicDataWitness object from a buffer.
      * @param buf - Buffer or BufferReader to deserialize.
@@ -139,4 +122,4 @@ export declare class PublicDataWitness {
      */
     static fromString(str: string): PublicDataWitness;
 }
-//# sourceMappingURL=public_data_witness.d.ts.map
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX2RhdGFfd2l0bmVzcy5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3RyZWVzL3B1YmxpY19kYXRhX3dpdG5lc3MudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLHVCQUF1QixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFFM0QsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzlDLE9BQU8sRUFBRSxZQUFZLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFOUUsT0FBTyxFQUFFLGlCQUFpQixFQUFFLFdBQVcsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRXpFLE9BQU8sRUFBRSxDQUFDLEVBQUUsTUFBTSxLQUFLLENBQUM7QUFHeEIsT0FBTyxFQUFFLDBCQUEwQixFQUFFLE1BQU0sdUJBQXVCLENBQUM7QUFFbkU7Ozs7O0dBS0c7QUFDSCxxQkFBYSxpQkFBaUI7YUFLVixLQUFLLEVBQUUsTUFBTTthQUtiLFlBQVksRUFBRSwwQkFBMEI7YUFJeEMsV0FBVyxFQUFFLFdBQVcsQ0FBQyxPQUFPLHVCQUF1QixDQUFDO0lBYjFFO0lBQ0U7O09BRUc7SUFDYSxLQUFLLEVBQUUsTUFBTTtJQUM3Qjs7O09BR0c7SUFDYSxZQUFZLEVBQUUsMEJBQTBCO0lBQ3hEOztPQUVHO0lBQ2EsV0FBVyxFQUFFLFdBQVcsQ0FBQyxPQUFPLHVCQUF1QixDQUFDLEVBQ3RFO0lBRUosTUFBTSxLQUFLLE1BQU07Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7T0FRaEI7SUFFRDs7O09BR0c7SUFDSSxRQUFRLElBQUksRUFBRSxFQUFFLENBU3RCO0lBRUQ7O09BRUc7SUFDSSxvQkFBb0IsSUFBSSxDQUFDLE1BQU0sR0FBRyxNQUFNLEVBQUUsQ0FBQyxFQUFFLENBVW5EO0lBRUQsUUFBUSxJQUFJLE1BQU0sQ0FFakI7SUFFRDs7T0FFRztJQUNILFFBQVEsSUFBSSxNQUFNLENBRWpCO0lBRUQsTUFBTSxDQUFDLE1BQU0sc0JBTVo7SUFFTSxlQUFlLElBQUksaUJBQWlCLENBQUMsT0FBTyx1QkFBdUIsQ0FBQyxDQUUxRTtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxHQUFHLGlCQUFpQixDQVFsRTtJQUVEOzs7O09BSUc7SUFDSCxNQUFNLENBQUMsVUFBVSxDQUFDLEdBQUcsRUFBRSxNQUFNLHFCQUU1QjtDQUNGIn0=

package/dest/trees/public_data_witness.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"public_data_witness.d.ts","sourceRoot":"","sources":["../../src/trees/public_data_witness.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAE3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEtD,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAEnE;;;;;GAKG;AACH,qBAAa,iBAAiB;IAE1B;;OAEG;aACa,KAAK,EAAE,MAAM;IAC7B;;;OAGG;aACa,YAAY,EAAE,0BAA0B;IACxD;;OAEG;aACa,WAAW,EAAE,WAAW,CAAC,OAAO,uBAAuB,CAAC;;IAZxE;;OAEG;IACa,KAAK,EAAE,MAAM;IAC7B;;;OAGG;IACa,YAAY,EAAE,0BAA0B;IACxD;;OAEG;IACa,WAAW,EAAE,WAAW,CAAC,OAAO,uBAAuB,CAAC;IAG1E,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;4BA4CjB;;;;eAIG;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAxCF;IAED;;;OAGG;IACI,QAAQ,IAAI,EAAE,EAAE;IAWvB,QAAQ,IAAI,MAAM;IAIlB;;OAEG;IACH,QAAQ,IAAI,MAAM;IAIlB,MAAM,CAAC,MAAM;IAQb;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB;IAUnE;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;CAG9B"}
+{"version":3,"file":"public_data_witness.d.ts","sourceRoot":"","sources":["../../src/trees/public_data_witness.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,uBAAuB,EAAE,MAAM,kBAAkB,CAAC;AAE3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAqB,MAAM,6BAA6B,CAAC;AAE9E,OAAO,EAAE,iBAAiB,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAEzE,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAGxB,OAAO,EAAE,0BAA0B,EAAE,MAAM,uBAAuB,CAAC;AAEnE;;;;;GAKG;AACH,qBAAa,iBAAiB;aAKV,KAAK,EAAE,MAAM;aAKb,YAAY,EAAE,0BAA0B;aAIxC,WAAW,EAAE,WAAW,CAAC,OAAO,uBAAuB,CAAC;IAb1E;IACE;;OAEG;IACa,KAAK,EAAE,MAAM;IAC7B;;;OAGG;IACa,YAAY,EAAE,0BAA0B;IACxD;;OAEG;IACa,WAAW,EAAE,WAAW,CAAC,OAAO,uBAAuB,CAAC,EACtE;IAEJ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAQhB;IAED;;;OAGG;IACI,QAAQ,IAAI,EAAE,EAAE,CAStB;IAED;;OAEG;IACI,oBAAoB,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,CAAC,EAAE,CAUnD;IAED,QAAQ,IAAI,MAAM,CAEjB;IAED;;OAEG;IACH,QAAQ,IAAI,MAAM,CAEjB;IAED,MAAM,CAAC,MAAM,sBAMZ;IAEM,eAAe,IAAI,iBAAiB,CAAC,OAAO,uBAAuB,CAAC,CAE1E;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,iBAAiB,CAQlE;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM,qBAE5B;CACF"}

package/dest/trees/public_data_witness.js

@@ -3,7 +3,7 @@ import { toBigIntBE } from '@aztec/foundation/bigint-buffer';
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
-import { SiblingPath } from '@aztec/foundation/trees';
+import { MembershipWitness, SiblingPath } from '@aztec/foundation/trees';
 import { z } from 'zod';
 import { schemas } from '../schemas/schemas.js';
 import { PublicDataTreeLeafPreimage } from './public_data_leaf.js';
@@ -41,13 +41,26 @@ import { PublicDataTreeLeafPreimage } from './public_data_leaf.js';
    */ toFields() {
         return [
             new Fr(this.index),
-            new Fr(this.leafPreimage.slot),
-            new Fr(this.leafPreimage.value),
+            new Fr(this.leafPreimage.leaf.slot),
+            new Fr(this.leafPreimage.leaf.value),
             new Fr(this.leafPreimage.nextIndex),
-            new Fr(this.leafPreimage.nextSlot),
+            new Fr(this.leafPreimage.nextKey),
             ...this.siblingPath.toFields()
         ];
     }
+    /**
+   * Returns a representation of the public data witness as expected by intrinsic Noir deserialization.
+   */ toNoirRepresentation() {
+        // TODO(#12874): remove the stupid as string conversion by modifying ForeignCallOutput type in acvm.js
+        return [
+            new Fr(this.index).toString(),
+            new Fr(this.leafPreimage.leaf.slot).toString(),
+            new Fr(this.leafPreimage.leaf.value).toString(),
+            new Fr(this.leafPreimage.nextKey).toString(),
+            new Fr(this.leafPreimage.nextIndex).toString(),
+            this.siblingPath.toFields().map((fr)=>fr.toString())
+        ];
+    }
     toBuffer() {
         return serializeToBuffer([
             this.index,
@@ -63,6 +76,9 @@ import { PublicDataTreeLeafPreimage } from './public_data_leaf.js';
     static random() {
         return new PublicDataWitness(BigInt(Math.floor(Math.random() * 1000)), PublicDataTreeLeafPreimage.random(), SiblingPath.random(PUBLIC_DATA_TREE_HEIGHT));
     }
+    withoutPreimage() {
+        return new MembershipWitness(PUBLIC_DATA_TREE_HEIGHT, this.index, this.siblingPath.toTuple());
+    }
     /**
    * Deserializes an PublicDataWitness object from a buffer.
    * @param buf - Buffer or BufferReader to deserialize.