@aztec/simulator 6.0.0-nightly.20260604 → 6.0.0-nightly.20260721

package/dest/public/public_tx_simulator/public_tx_context.d.ts

@@ -1,135 +0,0 @@
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { type LoggerBindings } from '@aztec/foundation/log';
-import { AvmCircuitPublicInputs, RevertCode } from '@aztec/stdlib/avm';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { type ContractDeploymentData } from '@aztec/stdlib/contract';
-import type { SimulationError } from '@aztec/stdlib/errors';
-import { Gas } from '@aztec/stdlib/gas';
-import { PrivateToPublicAccumulatedData } from '@aztec/stdlib/kernel';
-import { type GlobalVariables, ProtocolContracts, PublicCallRequestWithCalldata, type Tx, TxExecutionPhase, type TxHash } from '@aztec/stdlib/tx';
-import type { PublicContractsDBInterface } from '../db_interfaces.js';
-import type { PublicTreesDB } from '../public_db_sources.js';
-import { PublicPersistableStateManager } from '../state_manager/state_manager.js';
-/**
- * The transaction-level context for public execution.
- */
-export declare class PublicTxContext {
-    readonly txHash: TxHash;
-    readonly state: PhaseStateManager;
-    private readonly startTreeSnapshots;
-    private readonly globalVariables;
-    private readonly protocolContracts;
-    private readonly proverId;
-    private readonly gasSettings;
-    private readonly gasUsedByPrivate;
-    private readonly gasAllocatedToPublic;
-    private readonly gasAllocatedToPublicTeardown;
-    private readonly setupCallRequests;
-    private readonly appLogicCallRequests;
-    private readonly teardownCallRequests;
-    readonly nonRevertibleContractDeploymentData: ContractDeploymentData;
-    readonly revertibleContractDeploymentData: ContractDeploymentData;
-    readonly nonRevertibleAccumulatedDataFromPrivate: PrivateToPublicAccumulatedData;
-    readonly revertibleAccumulatedDataFromPrivate: PrivateToPublicAccumulatedData;
-    readonly feePayer: AztecAddress;
-    private readonly trace;
-    private log;
-    private gasUsedByPublic;
-    teardownGasUsed: Gas;
-    private halted;
-    private revertCode;
-    revertReason: SimulationError | undefined;
-    private constructor();
-    static create(treesDB: PublicTreesDB, contractsDB: PublicContractsDBInterface, tx: Tx, globalVariables: GlobalVariables, protocolContracts: ProtocolContracts, proverId: Fr, bindings?: LoggerBindings): Promise<PublicTxContext>;
-    /**
-     * Signal that the entire transaction execution is done.
-     * All phases have been processed.
-     * Actual transaction fee and actual total consumed gas can now be queried.
-     */
-    halt(): void;
-    /**
-     * Revert execution a phase. Populate revertReason & revertCode.
-     * If in setup, throw an error (transaction will be thrown out).
-     * NOTE: this does not "halt" the entire transaction execution.
-     */
-    revert(phase: TxExecutionPhase, revertReason?: SimulationError | undefined, culprit?: string): void;
-    /**
-     * Get the revert code.
-     * @returns The revert code.
-     */
-    getFinalRevertCode(): RevertCode;
-    /**
-     * Are there any call requests for the speciiied phase?
-     */
-    hasPhase(phase: TxExecutionPhase): boolean;
-    /**
-     * Get the call requests for the specified phase (including args hashes).
-     */
-    getCallRequestsForPhase(phase: TxExecutionPhase): PublicCallRequestWithCalldata[];
-    /**
-     * How much gas is left as of the specified phase?
-     */
-    getGasLeftAtPhase(phase: TxExecutionPhase): Gas;
-    /**
-     * Consume gas. Track gas for teardown phase separately.
-     */
-    consumeGas(phase: TxExecutionPhase, gas: Gas): void;
-    /**
-     * The gasUsed by public and private, as if the entire teardown gas limit was consumed.
-     *
-     * This is intentional: teardown is used for gas accounting and refunds, so the transaction
-     * fee must be deterministic _before_ teardown executes. If fees depended on teardown's actual
-     * consumption there would be a circular dependency. Billing the full teardown gas limit
-     * (set by the user) makes the fee known in advance and available to the teardown function.
-     */
-    getTotalGasUsed(): Gas;
-    /**
-     * Compute the gas used using the actual gas used during teardown instead
-     * of the teardown gas limit.
-     * Note that this.gasUsed is initialized from private's gasUsed which includes
-     * teardown gas limit.
-     */
-    getActualGasUsed(): Gas;
-    /**
-     * Compute the public gas used using the actual gas used during teardown instead
-     * of the teardown gas limit.
-     */
-    getActualPublicGasUsed(): Gas;
-    /**
-     * Get the transaction fee as is available to the specified phase.
-     * Only teardown should have access to the actual transaction fee.
-     */
-    getTransactionFee(phase: TxExecutionPhase): Fr;
-    /**
-     * Compute the transaction fee.
-     * Should only be called during or after teardown.
-     */
-    private getTransactionFeeUnsafe;
-    /**
-     * Generate the public inputs for the AVM circuit.
-     */
-    generateAvmCircuitPublicInputs(): Promise<AvmCircuitPublicInputs>;
-}
-/**
- * Thin wrapper around the state manager to handle forking and merging for phases.
- *
- * This lets us keep track of whether the state has already been forked
- * so that we can conditionally fork at the start of a phase.
- *
- * There is a state manager that lives at the level of the entire transaction,
- * but for app logic and teardown the active state manager will be a fork of the
- * transaction level one.
- */
-declare class PhaseStateManager {
-    private readonly txStateManager;
-    private log;
-    private currentlyActiveStateManager;
-    constructor(txStateManager: PublicPersistableStateManager, bindings?: LoggerBindings);
-    fork(): Promise<void>;
-    getActiveStateManager(): PublicPersistableStateManager;
-    isForked(): boolean;
-    mergeForkedState(): Promise<void>;
-    discardForkedState(): Promise<void>;
-}
-export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX3R4X2NvbnRleHQuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvcHVibGljX3R4X3NpbXVsYXRvci9wdWJsaWNfdHhfY29udGV4dC50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFRQSxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFDcEQsT0FBTyxFQUFlLEtBQUssY0FBYyxFQUFnQixNQUFNLHVCQUF1QixDQUFDO0FBQ3ZGLE9BQU8sRUFHTCxzQkFBc0IsRUFFdEIsVUFBVSxFQUNYLE1BQU0sbUJBQW1CLENBQUM7QUFDM0IsT0FBTyxLQUFLLEVBQUUsWUFBWSxFQUFFLE1BQU0sNkJBQTZCLENBQUM7QUFDaEUsT0FBTyxFQUE2QixLQUFLLHNCQUFzQixFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDaEcsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFFNUQsT0FBTyxFQUFFLEdBQUcsRUFBZSxNQUFNLG1CQUFtQixDQUFDO0FBQ3JELE9BQU8sRUFHTCw4QkFBOEIsRUFJL0IsTUFBTSxzQkFBc0IsQ0FBQztBQUk5QixPQUFPLEVBQ0wsS0FBSyxlQUFlLEVBQ3BCLGlCQUFpQixFQUNqQiw2QkFBNkIsRUFFN0IsS0FBSyxFQUFFLEVBQ1AsZ0JBQWdCLEVBQ2hCLEtBQUssTUFBTSxFQUNaLE1BQU0sa0JBQWtCLENBQUM7QUFLMUIsT0FBTyxLQUFLLEVBQUUsMEJBQTBCLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUN0RSxPQUFPLEtBQUssRUFBRSxhQUFhLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUU3RCxPQUFPLEVBQUUsNkJBQTZCLEVBQUUsTUFBTSxtQ0FBbUMsQ0FBQztBQUdsRjs7R0FFRztBQUNILHFCQUFhLGVBQWU7YUFlUixNQUFNLEVBQUUsTUFBTTthQUNkLEtBQUssRUFBRSxpQkFBaUI7SUFDeEMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxrQkFBa0I7SUFDbkMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxlQUFlO0lBQ2hDLE9BQU8sQ0FBQyxRQUFRLENBQUMsaUJBQWlCO0lBQ2xDLE9BQU8sQ0FBQyxRQUFRLENBQUMsUUFBUTtJQUN6QixPQUFPLENBQUMsUUFBUSxDQUFDLFdBQVc7SUFDNUIsT0FBTyxDQUFDLFFBQVEsQ0FBQyxnQkFBZ0I7SUFDakMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxvQkFBb0I7SUFDckMsT0FBTyxDQUFDLFFBQVEsQ0FBQyw0QkFBNEI7SUFDN0MsT0FBTyxDQUFDLFFBQVEsQ0FBQyxpQkFBaUI7SUFDbEMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxvQkFBb0I7SUFDckMsT0FBTyxDQUFDLFFBQVEsQ0FBQyxvQkFBb0I7YUFDckIsbUNBQW1DLEVBQUUsc0JBQXNCO2FBQzNELGdDQUFnQyxFQUFFLHNCQUFzQjthQUN4RCx1Q0FBdUMsRUFBRSw4QkFBOEI7YUFDdkUsb0NBQW9DLEVBQUUsOEJBQThCO2FBQ3BFLFFBQVEsRUFBRSxZQUFZO0lBQ3RDLE9BQU8sQ0FBQyxRQUFRLENBQUMsS0FBSztJQWhDeEIsT0FBTyxDQUFDLEdBQUcsQ0FBUztJQUdwQixPQUFPLENBQUMsZUFBZSxDQUFvQjtJQUVwQyxlQUFlLEVBQUUsR0FBRyxDQUFlO0lBRzFDLE9BQU8sQ0FBQyxNQUFNLENBQVM7SUFFdkIsT0FBTyxDQUFDLFVBQVUsQ0FBNkI7SUFFeEMsWUFBWSxFQUFFLGVBQWUsR0FBRyxTQUFTLENBQUM7SUFDakQsT0FBTyxlQXVCTjtJQUVELE9BQW9CLE1BQU0sQ0FDeEIsT0FBTyxFQUFFLGFBQWEsRUFDdEIsV0FBVyxFQUFFLDBCQUEwQixFQUN2QyxFQUFFLEVBQUUsRUFBRSxFQUNOLGVBQWUsRUFBRSxlQUFlLEVBQ2hDLGlCQUFpQixFQUFFLGlCQUFpQixFQUNwQyxRQUFRLEVBQUUsRUFBRSxFQUNaLFFBQVEsQ0FBQyxFQUFFLGNBQWMsNEJBZ0QxQjtJQUVEOzs7O09BSUc7SUFDSCxJQUFJLFNBR0g7SUFFRDs7OztPQUlHO0lBQ0gsTUFBTSxDQUFDLEtBQUssRUFBRSxnQkFBZ0IsRUFBRSxZQUFZLEdBQUUsZUFBZSxHQUFHLFNBQXFCLEVBQUUsT0FBTyxTQUFLLFFBYWxHO0lBRUQ7OztPQUdHO0lBQ0gsa0JBQWtCLElBQUksVUFBVSxDQUcvQjtJQUVEOztPQUVHO0lBQ0gsUUFBUSxDQUFDLEtBQUssRUFBRSxnQkFBZ0IsR0FBRyxPQUFPLENBU3pDO0lBRUQ7O09BRUc7SUFDSCx1QkFBdUIsQ0FBQyxLQUFLLEVBQUUsZ0JBQWdCLEdBQUcsNkJBQTZCLEVBQUUsQ0FTaEY7SUFFRDs7T0FFRztJQUNILGlCQUFpQixDQUFDLEtBQUssRUFBRSxnQkFBZ0IsR0FBRyxHQUFHLENBUTlDO0lBRUQ7O09BRUc7SUFDSCxVQUFVLENBQUMsS0FBSyxFQUFFLGdCQUFnQixFQUFFLEdBQUcsRUFBRSxHQUFHLFFBTTNDO0lBRUQ7Ozs7Ozs7T0FPRztJQUNILGVBQWUsSUFBSSxHQUFHLENBRXJCO0lBRUQ7Ozs7O09BS0c7SUFDSCxnQkFBZ0IsSUFBSSxHQUFHLENBS3RCO0lBRUQ7OztPQUdHO0lBQ0gsc0JBQXNCLElBQUksR0FBRyxDQUc1QjtJQUVEOzs7T0FHRztJQUNILGlCQUFpQixDQUFDLEtBQUssRUFBRSxnQkFBZ0IsR0FBRyxFQUFFLENBTTdDO0lBRUQ7OztPQUdHO0lBQ0gsT0FBTyxDQUFDLHVCQUF1QjtJQWEvQjs7T0FFRztJQUNVLDhCQUE4QixJQUFJLE9BQU8sQ0FBQyxzQkFBc0IsQ0FBQyxDQXVIN0U7Q0FDRjtBQUVEOzs7Ozs7Ozs7R0FTRztBQUNILGNBQU0saUJBQWlCO0lBTW5CLE9BQU8sQ0FBQyxRQUFRLENBQUMsY0FBYztJQUxqQyxPQUFPLENBQUMsR0FBRyxDQUFTO0lBRXBCLE9BQU8sQ0FBQywyQkFBMkIsQ0FBNEM7SUFFL0UsWUFDbUIsY0FBYyxFQUFFLDZCQUE2QixFQUM5RCxRQUFRLENBQUMsRUFBRSxjQUFjLEVBRzFCO0lBRUssSUFBSSxrQkFJVDtJQUVELHFCQUFxQixrQ0FFcEI7SUFFRCxRQUFRLFlBRVA7SUFFSyxnQkFBZ0Isa0JBTXJCO0lBRUssa0JBQWtCLGtCQU12QjtDQUNGIn0=

