@aztec/stdlib 0.0.1-commit.2f68f620 → 0.0.1-commit.3100065

package/dest/abi/buffer.d.ts

@@ -20,7 +20,11 @@ export declare function bufferAsFields(input: Buffer, targetLength: number): Fr[
  * bytecode commitment computations to diverge from what the circuit produced.
  *
  * @param fields - An output from bufferAsFields: [byteLength, ...payloadFields].
+ * @param maxByteLength - Optional upper bound on the declared byte length. When the field array comes
+ *   from untrusted input (e.g. a gossiped contract-class log), pass the payload capacity so an
+ *   attacker-declared length cannot force a large `Buffer.alloc` before the value is otherwise
+ *   rejected. Throws if the declared length exceeds it, before allocating.
  * @returns A buffer of exactly `byteLength` bytes.
  */
-export declare function bufferFromFields(fields: Fr[]): Buffer;
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVmZmVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYWJpL2J1ZmZlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFJcEQ7Ozs7OztHQU1HO0FBQ0gsd0JBQWdCLGNBQWMsQ0FBQyxLQUFLLEVBQUUsTUFBTSxFQUFFLFlBQVksRUFBRSxNQUFNLEdBQUcsRUFBRSxFQUFFLENBY3hFO0FBRUQ7Ozs7Ozs7Ozs7Ozs7O0dBY0c7QUFDSCx3QkFBZ0IsZ0JBQWdCLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLE1BQU0sQ0FjckQifQ==
+export declare function bufferFromFields(fields: Fr[], maxByteLength?: number): Buffer;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYnVmZmVyLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYWJpL2J1ZmZlci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFJcEQ7Ozs7OztHQU1HO0FBQ0gsd0JBQWdCLGNBQWMsQ0FBQyxLQUFLLEVBQUUsTUFBTSxFQUFFLFlBQVksRUFBRSxNQUFNLEdBQUcsRUFBRSxFQUFFLENBY3hFO0FBRUQ7Ozs7Ozs7Ozs7Ozs7Ozs7OztHQWtCRztBQUNILHdCQUFnQixnQkFBZ0IsQ0FBQyxNQUFNLEVBQUUsRUFBRSxFQUFFLEVBQUUsYUFBYSxDQUFDLEVBQUUsTUFBTSxHQUFHLE1BQU0sQ0FzQjdFIn0=

package/dest/abi/buffer.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"buffer.d.ts","sourceRoot":"","sources":["../../src/abi/buffer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAIpD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,EAAE,EAAE,CAcxE;AAED;;;;;;;;;;;;;;GAcG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,MAAM,CAcrD"}
+{"version":3,"file":"buffer.d.ts","sourceRoot":"","sources":["../../src/abi/buffer.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAIpD;;;;;;GAMG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,GAAG,EAAE,EAAE,CAcxE;AAED;;;;;;;;;;;;;;;;;;GAkBG;AACH,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,aAAa,CAAC,EAAE,MAAM,GAAG,MAAM,CAsB7E"}

package/dest/abi/buffer.js

@@ -37,10 +37,22 @@ import chunk from 'lodash.chunk';
  * bytecode commitment computations to diverge from what the circuit produced.
  *
  * @param fields - An output from bufferAsFields: [byteLength, ...payloadFields].
+ * @param maxByteLength - Optional upper bound on the declared byte length. When the field array comes
+ *   from untrusted input (e.g. a gossiped contract-class log), pass the payload capacity so an
+ *   attacker-declared length cannot force a large `Buffer.alloc` before the value is otherwise
+ *   rejected. Throws if the declared length exceeds it, before allocating.
  * @returns A buffer of exactly `byteLength` bytes.
- */ export function bufferFromFields(fields) {
+ */ export function bufferFromFields(fields, maxByteLength) {
+    // A valid bufferAsFields output always has at least the leading byte-length field, so an empty
+    // input encodes no data. Guard so `length` (the destructured head) is never undefined.
+    if (fields.length === 0) {
+        return Buffer.alloc(0);
+    }
     const [length, ...payload] = fields;
     const byteLength = length.toNumber();
+    if (maxByteLength !== undefined && byteLength > maxByteLength) {
+        throw new Error(`Declared byte length ${byteLength} exceeds maximum ${maxByteLength}`);
+    }
     const raw = Buffer.concat(payload.map((f)=>f.toBuffer().subarray(1)));
     if (raw.length >= byteLength) {
         return raw.subarray(0, byteLength);

package/dest/abi/contract_artifact.d.ts

@@ -19,6 +19,19 @@ export declare function contractArtifactFromBuffer(buffer: Buffer): ContractArti
  * @returns A valid contract artifact instance.
  */
 export declare function loadContractArtifact(input: NoirCompiledContract): ContractArtifact;
+/**
+ * Like {@link loadContractArtifact}, but fully validates an already-processed artifact against the
+ * contract artifact schema before returning it. Use when loading an artifact from untrusted or
+ * external JSON (e.g. a file path passed to the CLI), so a malformed artifact is rejected up-front
+ * with a clear schema error instead of surfacing as an opaque failure later during deployment.
+ *
+ * `loadContractArtifact` only runs the shallow `isContractArtifact` shape check on already-processed
+ * artifacts; raw nargo output is validated via `generateContractArtifact` regardless. The returned
+ * object is identical to `loadContractArtifact`'s; the schema parse is used purely for validation.
+ * @param input - Input object as generated by nargo compile, or an already-processed artifact.
+ * @returns A valid contract artifact instance.
+ */
+export declare function loadContractArtifactWithValidation(input: NoirCompiledContract): ContractArtifact;
 /**
  * Gets nargo build output and returns a valid contract artifact instance.
  * Differs from loadContractArtifact() by retaining all bytecode.
@@ -33,4 +46,4 @@ type NoirCompiledContractFunction = NoirCompiledContract['functions'][number];
  */
 export declare function retainBytecode(input: NoirCompiledContractFunction | FunctionArtifact): boolean;
 export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3RfYXJ0aWZhY3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hYmkvY29udHJhY3RfYXJ0aWZhY3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxFQU9MLEtBQUssb0JBQW9CLEVBQzFCLE1BQU0sa0JBQWtCLENBQUM7QUFDMUIsT0FBTyxFQU1MLEtBQUssZ0JBQWdCLEVBSXJCLEtBQUssZ0JBQWdCLEVBS3RCLE1BQU0sVUFBVSxDQUFDO0FBRWxCOzs7O0dBSUc7QUFDSCx3QkFBZ0Isd0JBQXdCLENBQUMsUUFBUSxFQUFFLGdCQUFnQixHQUFHLE1BQU0sQ0FFM0U7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLDBCQUEwQixDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsZ0JBQWdCLENBRTNFO0FBRUQ7Ozs7O0dBS0c7QUFDSCx3QkFBZ0Isb0JBQW9CLENBQUMsS0FBSyxFQUFFLG9CQUFvQixHQUFHLGdCQUFnQixDQVNsRjtBQUVEOzs7OztHQUtHO0FBQ0gsd0JBQWdCLDZCQUE2QixDQUFDLEtBQUssRUFBRSxvQkFBb0IsR0FBRyxnQkFBZ0IsQ0FFM0Y7QUErREQseURBQXlEO0FBQ3pELEtBQUssNEJBQTRCLEdBQUcsb0JBQW9CLENBQUMsV0FBVyxDQUFDLENBQUMsTUFBTSxDQUFDLENBQUM7QUFFOUU7O0dBRUc7QUFDSCx3QkFBZ0IsY0FBYyxDQUFDLEtBQUssRUFBRSw0QkFBNEIsR0FBRyxnQkFBZ0IsR0FBRyxPQUFPLENBSTlGIn0=
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3RfYXJ0aWZhY3QuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9hYmkvY29udHJhY3RfYXJ0aWZhY3QudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBRUEsT0FBTyxFQU9MLEtBQUssb0JBQW9CLEVBQzFCLE1BQU0sa0JBQWtCLENBQUM7QUFDMUIsT0FBTyxFQU1MLEtBQUssZ0JBQWdCLEVBSXJCLEtBQUssZ0JBQWdCLEVBS3RCLE1BQU0sVUFBVSxDQUFDO0FBRWxCOzs7O0dBSUc7QUFDSCx3QkFBZ0Isd0JBQXdCLENBQUMsUUFBUSxFQUFFLGdCQUFnQixHQUFHLE1BQU0sQ0FFM0U7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQWdCLDBCQUEwQixDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsZ0JBQWdCLENBRTNFO0FBRUQ7Ozs7O0dBS0c7QUFDSCx3QkFBZ0Isb0JBQW9CLENBQUMsS0FBSyxFQUFFLG9CQUFvQixHQUFHLGdCQUFnQixDQVNsRjtBQUVEOzs7Ozs7Ozs7OztHQVdHO0FBQ0gsd0JBQWdCLGtDQUFrQyxDQUFDLEtBQUssRUFBRSxvQkFBb0IsR0FBRyxnQkFBZ0IsQ0FLaEc7QUFFRDs7Ozs7R0FLRztBQUNILHdCQUFnQiw2QkFBNkIsQ0FBQyxLQUFLLEVBQUUsb0JBQW9CLEdBQUcsZ0JBQWdCLENBRTNGO0FBK0RELHlEQUF5RDtBQUN6RCxLQUFLLDRCQUE0QixHQUFHLG9CQUFvQixDQUFDLFdBQVcsQ0FBQyxDQUFDLE1BQU0sQ0FBQyxDQUFDO0FBRTlFOztHQUVHO0FBQ0gsd0JBQWdCLGNBQWMsQ0FBQyxLQUFLLEVBQUUsNEJBQTRCLEdBQUcsZ0JBQWdCLEdBQUcsT0FBTyxDQUk5RiJ9

package/dest/abi/contract_artifact.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"contract_artifact.d.ts","sourceRoot":"","sources":["../../src/abi/contract_artifact.ts"],"names":[],"mappings":"AAEA,OAAO,EAOL,KAAK,oBAAoB,EAC1B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAML,KAAK,gBAAgB,EAIrB,KAAK,gBAAgB,EAKtB,MAAM,UAAU,CAAC;AAElB;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,MAAM,CAE3E;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAE3E;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,oBAAoB,GAAG,gBAAgB,CASlF;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,oBAAoB,GAAG,gBAAgB,CAE3F;AA+DD,yDAAyD;AACzD,KAAK,4BAA4B,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9E;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,4BAA4B,GAAG,gBAAgB,GAAG,OAAO,CAI9F"}
+{"version":3,"file":"contract_artifact.d.ts","sourceRoot":"","sources":["../../src/abi/contract_artifact.ts"],"names":[],"mappings":"AAEA,OAAO,EAOL,KAAK,oBAAoB,EAC1B,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EAML,KAAK,gBAAgB,EAIrB,KAAK,gBAAgB,EAKtB,MAAM,UAAU,CAAC;AAElB;;;;GAIG;AACH,wBAAgB,wBAAwB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,MAAM,CAE3E;AAED;;;;GAIG;AACH,wBAAgB,0BAA0B,CAAC,MAAM,EAAE,MAAM,GAAG,gBAAgB,CAE3E;AAED;;;;;GAKG;AACH,wBAAgB,oBAAoB,CAAC,KAAK,EAAE,oBAAoB,GAAG,gBAAgB,CASlF;AAED;;;;;;;;;;;GAWG;AACH,wBAAgB,kCAAkC,CAAC,KAAK,EAAE,oBAAoB,GAAG,gBAAgB,CAKhG;AAED;;;;;GAKG;AACH,wBAAgB,6BAA6B,CAAC,KAAK,EAAE,oBAAoB,GAAG,gBAAgB,CAE3F;AA+DD,yDAAyD;AACzD,KAAK,4BAA4B,GAAG,oBAAoB,CAAC,WAAW,CAAC,CAAC,MAAM,CAAC,CAAC;AAE9E;;GAEG;AACH,wBAAgB,cAAc,CAAC,KAAK,EAAE,4BAA4B,GAAG,gBAAgB,GAAG,OAAO,CAI9F"}

package/dest/abi/contract_artifact.js

@@ -33,6 +33,23 @@ import { ARTIFACT_VERSION_BEFORE_INJECTION, ContractArtifactSchema, FunctionType
     }
     return generateContractArtifact(input);
 }
+/**
+ * Like {@link loadContractArtifact}, but fully validates an already-processed artifact against the
+ * contract artifact schema before returning it. Use when loading an artifact from untrusted or
+ * external JSON (e.g. a file path passed to the CLI), so a malformed artifact is rejected up-front
+ * with a clear schema error instead of surfacing as an opaque failure later during deployment.
+ *
+ * `loadContractArtifact` only runs the shallow `isContractArtifact` shape check on already-processed
+ * artifacts; raw nargo output is validated via `generateContractArtifact` regardless. The returned
+ * object is identical to `loadContractArtifact`'s; the schema parse is used purely for validation.
+ * @param input - Input object as generated by nargo compile, or an already-processed artifact.
+ * @returns A valid contract artifact instance.
+ */ export function loadContractArtifactWithValidation(input) {
+    if (isContractArtifact(input)) {
+        ContractArtifactSchema.parse(input);
+    }
+    return loadContractArtifact(input);
+}
 /**
  * Gets nargo build output and returns a valid contract artifact instance.
  * Differs from loadContractArtifact() by retaining all bytecode.

package/dest/avm/avm.js

@@ -807,7 +807,7 @@ export class CallStackMetadata {
         }
         const { stack, leaf } = failingCall;
         const aztecCallStack = stack.map((call)=>({
-                contractAddress: AztecAddress.fromField(call.contractAddress),
+                contractAddress: AztecAddress.fromFieldUnsafe(call.contractAddress),
                 functionSelector: call.calldata.length > 0 ? FunctionSelector.fromFieldOrUndefined(call.calldata[0]) : undefined
             }));
         // The Noir call stack is the internal call stack at exit of the failing call

package/dest/avm/avm_proving_request.d.ts

@@ -384,28 +384,28 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
                 leafPreimage: z.ZodPipe<z.ZodObject<{
                     leaf: z.ZodPipe<z.ZodObject<{
-                        slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
-                        value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
-                    }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
-                        slot: import("@aztec/foundation/schemas").Fr;
-                        value: import("@aztec/foundation/schemas").Fr;
+                        nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: import("@aztec/foundation/schemas").Fr;
                     }>>;
                     nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                     nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
-                    leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
                     nextKey: import("@aztec/foundation/schemas").Fr;
                     nextIndex: bigint;
                 }>> | z.ZodPipe<z.ZodObject<{
                     leaf: z.ZodPipe<z.ZodObject<{
-                        nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
-                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
-                        nullifier: import("@aztec/foundation/schemas").Fr;
+                        slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                        slot: import("@aztec/foundation/schemas").Fr;
+                        value: import("@aztec/foundation/schemas").Fr;
                     }>>;
                     nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                     nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
-                    leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                    leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                     nextKey: import("@aztec/foundation/schemas").Fr;
                     nextIndex: bigint;
                 }>>;
@@ -429,28 +429,28 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
                 leafPreimage: z.ZodPipe<z.ZodObject<{
                     leaf: z.ZodPipe<z.ZodObject<{
-                        slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
-                        value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
-                    }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
-                        slot: import("@aztec/foundation/schemas").Fr;
-                        value: import("@aztec/foundation/schemas").Fr;
+                        nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                        nullifier: import("@aztec/foundation/schemas").Fr;
                     }>>;
                     nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                     nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
-                    leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                    leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
                     nextKey: import("@aztec/foundation/schemas").Fr;
                     nextIndex: bigint;
                 }>> | z.ZodPipe<z.ZodObject<{
                     leaf: z.ZodPipe<z.ZodObject<{
-                        nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
-                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
-                        nullifier: import("@aztec/foundation/schemas").Fr;
+                        slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
+                        slot: import("@aztec/foundation/schemas").Fr;
+                        value: import("@aztec/foundation/schemas").Fr;
                     }>>;
                     nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                     nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
-                    leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeafPreimage, {
+                    leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                     nextKey: import("@aztec/foundation/schemas").Fr;
                     nextIndex: bigint;
                 }>>;
@@ -497,18 +497,30 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 }>>;
                 treeId: z.ZodNumber;
                 leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: import("@aztec/foundation/schemas").Fr;
+                }>> | z.ZodPipe<z.ZodObject<{
                     slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                     value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                 }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
                     slot: import("@aztec/foundation/schemas").Fr;
                     value: import("@aztec/foundation/schemas").Fr;
-                }>> | z.ZodPipe<z.ZodObject<{
-                    nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
-                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
-                    nullifier: import("@aztec/foundation/schemas").Fr;
                 }>>;
                 lowLeavesWitnessData: z.ZodObject<{
                     leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: import("@aztec/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
                         leaf: z.ZodPipe<z.ZodObject<{
                             slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                             value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
@@ -522,7 +534,12 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                         leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                         nextKey: import("@aztec/foundation/schemas").Fr;
                         nextIndex: bigint;
-                    }>> | z.ZodPipe<z.ZodObject<{
+                    }>>;
+                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    path: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
+                }, z.core.$strip>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
                         leaf: z.ZodPipe<z.ZodObject<{
                             nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                         }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
@@ -534,12 +551,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                         leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
                         nextKey: import("@aztec/foundation/schemas").Fr;
                         nextIndex: bigint;
-                    }>>;
-                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                    path: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
-                }, z.core.$strip>;
-                insertionWitnessData: z.ZodObject<{
-                    leaf: z.ZodPipe<z.ZodObject<{
+                    }>> | z.ZodPipe<z.ZodObject<{
                         leaf: z.ZodPipe<z.ZodObject<{
                             slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                             value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
@@ -553,18 +565,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                         leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                         nextKey: import("@aztec/foundation/schemas").Fr;
                         nextIndex: bigint;
-                    }>> | z.ZodPipe<z.ZodObject<{
-                        leaf: z.ZodPipe<z.ZodObject<{
-                            nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
-                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
-                            nullifier: import("@aztec/foundation/schemas").Fr;
-                        }>>;
-                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
-                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
-                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
-                        nextKey: import("@aztec/foundation/schemas").Fr;
-                        nextIndex: bigint;
                     }>>;
                     index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
                     path: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
@@ -617,18 +617,30 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                 }>>;
                 treeId: z.ZodNumber;
                 leaf: z.ZodPipe<z.ZodObject<{
+                    nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                    nullifier: import("@aztec/foundation/schemas").Fr;
+                }>> | z.ZodPipe<z.ZodObject<{
                     slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                     value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                 }, z.core.$strip>, z.ZodTransform<import("../trees/public_data_leaf.js").PublicDataTreeLeaf, {
                     slot: import("@aztec/foundation/schemas").Fr;
                     value: import("@aztec/foundation/schemas").Fr;
-                }>> | z.ZodPipe<z.ZodObject<{
-                    nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
-                }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
-                    nullifier: import("@aztec/foundation/schemas").Fr;
                 }>>;
                 lowLeavesWitnessData: z.ZodObject<{
                     leaf: z.ZodPipe<z.ZodObject<{
+                        leaf: z.ZodPipe<z.ZodObject<{
+                            nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
+                            nullifier: import("@aztec/foundation/schemas").Fr;
+                        }>>;
+                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
+                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
+                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
+                        nextKey: import("@aztec/foundation/schemas").Fr;
+                        nextIndex: bigint;
+                    }>> | z.ZodPipe<z.ZodObject<{
                         leaf: z.ZodPipe<z.ZodObject<{
                             slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                             value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
@@ -642,7 +654,12 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                         leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                         nextKey: import("@aztec/foundation/schemas").Fr;
                         nextIndex: bigint;
-                    }>> | z.ZodPipe<z.ZodObject<{
+                    }>>;
+                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
+                    path: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
+                }, z.core.$strip>;
+                insertionWitnessData: z.ZodObject<{
+                    leaf: z.ZodPipe<z.ZodObject<{
                         leaf: z.ZodPipe<z.ZodObject<{
                             nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                         }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
@@ -654,12 +671,7 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                         leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
                         nextKey: import("@aztec/foundation/schemas").Fr;
                         nextIndex: bigint;
-                    }>>;
-                    index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                    path: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;
-                }, z.core.$strip>;
-                insertionWitnessData: z.ZodObject<{
-                    leaf: z.ZodPipe<z.ZodObject<{
+                    }>> | z.ZodPipe<z.ZodObject<{
                         leaf: z.ZodPipe<z.ZodObject<{
                             slot: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
                             value: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
@@ -673,18 +685,6 @@ export declare const AvmProvingRequestSchema: z.ZodObject<{
                         leaf: import("../trees/public_data_leaf.js").PublicDataTreeLeaf;
                         nextKey: import("@aztec/foundation/schemas").Fr;
                         nextIndex: bigint;
-                    }>> | z.ZodPipe<z.ZodObject<{
-                        leaf: z.ZodPipe<z.ZodObject<{
-                            nullifier: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
-                        }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeaf, {
-                            nullifier: import("@aztec/foundation/schemas").Fr;
-                        }>>;
-                        nextKey: z.ZodType<import("@aztec/foundation/schemas").Fr, string, z.core.$ZodTypeInternals<import("@aztec/foundation/schemas").Fr, string>>;
-                        nextIndex: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
-                    }, z.core.$strip>, z.ZodTransform<import("../trees/nullifier_leaf.js").NullifierLeafPreimage, {
-                        leaf: import("../trees/nullifier_leaf.js").NullifierLeaf;
-                        nextKey: import("@aztec/foundation/schemas").Fr;
-                        nextIndex: bigint;
                     }>>;
                     index: z.ZodPipe<z.ZodUnion<readonly [z.ZodBigInt, z.ZodNumber, z.ZodString]>, z.ZodCoercedBigInt<string | number | bigint>>;
                     path: z.ZodArray<import("@aztec/foundation/schemas").ZodFor<import("@aztec/foundation/schemas").Fr>>;

package/dest/avm/contract_storage_read.d.ts

@@ -0,0 +1,58 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
+import type { AztecAddress } from '../aztec-address/index.js';
+/**
+ * Contract storage read operation on a specific contract.
+ *
+ * Note: Similar to `PublicDataRead` but it's from the POV of contract storage so we are not working with public data
+ * tree leaf index but storage slot index.
+ */
+export declare class ContractStorageRead {
+    /**
+     * Storage slot we are reading from.
+     */
+    readonly storageSlot: Fr;
+    /**
+     * Value read from the storage slot.
+     */
+    readonly currentValue: Fr;
+    /**
+     * Side effect counter tracking position of this event in tx execution.
+     */
+    readonly counter: number;
+    /**
+     * Contract address whose storage is being read.
+     */
+    contractAddress?: AztecAddress | undefined;
+    constructor(
+    /**
+     * Storage slot we are reading from.
+     */
+    storageSlot: Fr, 
+    /**
+     * Value read from the storage slot.
+     */
+    currentValue: Fr, 
+    /**
+     * Side effect counter tracking position of this event in tx execution.
+     */
+    counter: number, 
+    /**
+     * Contract address whose storage is being read.
+     */
+    contractAddress?: AztecAddress | undefined);
+    static from(args: {
+        storageSlot: Fr;
+        currentValue: Fr;
+        counter: number;
+        contractAddress?: AztecAddress;
+    }): ContractStorageRead;
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): ContractStorageRead;
+    static empty(): ContractStorageRead;
+    isEmpty(): boolean;
+    toFriendlyJSON(): string;
+    toFields(): Fr[];
+    static fromFields(fields: Fr[] | FieldReader): ContractStorageRead;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3Rfc3RvcmFnZV9yZWFkLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYXZtL2NvbnRyYWN0X3N0b3JhZ2VfcmVhZC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxXQUFXLEVBQXFCLE1BQU0sNkJBQTZCLENBQUM7QUFFM0YsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sMkJBQTJCLENBQUM7QUFFOUQ7Ozs7O0dBS0c7QUFDSCxxQkFBYSxtQkFBbUI7SUFFNUI7O09BRUc7YUFDYSxXQUFXLEVBQUUsRUFBRTtJQUMvQjs7T0FFRzthQUNhLFlBQVksRUFBRSxFQUFFO0lBQ2hDOztPQUVHO2FBQ2EsT0FBTyxFQUFFLE1BQU07SUFDL0I7O09BRUc7SUFDSSxlQUFlLENBQUM7SUFoQnpCO0lBQ0U7O09BRUc7SUFDYSxXQUFXLEVBQUUsRUFBRTtJQUMvQjs7T0FFRztJQUNhLFlBQVksRUFBRSxFQUFFO0lBQ2hDOztPQUVHO0lBQ2EsT0FBTyxFQUFFLE1BQU07SUFDL0I7O09BRUc7SUFDSSxlQUFlLENBQUMsMEJBQWMsRUFDbkM7SUFFSixNQUFNLENBQUMsSUFBSSxDQUFDLElBQUksRUFBRTtRQUFFLFdBQVcsRUFBRSxFQUFFLENBQUM7UUFBQyxZQUFZLEVBQUUsRUFBRSxDQUFDO1FBQUMsT0FBTyxFQUFFLE1BQU0sQ0FBQztRQUFDLGVBQWUsQ0FBQyxFQUFFLFlBQVksQ0FBQTtLQUFFLHVCQUV2RztJQUVELFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSx1QkFHOUM7SUFFRCxNQUFNLENBQUMsS0FBSyx3QkFFWDtJQUVELE9BQU8sWUFFTjtJQUVELGNBQWMsV0FFYjtJQUVELFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FRZjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRyxtQkFBbUIsQ0FRakU7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract_storage_read.d.ts","sourceRoot":"","sources":["../../src/avm/contract_storage_read.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAE3F,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE9D;;;;;GAKG;AACH,qBAAa,mBAAmB;IAE5B;;OAEG;aACa,WAAW,EAAE,EAAE;IAC/B;;OAEG;aACa,YAAY,EAAE,EAAE;IAChC;;OAEG;aACa,OAAO,EAAE,MAAM;IAC/B;;OAEG;IACI,eAAe,CAAC;IAhBzB;IACE;;OAEG;IACa,WAAW,EAAE,EAAE;IAC/B;;OAEG;IACa,YAAY,EAAE,EAAE;IAChC;;OAEG;IACa,OAAO,EAAE,MAAM;IAC/B;;OAEG;IACI,eAAe,CAAC,0BAAc,EACnC;IAEJ,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE;QAAE,WAAW,EAAE,EAAE,CAAC;QAAC,YAAY,EAAE,EAAE,CAAC;QAAC,OAAO,EAAE,MAAM,CAAC;QAAC,eAAe,CAAC,EAAE,YAAY,CAAA;KAAE,uBAEvG;IAED,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,uBAG9C;IAED,MAAM,CAAC,KAAK,wBAEX;IAED,OAAO,YAEN;IAED,cAAc,WAEb;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,mBAAmB,CAQjE;CACF"}

package/dest/avm/contract_storage_read.js

@@ -0,0 +1,65 @@
+import { CONTRACT_STORAGE_READ_LENGTH } from '@aztec/constants';
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
+/**
+ * Contract storage read operation on a specific contract.
+ *
+ * Note: Similar to `PublicDataRead` but it's from the POV of contract storage so we are not working with public data
+ * tree leaf index but storage slot index.
+ */ export class ContractStorageRead {
+    storageSlot;
+    currentValue;
+    counter;
+    contractAddress;
+    constructor(/**
+     * Storage slot we are reading from.
+     */ storageSlot, /**
+     * Value read from the storage slot.
+     */ currentValue, /**
+     * Side effect counter tracking position of this event in tx execution.
+     */ counter, /**
+     * Contract address whose storage is being read.
+     */ contractAddress){
+        this.storageSlot = storageSlot;
+        this.currentValue = currentValue;
+        this.counter = counter;
+        this.contractAddress = contractAddress;
+    }
+    static from(args) {
+        return new ContractStorageRead(args.storageSlot, args.currentValue, args.counter, args.contractAddress);
+    }
+    toBuffer() {
+        return serializeToBuffer(this.storageSlot, this.currentValue, new Fr(this.counter));
+    }
+    static fromBuffer(buffer) {
+        const reader = BufferReader.asReader(buffer);
+        return new ContractStorageRead(Fr.fromBuffer(reader), Fr.fromBuffer(reader), Fr.fromBuffer(reader).toNumber());
+    }
+    static empty() {
+        return new ContractStorageRead(Fr.ZERO, Fr.ZERO, 0);
+    }
+    isEmpty() {
+        return this.storageSlot.isZero() && this.currentValue.isZero() && this.counter == 0;
+    }
+    toFriendlyJSON() {
+        return `Slot=${this.storageSlot.toFriendlyJSON()}: ${this.currentValue.toFriendlyJSON()}`;
+    }
+    toFields() {
+        const fields = [
+            this.storageSlot,
+            this.currentValue,
+            new Fr(this.counter)
+        ];
+        if (fields.length !== CONTRACT_STORAGE_READ_LENGTH) {
+            throw new Error(`Invalid number of fields for ContractStorageRead. Expected ${CONTRACT_STORAGE_READ_LENGTH}, got ${fields.length}`);
+        }
+        return fields;
+    }
+    static fromFields(fields) {
+        const reader = FieldReader.asReader(fields);
+        const storageSlot = reader.readField();
+        const currentValue = reader.readField();
+        const counter = reader.readField().toNumber();
+        return new ContractStorageRead(storageSlot, currentValue, counter);
+    }
+}

package/dest/avm/contract_storage_update_request.d.ts

@@ -0,0 +1,65 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
+import type { FieldsOf } from '@aztec/foundation/types';
+import type { AztecAddress } from '../aztec-address/index.js';
+/**
+ * Contract storage update request for a slot on a specific contract.
+ *
+ * Note: Similar to `PublicDataUpdateRequest` but it's from the POV of contract storage so we are not working with
+ * public data tree leaf index but storage slot index.
+ */
+export declare class ContractStorageUpdateRequest {
+    /**
+     * Storage slot we are updating.
+     */
+    readonly storageSlot: Fr;
+    /**
+     * New value of the storage slot.
+     */
+    readonly newValue: Fr;
+    /**
+     * Side effect counter tracking position of this event in tx execution.
+     */
+    readonly counter: number;
+    /**
+     * Contract address whose storage is being read.
+     */
+    contractAddress?: AztecAddress | undefined;
+    constructor(
+    /**
+     * Storage slot we are updating.
+     */
+    storageSlot: Fr, 
+    /**
+     * New value of the storage slot.
+     */
+    newValue: Fr, 
+    /**
+     * Side effect counter tracking position of this event in tx execution.
+     */
+    counter: number, 
+    /**
+     * Contract address whose storage is being read.
+     */
+    contractAddress?: AztecAddress | undefined);
+    toBuffer(): Buffer<ArrayBufferLike>;
+    static fromBuffer(buffer: Buffer | BufferReader): ContractStorageUpdateRequest;
+    /**
+     * Create ContractStorageUpdateRequest from a fields dictionary.
+     * @param fields - The dictionary.
+     * @returns A ContractStorageUpdateRequest object.
+     */
+    static from(fields: FieldsOf<ContractStorageUpdateRequest>): ContractStorageUpdateRequest;
+    /**
+     * Serialize into a field array. Low-level utility.
+     * @param fields - Object with fields.
+     * @returns The array.
+     */
+    static getFields(fields: FieldsOf<ContractStorageUpdateRequest>): readonly [Fr, Fr, number, AztecAddress | undefined];
+    static empty(): ContractStorageUpdateRequest;
+    isEmpty(): boolean;
+    toFriendlyJSON(): string;
+    toFields(): Fr[];
+    static fromFields(fields: Fr[] | FieldReader): ContractStorageUpdateRequest;
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiY29udHJhY3Rfc3RvcmFnZV91cGRhdGVfcmVxdWVzdC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL2F2bS9jb250cmFjdF9zdG9yYWdlX3VwZGF0ZV9yZXF1ZXN0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUNwRCxPQUFPLEVBQUUsWUFBWSxFQUFFLFdBQVcsRUFBcUIsTUFBTSw2QkFBNkIsQ0FBQztBQUMzRixPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUV4RCxPQUFPLEtBQUssRUFBRSxZQUFZLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUU5RDs7Ozs7R0FLRztBQUNILHFCQUFhLDRCQUE0QjtJQUVyQzs7T0FFRzthQUNhLFdBQVcsRUFBRSxFQUFFO0lBQy9COztPQUVHO2FBQ2EsUUFBUSxFQUFFLEVBQUU7SUFDNUI7O09BRUc7YUFDYSxPQUFPLEVBQUUsTUFBTTtJQUMvQjs7T0FFRztJQUNJLGVBQWUsQ0FBQztJQWhCekI7SUFDRTs7T0FFRztJQUNhLFdBQVcsRUFBRSxFQUFFO0lBQy9COztPQUVHO0lBQ2EsUUFBUSxFQUFFLEVBQUU7SUFDNUI7O09BRUc7SUFDYSxPQUFPLEVBQUUsTUFBTTtJQUMvQjs7T0FFRztJQUNJLGVBQWUsQ0FBQywwQkFBYyxFQUNuQztJQUVKLFFBQVEsNEJBRVA7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxNQUFNLEdBQUcsWUFBWSxnQ0FHOUM7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLElBQUksQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDRCQUE0QixDQUFDLEdBQUcsNEJBQTRCLENBRXhGO0lBRUQ7Ozs7T0FJRztJQUNILE1BQU0sQ0FBQyxTQUFTLENBQUMsTUFBTSxFQUFFLFFBQVEsQ0FBQyw0QkFBNEIsQ0FBQyx1REFFOUQ7SUFFRCxNQUFNLENBQUMsS0FBSyxpQ0FFWDtJQUVELE9BQU8sWUFFTjtJQUVELGNBQWMsV0FJYjtJQUVELFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FRZjtJQUVELE1BQU0sQ0FBQyxVQUFVLENBQUMsTUFBTSxFQUFFLEVBQUUsRUFBRSxHQUFHLFdBQVcsR0FBRyw0QkFBNEIsQ0FPMUU7Q0FDRiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"contract_storage_update_request.d.ts","sourceRoot":"","sources":["../../src/avm/contract_storage_update_request.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAqB,MAAM,6BAA6B,CAAC;AAC3F,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAE9D;;;;;GAKG;AACH,qBAAa,4BAA4B;IAErC;;OAEG;aACa,WAAW,EAAE,EAAE;IAC/B;;OAEG;aACa,QAAQ,EAAE,EAAE;IAC5B;;OAEG;aACa,OAAO,EAAE,MAAM;IAC/B;;OAEG;IACI,eAAe,CAAC;IAhBzB;IACE;;OAEG;IACa,WAAW,EAAE,EAAE;IAC/B;;OAEG;IACa,QAAQ,EAAE,EAAE;IAC5B;;OAEG;IACa,OAAO,EAAE,MAAM;IAC/B;;OAEG;IACI,eAAe,CAAC,0BAAc,EACnC;IAEJ,QAAQ,4BAEP;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,gCAG9C;IAED;;;;OAIG;IACH,MAAM,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC,GAAG,4BAA4B,CAExF;IAED;;;;OAIG;IACH,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,4BAA4B,CAAC,uDAE9D;IAED,MAAM,CAAC,KAAK,iCAEX;IAED,OAAO,YAEN;IAED,cAAc,WAIb;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,4BAA4B,CAO1E;CACF"}