@aztec/stdlib 0.77.0-testnet-ignition.17 → 0.77.0-testnet-ignition.21

package/dest/avm/avm_accumulated_data.d.ts

@@ -5,6 +5,7 @@ import { MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX
 import { Fr } from '@aztec/foundation/fields';
 import { BufferReader, FieldReader, type Tuple } from '@aztec/foundation/serialize';
 import { inspect } from 'util';
+import { z } from 'zod';
 import { PublicLog } from '../logs/public_log.js';
 import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
 import { PublicDataWrite } from './public_data_write.js';
@@ -50,6 +51,99 @@ export declare class AvmAccumulatedData {
      * The public data writes made in the AVM execution.
      */
     publicDataWrites: Tuple<PublicDataWrite, typeof MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX>);
+    static get schema(): z.ZodEffects<z.ZodObject<{
+        noteHashes: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        nullifiers: z.ZodArray<z.ZodType<Fr, any, string>, "many">;
+        l2ToL1Msgs: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            message: z.ZodEffects<z.ZodObject<{
+                recipient: z.ZodType<import("@aztec/foundation/schemas").EthAddress, any, string>;
+                content: z.ZodType<Fr, any, string>;
+                counter: z.ZodNumber;
+            }, "strip", z.ZodTypeAny, {
+                counter: number;
+                recipient: import("@aztec/foundation/schemas").EthAddress;
+                content: Fr;
+            }, {
+                counter: number;
+                recipient: string;
+                content: string;
+            }>, import("../messaging/l2_to_l1_message.js").L2ToL1Message, {
+                counter: number;
+                recipient: string;
+                content: string;
+            }>;
+            contractAddress: import("@aztec/foundation/schemas").ZodFor<import("../aztec-address/index.js").AztecAddress>;
+        }, "strip", z.ZodTypeAny, {
+            message: import("../messaging/l2_to_l1_message.js").L2ToL1Message;
+            contractAddress: import("../aztec-address/index.js").AztecAddress;
+        }, {
+            message: {
+                counter: number;
+                recipient: string;
+                content: string;
+            };
+            contractAddress?: any;
+        }>, ScopedL2ToL1Message, {
+            message: {
+                counter: number;
+                recipient: string;
+                content: string;
+            };
+            contractAddress?: any;
+        }>, "many">;
+        publicLogs: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<PublicLog>, "many">;
+        publicDataWrites: z.ZodArray<z.ZodEffects<z.ZodObject<{
+            leafSlot: z.ZodType<Fr, any, string>;
+            value: z.ZodType<Fr, any, string>;
+        }, "strip", z.ZodTypeAny, {
+            value: Fr;
+            leafSlot: Fr;
+        }, {
+            value: string;
+            leafSlot: string;
+        }>, PublicDataWrite, {
+            value: string;
+            leafSlot: string;
+        }>, "many">;
+    }, "strip", z.ZodTypeAny, {
+        noteHashes: Fr[];
+        nullifiers: Fr[];
+        l2ToL1Msgs: ScopedL2ToL1Message[];
+        publicLogs: PublicLog[];
+        publicDataWrites: PublicDataWrite[];
+    }, {
+        noteHashes: string[];
+        nullifiers: string[];
+        l2ToL1Msgs: {
+            message: {
+                counter: number;
+                recipient: string;
+                content: string;
+            };
+            contractAddress?: any;
+        }[];
+        publicLogs: any[];
+        publicDataWrites: {
+            value: string;
+            leafSlot: string;
+        }[];
+    }>, AvmAccumulatedData, {
+        noteHashes: string[];
+        nullifiers: string[];
+        l2ToL1Msgs: {
+            message: {
+                counter: number;
+                recipient: string;
+                content: string;
+            };
+            contractAddress?: any;
+        }[];
+        publicLogs: any[];
+        publicDataWrites: {
+            value: string;
+            leafSlot: string;
+        }[];
+    }>;
     getSize(): number;
     static fromBuffer(buffer: Buffer | BufferReader): AvmAccumulatedData;
     toBuffer(): Buffer;