package/dest/public/public_tx_simulator/public_tx_context.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"public_tx_context.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/public_tx_context.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACpD,OAAO,EAAe,KAAK,cAAc,EAAgB,MAAM,uBAAuB,CAAC;AACvF,OAAO,EAGL,sBAAsB,EAEtB,UAAU,EACX,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,EAA6B,KAAK,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChG,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE5D,OAAO,EAAE,GAAG,EAAe,MAAM,mBAAmB,CAAC;AACrD,OAAO,EAGL,8BAA8B,EAI/B,MAAM,sBAAsB,CAAC;AAI9B,OAAO,EACL,KAAK,eAAe,EACpB,iBAAiB,EACjB,6BAA6B,EAE7B,KAAK,EAAE,EACP,gBAAgB,EAChB,KAAK,MAAM,EACZ,MAAM,kBAAkB,CAAC;AAK1B,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AACtE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAE7D,OAAO,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AAGlF;;GAEG;AACH,qBAAa,eAAe;aAeR,MAAM,EAAE,MAAM;aACd,KAAK,EAAE,iBAAiB;IACxC,OAAO,CAAC,QAAQ,CAAC,kBAAkB;IACnC,OAAO,CAAC,QAAQ,CAAC,eAAe;IAChC,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAClC,OAAO,CAAC,QAAQ,CAAC,QAAQ;IACzB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,gBAAgB;IACjC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,4BAA4B;IAC7C,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAClC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;IACrC,OAAO,CAAC,QAAQ,CAAC,oBAAoB;aACrB,mCAAmC,EAAE,sBAAsB;aAC3D,gCAAgC,EAAE,sBAAsB;aACxD,uCAAuC,EAAE,8BAA8B;aACvE,oCAAoC,EAAE,8BAA8B;aACpE,QAAQ,EAAE,YAAY;IACtC,OAAO,CAAC,QAAQ,CAAC,KAAK;IAhCxB,OAAO,CAAC,GAAG,CAAS;IAGpB,OAAO,CAAC,eAAe,CAAoB;IAEpC,eAAe,EAAE,GAAG,CAAe;IAG1C,OAAO,CAAC,MAAM,CAAS;IAEvB,OAAO,CAAC,UAAU,CAA6B;IAExC,YAAY,EAAE,eAAe,GAAG,SAAS,CAAC;IACjD,OAAO,eAuBN;IAED,OAAoB,MAAM,CACxB,OAAO,EAAE,aAAa,EACtB,WAAW,EAAE,0BAA0B,EACvC,EAAE,EAAE,EAAE,EACN,eAAe,EAAE,eAAe,EAChC,iBAAiB,EAAE,iBAAiB,EACpC,QAAQ,EAAE,EAAE,EACZ,QAAQ,CAAC,EAAE,cAAc,4BAgD1B;IAED;;;;OAIG;IACH,IAAI,SAGH;IAED;;;;OAIG;IACH,MAAM,CAAC,KAAK,EAAE,gBAAgB,EAAE,YAAY,GAAE,eAAe,GAAG,SAAqB,EAAE,OAAO,SAAK,QAalG;IAED;;;OAGG;IACH,kBAAkB,IAAI,UAAU,CAG/B;IAED;;OAEG;IACH,QAAQ,CAAC,KAAK,EAAE,gBAAgB,GAAG,OAAO,CASzC;IAED;;OAEG;IACH,uBAAuB,CAAC,KAAK,EAAE,gBAAgB,GAAG,6BAA6B,EAAE,CAShF;IAED;;OAEG;IACH,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,GAAG,CAQ9C;IAED;;OAEG;IACH,UAAU,CAAC,KAAK,EAAE,gBAAgB,EAAE,GAAG,EAAE,GAAG,QAM3C;IAED;;;;;;;OAOG;IACH,eAAe,IAAI,GAAG,CAErB;IAED;;;;;OAKG;IACH,gBAAgB,IAAI,GAAG,CAKtB;IAED;;;OAGG;IACH,sBAAsB,IAAI,GAAG,CAG5B;IAED;;;OAGG;IACH,iBAAiB,CAAC,KAAK,EAAE,gBAAgB,GAAG,EAAE,CAM7C;IAED;;;OAGG;IACH,OAAO,CAAC,uBAAuB;IAa/B;;OAEG;IACU,8BAA8B,IAAI,OAAO,CAAC,sBAAsB,CAAC,CAuH7E;CACF;AAED;;;;;;;;;GASG;AACH,cAAM,iBAAiB;IAMnB,OAAO,CAAC,QAAQ,CAAC,cAAc;IALjC,OAAO,CAAC,GAAG,CAAS;IAEpB,OAAO,CAAC,2BAA2B,CAA4C;IAE/E,YACmB,cAAc,EAAE,6BAA6B,EAC9D,QAAQ,CAAC,EAAE,cAAc,EAG1B;IAEK,IAAI,kBAIT;IAED,qBAAqB,kCAEpB;IAED,QAAQ,YAEP;IAEK,gBAAgB,kBAMrB;IAEK,kBAAkB,kBAMvB;CACF"}

