@aztec/stdlib 0.0.0-test.0

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

@@ -0,0 +1 @@
+{"version":3,"file":"avm.d.ts","sourceRoot":"","sources":["../../src/avm/avm.ts"],"names":[],"mappings":";;AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAI9C,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AAExB,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,UAAU,EAAE,MAAM,wBAAwB,CAAC;AACpD,OAAO,EAAE,qBAAqB,EAAE,MAAM,4BAA4B,CAAC;AACnE,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EAAE,sBAAsB,EAAE,MAAM,gCAAgC,CAAC;AAGxE,qBAAa,mBAAmB;aACF,eAAe,EAAE,YAAY;aAAkB,QAAQ,EAAE,EAAE,EAAE;gBAA7D,eAAe,EAAE,YAAY,EAAkB,QAAQ,EAAE,EAAE,EAAE;IAEzF,MAAM,KAAK,MAAM;;;;;;;;;;;;OAOhB;CACF;AAED,qBAAa,oBAAoB;aAEb,OAAO,EAAE,EAAE;aACX,MAAM,EAAE,OAAO;aACf,YAAY,EAAE,EAAE;aAChB,oBAAoB,EAAE,EAAE;aACxB,wBAAwB,EAAE,EAAE;aAC5B,cAAc,EAAE,MAAM;gBALtB,OAAO,EAAE,EAAE,EACX,MAAM,EAAE,OAAO,EACf,YAAY,EAAE,EAAE,EAChB,oBAAoB,EAAE,EAAE,EACxB,wBAAwB,EAAE,EAAE,EAC5B,cAAc,EAAE,MAAM;IAGxC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAqBhB;CACF;AAED,qBAAa,uBAAuB;aAEhB,OAAO,EAAE,YAAY;aACrB,MAAM,EAAE,OAAO;aACf,IAAI,EAAE,EAAE;aACR,QAAQ,EAAE,YAAY;aACtB,sBAAsB,EAAE,EAAE;aAC1B,uBAAuB,EAAE,EAAE;aAC3B,kBAAkB,EAAE,EAAE;aACtB,UAAU,EAAE,UAAU;aAEtB,oBAAoB,EAAE,yBAAyB;aAC/C,cAAc,EAAE,EAAE,EAAE;gBAVpB,OAAO,EAAE,YAAY,EACrB,MAAM,EAAE,OAAO,EACf,IAAI,EAAE,EAAE,EACR,QAAQ,EAAE,YAAY,EACtB,sBAAsB,EAAE,EAAE,EAC1B,uBAAuB,EAAE,EAAE,EAC3B,kBAAkB,EAAE,EAAE,EACtB,UAAU,EAAE,UAAU,EAEtB,oBAAoB,EAAE,yBAAyB,EAC/C,cAAc,GAAE,EAAE,EAAO;IAG3C,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAwChB;CACF;AAED,qBAAa,iBAAiB;aACA,SAAS,EAAE,EAAE;aAAkB,KAAK,EAAE,EAAE;aAAkB,WAAW,EAAE,EAAE,EAAE;gBAA3E,SAAS,EAAE,EAAE,EAAkB,KAAK,EAAE,EAAE,EAAkB,WAAW,EAAE,EAAE,EAAE;IAEvG,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;OAQhB;CACF;AAED,qBAAa,yBAAyB;IACjB,WAAW,EAAE,wBAAwB;aAAkB,aAAa,EAAE,EAAE,EAAE;gBAA1E,WAAW,EAAE,wBAAwB,EAAkB,aAAa,EAAE,EAAE,EAAE;IAE7F,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAOhB;CACF;AAED,qBAAa,wBAAwB;aAEjB,eAAe,EAAE,qBAAqB;aACtC,YAAY,EAAE,EAAE;aAChB,kBAAkB,EAAE,EAAE,EAAE;gBAFxB,eAAe,EAAE,qBAAqB,EACtC,YAAY,EAAE,EAAE,EAChB,kBAAkB,EAAE,EAAE,EAAE;IAG1C,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAWhB;CACF;AAED,qBAAa,yBAAyB;aAElB,YAAY,EAAE,0BAA0B;aACxC,SAAS,EAAE,EAAE;aACb,WAAW,EAAE,EAAE,EAAE;gBAFjB,YAAY,EAAE,0BAA0B,EACxC,SAAS,EAAE,EAAE,EACb,WAAW,EAAE,EAAE,EAAE;IAGnC,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAWhB;CACF;AAED,qBAAa,0BAA0B;aAGnB,WAAW,EAAE,yBAAyB;aACtC,eAAe,EAAE,0BAA0B;aAC3C,aAAa,EAAE,EAAE,EAAE;gBAFnB,WAAW,EAAE,yBAAyB,EACtC,eAAe,EAAE,0BAA0B,EAC3C,aAAa,EAAE,EAAE,EAAE;IAGrC,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAWhB;CACF;AAED,qBAAa,iBAAiB;aAEV,aAAa,EAAE,mBAAmB,EAAE;aACpC,iBAAiB,EAAE,uBAAuB,EAAE;aAC5C,eAAe,EAAE,oBAAoB,EAAE;aACvC,eAAe,EAAE,yBAAyB,EAAE;aAC5C,gBAAgB,EAAE,0BAA0B,EAAE;aAC9C,cAAc,EAAE,wBAAwB,EAAE;aAC1C,eAAe,EAAE,yBAAyB,EAAE;aAC5C,aAAa,EAAE,iBAAiB,EAAE;aAClC,cAAc,EAAE,iBAAiB,EAAE;aACnC,kBAAkB,EAAE,iBAAiB,EAAE;gBATvC,aAAa,EAAE,mBAAmB,EAAE,EACpC,iBAAiB,EAAE,uBAAuB,EAAE,EAC5C,eAAe,EAAE,oBAAoB,EAAE,EACvC,eAAe,EAAE,yBAAyB,EAAE,EAC5C,gBAAgB,EAAE,0BAA0B,EAAE,EAC9C,cAAc,EAAE,wBAAwB,EAAE,EAC1C,eAAe,EAAE,yBAAyB,EAAE,EAC5C,aAAa,EAAE,iBAAiB,EAAE,EAClC,cAAc,EAAE,iBAAiB,EAAE,EACnC,kBAAkB,EAAE,iBAAiB,EAAE;IAGzD,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAwChB;CACF;AAED,qBAAa,gBAAgB;aAET,YAAY,EAAE,MAAM;aACpB,QAAQ,EAAE,EAAE,EAAE;aACd,KAAK,EAAE,iBAAiB;IACjC,YAAY,EAAE,sBAAsB;gBAH3B,YAAY,EAAE,MAAM,EAAE,qBAAqB;IAC3C,QAAQ,EAAE,EAAE,EAAE,EACd,KAAK,EAAE,iBAAiB,EACjC,YAAY,EAAE,sBAAsB;IAG7C,MAAM,CAAC,KAAK;IAIZ,MAAM,KAAK,MAAM;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;OAYhB;IAEM,wBAAwB,IAAI,MAAM;IAKlC,QAAQ,IAAI,MAAM;IAGzB,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,MAAM;CAG9B"}

