@aztec/simulator 0.22.0

package/dest/public/public_execution_context.d.ts

@@ -0,0 +1,103 @@
+import { FunctionL2Logs, UnencryptedL2Log } from '@aztec/circuit-types';
+import { FunctionSelector, GlobalVariables, Header } from '@aztec/circuits.js';
+import { AztecAddress } from '@aztec/foundation/aztec-address';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+import { TypedOracle } from '../acvm/index.js';
+import { PackedArgsCache, SideEffectCounter } from '../common/index.js';
+import { CommitmentsDB, PublicContractsDB, PublicStateDB } from './db.js';
+import { PublicExecution, PublicExecutionResult } from './execution.js';
+/**
+ * The execution context for a public tx simulation.
+ */
+export declare class PublicExecutionContext extends TypedOracle {
+    /**
+     * Data for this execution.
+     */
+    readonly execution: PublicExecution;
+    private readonly header;
+    private readonly globalVariables;
+    private readonly packedArgsCache;
+    private readonly sideEffectCounter;
+    private readonly stateDb;
+    private readonly contractsDb;
+    private readonly commitmentsDb;
+    private log;
+    private storageActions;
+    private nestedExecutions;
+    private unencryptedLogs;
+    constructor(
+    /**
+     * Data for this execution.
+     */
+    execution: PublicExecution, header: Header, globalVariables: GlobalVariables, packedArgsCache: PackedArgsCache, sideEffectCounter: SideEffectCounter, stateDb: PublicStateDB, contractsDb: PublicContractsDB, commitmentsDb: CommitmentsDB, log?: import("@aztec/foundation/log").DebugLogger);
+    /**
+     * Generates the initial witness for a public function.
+     * @param args - The arguments to the function.
+     * @param callContext - The call context of the function.
+     * @param header - Contains data required to reconstruct a block hash (historical roots etc.).
+     * @param globalVariables - The global variables.
+     * @param witnessStartIndex - The index where to start inserting the parameters.
+     * @returns The initial witness.
+     */
+    getInitialWitness(witnessStartIndex?: number): Map<number, string>;
+    /**
+     * Return the nested execution results during this execution.
+     */
+    getNestedExecutions(): PublicExecutionResult[];
+    /**
+     * Return the encrypted logs emitted during this execution.
+     */
+    getUnencryptedLogs(): FunctionL2Logs;
+    /**
+     * Return the data read and updated during this execution.
+     */
+    getStorageActionData(): {
+        contractStorageReads: import("@aztec/circuits.js").ContractStorageRead[];
+        contractStorageUpdateRequests: import("@aztec/circuits.js").ContractStorageUpdateRequest[];
+    };
+    /**
+     * Pack the given arguments.
+     * @param args - Arguments to pack
+     */
+    packArguments(args: Fr[]): Promise<Fr>;
+    /**
+     * Fetches the a message from the db, given its key.
+     * @param msgKey - A buffer representing the message key.
+     * @returns The l1 to l2 message data
+     */
+    getL1ToL2Message(msgKey: Fr): Promise<import("../acvm/index.js").MessageLoadOracleInputs<16>>;
+    /**
+     * Emit an unencrypted log.
+     * @param log - The unencrypted log to be emitted.
+     */
+    emitUnencryptedLog(log: UnencryptedL2Log): void;
+    /**
+     * Retrieves the portal contract address associated with the given contract address.
+     * Returns zero address if the input contract address is not found or invalid.
+     * @param contractAddress - The address of the contract whose portal address is to be fetched.
+     * @returns The portal contract address.
+     */
+    getPortalContractAddress(contractAddress: AztecAddress): Promise<EthAddress>;
+    /**
+     * Read the public storage data.
+     * @param startStorageSlot - The starting storage slot.
+     * @param numberOfElements - Number of elements to read from the starting storage slot.
+     */
+    storageRead(startStorageSlot: Fr, numberOfElements: number): Promise<Fr[]>;
+    /**
+     * Write some values to the public storage.
+     * @param startStorageSlot - The starting storage slot.
+     * @param values - The values to be written.
+     */
+    storageWrite(startStorageSlot: Fr, values: Fr[]): Promise<Fr[]>;
+    /**
+     * Calls a public function as a nested execution.
+     * @param targetContractAddress - The address of the contract to call.
+     * @param functionSelector - The function selector of the function to call.
+     * @param argsHash - The packed arguments to pass to the function.
+     * @returns The return values of the public function.
+     */
+    callPublicFunction(targetContractAddress: AztecAddress, functionSelector: FunctionSelector, argsHash: Fr): Promise<Fr[]>;
+}
+//# sourceMappingURL=public_execution_context.d.ts.map

package/dest/public/public_execution_context.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"public_execution_context.d.ts","sourceRoot":"","sources":["../../src/public/public_execution_context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,sBAAsB,CAAC;AACxE,OAAO,EAA6B,gBAAgB,EAAE,eAAe,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC1G,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,UAAU,EAAE,MAAM,+BAA+B,CAAC;AAC3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAG9C,OAAO,EAAE,WAAW,EAAiB,MAAM,kBAAkB,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,oBAAoB,CAAC;AACxE,OAAO,EAAE,aAAa,EAAE,iBAAiB,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,qBAAqB,EAAE,MAAM,gBAAgB,CAAC;AAIxE;;GAEG;AACH,qBAAa,sBAAuB,SAAQ,WAAW;IAMnD;;OAEG;aACa,SAAS,EAAE,eAAe;IAC1C,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,eAAe;IAChC,OAAO,CAAC,QAAQ,CAAC,eAAe;IAChC,OAAO,CAAC,QAAQ,CAAC,iBAAiB;IAClC,OAAO,CAAC,QAAQ,CAAC,OAAO;IACxB,OAAO,CAAC,QAAQ,CAAC,WAAW;IAC5B,OAAO,CAAC,QAAQ,CAAC,aAAa;IAC9B,OAAO,CAAC,GAAG;IAhBb,OAAO,CAAC,cAAc,CAAkC;IACxD,OAAO,CAAC,gBAAgB,CAA+B;IACvD,OAAO,CAAC,eAAe,CAA0B;;IAG/C;;OAEG;IACa,SAAS,EAAE,eAAe,EACzB,MAAM,EAAE,MAAM,EACd,eAAe,EAAE,eAAe,EAChC,eAAe,EAAE,eAAe,EAChC,iBAAiB,EAAE,iBAAiB,EACpC,OAAO,EAAE,aAAa,EACtB,WAAW,EAAE,iBAAiB,EAC9B,aAAa,EAAE,aAAa,EACrC,GAAG,8CAAgE;IAM7E;;;;;;;;OAQG;IACI,iBAAiB,CAAC,iBAAiB,SAAI;IAO9C;;OAEG;IACI,mBAAmB;IAI1B;;OAEG;IACI,kBAAkB;IAIzB;;OAEG;IACI,oBAAoB;;;;IAK3B;;;OAGG;IACI,aAAa,CAAC,IAAI,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC;IAI7C;;;;OAIG;IACU,gBAAgB,CAAC,MAAM,EAAE,EAAE;IAIxC;;;OAGG;IACI,kBAAkB,CAAC,GAAG,EAAE,gBAAgB;IAM/C;;;;;OAKG;IACU,wBAAwB,CAAC,eAAe,EAAE,YAAY;IAInE;;;;OAIG;IACU,WAAW,CAAC,gBAAgB,EAAE,EAAE,EAAE,gBAAgB,EAAE,MAAM;IAYvE;;;;OAIG;IACU,YAAY,CAAC,gBAAgB,EAAE,EAAE,EAAE,MAAM,EAAE,EAAE,EAAE;IAc5D;;;;;;OAMG;IACU,kBAAkB,CAC7B,qBAAqB,EAAE,YAAY,EACnC,gBAAgB,EAAE,gBAAgB,EAClC,QAAQ,EAAE,EAAE;CAuDf"}