package/dest/public/public_tx_simulator/public_tx_context.js

@@ -1,298 +0,0 @@
-import { MAX_ENQUEUED_CALLS_PER_TX, MAX_L2_TO_L1_MSGS_PER_TX, MAX_NOTE_HASHES_PER_TX, MAX_NULLIFIERS_PER_TX, MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX } from '@aztec/constants';
-import { padArrayEnd } from '@aztec/foundation/collection';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { createLogger } from '@aztec/foundation/log';
-import { AvmAccumulatedData, AvmAccumulatedDataArrayLengths, AvmCircuitPublicInputs, PublicDataWrite, RevertCode } from '@aztec/stdlib/avm';
-import { AllContractDeploymentData } from '@aztec/stdlib/contract';
-import { computeEffectiveGasFees, computeTransactionFee } from '@aztec/stdlib/fees';
-import { Gas } from '@aztec/stdlib/gas';
-import { PrivateToAvmAccumulatedData, PrivateToAvmAccumulatedDataArrayLengths, PublicCallRequest, PublicCallRequestArrayLengths, countAccumulatedItems } from '@aztec/stdlib/kernel';
-import { FlatPublicLogs } from '@aztec/stdlib/logs';
-import { ScopedL2ToL1Message } from '@aztec/stdlib/messaging';
-import { MerkleTreeId } from '@aztec/stdlib/trees';
-import { TxExecutionPhase } from '@aztec/stdlib/tx';
-import { strict as assert } from 'assert';
-import { inspect } from 'util';
-import { SideEffectTrace } from '../side_effect_trace.js';
-import { PublicPersistableStateManager } from '../state_manager/state_manager.js';
-import { getCallRequestsWithCalldataByPhase } from '../utils.js';
-/**
- * The transaction-level context for public execution.
- */ export class PublicTxContext {
-    txHash;
-    state;
-    startTreeSnapshots;
-    globalVariables;
-    protocolContracts;
-    proverId;
-    gasSettings;
-    gasUsedByPrivate;
-    gasAllocatedToPublic;
-    gasAllocatedToPublicTeardown;
-    setupCallRequests;
-    appLogicCallRequests;
-    teardownCallRequests;
-    nonRevertibleContractDeploymentData;
-    revertibleContractDeploymentData;
-    nonRevertibleAccumulatedDataFromPrivate;
-    revertibleAccumulatedDataFromPrivate;
-    feePayer;
-    trace;
-    log;
-    /* Gas used including private, teardown gas _limit_, setup and app logic */ gasUsedByPublic;
-    /* Gas actually used during teardown (different from limit) */ teardownGasUsed;
-    /* Entire transaction execution is done. */ halted;
-    /* Where did reverts happen (if at all)? */ revertCode;
-    /* What caused a revert (if one occurred)? */ revertReason;
-    constructor(txHash, state, startTreeSnapshots, globalVariables, protocolContracts, proverId, gasSettings, gasUsedByPrivate, gasAllocatedToPublic, gasAllocatedToPublicTeardown, setupCallRequests, appLogicCallRequests, teardownCallRequests, nonRevertibleContractDeploymentData, revertibleContractDeploymentData, nonRevertibleAccumulatedDataFromPrivate, revertibleAccumulatedDataFromPrivate, feePayer, trace, bindings){
-        this.txHash = txHash;
-        this.state = state;
-        this.startTreeSnapshots = startTreeSnapshots;
-        this.globalVariables = globalVariables;
-        this.protocolContracts = protocolContracts;
-        this.proverId = proverId;
-        this.gasSettings = gasSettings;
-        this.gasUsedByPrivate = gasUsedByPrivate;
-        this.gasAllocatedToPublic = gasAllocatedToPublic;
-        this.gasAllocatedToPublicTeardown = gasAllocatedToPublicTeardown;
-        this.setupCallRequests = setupCallRequests;
-        this.appLogicCallRequests = appLogicCallRequests;
-        this.teardownCallRequests = teardownCallRequests;
-        this.nonRevertibleContractDeploymentData = nonRevertibleContractDeploymentData;
-        this.revertibleContractDeploymentData = revertibleContractDeploymentData;
-        this.nonRevertibleAccumulatedDataFromPrivate = nonRevertibleAccumulatedDataFromPrivate;
-        this.revertibleAccumulatedDataFromPrivate = revertibleAccumulatedDataFromPrivate;
-        this.feePayer = feePayer;
-        this.trace = trace;
-        this.gasUsedByPublic = Gas.empty();
-        this.teardownGasUsed = Gas.empty();
-        this.halted = false;
-        this.revertCode = RevertCode.OK;
-        this.log = createLogger(`simulator:public_tx_context`, bindings);
-    }
-    static async create(treesDB, contractsDB, tx, globalVariables, protocolContracts, proverId, bindings) {
-        const contractDeploymentData = AllContractDeploymentData.fromTx(tx);
-        const nonRevertibleContractDeploymentData = contractDeploymentData.getNonRevertibleContractDeploymentData();
-        const revertibleContractDeploymentData = contractDeploymentData.getRevertibleContractDeploymentData();
-        const nonRevertibleAccumulatedDataFromPrivate = tx.data.forPublic.nonRevertibleAccumulatedData;
-        const trace = new SideEffectTrace(0, bindings);
-        const firstNullifier = nonRevertibleAccumulatedDataFromPrivate.nullifiers[0];
-        // Transaction level state manager that will be forked for revertible phases.
-        const txStateManager = PublicPersistableStateManager.create(treesDB, contractsDB, trace, firstNullifier, globalVariables.timestamp, bindings);
-        const gasSettings = tx.data.constants.txContext.gasSettings;
-        const gasUsedByPrivate = tx.data.gasUsed;
-        const gasAllocatedToPublic = gasSettings.gasLimits.sub(gasUsedByPrivate);
-        const gasAllocatedToPublicTeardown = gasSettings.teardownGasLimits;
-        return new PublicTxContext(tx.getTxHash(), new PhaseStateManager(txStateManager, bindings), await txStateManager.getTreeSnapshots(), globalVariables, protocolContracts, proverId, gasSettings, gasUsedByPrivate, gasAllocatedToPublic, gasAllocatedToPublicTeardown, getCallRequestsWithCalldataByPhase(tx, TxExecutionPhase.SETUP), getCallRequestsWithCalldataByPhase(tx, TxExecutionPhase.APP_LOGIC), getCallRequestsWithCalldataByPhase(tx, TxExecutionPhase.TEARDOWN), nonRevertibleContractDeploymentData, revertibleContractDeploymentData, tx.data.forPublic.nonRevertibleAccumulatedData, tx.data.forPublic.revertibleAccumulatedData, tx.data.feePayer, trace, bindings);
-    }
-    /**
-   * Signal that the entire transaction execution is done.
-   * All phases have been processed.
-   * Actual transaction fee and actual total consumed gas can now be queried.
-   */ halt() {
-        assert(!this.state.isForked(), 'Cannot halt when state is forked');
-        this.halted = true;
-    }
-    /**
-   * Revert execution a phase. Populate revertReason & revertCode.
-   * If in setup, throw an error (transaction will be thrown out).
-   * NOTE: this does not "halt" the entire transaction execution.
-   */ revert(phase, revertReason = undefined, culprit = '') {
-        this.log.warn(`${TxExecutionPhase[phase]} phase reverted! ${culprit} failed with reason: ${revertReason?.message}`);
-        if (revertReason && !this.revertReason) {
-            // don't override revertReason
-            // (if app logic and teardown both revert, we want app logic's reason)
-            this.revertReason = revertReason;
-        }
-        if (phase === TxExecutionPhase.SETUP) {
-            this.log.warn(`Setup phase reverted! The transaction will be thrown out.`);
-        } else if (phase === TxExecutionPhase.APP_LOGIC || phase === TxExecutionPhase.TEARDOWN) {
-            this.revertCode = RevertCode.REVERTED;
-        }
-    }
-    /**
-   * Get the revert code.
-   * @returns The revert code.
-   */ getFinalRevertCode() {
-        assert(this.halted, 'Cannot know the final revert code until tx execution ends');
-        return this.revertCode;
-    }
-    /**
-   * Are there any call requests for the speciiied phase?
-   */ hasPhase(phase) {
-        if (phase === TxExecutionPhase.SETUP) {
-            return this.setupCallRequests.length > 0;
-        } else if (phase === TxExecutionPhase.APP_LOGIC) {
-            return this.appLogicCallRequests.length > 0;
-        } else {
-            // phase === TxExecutionPhase.TEARDOWN
-            return this.teardownCallRequests.length > 0;
-        }
-    }
-    /**
-   * Get the call requests for the specified phase (including args hashes).
-   */ getCallRequestsForPhase(phase) {
-        switch(phase){
-            case TxExecutionPhase.SETUP:
-                return this.setupCallRequests;
-            case TxExecutionPhase.APP_LOGIC:
-                return this.appLogicCallRequests;
-            case TxExecutionPhase.TEARDOWN:
-                return this.teardownCallRequests;
-        }
-    }
-    /**
-   * How much gas is left as of the specified phase?
-   */ getGasLeftAtPhase(phase) {
-        if (phase === TxExecutionPhase.TEARDOWN) {
-            const gasLeftForPublicTeardown = this.gasAllocatedToPublicTeardown.sub(this.teardownGasUsed);
-            return gasLeftForPublicTeardown;
-        } else {
-            const gasLeftForPublic = this.gasAllocatedToPublic.sub(this.gasUsedByPublic);
-            return gasLeftForPublic;
-        }
-    }
-    /**
-   * Consume gas. Track gas for teardown phase separately.
-   */ consumeGas(phase, gas) {
-        if (phase === TxExecutionPhase.TEARDOWN) {
-            this.teardownGasUsed = this.teardownGasUsed.add(gas);
-        } else {
-            this.gasUsedByPublic = this.gasUsedByPublic.add(gas);
-        }
-    }
-    /**
-   * The gasUsed by public and private, as if the entire teardown gas limit was consumed.
-   *
-   * This is intentional: teardown is used for gas accounting and refunds, so the transaction
-   * fee must be deterministic _before_ teardown executes. If fees depended on teardown's actual
-   * consumption there would be a circular dependency. Billing the full teardown gas limit
-   * (set by the user) makes the fee known in advance and available to the teardown function.
-   */ getTotalGasUsed() {
-        return this.gasUsedByPrivate.add(this.gasUsedByPublic);
-    }
-    /**
-   * Compute the gas used using the actual gas used during teardown instead
-   * of the teardown gas limit.
-   * Note that this.gasUsed is initialized from private's gasUsed which includes
-   * teardown gas limit.
-   */ getActualGasUsed() {
-        assert(this.halted, 'Can only compute actual gas used after tx execution ends');
-        const requireTeardown = this.teardownCallRequests.length > 0;
-        const teardownGasLimits = requireTeardown ? this.gasSettings.teardownGasLimits : Gas.empty();
-        return this.getTotalGasUsed().sub(teardownGasLimits).add(this.teardownGasUsed);
-    }
-    /**
-   * Compute the public gas used using the actual gas used during teardown instead
-   * of the teardown gas limit.
-   */ getActualPublicGasUsed() {
-        assert(this.halted, 'Can only compute actual gas used after tx execution ends');
-        return this.gasUsedByPublic.add(this.teardownGasUsed);
-    }
-    /**
-   * Get the transaction fee as is available to the specified phase.
-   * Only teardown should have access to the actual transaction fee.
-   */ getTransactionFee(phase) {
-        if (phase === TxExecutionPhase.TEARDOWN) {
-            return this.getTransactionFeeUnsafe();
-        } else {
-            return Fr.zero();
-        }
-    }
-    /**
-   * Compute the transaction fee.
-   * Should only be called during or after teardown.
-   */ getTransactionFeeUnsafe() {
-        const gasUsed = this.getTotalGasUsed();
-        const txFee = computeTransactionFee(this.globalVariables.gasFees, this.gasSettings, gasUsed);
-        this.log.debug(`Computed tx fee`, {
-            txFee,
-            gasUsed: inspect(gasUsed),
-            gasFees: inspect(this.globalVariables.gasFees)
-        });
-        return txFee;
-    }
-    /**
-   * Generate the public inputs for the AVM circuit.
-   */ async generateAvmCircuitPublicInputs() {
-        assert(this.halted, 'Can only get AvmCircuitPublicInputs after tx execution ends');
-        const stateManager = this.state.getActiveStateManager();
-        // We get the side effects from the AVM.
-        // The AVM will already have handled the conditional insertion of most private side-effects.
-        // (depending on the revert code of each stage). Only l2ToL1Msgs and publicLogs still need to be "merged".
-        const { publicDataWrites: avmPublicDataWrites, noteHashes: avmNoteHashes, nullifiers: avmNullifiers, l2ToL1Msgs: avmL2ToL1Msgs, publicLogs: avmPublicLogs } = this.trace.getSideEffects();
-        // Private generates PrivateLogs, and public execution generates PublicLogs.
-        // Since these are two different categories, they should not be merged.
-        const finalPublicLogs = avmPublicLogs;
-        // We squash public data writes.
-        // Maps slot to value. Maps in TS are iterable in insertion order, which is exactly what we want for
-        // squashing "to the left", where the first occurrence of a slot uses the value of the last write to it,
-        // and the rest occurrences are omitted.
-        // Note: you can't write public state from private, so we only squash what we got from the AVM.
-        const finalPublicDataWrites = (()=>{
-            const squashedPublicDataWrites = new Map();
-            for (const publicDataWrite of avmPublicDataWrites){
-                squashedPublicDataWrites.set(publicDataWrite.leafSlot.toBigInt(), publicDataWrite.newValue);
-            }
-            return Array.from(squashedPublicDataWrites.entries()).map(([slot, value])=>new PublicDataWrite(new Fr(slot), value));
-        })();
-        // Count before padding.
-        const accumulatedDataArrayLengths = new AvmAccumulatedDataArrayLengths(avmNoteHashes.length, avmNullifiers.length, avmL2ToL1Msgs.length, finalPublicDataWrites.length);
-        const accumulatedData = new AvmAccumulatedData(/*noteHashes=*/ padArrayEnd(avmNoteHashes.map((n)=>n.value), Fr.zero(), MAX_NOTE_HASHES_PER_TX), /*nullifiers=*/ padArrayEnd(avmNullifiers.map((n)=>n.value), Fr.zero(), MAX_NULLIFIERS_PER_TX), /*l2ToL1Msgs=*/ padArrayEnd(avmL2ToL1Msgs, ScopedL2ToL1Message.empty(), MAX_L2_TO_L1_MSGS_PER_TX), /*publicLogs=*/ FlatPublicLogs.fromLogs(finalPublicLogs), /*publicDataWrites=*/ padArrayEnd(finalPublicDataWrites, PublicDataWrite.empty(), MAX_TOTAL_PUBLIC_DATA_UPDATE_REQUESTS_PER_TX));
-        // Now we finally have enough information to pad the trees.
-        // NOTE(fcarreiro): a bit weird that a method that generates the PIs does this,
-        // but we do need the end tree snapshots. We can consider moving things to the caller.
-        const numNoteHashesToPad = MAX_NOTE_HASHES_PER_TX - avmNoteHashes.length;
-        const numNullifiersToPad = MAX_NULLIFIERS_PER_TX - avmNullifiers.length;
-        await stateManager.padTree(MerkleTreeId.NOTE_HASH_TREE, numNoteHashesToPad);
-        await stateManager.padTree(MerkleTreeId.NULLIFIER_TREE, numNullifiersToPad);
-        const endTreeSnapshots = await stateManager.getTreeSnapshots();
-        // This converts the private accumulated data to the avm accumulated data format.
-        const convertAccumulatedData = (from)=>new PrivateToAvmAccumulatedData(from.noteHashes, from.nullifiers, from.l2ToL1Msgs);
-        const getPreviousAccumulatedDataArrayLengths = (from)=>new PrivateToAvmAccumulatedDataArrayLengths(countAccumulatedItems(from.noteHashes), countAccumulatedItems(from.nullifiers), countAccumulatedItems(from.l2ToL1Msgs));
-        return new AvmCircuitPublicInputs(this.globalVariables, this.protocolContracts, this.startTreeSnapshots, /*startGasUsed=*/ this.gasUsedByPrivate, this.gasSettings, computeEffectiveGasFees(this.globalVariables.gasFees, this.gasSettings), this.feePayer, this.proverId, /*publicCallRequestArrayLengths=*/ new PublicCallRequestArrayLengths(this.setupCallRequests.length, this.appLogicCallRequests.length, this.teardownCallRequests.length > 0), /*publicSetupCallRequests=*/ padArrayEnd(this.setupCallRequests.map((r)=>r.request), PublicCallRequest.empty(), MAX_ENQUEUED_CALLS_PER_TX), /*publicAppLogicCallRequests=*/ padArrayEnd(this.appLogicCallRequests.map((r)=>r.request), PublicCallRequest.empty(), MAX_ENQUEUED_CALLS_PER_TX), /*publicTeardownCallRequests=*/ this.teardownCallRequests.length > 0 ? this.teardownCallRequests[0].request : PublicCallRequest.empty(), getPreviousAccumulatedDataArrayLengths(this.nonRevertibleAccumulatedDataFromPrivate), getPreviousAccumulatedDataArrayLengths(this.revertibleAccumulatedDataFromPrivate), convertAccumulatedData(this.nonRevertibleAccumulatedDataFromPrivate), convertAccumulatedData(this.revertibleAccumulatedDataFromPrivate), endTreeSnapshots, this.getTotalGasUsed(), accumulatedDataArrayLengths, accumulatedData, /*transactionFee=*/ this.getTransactionFeeUnsafe(), /*isReverted=*/ !this.revertCode.isOK());
-    }
-}
-/**
- * Thin wrapper around the state manager to handle forking and merging for phases.
- *
- * This lets us keep track of whether the state has already been forked
- * so that we can conditionally fork at the start of a phase.
- *
- * There is a state manager that lives at the level of the entire transaction,
- * but for app logic and teardown the active state manager will be a fork of the
- * transaction level one.
- */ class PhaseStateManager {
-    txStateManager;
-    log;
-    currentlyActiveStateManager;
-    constructor(txStateManager, bindings){
-        this.txStateManager = txStateManager;
-        this.log = createLogger(`simulator:public_phase_state_manager`, bindings);
-    }
-    async fork() {
-        assert(!this.currentlyActiveStateManager, 'Cannot fork when already forked');
-        this.log.debug(`Forking phase state manager`);
-        this.currentlyActiveStateManager = await this.txStateManager.fork();
-    }
-    getActiveStateManager() {
-        return this.currentlyActiveStateManager || this.txStateManager;
-    }
-    isForked() {
-        return !!this.currentlyActiveStateManager;
-    }
-    async mergeForkedState() {
-        assert(this.currentlyActiveStateManager, 'No forked state to merge');
-        this.log.debug(`Merging in forked state`);
-        await this.txStateManager.merge(this.currentlyActiveStateManager);
-        // Drop the forked state manager now that it is merged
-        this.currentlyActiveStateManager = undefined;
-    }
-    async discardForkedState() {
-        this.log.debug(`Discarding forked state`);
-        assert(this.currentlyActiveStateManager, 'No forked state to discard');
-        await this.txStateManager.reject(this.currentlyActiveStateManager);
-        // Drop the forked state manager. We don't want it!
-        this.currentlyActiveStateManager = undefined;
-    }
-}