package/dest/avm/avm.js

@@ -0,0 +1,249 @@
+import { Fr } from '@aztec/foundation/fields';
+import { jsonParseWithSchema, jsonStringify } from '@aztec/foundation/json-rpc';
+import { schemas } from '@aztec/foundation/schemas';
+import { z } from 'zod';
+import { AztecAddress } from '../aztec-address/index.js';
+import { PublicKeys } from '../keys/public_keys.js';
+import { NullifierLeafPreimage } from '../trees/nullifier_leaf.js';
+import { PublicDataTreeLeafPreimage } from '../trees/public_data_leaf.js';
+import { AvmCircuitPublicInputs } from './avm_circuit_public_inputs.js';
+import { serializeWithMessagePack } from './message_pack.js';
+export class AvmEnqueuedCallHint {
+    contractAddress;
+    calldata;
+    constructor(contractAddress, calldata){
+        this.contractAddress = contractAddress;
+        this.calldata = calldata;
+    }
+    static get schema() {
+        return z.object({
+            contractAddress: AztecAddress.schema,
+            calldata: schemas.Fr.array()
+        }).transform(({ contractAddress, calldata })=>new AvmEnqueuedCallHint(contractAddress, calldata));
+    }
+}
+export class AvmContractClassHint {
+    classId;
+    exists;
+    artifactHash;
+    privateFunctionsRoot;
+    publicBytecodeCommitment;
+    packedBytecode;
+    constructor(classId, exists, artifactHash, privateFunctionsRoot, publicBytecodeCommitment, packedBytecode){
+        this.classId = classId;
+        this.exists = exists;
+        this.artifactHash = artifactHash;
+        this.privateFunctionsRoot = privateFunctionsRoot;
+        this.publicBytecodeCommitment = publicBytecodeCommitment;
+        this.packedBytecode = packedBytecode;
+    }
+    static get schema() {
+        return z.object({
+            classId: schemas.Fr,
+            exists: z.boolean(),
+            artifactHash: schemas.Fr,
+            privateFunctionsRoot: schemas.Fr,
+            publicBytecodeCommitment: schemas.Fr,
+            packedBytecode: schemas.Buffer
+        }).transform(({ classId, exists, artifactHash, privateFunctionsRoot, publicBytecodeCommitment, packedBytecode })=>new AvmContractClassHint(classId, exists, artifactHash, privateFunctionsRoot, publicBytecodeCommitment, packedBytecode));
+    }
+}
+export class AvmContractInstanceHint {
+    address;
+    exists;
+    salt;
+    deployer;
+    currentContractClassId;
+    originalContractClassId;
+    initializationHash;
+    publicKeys;
+    updateMembershipHint;
+    updatePreimage;
+    constructor(address, exists, salt, deployer, currentContractClassId, originalContractClassId, initializationHash, publicKeys, // public readonly updateMembershipHint: AvmPublicDataReadTreeHint = AvmPublicDataReadTreeHint.empty(),
+    updateMembershipHint, updatePreimage = []){
+        this.address = address;
+        this.exists = exists;
+        this.salt = salt;
+        this.deployer = deployer;
+        this.currentContractClassId = currentContractClassId;
+        this.originalContractClassId = originalContractClassId;
+        this.initializationHash = initializationHash;
+        this.publicKeys = publicKeys;
+        this.updateMembershipHint = updateMembershipHint;
+        this.updatePreimage = updatePreimage;
+    }
+    static get schema() {
+        return z.object({
+            address: AztecAddress.schema,
+            exists: z.boolean(),
+            salt: schemas.Fr,
+            deployer: AztecAddress.schema,
+            currentContractClassId: schemas.Fr,
+            originalContractClassId: schemas.Fr,
+            initializationHash: schemas.Fr,
+            publicKeys: PublicKeys.schema,
+            updateMembershipHint: AvmPublicDataReadTreeHint.schema,
+            updatePreimage: schemas.Fr.array()
+        }).transform(({ address, exists, salt, deployer, currentContractClassId, originalContractClassId, initializationHash, publicKeys, updateMembershipHint, updatePreimage })=>new AvmContractInstanceHint(address, exists, salt, deployer, currentContractClassId, originalContractClassId, initializationHash, publicKeys, updateMembershipHint, updatePreimage));
+    }
+}
+export class AvmAppendTreeHint {
+    leafIndex;
+    value;
+    siblingPath;
+    constructor(leafIndex, value, siblingPath){
+        this.leafIndex = leafIndex;
+        this.value = value;
+        this.siblingPath = siblingPath;
+    }
+    static get schema() {
+        return z.object({
+            leafIndex: schemas.Fr,
+            value: schemas.Fr,
+            siblingPath: schemas.Fr.array()
+        }).transform(({ leafIndex, value, siblingPath })=>new AvmAppendTreeHint(leafIndex, value, siblingPath));
+    }
+}
+export class AvmNullifierWriteTreeHint {
+    lowLeafRead;
+    insertionPath;
+    constructor(lowLeafRead, insertionPath){
+        this.lowLeafRead = lowLeafRead;
+        this.insertionPath = insertionPath;
+    }
+    static get schema() {
+        return z.object({
+            lowLeafRead: AvmNullifierReadTreeHint.schema,
+            insertionPath: schemas.Fr.array()
+        }).transform(({ lowLeafRead, insertionPath })=>new AvmNullifierWriteTreeHint(lowLeafRead, insertionPath));
+    }
+}
+export class AvmNullifierReadTreeHint {
+    lowLeafPreimage;
+    lowLeafIndex;
+    lowLeafSiblingPath;
+    constructor(lowLeafPreimage, lowLeafIndex, lowLeafSiblingPath){
+        this.lowLeafPreimage = lowLeafPreimage;
+        this.lowLeafIndex = lowLeafIndex;
+        this.lowLeafSiblingPath = lowLeafSiblingPath;
+    }
+    static get schema() {
+        return z.object({
+            lowLeafPreimage: NullifierLeafPreimage.schema,
+            lowLeafIndex: schemas.Fr,
+            lowLeafSiblingPath: schemas.Fr.array()
+        }).transform(({ lowLeafPreimage, lowLeafIndex, lowLeafSiblingPath })=>new AvmNullifierReadTreeHint(lowLeafPreimage, lowLeafIndex, lowLeafSiblingPath));
+    }
+}
+export class AvmPublicDataReadTreeHint {
+    leafPreimage;
+    leafIndex;
+    siblingPath;
+    constructor(leafPreimage, leafIndex, siblingPath){
+        this.leafPreimage = leafPreimage;
+        this.leafIndex = leafIndex;
+        this.siblingPath = siblingPath;
+    }
+    static empty() {
+        return new AvmPublicDataReadTreeHint(PublicDataTreeLeafPreimage.empty(), Fr.ZERO, []);
+    }
+    static get schema() {
+        return z.object({
+            leafPreimage: PublicDataTreeLeafPreimage.schema,
+            leafIndex: schemas.Fr,
+            siblingPath: schemas.Fr.array()
+        }).transform(({ leafPreimage, leafIndex, siblingPath })=>new AvmPublicDataReadTreeHint(leafPreimage, leafIndex, siblingPath));
+    }
+}
+export class AvmPublicDataWriteTreeHint {
+    lowLeafRead;
+    newLeafPreimage;
+    insertionPath;
+    constructor(// To check the current slot has been written to
+    lowLeafRead, newLeafPreimage, insertionPath){
+        this.lowLeafRead = lowLeafRead;
+        this.newLeafPreimage = newLeafPreimage;
+        this.insertionPath = insertionPath;
+    }
+    static get schema() {
+        return z.object({
+            lowLeafRead: AvmPublicDataReadTreeHint.schema,
+            newLeafPreimage: PublicDataTreeLeafPreimage.schema,
+            insertionPath: schemas.Fr.array()
+        }).transform(({ lowLeafRead, newLeafPreimage, insertionPath })=>new AvmPublicDataWriteTreeHint(lowLeafRead, newLeafPreimage, insertionPath));
+    }
+}
+export class AvmExecutionHints {
+    enqueuedCalls;
+    contractInstances;
+    contractClasses;
+    publicDataReads;
+    publicDataWrites;
+    nullifierReads;
+    nullifierWrites;
+    noteHashReads;
+    noteHashWrites;
+    l1ToL2MessageReads;
+    constructor(enqueuedCalls, contractInstances, contractClasses, publicDataReads, publicDataWrites, nullifierReads, nullifierWrites, noteHashReads, noteHashWrites, l1ToL2MessageReads){
+        this.enqueuedCalls = enqueuedCalls;
+        this.contractInstances = contractInstances;
+        this.contractClasses = contractClasses;
+        this.publicDataReads = publicDataReads;
+        this.publicDataWrites = publicDataWrites;
+        this.nullifierReads = nullifierReads;
+        this.nullifierWrites = nullifierWrites;
+        this.noteHashReads = noteHashReads;
+        this.noteHashWrites = noteHashWrites;
+        this.l1ToL2MessageReads = l1ToL2MessageReads;
+    }
+    static empty() {
+        return new AvmExecutionHints([], [], [], [], [], [], [], [], [], []);
+    }
+    static get schema() {
+        return z.object({
+            enqueuedCalls: AvmEnqueuedCallHint.schema.array(),
+            contractInstances: AvmContractInstanceHint.schema.array(),
+            contractClasses: AvmContractClassHint.schema.array(),
+            publicDataReads: AvmPublicDataReadTreeHint.schema.array(),
+            publicDataWrites: AvmPublicDataWriteTreeHint.schema.array(),
+            nullifierReads: AvmNullifierReadTreeHint.schema.array(),
+            nullifierWrites: AvmNullifierWriteTreeHint.schema.array(),
+            noteHashReads: AvmAppendTreeHint.schema.array(),
+            noteHashWrites: AvmAppendTreeHint.schema.array(),
+            l1ToL2MessageReads: AvmAppendTreeHint.schema.array()
+        }).transform(({ enqueuedCalls, contractInstances, contractClasses, publicDataReads, publicDataWrites, nullifierReads, nullifierWrites, noteHashReads, noteHashWrites, l1ToL2MessageReads })=>new AvmExecutionHints(enqueuedCalls, contractInstances, contractClasses, publicDataReads, publicDataWrites, nullifierReads, nullifierWrites, noteHashReads, noteHashWrites, l1ToL2MessageReads));
+    }
+}
+export class AvmCircuitInputs {
+    functionName;
+    calldata;
+    hints;
+    publicInputs;
+    constructor(functionName, calldata, hints, publicInputs){
+        this.functionName = functionName;
+        this.calldata = calldata;
+        this.hints = hints;
+        this.publicInputs = publicInputs;
+    }
+    static empty() {
+        return new AvmCircuitInputs('', [], AvmExecutionHints.empty(), AvmCircuitPublicInputs.empty());
+    }
+    static get schema() {
+        return z.object({
+            functionName: z.string(),
+            calldata: schemas.Fr.array(),
+            hints: AvmExecutionHints.schema,
+            publicInputs: AvmCircuitPublicInputs.schema
+        }).transform(({ functionName, calldata, hints, publicInputs })=>new AvmCircuitInputs(functionName, calldata, hints, publicInputs));
+    }
+    serializeWithMessagePack() {
+        return serializeWithMessagePack(this);
+    }
+    // These are used by the prover to generate an id, and also gcs_proof_store.ts.
+    toBuffer() {
+        return Buffer.from(jsonStringify(this));
+    }
+    static fromBuffer(buf) {
+        return jsonParseWithSchema(buf.toString(), this.schema);
+    }
+}

