@aztec/stdlib 0.0.1-commit.3100065 → 0.0.1-commit.330febf

package/src/tests/factories.ts

@@ -54,8 +54,6 @@ import type { Bufferable, Serializable, Tuple } from '@aztec/foundation/serializ
 import { MembershipWitness } from '@aztec/foundation/trees';
 
 import { FunctionSelector } from '../abi/function_selector.js';
-import { ContractStorageRead } from '../avm/contract_storage_read.js';
-import { ContractStorageUpdateRequest } from '../avm/contract_storage_update_request.js';
 import {
   AvmAccumulatedData,
   AvmAccumulatedDataArrayLengths,
@@ -82,7 +80,6 @@ import {
   AvmSequentialInsertHintPublicDataTree,
   AvmTxHint,
 } from '../avm/index.js';
-import { PublicDataRead } from '../avm/public_data_read.js';
 import { PublicDataWrite } from '../avm/public_data_write.js';
 import { AztecAddress } from '../aztec-address/index.js';
 import { BlockHash } from '../block/block_hash.js';
@@ -276,41 +273,6 @@ export function makePublicDataWrite(seed = 1) {
   return new PublicDataWrite(fr(seed), fr(seed + 1));
 }
 
-/**
- * Creates arbitrary public data read.
- * @param seed - The seed to use for generating the public data read.
- * @returns A public data read.
- */
-export function makePublicDataRead(seed = 1): PublicDataRead {
-  return new PublicDataRead(fr(seed), fr(seed + 1), 0);
-}
-
-/**
- * Creates empty public data read.
- * @returns An empty public data read.
- */
-export function makeEmptyPublicDataRead(): PublicDataRead {
-  return new PublicDataRead(fr(0), fr(0), 0);
-}
-
-/**
- * Creates arbitrary contract storage update request.
- * @param seed - The seed to use for generating the contract storage update request.
- * @returns A contract storage update request.
- */
-export function makeContractStorageUpdateRequest(seed = 1): ContractStorageUpdateRequest {
-  return new ContractStorageUpdateRequest(fr(seed), fr(seed + 1), seed + 2);
-}
-
-/**
- * Creates arbitrary contract storage read.
- * @param seed - The seed to use for generating the contract storage read.
- * @returns A contract storage read.
- */
-export function makeContractStorageRead(seed = 1): ContractStorageRead {
-  return new ContractStorageRead(fr(seed), fr(seed + 1), seed + 2);
-}
-
 function makeTxConstantData(seed = 1) {
   return new TxConstantData(
     makeBlockHeader(seed),

package/src/tx/hashed_values.ts

@@ -28,12 +28,17 @@ export class HashedValues {
   }
 
   static get schema(): ZodFor<HashedValues> {
-    return z
-      .object({
-        values: z.array(schemas.Fr),
-        hash: schemas.Fr,
-      })
-      .transform(HashedValues.from);
+    return HashedValues.schemaFor();
+  }
+
+  /**
+   * Returns a schema that additionally rejects more than `maxValues` values. The bound belongs to the caller
+   * rather than to this class: the same container carries public calldata, private call arguments and authwit
+   * arguments, and those have different limits.
+   */
+  static schemaFor(maxValues?: number): ZodFor<HashedValues> {
+    const values = maxValues === undefined ? z.array(schemas.Fr) : z.array(schemas.Fr).max(maxValues);
+    return z.object({ values, hash: schemas.Fr }).transform(HashedValues.from);
   }
 
   static from(fields: FieldsOf<HashedValues>): HashedValues {

package/src/tx/index.ts

@@ -21,7 +21,6 @@ export * from './tx_effect.js';
 export * from './public_simulation_output.js';
 export * from './tx_execution_request.js';
 export * from './validator/tx_validator.js';
-export * from './validator/empty_validator.js';
 export * from './validator/error_texts.js';
 export * from './capsule.js';
 export * from './fee_provider.js';

package/src/tx/offchain_effect.ts

@@ -2,7 +2,7 @@ import { Fr } from '@aztec/foundation/curves/bn254';
 
 import type { AztecAddress } from '../aztec-address/index.js';
 
-// The following identifier was copied over from `noir-projects/aztec-nr/aztec/src/messages/offchain_messages.nr`.
+// The following identifier was copied over from `noir-projects/labs/aztec-nr/aztec/src/messages/offchain_messages.nr`.
 // poseidon2hash("aztecnr_offchain_message")
 export const OFFCHAIN_MESSAGE_IDENTIFIER: Fr = new Fr(
   6023466688192654631553769360478808766602235351827869819420284624004071427516n,

package/src/tx/profiling.ts

@@ -1,3 +1,4 @@
+import { CircuitKind } from '@aztec/bb.js';
 import { Fr } from '@aztec/foundation/curves/bn254';
 import { type ZodFor, optional, schemas } from '@aztec/foundation/schemas';
 
@@ -125,6 +126,7 @@ export class TxProfileResult {
           bytecode: Buffer.from('random'),
           witness: new Map([[1, 'random']]),
           vk: Buffer.from('random'),
+          kind: CircuitKind.App,
           timings: {
             witgen: 1,
             gateCount: 1,

package/src/tx/simulated_tx.ts

@@ -9,6 +9,7 @@ import {
 } from '../contract/interfaces/contract_instance.js';
 import { Gas } from '../gas/gas.js';
 import type { GasUsed } from '../gas/gas_used.js';
+import { MAX_RPC_CONTRACT_OVERRIDES_LEN, MAX_RPC_PUBLIC_STORAGE_OVERRIDES_LEN } from '../interfaces/api_limit.js';
 import { type PublicStorageOverride, PublicStorageOverrideSchema } from '../interfaces/public_storage_override.js';
 import { PrivateKernelTailCircuitPublicInputs } from '../kernel/private_kernel_tail_circuit_public_inputs.js';
 import { ChonkProof } from '../proofs/chonk_proof.js';
@@ -50,8 +51,18 @@ export class SimulationOverrides {
   static get schema() {
     return z
       .object({
-        publicStorage: optional(z.array(PublicStorageOverrideSchema)),
-        contracts: optional(z.record(z.string(), z.object({ instance: ContractInstanceWithAddressSchema }))),
+        publicStorage: optional(
+          z.array(PublicStorageOverrideSchema).max(MAX_RPC_PUBLIC_STORAGE_OVERRIDES_LEN, {
+            message: `publicStorage must have at most ${MAX_RPC_PUBLIC_STORAGE_OVERRIDES_LEN} entries`,
+          }),
+        ),
+        contracts: optional(
+          z
+            .record(z.string(), z.object({ instance: ContractInstanceWithAddressSchema }))
+            .refine(contracts => Object.keys(contracts).length <= MAX_RPC_CONTRACT_OVERRIDES_LEN, {
+              message: `contracts must have at most ${MAX_RPC_CONTRACT_OVERRIDES_LEN} entries`,
+            }),
+        ),
       })
       .transform(args => new SimulationOverrides(args));
   }

package/src/tx/tx.ts

@@ -1,4 +1,10 @@
-import { DA_GAS_PER_FIELD, TX_DA_GAS_OVERHEAD } from '@aztec/constants';
+import {
+  DA_GAS_PER_FIELD,
+  MAX_CONTRACT_CLASS_LOGS_PER_TX,
+  MAX_ENQUEUED_CALLS_PER_TX,
+  MAX_FR_CALLDATA_TO_ALL_ENQUEUED_CALLS,
+  TX_DA_GAS_OVERHEAD,
+} from '@aztec/constants';
 import { type BaseBuffer32, Buffer32 } from '@aztec/foundation/buffer';
 import { Fr } from '@aztec/foundation/curves/bn254';
 import type { ZodFor } from '@aztec/foundation/schemas';
@@ -33,6 +39,14 @@ import { TxHash } from './tx_hash.js';
 // with the existing cost.
 const TX_SINK_PRESIZE_BYTES = 131072;
 
+/**
+ * Upper bound on the calldata entries a tx can carry: one per enqueued call, plus one for the teardown call.
+ * The revertible and non-revertible call request arrays are each sized `MAX_ENQUEUED_CALLS_PER_TX`, but the
+ * private tail circuit fills them by partitioning a single array of that size, so their lengths sum to it. The
+ * teardown request is propagated separately and can only be set once.
+ */
+export const MAX_PUBLIC_FUNCTION_CALLDATA_PER_TX = MAX_ENQUEUED_CALLS_PER_TX + 1;
+
 /**
  * The interface of an L2 transaction.
  */
@@ -172,8 +186,10 @@ export class Tx extends Gossipable {
       .object({
         data: PrivateKernelTailCircuitPublicInputs.schema,
         chonkProof: ChonkProof.schema,
-        contractClassLogFields: z.array(ContractClassLogFields.schema),
-        publicFunctionCalldata: z.array(HashedValues.schema),
+        contractClassLogFields: z.array(ContractClassLogFields.schema).max(MAX_CONTRACT_CLASS_LOGS_PER_TX),
+        publicFunctionCalldata: z
+          .array(HashedValues.schemaFor(MAX_FR_CALLDATA_TO_ALL_ENQUEUED_CALLS))
+          .max(MAX_PUBLIC_FUNCTION_CALLDATA_PER_TX),
       })
       .transform(Tx.create);
   }

package/src/validators/errors.ts

@@ -30,6 +30,23 @@ export class TransactionsNotAvailableError extends ValidatorError {
   }
 }
 
+/**
+ * Thrown when a tx carried in a block proposal fails minimum integrity validation (metadata, size, data,
+ * contract instances, or proof). The proposer signs both the tx hashes and the tx objects, so this is
+ * proposer misbehavior rather than a local failure, and callers classify it as an invalid block proposal.
+ */
+export class InvalidBlockProposalTxsError extends ValidatorError {
+  constructor(public readonly invalidTxs: { txHash: TxHash; reasons: string[] }[]) {
+    super(
+      `Invalid txs in block proposal: ${invalidTxs
+        .map(({ txHash, reasons }) => `${txHash} (${reasons.join(', ')})`)
+        .join('; ')}`,
+    );
+    // Set so `isErrorClass` can recognize this error across package instances, where `instanceof` fails.
+    this.name = 'InvalidBlockProposalTxsError';
+  }
+}
+
 export class FailedToReExecuteTransactionsError extends ValidatorError {
   constructor(txHashes: TxHash[]) {
     super(`Failed to re-execute transactions: ${txHashes.join(', ')}`);

package/src/world-state/world_state_revision.ts

@@ -36,36 +36,3 @@ export class WorldStateRevision {
       );
   }
 }
-
-export class WorldStateRevisionWithHandle extends WorldStateRevision {
-  constructor(
-    forkId: number,
-    blockNumber: number,
-    includeUncommitted: boolean,
-    public readonly handle: any,
-  ) {
-    super(forkId, blockNumber, includeUncommitted);
-  }
-
-  public toWorldStateRevision() {
-    return new WorldStateRevision(this.forkId, this.blockNumber, this.includeUncommitted);
-  }
-
-  static fromWorldStateRevision(revision: WorldStateRevision, handle: any) {
-    return new WorldStateRevisionWithHandle(revision.forkId, revision.blockNumber, revision.includeUncommitted, handle);
-  }
-
-  static override get schema() {
-    return z
-      .object({
-        forkId: z.number(),
-        blockNumber: z.number(),
-        includeUncommitted: z.boolean(),
-        handle: z.any(),
-      })
-      .transform(
-        ({ forkId, blockNumber, includeUncommitted, handle }) =>
-          new WorldStateRevisionWithHandle(forkId, blockNumber, includeUncommitted, handle),
-      );
-  }
-}

package/dest/avm/contract_storage_read.d.ts

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

@@ -1 +0,0 @@
-{"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

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

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

@@ -1 +0,0 @@
-{"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"}

package/dest/avm/contract_storage_update_request.js

@@ -1,80 +0,0 @@
-import { CONTRACT_STORAGE_UPDATE_REQUEST_LENGTH } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { BufferReader, FieldReader, serializeToBuffer } from '@aztec/foundation/serialize';
-/**
- * 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 class ContractStorageUpdateRequest {
-    storageSlot;
-    newValue;
-    counter;
-    contractAddress;
-    constructor(/**
-     * Storage slot we are updating.
-     */ storageSlot, /**
-     * New value of the storage slot.
-     */ newValue, /**
-     * Side effect counter tracking position of this event in tx execution.
-     */ counter, /**
-     * Contract address whose storage is being read.
-     */ contractAddress){
-        this.storageSlot = storageSlot;
-        this.newValue = newValue;
-        this.counter = counter;
-        this.contractAddress = contractAddress;
-    }
-    toBuffer() {
-        return serializeToBuffer(this.storageSlot, this.newValue, this.counter);
-    }
-    static fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        return new ContractStorageUpdateRequest(Fr.fromBuffer(reader), Fr.fromBuffer(reader), reader.readNumber());
-    }
-    /**
-   * Create ContractStorageUpdateRequest from a fields dictionary.
-   * @param fields - The dictionary.
-   * @returns A ContractStorageUpdateRequest object.
-   */ static from(fields) {
-        return new ContractStorageUpdateRequest(...ContractStorageUpdateRequest.getFields(fields));
-    }
-    /**
-   * Serialize into a field array. Low-level utility.
-   * @param fields - Object with fields.
-   * @returns The array.
-   */ static getFields(fields) {
-        return [
-            fields.storageSlot,
-            fields.newValue,
-            fields.counter,
-            fields.contractAddress
-        ];
-    }
-    static empty() {
-        return new ContractStorageUpdateRequest(Fr.ZERO, Fr.ZERO, 0);
-    }
-    isEmpty() {
-        return this.storageSlot.isZero() && this.newValue.isZero();
-    }
-    toFriendlyJSON() {
-        return `Slot=${this.storageSlot.toFriendlyJSON()}: ${this.newValue.toFriendlyJSON()}, sideEffectCounter=${this.counter}`;
-    }
-    toFields() {
-        const fields = [
-            this.storageSlot,
-            this.newValue,
-            new Fr(this.counter)
-        ];
-        if (fields.length !== CONTRACT_STORAGE_UPDATE_REQUEST_LENGTH) {
-            throw new Error(`Invalid number of fields for ContractStorageUpdateRequest. Expected ${CONTRACT_STORAGE_UPDATE_REQUEST_LENGTH}, got ${fields.length}`);
-        }
-        return fields;
-    }
-    static fromFields(fields) {
-        const reader = FieldReader.asReader(fields);
-        const storageSlot = reader.readField();
-        const newValue = reader.readField();
-        return new ContractStorageUpdateRequest(storageSlot, newValue, reader.readU32());
-    }
-}

package/dest/avm/public_call_stack_item_compressed.d.ts

@@ -1,43 +0,0 @@
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { BufferReader, FieldReader } from '@aztec/foundation/serialize';
-import type { FieldsOf } from '@aztec/foundation/types';
-import { AztecAddress } from '../aztec-address/index.js';
-import { Gas } from '../gas/gas.js';
-import { CallContext } from '../tx/call_context.js';
-import { RevertCode } from './revert_code.js';
-/**
- * Compressed call stack item on a public call.
- */
-export declare class PublicCallStackItemCompressed {
-    contractAddress: AztecAddress;
-    callContext: CallContext;
-    argsHash: Fr;
-    returnsHash: Fr;
-    revertCode: RevertCode;
-    /** How much gas was available for execution. */
-    startGasLeft: Gas;
-    /** How much gas was left after execution. */
-    endGasLeft: Gas;
-    constructor(contractAddress: AztecAddress, callContext: CallContext, argsHash: Fr, returnsHash: Fr, revertCode: RevertCode, 
-    /** How much gas was available for execution. */
-    startGasLeft: Gas, 
-    /** How much gas was left after execution. */
-    endGasLeft: Gas);
-    static getFields(fields: FieldsOf<PublicCallStackItemCompressed>): readonly [AztecAddress, CallContext, Fr, Fr, RevertCode, Gas, Gas];
-    toFields(): Fr[];
-    toBuffer(): Buffer<ArrayBufferLike>;
-    /**
-     * Deserializes from a buffer or reader.
-     * @param buffer - Buffer or reader to read from.
-     * @returns The deserialized instance.
-     */
-    static fromBuffer(buffer: Buffer | BufferReader): PublicCallStackItemCompressed;
-    static fromFields(fields: Fr[] | FieldReader): PublicCallStackItemCompressed;
-    /**
-     * Returns a new instance of PublicCallStackItem with zero contract address, function data and public inputs.
-     * @returns A new instance of PublicCallStackItem with zero contract address, function data and public inputs.
-     */
-    static empty(): PublicCallStackItemCompressed;
-    isEmpty(): boolean;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX2NhbGxfc3RhY2tfaXRlbV9jb21wcmVzc2VkLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvYXZtL3B1YmxpY19jYWxsX3N0YWNrX2l0ZW1fY29tcHJlc3NlZC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFDQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxXQUFXLEVBQXdDLE1BQU0sNkJBQTZCLENBQUM7QUFDOUcsT0FBTyxLQUFLLEVBQUUsUUFBUSxFQUFFLE1BQU0seUJBQXlCLENBQUM7QUFFeEQsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDJCQUEyQixDQUFDO0FBQ3pELE9BQU8sRUFBRSxHQUFHLEVBQUUsTUFBTSxlQUFlLENBQUM7QUFDcEMsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBQ3BELE9BQU8sRUFBRSxVQUFVLEVBQUUsTUFBTSxrQkFBa0IsQ0FBQztBQUc5Qzs7R0FFRztBQUNILHFCQUFhLDZCQUE2QjtJQUUvQixlQUFlLEVBQUUsWUFBWTtJQUM3QixXQUFXLEVBQUUsV0FBVztJQUN4QixRQUFRLEVBQUUsRUFBRTtJQUNaLFdBQVcsRUFBRSxFQUFFO0lBQ2YsVUFBVSxFQUFFLFVBQVU7SUFDN0IsZ0RBQWdEO0lBQ3pDLFlBQVksRUFBRSxHQUFHO0lBQ3hCLDZDQUE2QztJQUN0QyxVQUFVLEVBQUUsR0FBRztJQVR4QixZQUNTLGVBQWUsRUFBRSxZQUFZLEVBQzdCLFdBQVcsRUFBRSxXQUFXLEVBQ3hCLFFBQVEsRUFBRSxFQUFFLEVBQ1osV0FBVyxFQUFFLEVBQUUsRUFDZixVQUFVLEVBQUUsVUFBVTtJQUM3QixnREFBZ0Q7SUFDekMsWUFBWSxFQUFFLEdBQUc7SUFDeEIsNkNBQTZDO0lBQ3RDLFVBQVUsRUFBRSxHQUFHLEVBQ3BCO0lBRUosTUFBTSxDQUFDLFNBQVMsQ0FBQyxNQUFNLEVBQUUsUUFBUSxDQUFDLDZCQUE2QixDQUFDLHNFQVUvRDtJQUVELFFBQVEsSUFBSSxFQUFFLEVBQUUsQ0FRZjtJQUVELFFBQVEsNEJBRVA7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxHQUFHLFlBQVksR0FBRyw2QkFBNkIsQ0FXOUU7SUFFRCxNQUFNLENBQUMsVUFBVSxDQUFDLE1BQU0sRUFBRSxFQUFFLEVBQUUsR0FBRyxXQUFXLEdBQUcsNkJBQTZCLENBWTNFO0lBRUQ7OztPQUdHO0lBQ0gsT0FBYyxLQUFLLElBQUksNkJBQTZCLENBVW5EO0lBRUQsT0FBTyxZQVVOO0NBQ0YifQ==

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

@@ -1 +0,0 @@
-{"version":3,"file":"public_call_stack_item_compressed.d.ts","sourceRoot":"","sources":["../../src/avm/public_call_stack_item_compressed.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAE,YAAY,EAAE,WAAW,EAAwC,MAAM,6BAA6B,CAAC;AAC9G,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AACzD,OAAO,EAAE,GAAG,EAAE,MAAM,eAAe,CAAC;AACpC,OAAO,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAG9C;;GAEG;AACH,qBAAa,6BAA6B;IAE/B,eAAe,EAAE,YAAY;IAC7B,WAAW,EAAE,WAAW;IACxB,QAAQ,EAAE,EAAE;IACZ,WAAW,EAAE,EAAE;IACf,UAAU,EAAE,UAAU;IAC7B,gDAAgD;IACzC,YAAY,EAAE,GAAG;IACxB,6CAA6C;IACtC,UAAU,EAAE,GAAG;IATxB,YACS,eAAe,EAAE,YAAY,EAC7B,WAAW,EAAE,WAAW,EACxB,QAAQ,EAAE,EAAE,EACZ,WAAW,EAAE,EAAE,EACf,UAAU,EAAE,UAAU;IAC7B,gDAAgD;IACzC,YAAY,EAAE,GAAG;IACxB,6CAA6C;IACtC,UAAU,EAAE,GAAG,EACpB;IAEJ,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,QAAQ,CAAC,6BAA6B,CAAC,sEAU/D;IAED,QAAQ,IAAI,EAAE,EAAE,CAQf;IAED,QAAQ,4BAEP;IAED;;;;OAIG;IACH,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,YAAY,GAAG,6BAA6B,CAW9E;IAED,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,EAAE,EAAE,GAAG,WAAW,GAAG,6BAA6B,CAY3E;IAED;;;OAGG;IACH,OAAc,KAAK,IAAI,6BAA6B,CAUnD;IAED,OAAO,YAUN;CACF"}

package/dest/avm/public_call_stack_item_compressed.js

@@ -1,70 +0,0 @@
-import { PUBLIC_CALL_STACK_ITEM_COMPRESSED_LENGTH } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { BufferReader, FieldReader, serializeToBuffer, serializeToFields } from '@aztec/foundation/serialize';
-import { AztecAddress } from '../aztec-address/index.js';
-import { Gas } from '../gas/gas.js';
-import { CallContext } from '../tx/call_context.js';
-import { RevertCode } from './revert_code.js';
-// TO BE REMOVED
-/**
- * Compressed call stack item on a public call.
- */ export class PublicCallStackItemCompressed {
-    contractAddress;
-    callContext;
-    argsHash;
-    returnsHash;
-    revertCode;
-    startGasLeft;
-    endGasLeft;
-    constructor(contractAddress, callContext, argsHash, returnsHash, revertCode, /** How much gas was available for execution. */ startGasLeft, /** How much gas was left after execution. */ endGasLeft){
-        this.contractAddress = contractAddress;
-        this.callContext = callContext;
-        this.argsHash = argsHash;
-        this.returnsHash = returnsHash;
-        this.revertCode = revertCode;
-        this.startGasLeft = startGasLeft;
-        this.endGasLeft = endGasLeft;
-    }
-    static getFields(fields) {
-        return [
-            fields.contractAddress,
-            fields.callContext,
-            fields.argsHash,
-            fields.returnsHash,
-            fields.revertCode,
-            fields.startGasLeft,
-            fields.endGasLeft
-        ];
-    }
-    toFields() {
-        const fields = serializeToFields(...PublicCallStackItemCompressed.getFields(this));
-        if (fields.length !== PUBLIC_CALL_STACK_ITEM_COMPRESSED_LENGTH) {
-            throw new Error(`Invalid number of fields for PublicCallStackItemCompressed. Expected ${PUBLIC_CALL_STACK_ITEM_COMPRESSED_LENGTH}, got ${fields.length}`);
-        }
-        return fields;
-    }
-    toBuffer() {
-        return serializeToBuffer(...PublicCallStackItemCompressed.getFields(this));
-    }
-    /**
-   * Deserializes from a buffer or reader.
-   * @param buffer - Buffer or reader to read from.
-   * @returns The deserialized instance.
-   */ static fromBuffer(buffer) {
-        const reader = BufferReader.asReader(buffer);
-        return new PublicCallStackItemCompressed(reader.readObject(AztecAddress), reader.readObject(CallContext), reader.readObject(Fr), reader.readObject(Fr), reader.readObject(RevertCode), reader.readObject(Gas), reader.readObject(Gas));
-    }
-    static fromFields(fields) {
-        const reader = FieldReader.asReader(fields);
-        return new PublicCallStackItemCompressed(AztecAddress.fromFields(reader), CallContext.fromFields(reader), reader.readField(), reader.readField(), RevertCode.fromFields(reader), Gas.fromFields(reader), Gas.fromFields(reader));
-    }
-    /**
-   * Returns a new instance of PublicCallStackItem with zero contract address, function data and public inputs.
-   * @returns A new instance of PublicCallStackItem with zero contract address, function data and public inputs.
-   */ static empty() {
-        return new PublicCallStackItemCompressed(AztecAddress.ZERO, CallContext.empty(), Fr.ZERO, Fr.ZERO, RevertCode.OK, Gas.empty(), Gas.empty());
-    }
-    isEmpty() {
-        return this.contractAddress.isZero() && this.callContext.isEmpty() && this.argsHash.isEmpty() && this.returnsHash.isEmpty() && this.revertCode.equals(RevertCode.OK) && this.startGasLeft.isEmpty() && this.endGasLeft.isEmpty();
-    }
-}