package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts

@@ -1,21 +0,0 @@
-import type { Fr } from '@aztec/foundation/curves/bn254';
-import type { PublicSimulatorConfig } from '@aztec/stdlib/avm';
-import type { Gas } from '@aztec/stdlib/gas';
-import type { MerkleTreeWriteOperations } from '@aztec/stdlib/trees';
-import { type GlobalVariables, PublicCallRequestWithCalldata, TxExecutionPhase } from '@aztec/stdlib/tx';
-import { type TelemetryClient, type Tracer } from '@aztec/telemetry-client';
-import type { AvmFinalizedCallResult } from '../avm/avm_contract_call_result.js';
-import type { PublicContractsDB } from '../public_db_sources.js';
-import type { PublicPersistableStateManager } from '../state_manager/state_manager.js';
-import { MeasuredPublicTxSimulator } from './measured_public_tx_simulator.js';
-import { PublicTxContext } from './public_tx_context.js';
-/**
- * A public tx simulator that tracks runtime/production metrics with telemetry.
- */
-export declare class TelemetryPublicTxSimulator extends MeasuredPublicTxSimulator {
-    readonly tracer: Tracer;
-    constructor(merkleTree: MerkleTreeWriteOperations, contractsDB: PublicContractsDB, globalVariables: GlobalVariables, telemetryClient?: TelemetryClient, config?: Partial<PublicSimulatorConfig>);
-    protected simulateEnqueuedCall(phase: TxExecutionPhase, context: PublicTxContext, callRequest: PublicCallRequestWithCalldata): Promise<AvmFinalizedCallResult>;
-    protected simulateEnqueuedCallInternal(stateManager: PublicPersistableStateManager, callRequest: PublicCallRequestWithCalldata, allocatedGas: Gas, transactionFee: Fr, fnName: string): Promise<AvmFinalizedCallResult>;
-}
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidGVsZW1ldHJ5X3B1YmxpY190eF9zaW11bGF0b3IuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9wdWJsaWMvcHVibGljX3R4X3NpbXVsYXRvci90ZWxlbWV0cnlfcHVibGljX3R4X3NpbXVsYXRvci50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEtBQUssRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUN6RCxPQUFPLEtBQUssRUFBRSxxQkFBcUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQy9ELE9BQU8sS0FBSyxFQUFFLEdBQUcsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQzdDLE9BQU8sS0FBSyxFQUFFLHlCQUF5QixFQUFFLE1BQU0scUJBQXFCLENBQUM7QUFDckUsT0FBTyxFQUFFLEtBQUssZUFBZSxFQUFFLDZCQUE2QixFQUFFLGdCQUFnQixFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDekcsT0FBTyxFQUFjLEtBQUssZUFBZSxFQUFFLEtBQUssTUFBTSxFQUFpQyxNQUFNLHlCQUF5QixDQUFDO0FBRXZILE9BQU8sS0FBSyxFQUFFLHNCQUFzQixFQUFFLE1BQU0sb0NBQW9DLENBQUM7QUFFakYsT0FBTyxLQUFLLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNqRSxPQUFPLEtBQUssRUFBRSw2QkFBNkIsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQ3ZGLE9BQU8sRUFBRSx5QkFBeUIsRUFBRSxNQUFNLG1DQUFtQyxDQUFDO0FBQzlFLE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUV6RDs7R0FFRztBQUNILHFCQUFhLDBCQUEyQixTQUFRLHlCQUF5QjtJQUV2RSxTQUFnQixNQUFNLEVBQUUsTUFBTSxDQUFDO0lBRS9CLFlBQ0UsVUFBVSxFQUFFLHlCQUF5QixFQUNyQyxXQUFXLEVBQUUsaUJBQWlCLEVBQzlCLGVBQWUsRUFBRSxlQUFlLEVBQ2hDLGVBQWUsR0FBRSxlQUFzQyxFQUN2RCxNQUFNLENBQUMsRUFBRSxPQUFPLENBQUMscUJBQXFCLENBQUMsRUFLeEM7SUFFRCxVQU15QixvQkFBb0IsQ0FDM0MsS0FBSyxFQUFFLGdCQUFnQixFQUN2QixPQUFPLEVBQUUsZUFBZSxFQUN4QixXQUFXLEVBQUUsNkJBQTZCLEdBQ3pDLE9BQU8sQ0FBQyxzQkFBc0IsQ0FBQyxDQUVqQztJQUVELFVBTXlCLDRCQUE0QixDQUNuRCxZQUFZLEVBQUUsNkJBQTZCLEVBQzNDLFdBQVcsRUFBRSw2QkFBNkIsRUFDMUMsWUFBWSxFQUFFLEdBQUcsRUFDakIsY0FBYyxFQUFFLEVBQUUsRUFDbEIsTUFBTSxFQUFFLE1BQU0sR0FDYixPQUFPLENBQUMsc0JBQXNCLENBQUMsQ0FFakM7Q0FDRiJ9