package/dest/public/public_execution_context.js

@@ -0,0 +1,175 @@
+import { FunctionL2Logs } from '@aztec/circuit-types';
+import { CallContext, FunctionData } from '@aztec/circuits.js';
+import { EthAddress } from '@aztec/foundation/eth-address';
+import { Fr } from '@aztec/foundation/fields';
+import { createDebugLogger } from '@aztec/foundation/log';
+import { TypedOracle, toACVMWitness } from '../acvm/index.js';
+import { executePublicFunction } from './executor.js';
+import { ContractStorageActionsCollector } from './state_actions.js';
+/**
+ * The execution context for a public tx simulation.
+ */
+export class PublicExecutionContext extends TypedOracle {
+    constructor(
+    /**
+     * Data for this execution.
+     */
+    execution, header, globalVariables, packedArgsCache, sideEffectCounter, stateDb, contractsDb, commitmentsDb, log = createDebugLogger('aztec:simulator:public_execution_context')) {
+        super();
+        this.execution = execution;
+        this.header = header;
+        this.globalVariables = globalVariables;
+        this.packedArgsCache = packedArgsCache;
+        this.sideEffectCounter = sideEffectCounter;
+        this.stateDb = stateDb;
+        this.contractsDb = contractsDb;
+        this.commitmentsDb = commitmentsDb;
+        this.log = log;
+        this.nestedExecutions = [];
+        this.unencryptedLogs = [];
+        this.storageActions = new ContractStorageActionsCollector(stateDb, execution.contractAddress);
+    }
+    /**
+     * Generates the initial witness for a public function.
+     * @param args - The arguments to the function.
+     * @param callContext - The call context of the function.
+     * @param header - Contains data required to reconstruct a block hash (historical roots etc.).
+     * @param globalVariables - The global variables.
+     * @param witnessStartIndex - The index where to start inserting the parameters.
+     * @returns The initial witness.
+     */
+    getInitialWitness(witnessStartIndex = 0) {
+        const { callContext, args } = this.execution;
+        const fields = [...callContext.toFields(), ...this.header.toFields(), ...this.globalVariables.toFields(), ...args];
+        return toACVMWitness(witnessStartIndex, fields);
+    }
+    /**
+     * Return the nested execution results during this execution.
+     */
+    getNestedExecutions() {
+        return this.nestedExecutions;
+    }
+    /**
+     * Return the encrypted logs emitted during this execution.
+     */
+    getUnencryptedLogs() {
+        return new FunctionL2Logs(this.unencryptedLogs.map(log => log.toBuffer()));
+    }
+    /**
+     * Return the data read and updated during this execution.
+     */
+    getStorageActionData() {
+        const [contractStorageReads, contractStorageUpdateRequests] = this.storageActions.collect();
+        return { contractStorageReads, contractStorageUpdateRequests };
+    }
+    /**
+     * Pack the given arguments.
+     * @param args - Arguments to pack
+     */
+    packArguments(args) {
+        return Promise.resolve(this.packedArgsCache.pack(args));
+    }
+    /**
+     * Fetches the a message from the db, given its key.
+     * @param msgKey - A buffer representing the message key.
+     * @returns The l1 to l2 message data
+     */
+    async getL1ToL2Message(msgKey) {
+        return await this.commitmentsDb.getL1ToL2Message(msgKey);
+    }
+    /**
+     * Emit an unencrypted log.
+     * @param log - The unencrypted log to be emitted.
+     */
+    emitUnencryptedLog(log) {
+        // TODO(https://github.com/AztecProtocol/aztec-packages/issues/885)
+        this.unencryptedLogs.push(log);
+        this.log(`Emitted unencrypted log: "${log.toHumanReadable()}"`);
+    }
+    /**
+     * Retrieves the portal contract address associated with the given contract address.
+     * Returns zero address if the input contract address is not found or invalid.
+     * @param contractAddress - The address of the contract whose portal address is to be fetched.
+     * @returns The portal contract address.
+     */
+    async getPortalContractAddress(contractAddress) {
+        return (await this.contractsDb.getPortalContractAddress(contractAddress)) ?? EthAddress.ZERO;
+    }
+    /**
+     * Read the public storage data.
+     * @param startStorageSlot - The starting storage slot.
+     * @param numberOfElements - Number of elements to read from the starting storage slot.
+     */
+    async storageRead(startStorageSlot, numberOfElements) {
+        const values = [];
+        for (let i = 0; i < Number(numberOfElements); i++) {
+            const storageSlot = new Fr(startStorageSlot.value + BigInt(i));
+            const sideEffectCounter = this.sideEffectCounter.count();
+            const value = await this.storageActions.read(storageSlot, sideEffectCounter);
+            this.log(`Oracle storage read: slot=${storageSlot.toString()} value=${value.toString()}`);
+            values.push(value);
+        }
+        return values;
+    }
+    /**
+     * Write some values to the public storage.
+     * @param startStorageSlot - The starting storage slot.
+     * @param values - The values to be written.
+     */
+    async storageWrite(startStorageSlot, values) {
+        const newValues = [];
+        for (let i = 0; i < values.length; i++) {
+            const storageSlot = new Fr(startStorageSlot.value + BigInt(i));
+            const newValue = values[i];
+            const sideEffectCounter = this.sideEffectCounter.count();
+            await this.storageActions.write(storageSlot, newValue, sideEffectCounter);
+            await this.stateDb.storageWrite(this.execution.contractAddress, storageSlot, newValue);
+            this.log(`Oracle storage write: slot=${storageSlot.toString()} value=${newValue.toString()}`);
+            newValues.push(newValue);
+        }
+        return newValues;
+    }
+    /**
+     * Calls a public function as a nested execution.
+     * @param targetContractAddress - The address of the contract to call.
+     * @param functionSelector - The function selector of the function to call.
+     * @param argsHash - The packed arguments to pass to the function.
+     * @returns The return values of the public function.
+     */
+    async callPublicFunction(targetContractAddress, functionSelector, argsHash) {
+        const args = this.packedArgsCache.unpack(argsHash);
+        this.log(`Public function call: addr=${targetContractAddress} selector=${functionSelector} args=${args.join(',')}`);
+        const portalAddress = (await this.contractsDb.getPortalContractAddress(targetContractAddress)) ?? EthAddress.ZERO;
+        const isInternal = await this.contractsDb.getIsInternal(targetContractAddress, functionSelector);
+        if (isInternal === undefined) {
+            throw new Error(`ERR: Method not found - ${targetContractAddress.toString()}:${functionSelector.toString()}`);
+        }
+        const acir = await this.contractsDb.getBytecode(targetContractAddress, functionSelector);
+        if (!acir) {
+            throw new Error(`Bytecode not found for ${targetContractAddress}:${functionSelector}`);
+        }
+        const functionData = new FunctionData(functionSelector, isInternal, false, false);
+        const callContext = CallContext.from({
+            msgSender: this.execution.contractAddress,
+            portalContractAddress: portalAddress,
+            storageContractAddress: targetContractAddress,
+            functionSelector,
+            isContractDeployment: false,
+            isDelegateCall: false,
+            isStaticCall: false,
+            startSideEffectCounter: 0, // TODO use counters in public execution
+        });
+        const nestedExecution = {
+            args,
+            contractAddress: targetContractAddress,
+            functionData,
+            callContext,
+        };
+        const context = new PublicExecutionContext(nestedExecution, this.header, this.globalVariables, this.packedArgsCache, this.sideEffectCounter, this.stateDb, this.contractsDb, this.commitmentsDb, this.log);
+        const childExecutionResult = await executePublicFunction(context, acir);
+        this.nestedExecutions.push(childExecutionResult);
+        this.log(`Returning from nested call: ret=${childExecutionResult.returnValues.join(', ')}`);
+        return childExecutionResult.returnValues;
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoicHVibGljX2V4ZWN1dGlvbl9jb250ZXh0LmpzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL3B1YmxpYy9wdWJsaWNfZXhlY3V0aW9uX2NvbnRleHQudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBTyxFQUFFLGNBQWMsRUFBb0IsTUFBTSxzQkFBc0IsQ0FBQztBQUN4RSxPQUFPLEVBQUUsV0FBVyxFQUFFLFlBQVksRUFBNkMsTUFBTSxvQkFBb0IsQ0FBQztBQUUxRyxPQUFPLEVBQUUsVUFBVSxFQUFFLE1BQU0sK0JBQStCLENBQUM7QUFDM0QsT0FBTyxFQUFFLEVBQUUsRUFBRSxNQUFNLDBCQUEwQixDQUFDO0FBQzlDLE9BQU8sRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHVCQUF1QixDQUFDO0FBRTFELE9BQU8sRUFBRSxXQUFXLEVBQUUsYUFBYSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFJOUQsT0FBTyxFQUFFLHFCQUFxQixFQUFFLE1BQU0sZUFBZSxDQUFDO0FBQ3RELE9BQU8sRUFBRSwrQkFBK0IsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBRXJFOztHQUVHO0FBQ0gsTUFBTSxPQUFPLHNCQUF1QixTQUFRLFdBQVc7SUFLckQ7SUFDRTs7T0FFRztJQUNhLFNBQTBCLEVBQ3pCLE1BQWMsRUFDZCxlQUFnQyxFQUNoQyxlQUFnQyxFQUNoQyxpQkFBb0MsRUFDcEMsT0FBc0IsRUFDdEIsV0FBOEIsRUFDOUIsYUFBNEIsRUFDckMsTUFBTSxpQkFBaUIsQ0FBQywwQ0FBMEMsQ0FBQztRQUUzRSxLQUFLLEVBQUUsQ0FBQztRQVZRLGNBQVMsR0FBVCxTQUFTLENBQWlCO1FBQ3pCLFdBQU0sR0FBTixNQUFNLENBQVE7UUFDZCxvQkFBZSxHQUFmLGVBQWUsQ0FBaUI7UUFDaEMsb0JBQWUsR0FBZixlQUFlLENBQWlCO1FBQ2hDLHNCQUFpQixHQUFqQixpQkFBaUIsQ0FBbUI7UUFDcEMsWUFBTyxHQUFQLE9BQU8sQ0FBZTtRQUN0QixnQkFBVyxHQUFYLFdBQVcsQ0FBbUI7UUFDOUIsa0JBQWEsR0FBYixhQUFhLENBQWU7UUFDckMsUUFBRyxHQUFILEdBQUcsQ0FBZ0U7UUFmckUscUJBQWdCLEdBQTRCLEVBQUUsQ0FBQztRQUMvQyxvQkFBZSxHQUF1QixFQUFFLENBQUM7UUFpQi9DLElBQUksQ0FBQyxjQUFjLEdBQUcsSUFBSSwrQkFBK0IsQ0FBQyxPQUFPLEVBQUUsU0FBUyxDQUFDLGVBQWUsQ0FBQyxDQUFDO0lBQ2hHLENBQUM7SUFFRDs7Ozs7Ozs7T0FRRztJQUNJLGlCQUFpQixDQUFDLGlCQUFpQixHQUFHLENBQUM7UUFDNUMsTUFBTSxFQUFFLFdBQVcsRUFBRSxJQUFJLEVBQUUsR0FBRyxJQUFJLENBQUMsU0FBUyxDQUFDO1FBQzdDLE1BQU0sTUFBTSxHQUFHLENBQUMsR0FBRyxXQUFXLENBQUMsUUFBUSxFQUFFLEVBQUUsR0FBRyxJQUFJLENBQUMsTUFBTSxDQUFDLFFBQVEsRUFBRSxFQUFFLEdBQUcsSUFBSSxDQUFDLGVBQWUsQ0FBQyxRQUFRLEVBQUUsRUFBRSxHQUFHLElBQUksQ0FBQyxDQUFDO1FBRW5ILE9BQU8sYUFBYSxDQUFDLGlCQUFpQixFQUFFLE1BQU0sQ0FBQyxDQUFDO0lBQ2xELENBQUM7SUFFRDs7T0FFRztJQUNJLG1CQUFtQjtRQUN4QixPQUFPLElBQUksQ0FBQyxnQkFBZ0IsQ0FBQztJQUMvQixDQUFDO0lBRUQ7O09BRUc7SUFDSSxrQkFBa0I7UUFDdkIsT0FBTyxJQUFJLGNBQWMsQ0FBQyxJQUFJLENBQUMsZUFBZSxDQUFDLEdBQUcsQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsQ0FBQyxRQUFRLEVBQUUsQ0FBQyxDQUFDLENBQUM7SUFDN0UsQ0FBQztJQUVEOztPQUVHO0lBQ0ksb0JBQW9CO1FBQ3pCLE1BQU0sQ0FBQyxvQkFBb0IsRUFBRSw2QkFBNkIsQ0FBQyxHQUFHLElBQUksQ0FBQyxjQUFjLENBQUMsT0FBTyxFQUFFLENBQUM7UUFDNUYsT0FBTyxFQUFFLG9CQUFvQixFQUFFLDZCQUE2QixFQUFFLENBQUM7SUFDakUsQ0FBQztJQUVEOzs7T0FHRztJQUNJLGFBQWEsQ0FBQyxJQUFVO1FBQzdCLE9BQU8sT0FBTyxDQUFDLE9BQU8sQ0FBQyxJQUFJLENBQUMsZUFBZSxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsQ0FBQyxDQUFDO0lBQzFELENBQUM7SUFFRDs7OztPQUlHO0lBQ0ksS0FBSyxDQUFDLGdCQUFnQixDQUFDLE1BQVU7UUFDdEMsT0FBTyxNQUFNLElBQUksQ0FBQyxhQUFhLENBQUMsZ0JBQWdCLENBQUMsTUFBTSxDQUFDLENBQUM7SUFDM0QsQ0FBQztJQUVEOzs7T0FHRztJQUNJLGtCQUFrQixDQUFDLEdBQXFCO1FBQzdDLG1FQUFtRTtRQUNuRSxJQUFJLENBQUMsZUFBZSxDQUFDLElBQUksQ0FBQyxHQUFHLENBQUMsQ0FBQztRQUMvQixJQUFJLENBQUMsR0FBRyxDQUFDLDZCQUE2QixHQUFHLENBQUMsZUFBZSxFQUFFLEdBQUcsQ0FBQyxDQUFDO0lBQ2xFLENBQUM7SUFFRDs7Ozs7T0FLRztJQUNJLEtBQUssQ0FBQyx3QkFBd0IsQ0FBQyxlQUE2QjtRQUNqRSxPQUFPLENBQUMsTUFBTSxJQUFJLENBQUMsV0FBVyxDQUFDLHdCQUF3QixDQUFDLGVBQWUsQ0FBQyxDQUFDLElBQUksVUFBVSxDQUFDLElBQUksQ0FBQztJQUMvRixDQUFDO0lBRUQ7Ozs7T0FJRztJQUNJLEtBQUssQ0FBQyxXQUFXLENBQUMsZ0JBQW9CLEVBQUUsZ0JBQXdCO1FBQ3JFLE1BQU0sTUFBTSxHQUFHLEVBQUUsQ0FBQztRQUNsQixLQUFLLElBQUksQ0FBQyxHQUFHLENBQUMsRUFBRSxDQUFDLEdBQUcsTUFBTSxDQUFDLGdCQUFnQixDQUFDLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQztZQUNsRCxNQUFNLFdBQVcsR0FBRyxJQUFJLEVBQUUsQ0FBQyxnQkFBZ0IsQ0FBQyxLQUFLLEdBQUcsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUM7WUFDL0QsTUFBTSxpQkFBaUIsR0FBRyxJQUFJLENBQUMsaUJBQWlCLENBQUMsS0FBSyxFQUFFLENBQUM7WUFDekQsTUFBTSxLQUFLLEdBQUcsTUFBTSxJQUFJLENBQUMsY0FBYyxDQUFDLElBQUksQ0FBQyxXQUFXLEVBQUUsaUJBQWlCLENBQUMsQ0FBQztZQUM3RSxJQUFJLENBQUMsR0FBRyxDQUFDLDZCQUE2QixXQUFXLENBQUMsUUFBUSxFQUFFLFVBQVUsS0FBSyxDQUFDLFFBQVEsRUFBRSxFQUFFLENBQUMsQ0FBQztZQUMxRixNQUFNLENBQUMsSUFBSSxDQUFDLEtBQUssQ0FBQyxDQUFDO1FBQ3JCLENBQUM7UUFDRCxPQUFPLE1BQU0sQ0FBQztJQUNoQixDQUFDO0lBRUQ7Ozs7T0FJRztJQUNJLEtBQUssQ0FBQyxZQUFZLENBQUMsZ0JBQW9CLEVBQUUsTUFBWTtRQUMxRCxNQUFNLFNBQVMsR0FBRyxFQUFFLENBQUM7UUFDckIsS0FBSyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxHQUFHLE1BQU0sQ0FBQyxNQUFNLEVBQUUsQ0FBQyxFQUFFLEVBQUUsQ0FBQztZQUN2QyxNQUFNLFdBQVcsR0FBRyxJQUFJLEVBQUUsQ0FBQyxnQkFBZ0IsQ0FBQyxLQUFLLEdBQUcsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUM7WUFDL0QsTUFBTSxRQUFRLEdBQUcsTUFBTSxDQUFDLENBQUMsQ0FBQyxDQUFDO1lBQzNCLE1BQU0saUJBQWlCLEdBQUcsSUFBSSxDQUFDLGlCQUFpQixDQUFDLEtBQUssRUFBRSxDQUFDO1lBQ3pELE1BQU0sSUFBSSxDQUFDLGNBQWMsQ0FBQyxLQUFLLENBQUMsV0FBVyxFQUFFLFFBQVEsRUFBRSxpQkFBaUIsQ0FBQyxDQUFDO1lBQzFFLE1BQU0sSUFBSSxDQUFDLE9BQU8sQ0FBQyxZQUFZLENBQUMsSUFBSSxDQUFDLFNBQVMsQ0FBQyxlQUFlLEVBQUUsV0FBVyxFQUFFLFFBQVEsQ0FBQyxDQUFDO1lBQ3ZGLElBQUksQ0FBQyxHQUFHLENBQUMsOEJBQThCLFdBQVcsQ0FBQyxRQUFRLEVBQUUsVUFBVSxRQUFRLENBQUMsUUFBUSxFQUFFLEVBQUUsQ0FBQyxDQUFDO1lBQzlGLFNBQVMsQ0FBQyxJQUFJLENBQUMsUUFBUSxDQUFDLENBQUM7UUFDM0IsQ0FBQztRQUNELE9BQU8sU0FBUyxDQUFDO0lBQ25CLENBQUM7SUFFRDs7Ozs7O09BTUc7SUFDSSxLQUFLLENBQUMsa0JBQWtCLENBQzdCLHFCQUFtQyxFQUNuQyxnQkFBa0MsRUFDbEMsUUFBWTtRQUVaLE1BQU0sSUFBSSxHQUFHLElBQUksQ0FBQyxlQUFlLENBQUMsTUFBTSxDQUFDLFFBQVEsQ0FBQyxDQUFDO1FBQ25ELElBQUksQ0FBQyxHQUFHLENBQUMsOEJBQThCLHFCQUFxQixhQUFhLGdCQUFnQixTQUFTLElBQUksQ0FBQyxJQUFJLENBQUMsR0FBRyxDQUFDLEVBQUUsQ0FBQyxDQUFDO1FBRXBILE1BQU0sYUFBYSxHQUFHLENBQUMsTUFBTSxJQUFJLENBQUMsV0FBVyxDQUFDLHdCQUF3QixDQUFDLHFCQUFxQixDQUFDLENBQUMsSUFBSSxVQUFVLENBQUMsSUFBSSxDQUFDO1FBQ2xILE1BQU0sVUFBVSxHQUFHLE1BQU0sSUFBSSxDQUFDLFdBQVcsQ0FBQyxhQUFhLENBQUMscUJBQXFCLEVBQUUsZ0JBQWdCLENBQUMsQ0FBQztRQUNqRyxJQUFJLFVBQVUsS0FBSyxTQUFTLEVBQUUsQ0FBQztZQUM3QixNQUFNLElBQUksS0FBSyxDQUFDLDJCQUEyQixxQkFBcUIsQ0FBQyxRQUFRLEVBQUUsSUFBSSxnQkFBZ0IsQ0FBQyxRQUFRLEVBQUUsRUFBRSxDQUFDLENBQUM7UUFDaEgsQ0FBQztRQUVELE1BQU0sSUFBSSxHQUFHLE1BQU0sSUFBSSxDQUFDLFdBQVcsQ0FBQyxXQUFXLENBQUMscUJBQXFCLEVBQUUsZ0JBQWdCLENBQUMsQ0FBQztRQUN6RixJQUFJLENBQUMsSUFBSSxFQUFFLENBQUM7WUFDVixNQUFNLElBQUksS0FBSyxDQUFDLDBCQUEwQixxQkFBcUIsSUFBSSxnQkFBZ0IsRUFBRSxDQUFDLENBQUM7UUFDekYsQ0FBQztRQUVELE1BQU0sWUFBWSxHQUFHLElBQUksWUFBWSxDQUFDLGdCQUFnQixFQUFFLFVBQVUsRUFBRSxLQUFLLEVBQUUsS0FBSyxDQUFDLENBQUM7UUFFbEYsTUFBTSxXQUFXLEdBQUcsV0FBVyxDQUFDLElBQUksQ0FBQztZQUNuQyxTQUFTLEVBQUUsSUFBSSxDQUFDLFNBQVMsQ0FBQyxlQUFlO1lBQ3pDLHFCQUFxQixFQUFFLGFBQWE7WUFDcEMsc0JBQXNCLEVBQUUscUJBQXFCO1lBQzdDLGdCQUFnQjtZQUNoQixvQkFBb0IsRUFBRSxLQUFLO1lBQzNCLGNBQWMsRUFBRSxLQUFLO1lBQ3JCLFlBQVksRUFBRSxLQUFLO1lBQ25CLHNCQUFzQixFQUFFLENBQUMsRUFBRSx3Q0FBd0M7U0FDcEUsQ0FBQyxDQUFDO1FBRUgsTUFBTSxlQUFlLEdBQW9CO1lBQ3ZDLElBQUk7WUFDSixlQUFlLEVBQUUscUJBQXFCO1lBQ3RDLFlBQVk7WUFDWixXQUFXO1NBQ1osQ0FBQztRQUVGLE1BQU0sT0FBTyxHQUFHLElBQUksc0JBQXNCLENBQ3hDLGVBQWUsRUFDZixJQUFJLENBQUMsTUFBTSxFQUNYLElBQUksQ0FBQyxlQUFlLEVBQ3BCLElBQUksQ0FBQyxlQUFlLEVBQ3BCLElBQUksQ0FBQyxpQkFBaUIsRUFDdEIsSUFBSSxDQUFDLE9BQU8sRUFDWixJQUFJLENBQUMsV0FBVyxFQUNoQixJQUFJLENBQUMsYUFBYSxFQUNsQixJQUFJLENBQUMsR0FBRyxDQUNULENBQUM7UUFFRixNQUFNLG9CQUFvQixHQUFHLE1BQU0scUJBQXFCLENBQUMsT0FBTyxFQUFFLElBQUksQ0FBQyxDQUFDO1FBRXhFLElBQUksQ0FBQyxnQkFBZ0IsQ0FBQyxJQUFJLENBQUMsb0JBQW9CLENBQUMsQ0FBQztRQUNqRCxJQUFJLENBQUMsR0FBRyxDQUFDLG1DQUFtQyxvQkFBb0IsQ0FBQyxZQUFZLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxFQUFFLENBQUMsQ0FBQztRQUU1RixPQUFPLG9CQUFvQixDQUFDLFlBQVksQ0FBQztJQUMzQyxDQUFDO0NBQ0YifQ==

package/dest/public/state_actions.d.ts

@@ -0,0 +1,39 @@
+import { ContractStorageRead, ContractStorageUpdateRequest } from '@aztec/circuits.js';
+import { AztecAddress } from '@aztec/foundation/aztec-address';
+import { Fr } from '@aztec/foundation/fields';
+import { PublicStateDB } from './db.js';
+/**
+ * Implements read/write operations on a contract public storage, collecting
+ * all read and update operations, and collapsing them into a single
+ * read or update per slot.
+ */
+export declare class ContractStorageActionsCollector {
+    private db;
+    private address;
+    private readonly contractStorageReads;
+    private readonly contractStorageUpdateRequests;
+    constructor(db: PublicStateDB, address: AztecAddress);
+    /**
+     * Returns the current value of a slot according to the latest update request for it,
+     * falling back to the public db. Collects the operation in storage reads,
+     * as long as there is no existing update request.
+     * @param storageSlot - Slot to check.
+     * @param sideEffectCounter - Side effect counter associated with this storage action.
+     * @returns The current value as affected by all update requests so far.
+     */
+    read(storageSlot: Fr, sideEffectCounter: number): Promise<Fr>;
+    /**
+     * Sets a new value for a slot in the internal update requests cache,
+     * clearing any previous storage read or update operation for the same slot.
+     * @param storageSlot - Slot to write to.
+     * @param newValue - Value to write to it.
+     * @param sideEffectCounter - Side effect counter associated with this storage action.
+     */
+    write(storageSlot: Fr, newValue: Fr, sideEffectCounter: number): Promise<void>;
+    /**
+     * Returns all storage reads and update requests performed.
+     * @returns All storage read and update requests.
+     */
+    collect(): [ContractStorageRead[], ContractStorageUpdateRequest[]];
+}
+//# sourceMappingURL=state_actions.d.ts.map

package/dest/public/state_actions.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"state_actions.d.ts","sourceRoot":"","sources":["../../src/public/state_actions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,mBAAmB,EAAE,4BAA4B,EAAE,MAAM,oBAAoB,CAAC;AACvF,OAAO,EAAE,YAAY,EAAE,MAAM,iCAAiC,CAAC;AAC/D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C,OAAO,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAExC;;;;GAIG;AACH,qBAAa,+BAA+B;IAiB9B,OAAO,CAAC,EAAE;IAAiB,OAAO,CAAC,OAAO;IAftD,OAAO,CAAC,QAAQ,CAAC,oBAAoB,CAGvB;IAGd,OAAO,CAAC,QAAQ,CAAC,6BAA6B,CAOhC;gBAEM,EAAE,EAAE,aAAa,EAAU,OAAO,EAAE,YAAY;IAEpE;;;;;;;OAOG;IACU,IAAI,CAAC,WAAW,EAAE,EAAE,EAAE,iBAAiB,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,CAAC;IAe1E;;;;;;OAMG;IACU,KAAK,CAAC,WAAW,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,iBAAiB,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAoB3F;;;OAGG;IACI,OAAO,IAAI,CAAC,mBAAmB,EAAE,EAAE,4BAA4B,EAAE,CAAC;CAiB1E"}

package/dest/public/state_actions.js

@@ -0,0 +1,79 @@
+import { ContractStorageRead, ContractStorageUpdateRequest } from '@aztec/circuits.js';
+import { Fr } from '@aztec/foundation/fields';
+/**
+ * Implements read/write operations on a contract public storage, collecting
+ * all read and update operations, and collapsing them into a single
+ * read or update per slot.
+ */
+export class ContractStorageActionsCollector {
+    constructor(db, address) {
+        this.db = db;
+        this.address = address;
+        // Map from slot to first read value
+        this.contractStorageReads = new Map();
+        // Map from slot to first read value and latest updated value
+        this.contractStorageUpdateRequests = new Map();
+    }
+    /**
+     * Returns the current value of a slot according to the latest update request for it,
+     * falling back to the public db. Collects the operation in storage reads,
+     * as long as there is no existing update request.
+     * @param storageSlot - Slot to check.
+     * @param sideEffectCounter - Side effect counter associated with this storage action.
+     * @returns The current value as affected by all update requests so far.
+     */
+    async read(storageSlot, sideEffectCounter) {
+        const slot = storageSlot.value;
+        const updateRequest = this.contractStorageUpdateRequests.get(slot);
+        if (updateRequest) {
+            return updateRequest.newValue;
+        }
+        const read = this.contractStorageReads.get(slot);
+        if (read) {
+            return read.currentValue;
+        }
+        const value = await this.db.storageRead(this.address, storageSlot);
+        this.contractStorageReads.set(slot, { currentValue: value, sideEffectCounter });
+        return value;
+    }
+    /**
+     * Sets a new value for a slot in the internal update requests cache,
+     * clearing any previous storage read or update operation for the same slot.
+     * @param storageSlot - Slot to write to.
+     * @param newValue - Value to write to it.
+     * @param sideEffectCounter - Side effect counter associated with this storage action.
+     */
+    async write(storageSlot, newValue, sideEffectCounter) {
+        const slot = storageSlot.value;
+        const updateRequest = this.contractStorageUpdateRequests.get(slot);
+        if (updateRequest) {
+            this.contractStorageUpdateRequests.set(slot, { oldValue: updateRequest.oldValue, newValue, sideEffectCounter });
+            return;
+        }
+        const read = this.contractStorageReads.get(slot);
+        if (read) {
+            this.contractStorageReads.delete(slot);
+            this.contractStorageUpdateRequests.set(slot, { oldValue: read.currentValue, newValue, sideEffectCounter });
+            return;
+        }
+        const oldValue = await this.db.storageRead(this.address, storageSlot);
+        this.contractStorageUpdateRequests.set(slot, { oldValue, newValue, sideEffectCounter });
+        return;
+    }
+    /**
+     * Returns all storage reads and update requests performed.
+     * @returns All storage read and update requests.
+     */
+    collect() {
+        const reads = Array.from(this.contractStorageReads.entries()).map(([slot, valueAndCounter]) => ContractStorageRead.from({
+            storageSlot: new Fr(slot),
+            ...valueAndCounter,
+        }));
+        const updateRequests = Array.from(this.contractStorageUpdateRequests.entries()).map(([slot, valuesAndCounter]) => ContractStorageUpdateRequest.from({
+            storageSlot: new Fr(slot),
+            ...valuesAndCounter,
+        }));
+        return [reads, updateRequests];
+    }
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoic3RhdGVfYWN0aW9ucy5qcyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uL3NyYy9wdWJsaWMvc3RhdGVfYWN0aW9ucy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsbUJBQW1CLEVBQUUsNEJBQTRCLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUV2RixPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFJOUM7Ozs7R0FJRztBQUNILE1BQU0sT0FBTywrQkFBK0I7SUFpQjFDLFlBQW9CLEVBQWlCLEVBQVUsT0FBcUI7UUFBaEQsT0FBRSxHQUFGLEVBQUUsQ0FBZTtRQUFVLFlBQU8sR0FBUCxPQUFPLENBQWM7UUFoQnBFLG9DQUFvQztRQUNuQix5QkFBb0IsR0FHakMsSUFBSSxHQUFHLEVBQUUsQ0FBQztRQUVkLDZEQUE2RDtRQUM1QyxrQ0FBNkIsR0FPMUMsSUFBSSxHQUFHLEVBQUUsQ0FBQztJQUV5RCxDQUFDO0lBRXhFOzs7Ozs7O09BT0c7SUFDSSxLQUFLLENBQUMsSUFBSSxDQUFDLFdBQWUsRUFBRSxpQkFBeUI7UUFDMUQsTUFBTSxJQUFJLEdBQUcsV0FBVyxDQUFDLEtBQUssQ0FBQztRQUMvQixNQUFNLGFBQWEsR0FBRyxJQUFJLENBQUMsNkJBQTZCLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyxDQUFDO1FBQ25FLElBQUksYUFBYSxFQUFFLENBQUM7WUFDbEIsT0FBTyxhQUFhLENBQUMsUUFBUSxDQUFDO1FBQ2hDLENBQUM7UUFDRCxNQUFNLElBQUksR0FBRyxJQUFJLENBQUMsb0JBQW9CLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyxDQUFDO1FBQ2pELElBQUksSUFBSSxFQUFFLENBQUM7WUFDVCxPQUFPLElBQUksQ0FBQyxZQUFZLENBQUM7UUFDM0IsQ0FBQztRQUNELE1BQU0sS0FBSyxHQUFHLE1BQU0sSUFBSSxDQUFDLEVBQUUsQ0FBQyxXQUFXLENBQUMsSUFBSSxDQUFDLE9BQU8sRUFBRSxXQUFXLENBQUMsQ0FBQztRQUNuRSxJQUFJLENBQUMsb0JBQW9CLENBQUMsR0FBRyxDQUFDLElBQUksRUFBRSxFQUFFLFlBQVksRUFBRSxLQUFLLEVBQUUsaUJBQWlCLEVBQUUsQ0FBQyxDQUFDO1FBQ2hGLE9BQU8sS0FBSyxDQUFDO0lBQ2YsQ0FBQztJQUVEOzs7Ozs7T0FNRztJQUNJLEtBQUssQ0FBQyxLQUFLLENBQUMsV0FBZSxFQUFFLFFBQVksRUFBRSxpQkFBeUI7UUFDekUsTUFBTSxJQUFJLEdBQUcsV0FBVyxDQUFDLEtBQUssQ0FBQztRQUMvQixNQUFNLGFBQWEsR0FBRyxJQUFJLENBQUMsNkJBQTZCLENBQUMsR0FBRyxDQUFDLElBQUksQ0FBQyxDQUFDO1FBQ25FLElBQUksYUFBYSxFQUFFLENBQUM7WUFDbEIsSUFBSSxDQUFDLDZCQUE2QixDQUFDLEdBQUcsQ0FBQyxJQUFJLEVBQUUsRUFBRSxRQUFRLEVBQUUsYUFBYSxDQUFDLFFBQVEsRUFBRSxRQUFRLEVBQUUsaUJBQWlCLEVBQUUsQ0FBQyxDQUFDO1lBQ2hILE9BQU87UUFDVCxDQUFDO1FBRUQsTUFBTSxJQUFJLEdBQUcsSUFBSSxDQUFDLG9CQUFvQixDQUFDLEdBQUcsQ0FBQyxJQUFJLENBQUMsQ0FBQztRQUNqRCxJQUFJLElBQUksRUFBRSxDQUFDO1lBQ1QsSUFBSSxDQUFDLG9CQUFvQixDQUFDLE1BQU0sQ0FBQyxJQUFJLENBQUMsQ0FBQztZQUN2QyxJQUFJLENBQUMsNkJBQTZCLENBQUMsR0FBRyxDQUFDLElBQUksRUFBRSxFQUFFLFFBQVEsRUFBRSxJQUFJLENBQUMsWUFBWSxFQUFFLFFBQVEsRUFBRSxpQkFBaUIsRUFBRSxDQUFDLENBQUM7WUFDM0csT0FBTztRQUNULENBQUM7UUFFRCxNQUFNLFFBQVEsR0FBRyxNQUFNLElBQUksQ0FBQyxFQUFFLENBQUMsV0FBVyxDQUFDLElBQUksQ0FBQyxPQUFPLEVBQUUsV0FBVyxDQUFDLENBQUM7UUFDdEUsSUFBSSxDQUFDLDZCQUE2QixDQUFDLEdBQUcsQ0FBQyxJQUFJLEVBQUUsRUFBRSxRQUFRLEVBQUUsUUFBUSxFQUFFLGlCQUFpQixFQUFFLENBQUMsQ0FBQztRQUN4RixPQUFPO0lBQ1QsQ0FBQztJQUVEOzs7T0FHRztJQUNJLE9BQU87UUFDWixNQUFNLEtBQUssR0FBRyxLQUFLLENBQUMsSUFBSSxDQUFDLElBQUksQ0FBQyxvQkFBb0IsQ0FBQyxPQUFPLEVBQUUsQ0FBQyxDQUFDLEdBQUcsQ0FBQyxDQUFDLENBQUMsSUFBSSxFQUFFLGVBQWUsQ0FBQyxFQUFFLEVBQUUsQ0FDNUYsbUJBQW1CLENBQUMsSUFBSSxDQUFDO1lBQ3ZCLFdBQVcsRUFBRSxJQUFJLEVBQUUsQ0FBQyxJQUFJLENBQUM7WUFDekIsR0FBRyxlQUFlO1NBQ25CLENBQUMsQ0FDSCxDQUFDO1FBRUYsTUFBTSxjQUFjLEdBQUcsS0FBSyxDQUFDLElBQUksQ0FBQyxJQUFJLENBQUMsNkJBQTZCLENBQUMsT0FBTyxFQUFFLENBQUMsQ0FBQyxHQUFHLENBQUMsQ0FBQyxDQUFDLElBQUksRUFBRSxnQkFBZ0IsQ0FBQyxFQUFFLEVBQUUsQ0FDL0csNEJBQTRCLENBQUMsSUFBSSxDQUFDO1lBQ2hDLFdBQVcsRUFBRSxJQUFJLEVBQUUsQ0FBQyxJQUFJLENBQUM7WUFDekIsR0FBRyxnQkFBZ0I7U0FDcEIsQ0FBQyxDQUNILENBQUM7UUFFRixPQUFPLENBQUMsS0FBSyxFQUFFLGNBQWMsQ0FBQyxDQUFDO0lBQ2pDLENBQUM7Q0FDRiJ9

package/dest/test/utils.d.ts

@@ -0,0 +1,12 @@
+import { L1ToL2Message } from '@aztec/circuit-types';
+import { AztecAddress, Fr } from '@aztec/circuits.js';
+/**
+ * Test utility function to craft an L1 to L2 message.
+ * @param selector - The cross chain message selector.
+ * @param contentPreimage - The args after the selector.
+ * @param targetContract - The contract to consume the message.
+ * @param secret - The secret to unlock the message.
+ * @returns The L1 to L2 message.
+ */
+export declare const buildL1ToL2Message: (selector: string, contentPreimage: Fr[], targetContract: AztecAddress, secret: Fr) => L1ToL2Message;
+//# sourceMappingURL=utils.d.ts.map

package/dest/test/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../../src/test/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAW,aAAa,EAAW,MAAM,sBAAsB,CAAC;AACvE,OAAO,EAAE,YAAY,EAAc,EAAE,EAAE,MAAM,oBAAoB,CAAC;AAIlE;;;;;;;GAOG;AACH,eAAO,MAAM,kBAAkB,aACnB,MAAM,mBACC,EAAE,EAAE,kBACL,YAAY,UACpB,EAAE,kBAoBX,CAAC"}

package/dest/test/utils.js

@@ -0,0 +1,23 @@
+import { L1Actor, L1ToL2Message, L2Actor } from '@aztec/circuit-types';
+import { EthAddress, Fr } from '@aztec/circuits.js';
+import { computeSecretMessageHash } from '@aztec/circuits.js/abis';
+import { sha256 } from '@aztec/foundation/crypto';
+/**
+ * Test utility function to craft an L1 to L2 message.
+ * @param selector - The cross chain message selector.
+ * @param contentPreimage - The args after the selector.
+ * @param targetContract - The contract to consume the message.
+ * @param secret - The secret to unlock the message.
+ * @returns The L1 to L2 message.
+ */
+export const buildL1ToL2Message = (selector, contentPreimage, targetContract, secret) => {
+    // Write the selector into a buffer.
+    const selectorBuf = Buffer.from(selector, 'hex');
+    const contentBuf = Buffer.concat([selectorBuf, ...contentPreimage.map(field => field.toBuffer())]);
+    const content = Fr.fromBufferReduce(sha256(contentBuf));
+    const secretHash = computeSecretMessageHash(secret);
+    // Eventually the kernel will need to prove the kernel portal pair exists within the contract tree,
+    // EthAddress.random() will need to be replaced when this happens
+    return new L1ToL2Message(new L1Actor(EthAddress.random(), 1), new L2Actor(targetContract, 1), content, secretHash, 0, 0);
+};
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidXRpbHMuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvdGVzdC91dGlscy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFBQSxPQUFPLEVBQUUsT0FBTyxFQUFFLGFBQWEsRUFBRSxPQUFPLEVBQUUsTUFBTSxzQkFBc0IsQ0FBQztBQUN2RSxPQUFPLEVBQWdCLFVBQVUsRUFBRSxFQUFFLEVBQUUsTUFBTSxvQkFBb0IsQ0FBQztBQUNsRSxPQUFPLEVBQUUsd0JBQXdCLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNuRSxPQUFPLEVBQUUsTUFBTSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFFbEQ7Ozs7Ozs7R0FPRztBQUNILE1BQU0sQ0FBQyxNQUFNLGtCQUFrQixHQUFHLENBQ2hDLFFBQWdCLEVBQ2hCLGVBQXFCLEVBQ3JCLGNBQTRCLEVBQzVCLE1BQVUsRUFDVixFQUFFO0lBQ0Ysb0NBQW9DO0lBQ3BDLE1BQU0sV0FBVyxHQUFHLE1BQU0sQ0FBQyxJQUFJLENBQUMsUUFBUSxFQUFFLEtBQUssQ0FBQyxDQUFDO0lBRWpELE1BQU0sVUFBVSxHQUFHLE1BQU0sQ0FBQyxNQUFNLENBQUMsQ0FBQyxXQUFXLEVBQUUsR0FBRyxlQUFlLENBQUMsR0FBRyxDQUFDLEtBQUssQ0FBQyxFQUFFLENBQUMsS0FBSyxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBQ25HLE1BQU0sT0FBTyxHQUFHLEVBQUUsQ0FBQyxnQkFBZ0IsQ0FBQyxNQUFNLENBQUMsVUFBVSxDQUFDLENBQUMsQ0FBQztJQUV4RCxNQUFNLFVBQVUsR0FBRyx3QkFBd0IsQ0FBQyxNQUFNLENBQUMsQ0FBQztJQUVwRCxtR0FBbUc7SUFDbkcsaUVBQWlFO0lBQ2pFLE9BQU8sSUFBSSxhQUFhLENBQ3RCLElBQUksT0FBTyxDQUFDLFVBQVUsQ0FBQyxNQUFNLEVBQUUsRUFBRSxDQUFDLENBQUMsRUFDbkMsSUFBSSxPQUFPLENBQUMsY0FBYyxFQUFFLENBQUMsQ0FBQyxFQUM5QixPQUFPLEVBQ1AsVUFBVSxFQUNWLENBQUMsRUFDRCxDQUFDLENBQ0YsQ0FBQztBQUNKLENBQUMsQ0FBQyJ9

package/dest/utils.d.ts

@@ -0,0 +1,27 @@
+import { GrumpkinPrivateKey } from '@aztec/circuits.js';
+import { Grumpkin } from '@aztec/circuits.js/barretenberg';
+import { Fr } from '@aztec/foundation/fields';
+/**
+ * A point in the format that Aztec.nr uses.
+ */
+export type NoirPoint = {
+    /** The x coordinate. */
+    x: bigint;
+    /** The y coordinate. */
+    y: bigint;
+};
+/**
+ * Computes the resulting storage slot for an entry in a mapping.
+ * @param mappingSlot - The slot of the mapping within state.
+ * @param owner - The key of the mapping.
+ * @returns The slot in the contract storage where the value is stored.
+ */
+export declare function computeSlotForMapping(mappingSlot: Fr, owner: NoirPoint | Fr): Fr;
+/**
+ * Computes the public key for a private key.
+ * @param privateKey - The private key.
+ * @param grumpkin - The grumpkin instance.
+ * @returns The public key.
+ */
+export declare function toPublicKey(privateKey: GrumpkinPrivateKey, grumpkin: Grumpkin): NoirPoint;
+//# sourceMappingURL=utils.d.ts.map

package/dest/utils.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utils.d.ts","sourceRoot":"","sources":["../src/utils.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,iCAAiC,CAAC;AAE3D,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAE9C;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,wBAAwB;IACxB,CAAC,EAAE,MAAM,CAAC;IACV,wBAAwB;IACxB,CAAC,EAAE,MAAM,CAAC;CACX,CAAC;AAEF;;;;;GAKG;AACH,wBAAgB,qBAAqB,CAAC,WAAW,EAAE,EAAE,EAAE,KAAK,EAAE,SAAS,GAAG,EAAE,MAK3E;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,UAAU,EAAE,kBAAkB,EAAE,QAAQ,EAAE,QAAQ,GAAG,SAAS,CAMzF"}

package/dest/utils.js

@@ -0,0 +1,28 @@
+import { Grumpkin } from '@aztec/circuits.js/barretenberg';
+import { pedersenHash } from '@aztec/foundation/crypto';
+import { Fr } from '@aztec/foundation/fields';
+/**
+ * Computes the resulting storage slot for an entry in a mapping.
+ * @param mappingSlot - The slot of the mapping within state.
+ * @param owner - The key of the mapping.
+ * @returns The slot in the contract storage where the value is stored.
+ */
+export function computeSlotForMapping(mappingSlot, owner) {
+    const isFr = (owner) => typeof owner.value === 'bigint';
+    const ownerField = isFr(owner) ? owner : new Fr(owner.x);
+    return Fr.fromBuffer(pedersenHash([mappingSlot, ownerField].map(f => f.toBuffer())));
+}
+/**
+ * Computes the public key for a private key.
+ * @param privateKey - The private key.
+ * @param grumpkin - The grumpkin instance.
+ * @returns The public key.
+ */
+export function toPublicKey(privateKey, grumpkin) {
+    const point = grumpkin.mul(Grumpkin.generator, privateKey);
+    return {
+        x: point.x.value,
+        y: point.y.value,
+    };
+}
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidXRpbHMuanMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi9zcmMvdXRpbHMudHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQ0EsT0FBTyxFQUFFLFFBQVEsRUFBRSxNQUFNLGlDQUFpQyxDQUFDO0FBQzNELE9BQU8sRUFBRSxZQUFZLEVBQUUsTUFBTSwwQkFBMEIsQ0FBQztBQUN4RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sMEJBQTBCLENBQUM7QUFZOUM7Ozs7O0dBS0c7QUFDSCxNQUFNLFVBQVUscUJBQXFCLENBQUMsV0FBZSxFQUFFLEtBQXFCO0lBQzFFLE1BQU0sSUFBSSxHQUFHLENBQUMsS0FBcUIsRUFBZSxFQUFFLENBQUMsT0FBUSxLQUFZLENBQUMsS0FBSyxLQUFLLFFBQVEsQ0FBQztJQUM3RixNQUFNLFVBQVUsR0FBRyxJQUFJLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDLEtBQUssQ0FBQyxDQUFDLENBQUMsSUFBSSxFQUFFLENBQUMsS0FBSyxDQUFDLENBQUMsQ0FBQyxDQUFDO0lBRXpELE9BQU8sRUFBRSxDQUFDLFVBQVUsQ0FBQyxZQUFZLENBQUMsQ0FBQyxXQUFXLEVBQUUsVUFBVSxDQUFDLENBQUMsR0FBRyxDQUFDLENBQUMsQ0FBQyxFQUFFLENBQUMsQ0FBQyxDQUFDLFFBQVEsRUFBRSxDQUFDLENBQUMsQ0FBQyxDQUFDO0FBQ3ZGLENBQUM7QUFFRDs7Ozs7R0FLRztBQUNILE1BQU0sVUFBVSxXQUFXLENBQUMsVUFBOEIsRUFBRSxRQUFrQjtJQUM1RSxNQUFNLEtBQUssR0FBRyxRQUFRLENBQUMsR0FBRyxDQUFDLFFBQVEsQ0FBQyxTQUFTLEVBQUUsVUFBVSxDQUFDLENBQUM7SUFDM0QsT0FBTztRQUNMLENBQUMsRUFBRSxLQUFLLENBQUMsQ0FBQyxDQUFDLEtBQUs7UUFDaEIsQ0FBQyxFQUFFLEtBQUssQ0FBQyxDQUFDLENBQUMsS0FBSztLQUNqQixDQUFDO0FBQ0osQ0FBQyJ9

package/package.json

@@ -0,0 +1,66 @@
+{
+  "name": "@aztec/simulator",
+  "version": "0.22.0",
+  "type": "module",
+  "exports": "./dest/index.js",
+  "typedocOptions": {
+    "entryPoints": [
+      "./src/index.ts"
+    ],
+    "name": "Simulator",
+    "tsconfig": "./tsconfig.json"
+  },
+  "scripts": {
+    "build": "yarn clean && tsc -b",
+    "build:dev": "tsc -b --watch",
+    "clean": "rm -rf ./dest .tsbuildinfo",
+    "formatting": "run -T prettier --check ./src && run -T eslint ./src",
+    "formatting:fix": "run -T eslint --fix ./src && run -T prettier -w ./src",
+    "test": "NODE_NO_WARNINGS=1 node --experimental-vm-modules $(yarn bin jest) --passWithNoTests"
+  },
+  "inherits": [
+    "../package.common.json"
+  ],
+  "jest": {
+    "preset": "ts-jest/presets/default-esm",
+    "moduleNameMapper": {
+      "^(\\.{1,2}/.*)\\.[cm]?js$": "$1"
+    },
+    "testRegex": "./src/.*\\.test\\.(js|mjs|ts)$",
+    "rootDir": "./src"
+  },
+  "dependencies": {
+    "@aztec/circuit-types": "0.22.0",
+    "@aztec/circuits.js": "0.22.0",
+    "@aztec/foundation": "0.22.0",
+    "@noir-lang/acvm_js": "portal:../../noir/packages/acvm_js",
+    "levelup": "^5.1.1",
+    "memdown": "^6.1.1",
+    "tslib": "^2.4.0"
+  },
+  "devDependencies": {
+    "@aztec/kv-store": "workspace:^",
+    "@aztec/merkle-tree": "workspace:^",
+    "@aztec/noir-contracts": "workspace:^",
+    "@jest/globals": "^29.5.0",
+    "@types/jest": "^29.5.0",
+    "@types/levelup": "^5.1.3",
+    "@types/memdown": "^3.0.2",
+    "@types/node": "^18.7.23",
+    "jest": "^29.5.0",
+    "jest-mock-extended": "^3.0.4",
+    "ts-jest": "^29.1.0",
+    "ts-node": "^10.9.1",
+    "typescript": "^5.0.4",
+    "viem": "^1.2.5"
+  },
+  "files": [
+    "dest",
+    "src",
+    "!*.test.*"
+  ],
+  "types": "./dest/index.d.ts",
+  "engines": {
+    "node": ">=18"
+  }
+}