package/dest/avm/avm_accumulated_data.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"avm_accumulated_data.d.ts","sourceRoot":"","sources":["../../src/avm/avm_accumulated_data.ts"],"names":[],"mappings":";;;AAAA,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,EACtB,4CAA4C,EAC7C,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,KAAK,EAAqB,MAAM,6BAA6B,CAAC;AAGvG,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAE/B,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,qBAAa,kBAAkB;IAE3B;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC;IAC3D;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAC1D;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;IAC9E;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,sBAAsB,CAAC;IAClE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,OAAO,4CAA4C,CAAC;;IAnBpG;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC;IAC3D;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAC1D;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;IAC9E;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,sBAAsB,CAAC;IAClE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,OAAO,4CAA4C,CAAC;IAGtG,OAAO;IAUP,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAW5C,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,MAAM,CAAC,KAAK;IAUZ,OAAO,IAAI,OAAO;IAUlB,CAAC,OAAO,CAAC,MAAM,CAAC;CAyBjB"}
+{"version":3,"file":"avm_accumulated_data.d.ts","sourceRoot":"","sources":["../../src/avm/avm_accumulated_data.ts"],"names":[],"mappings":";;;AAAA,OAAO,EACL,wBAAwB,EACxB,sBAAsB,EACtB,qBAAqB,EACrB,sBAAsB,EACtB,4CAA4C,EAC7C,MAAM,kBAAkB,CAAC;AAG1B,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,KAAK,KAAK,EAAmC,MAAM,6BAA6B,CAAC;AAGrH,OAAO,EAAE,OAAO,EAAE,MAAM,MAAM,CAAC;AAC/B,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,SAAS,EAAE,MAAM,uBAAuB,CAAC;AAClD,OAAO,EAAE,mBAAmB,EAAE,MAAM,kCAAkC,CAAC;AACvE,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD,qBAAa,kBAAkB;IAE3B;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC;IAC3D;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAC1D;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;IAC9E;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,sBAAsB,CAAC;IAClE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,OAAO,4CAA4C,CAAC;;IAnBpG;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,sBAAsB,CAAC;IAC3D;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,EAAE,EAAE,OAAO,qBAAqB,CAAC;IAC1D;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,mBAAmB,EAAE,OAAO,wBAAwB,CAAC;IAC9E;;OAEG;IACI,UAAU,EAAE,KAAK,CAAC,SAAS,EAAE,OAAO,sBAAsB,CAAC;IAClE;;OAEG;IACI,gBAAgB,EAAE,KAAK,CAAC,eAAe,EAAE,OAAO,4CAA4C,CAAC;IAGtG,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAsBhB;IAED,OAAO;IAUP,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY;IAW/C,QAAQ;IAIR,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW;IAW5C,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;IAI7B,QAAQ;IAIR,MAAM,CAAC,KAAK;IAUZ,OAAO,IAAI,OAAO;IAUlB,CAAC,OAAO,CAAC,MAAM,CAAC;CAyBjB"}

package/dest/avm/avm_accumulated_data.js

@@ -2,9 +2,11 @@ import { MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX
 import { makeTuple } from '@aztec/foundation/array';
 import { arraySerializedSizeOfNonEmpty } from '@aztec/foundation/collection';
 import { Fr } from '@aztec/foundation/fields';
-import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
+import { schemas } from '@aztec/foundation/schemas';
+import { BufferReader, FieldReader, assertLength, serializeToBuffer } from '@aztec/foundation/serialize';
 import { bufferToHex, hexToBuffer } from '@aztec/foundation/string';
 import { inspect } from 'util';
+import { z } from 'zod';
 import { PublicLog } from '../logs/public_log.js';
 import { ScopedL2ToL1Message } from '../messaging/l2_to_l1_message.js';
 import { PublicDataWrite } from './public_data_write.js';
@@ -31,6 +33,15 @@ export class AvmAccumulatedData {
         this.publicLogs = publicLogs;
         this.publicDataWrites = publicDataWrites;
     }
+    static get schema() {
+        return z.object({
+            noteHashes: schemas.Fr.array().min(MAX_NOTE_HASHES_PER_TX).max(MAX_NOTE_HASHES_PER_TX),
+            nullifiers: schemas.Fr.array().min(MAX_NULLIFIERS_PER_TX).max(MAX_NULLIFIERS_PER_TX),
+            l2ToL1Msgs: ScopedL2ToL1Message.schema.array().min(MAX_L2_TO_L1_MSGS_PER_TX).max(MAX_L2_TO_L1_MSGS_PER_TX),
+            publicLogs: PublicLog.schema.array().min(MAX_PUBLIC_LOGS_PER_TX).max(MAX_PUBLIC_LOGS_PER_TX),
+            publicDataWrites: PublicDataWrite.schema.array().min(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX).max(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX)
+        }).transform(({ noteHashes, nullifiers, l2ToL1Msgs, publicLogs, publicDataWrites })=>new AvmAccumulatedData(assertLength(noteHashes, MAX_NOTE_HASHES_PER_TX), assertLength(nullifiers, MAX_NULLIFIERS_PER_TX), assertLength(l2ToL1Msgs, MAX_L2_TO_L1_MSGS_PER_TX), assertLength(publicLogs, MAX_PUBLIC_LOGS_PER_TX), assertLength(publicDataWrites, MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX)));
+    }
     getSize() {
         return arraySerializedSizeOfNonEmpty(this.noteHashes) + arraySerializedSizeOfNonEmpty(this.nullifiers) + arraySerializedSizeOfNonEmpty(this.l2ToL1Msgs) + arraySerializedSizeOfNonEmpty(this.publicLogs) + arraySerializedSizeOfNonEmpty(this.publicDataWrites);
     }