package/dest/public/public_tx_simulator/telemetry_public_tx_simulator.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"telemetry_public_tx_simulator.d.ts","sourceRoot":"","sources":["../../../src/public/public_tx_simulator/telemetry_public_tx_simulator.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AACzD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAC7C,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,EAAE,KAAK,eAAe,EAAE,6BAA6B,EAAE,gBAAgB,EAAE,MAAM,kBAAkB,CAAC;AACzG,OAAO,EAAc,KAAK,eAAe,EAAE,KAAK,MAAM,EAAiC,MAAM,yBAAyB,CAAC;AAEvH,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAEjF,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,mCAAmC,CAAC;AACvF,OAAO,EAAE,yBAAyB,EAAE,MAAM,mCAAmC,CAAC;AAC9E,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AAEzD;;GAEG;AACH,qBAAa,0BAA2B,SAAQ,yBAAyB;IAEvE,SAAgB,MAAM,EAAE,MAAM,CAAC;IAE/B,YACE,UAAU,EAAE,yBAAyB,EACrC,WAAW,EAAE,iBAAiB,EAC9B,eAAe,EAAE,eAAe,EAChC,eAAe,GAAE,eAAsC,EACvD,MAAM,CAAC,EAAE,OAAO,CAAC,qBAAqB,CAAC,EAKxC;IAED,UAMyB,oBAAoB,CAC3C,KAAK,EAAE,gBAAgB,EACvB,OAAO,EAAE,eAAe,EACxB,WAAW,EAAE,6BAA6B,GACzC,OAAO,CAAC,sBAAsB,CAAC,CAEjC;IAED,UAMyB,4BAA4B,CACnD,YAAY,EAAE,6BAA6B,EAC3C,WAAW,EAAE,6BAA6B,EAC1C,YAAY,EAAE,GAAG,EACjB,cAAc,EAAE,EAAE,EAClB,MAAM,EAAE,MAAM,GACb,OAAO,CAAC,sBAAsB,CAAC,CAEjC;CACF"}