package/dest/avm/avm_accumulated_data.d.ts

@@ -0,0 +1,157 @@
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+/// <reference types="node" resolution-mode="require"/>
+import { MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PUBLIC_LOGS_PER_TX, MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX } from '@aztec/constants';
+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';
+export declare class AvmAccumulatedData {
+    /**
+     * The note hashes from private combining with those made in the AVM execution.
+     */
+    noteHashes: Tuple<Fr, typeof MAX_NOTE_HASHES_PER_TX>;
+    /**
+     * The nullifiers from private combining with those made in the AVM execution.
+     */
+    nullifiers: Tuple<Fr, typeof MAX_NULLIFIERS_PER_TX>;
+    /**
+     * The L2 to L1 messages from private combining with those made in the AVM execution.
+     */
+    l2ToL1Msgs: Tuple<ScopedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>;
+    /**
+     * The public logs emitted from the AVM execution.
+     */
+    publicLogs: Tuple<PublicLog, typeof MAX_PUBLIC_LOGS_PER_TX>;
+    /**
+     * The public data writes made in the AVM execution.
+     */
+    publicDataWrites: Tuple<PublicDataWrite, typeof MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX>;
+    constructor(
+    /**
+     * The note hashes from private combining with those made in the AVM execution.
+     */
+    noteHashes: Tuple<Fr, typeof MAX_NOTE_HASHES_PER_TX>, 
+    /**
+     * The nullifiers from private combining with those made in the AVM execution.
+     */
+    nullifiers: Tuple<Fr, typeof MAX_NULLIFIERS_PER_TX>, 
+    /**
+     * The L2 to L1 messages from private combining with those made in the AVM execution.
+     */
+    l2ToL1Msgs: Tuple<ScopedL2ToL1Message, typeof MAX_L2_TO_L1_MSGS_PER_TX>, 
+    /**
+     * The public logs emitted from the AVM execution.
+     */
+    publicLogs: Tuple<PublicLog, typeof MAX_PUBLIC_LOGS_PER_TX>, 
+    /**
+     * 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;
+    static fromFields(fields: Fr[] | FieldReader): AvmAccumulatedData;
+    static fromString(str: string): AvmAccumulatedData;
+    toString(): `0x${string}`;
+    static empty(): AvmAccumulatedData;
+    isEmpty(): boolean;
+    [inspect.custom](): string;
+}
+//# sourceMappingURL=avm_accumulated_data.d.ts.map

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

@@ -0,0 +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;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

@@ -0,0 +1,81 @@
+import { MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_PUBLIC_LOGS_PER_TX, MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX } from '@aztec/constants';
+import { makeTuple } from '@aztec/foundation/array';
+import { arraySerializedSizeOfNonEmpty } from '@aztec/foundation/collection';
+import { Fr } from '@aztec/foundation/fields';
+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';
+export class AvmAccumulatedData {
+    noteHashes;
+    nullifiers;
+    l2ToL1Msgs;
+    publicLogs;
+    publicDataWrites;
+    constructor(/**
+     * The note hashes from private combining with those made in the AVM execution.
+     */ noteHashes, /**
+     * The nullifiers from private combining with those made in the AVM execution.
+     */ nullifiers, /**
+     * The L2 to L1 messages from private combining with those made in the AVM execution.
+     */ l2ToL1Msgs, /**
+     * The public logs emitted from the AVM execution.
+     */ publicLogs, /**
+     * The public data writes made in the AVM execution.
+     */ publicDataWrites){
+        this.noteHashes = noteHashes;
+        this.nullifiers = nullifiers;
+        this.l2ToL1Msgs = l2ToL1Msgs;
+        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);
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new this(reader.readArray(MAX_NOTE_HASHES_PER_TX, Fr), reader.readArray(MAX_NULLIFIERS_PER_TX, Fr), reader.readArray(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message), reader.readArray(MAX_PUBLIC_LOGS_PER_TX, PublicLog), reader.readArray(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, PublicDataWrite));
+    }
+    toBuffer() {
+        return serializeToBuffer(this.noteHashes, this.nullifiers, this.l2ToL1Msgs, this.publicLogs, this.publicDataWrites);
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        return new this(reader.readFieldArray(MAX_NOTE_HASHES_PER_TX), reader.readFieldArray(MAX_NULLIFIERS_PER_TX), reader.readArray(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message), reader.readArray(MAX_PUBLIC_LOGS_PER_TX, PublicLog), reader.readArray(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, PublicDataWrite));
+    }
+    static fromString(str) {
+        return this.fromBuffer(hexToBuffer(str));
+    }
+    toString() {
+        return bufferToHex(this.toBuffer());
+    }
+    static empty() {
+        return new this(makeTuple(MAX_NOTE_HASHES_PER_TX, Fr.zero), makeTuple(MAX_NULLIFIERS_PER_TX, Fr.zero), makeTuple(MAX_L2_TO_L1_MSGS_PER_TX, ScopedL2ToL1Message.empty), makeTuple(MAX_PUBLIC_LOGS_PER_TX, PublicLog.empty), makeTuple(MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX, PublicDataWrite.empty));
+    }
+    isEmpty() {
+        return this.noteHashes.every((x)=>x.isZero()) && this.nullifiers.every((x)=>x.isZero()) && this.l2ToL1Msgs.every((x)=>x.isEmpty()) && this.publicLogs.every((x)=>x.isEmpty()) && this.publicDataWrites.every((x)=>x.isEmpty());
+    }
+    [inspect.custom]() {
+        // print out the non-empty fields
+        return `AvmAccumulatedData {
+  noteHashes: [${this.noteHashes.filter((x)=>!x.isZero()).map((h)=>inspect(h)).join(', ')}],
+  nullifiers: [${this.nullifiers.filter((x)=>!x.isZero()).map((h)=>inspect(h)).join(', ')}],
+  l2ToL1Msgs: [${this.l2ToL1Msgs.filter((x)=>!x.isEmpty()).map((h)=>inspect(h)).join(', ')}],
+  publicLogs: [${this.publicLogs.filter((x)=>!x.isEmpty()).map((h)=>inspect(h)).join(', ')}],
+  publicDataWrites: [${this.publicDataWrites.filter((x)=>!x.isEmpty()).map((h)=>inspect(h)).join(', ')}],
+}`;
+    }
+}