@aztec/simulator 0.81.0 → 0.82.1-alpha-testnet.1

package/dest/public/execution.d.ts

@@ -1,108 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import type { Fr } from '@aztec/foundation/fields';
-import { type AvmExecutionHints, type ContractStorageRead, type ContractStorageUpdateRequest, type PublicDataUpdateRequest, PublicInnerCallRequest } from '@aztec/stdlib/avm';
-import type { SimulationError } from '@aztec/stdlib/errors';
-import { Gas } from '@aztec/stdlib/gas';
-import type { NoteHash, Nullifier, ReadRequest, TreeLeafReadRequest } from '@aztec/stdlib/kernel';
-import type { PublicLog } from '@aztec/stdlib/logs';
-import type { L2ToL1Message, ScopedL2ToL1Message } from '@aztec/stdlib/messaging';
-import type { PublicExecutionRequest } from '@aztec/stdlib/tx';
-export interface PublicSideEffects {
-    /** The contract storage update requests performed. */
-    publicDataWrites: PublicDataUpdateRequest[];
-    /** The new note hashes to be inserted into the note hashes tree. */
-    noteHashes: NoteHash[];
-    /** The new nullifiers to be inserted into the nullifier tree. */
-    nullifiers: Nullifier[];
-    /** The new l2 to l1 messages generated to be inserted into the messages tree. */
-    l2ToL1Messages: ScopedL2ToL1Message[];
-    /** Public logs emitted during execution. */
-    publicLogs: PublicLog[];
-}
-export interface EnqueuedPublicCallExecutionResult {
-    /** How much gas was left after this public execution. */
-    endGasLeft: Gas;
-    /** The side effect counter after execution */
-    endSideEffectCounter: Fr;
-    /** The return values of the function. */
-    returnValues: Fr[];
-    /** Whether the execution reverted. */
-    reverted: boolean;
-    /** The revert reason if the execution reverted. */
-    revertReason?: SimulationError;
-}
-export interface EnqueuedPublicCallExecutionResultWithSideEffects {
-    /** How much gas was left after this public execution. */
-    endGasLeft: Gas;
-    /** The side effect counter after execution */
-    endSideEffectCounter: Fr;
-    /** The return values of the function. */
-    returnValues: Fr[];
-    /** Whether the execution reverted. */
-    reverted: boolean;
-    /** The revert reason if the execution reverted. */
-    revertReason?: SimulationError;
-    /** The public side effects of the function. */
-    sideEffects: PublicSideEffects;
-}
-/**
- * The public function execution result.
- */
-export interface PublicFunctionCallResult {
-    /** The execution request that triggered this result. */
-    executionRequest: PublicExecutionRequest;
-    /** The side effect counter at the start of the function call. */
-    startSideEffectCounter: Fr;
-    /** The side effect counter after executing this function call */
-    endSideEffectCounter: Fr;
-    /** How much gas was available for this public execution. */
-    startGasLeft: Gas;
-    /** How much gas was left after this public execution. */
-    endGasLeft: Gas;
-    /** Transaction fee set for this tx. */
-    transactionFee: Fr;
-    /** Bytecode used for this execution. */
-    bytecode?: Buffer;
-    /** Calldata used for this execution. */
-    calldata: Fr[];
-    /** The return values of the function. */
-    returnValues: Fr[];
-    /** Whether the execution reverted. */
-    reverted: boolean;
-    /** The revert reason if the execution reverted. */
-    revertReason?: SimulationError;
-    /** The contract storage reads performed by the function. */
-    contractStorageReads: ContractStorageRead[];
-    /** The contract storage update requests performed by the function. */
-    contractStorageUpdateRequests: ContractStorageUpdateRequest[];
-    /** The new note hashes to be inserted into the note hashes tree. */
-    noteHashes: NoteHash[];
-    /** The new l2 to l1 messages generated in this call. */
-    l2ToL1Messages: L2ToL1Message[];
-    /** The new nullifiers to be inserted into the nullifier tree. */
-    nullifiers: Nullifier[];
-    /** The note hash read requests emitted in this call. */
-    noteHashReadRequests: TreeLeafReadRequest[];
-    /** The nullifier read requests emitted in this call. */
-    nullifierReadRequests: ReadRequest[];
-    /** The nullifier non existent read requests emitted in this call. */
-    nullifierNonExistentReadRequests: ReadRequest[];
-    /** L1 to L2 message read requests emitted in this call. */
-    l1ToL2MsgReadRequests: TreeLeafReadRequest[];
-    /**
-     * The public logs emitted in this call.
-     * Note: PublicLog has no counter - unsure if this is needed bc this struct is unused
-     */
-    publicLogs: PublicLog[];
-    /** The requests to call public functions made by this call. */
-    publicCallRequests: PublicInnerCallRequest[];
-    /** The results of nested calls. */
-    nestedExecutions: this[];
-    /** Hints for proving AVM execution. */
-    avmCircuitHints: AvmExecutionHints;
-    /** The name of the function that was executed. Only used for logging. */
-    functionName: string;
-}
-export declare function resultToPublicCallRequest(result: PublicFunctionCallResult): Promise<PublicInnerCallRequest>;
-//# sourceMappingURL=execution.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"execution.d.ts","sourceRoot":"","sources":["../../src/public/execution.ts"],"names":[],"mappings":";;AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,EACL,KAAK,iBAAiB,EACtB,KAAK,mBAAmB,EACxB,KAAK,4BAA4B,EAEjC,KAAK,uBAAuB,EAC5B,sBAAsB,EAEvB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AAExC,OAAO,KAAK,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,mBAAmB,EAAE,MAAM,sBAAsB,CAAC;AAClG,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,oBAAoB,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,mBAAmB,EAAE,MAAM,yBAAyB,CAAC;AAClF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,kBAAkB,CAAC;AAE/D,MAAM,WAAW,iBAAiB;IAChC,sDAAsD;IACtD,gBAAgB,EAAE,uBAAuB,EAAE,CAAC;IAC5C,oEAAoE;IACpE,UAAU,EAAE,QAAQ,EAAE,CAAC;IACvB,iEAAiE;IACjE,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,iFAAiF;IACjF,cAAc,EAAE,mBAAmB,EAAE,CAAC;IACtC,4CAA4C;IAC5C,UAAU,EAAE,SAAS,EAAE,CAAC;CACzB;AAED,MAAM,WAAW,iCAAiC;IAChD,yDAAyD;IACzD,UAAU,EAAE,GAAG,CAAC;IAChB,8CAA8C;IAC9C,oBAAoB,EAAE,EAAE,CAAC;IAEzB,yCAAyC;IACzC,YAAY,EAAE,EAAE,EAAE,CAAC;IACnB,sCAAsC;IACtC,QAAQ,EAAE,OAAO,CAAC;IAClB,mDAAmD;IACnD,YAAY,CAAC,EAAE,eAAe,CAAC;CAChC;AAED,MAAM,WAAW,gDAAgD;IAC/D,yDAAyD;IACzD,UAAU,EAAE,GAAG,CAAC;IAChB,8CAA8C;IAC9C,oBAAoB,EAAE,EAAE,CAAC;IAEzB,yCAAyC;IACzC,YAAY,EAAE,EAAE,EAAE,CAAC;IACnB,sCAAsC;IACtC,QAAQ,EAAE,OAAO,CAAC;IAClB,mDAAmD;IACnD,YAAY,CAAC,EAAE,eAAe,CAAC;IAE/B,+CAA+C;IAC/C,WAAW,EAAE,iBAAiB,CAAC;CAChC;AAED;;GAEG;AACH,MAAM,WAAW,wBAAwB;IACvC,wDAAwD;IACxD,gBAAgB,EAAE,sBAAsB,CAAC;IAEzC,iEAAiE;IACjE,sBAAsB,EAAE,EAAE,CAAC;IAC3B,iEAAiE;IACjE,oBAAoB,EAAE,EAAE,CAAC;IACzB,4DAA4D;IAC5D,YAAY,EAAE,GAAG,CAAC;IAClB,yDAAyD;IACzD,UAAU,EAAE,GAAG,CAAC;IAChB,uCAAuC;IACvC,cAAc,EAAE,EAAE,CAAC;IAEnB,wCAAwC;IACxC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,wCAAwC;IACxC,QAAQ,EAAE,EAAE,EAAE,CAAC;IACf,yCAAyC;IACzC,YAAY,EAAE,EAAE,EAAE,CAAC;IACnB,sCAAsC;IACtC,QAAQ,EAAE,OAAO,CAAC;IAClB,mDAAmD;IACnD,YAAY,CAAC,EAAE,eAAe,CAAC;IAE/B,4DAA4D;IAC5D,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C,sEAAsE;IACtE,6BAA6B,EAAE,4BAA4B,EAAE,CAAC;IAC9D,oEAAoE;IACpE,UAAU,EAAE,QAAQ,EAAE,CAAC;IACvB,wDAAwD;IACxD,cAAc,EAAE,aAAa,EAAE,CAAC;IAChC,iEAAiE;IACjE,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,wDAAwD;IACxD,oBAAoB,EAAE,mBAAmB,EAAE,CAAC;IAC5C,wDAAwD;IACxD,qBAAqB,EAAE,WAAW,EAAE,CAAC;IACrC,qEAAqE;IACrE,gCAAgC,EAAE,WAAW,EAAE,CAAC;IAChD,2DAA2D;IAC3D,qBAAqB,EAAE,mBAAmB,EAAE,CAAC;IAC7C;;;OAGG;IACH,UAAU,EAAE,SAAS,EAAE,CAAC;IACxB,+DAA+D;IAC/D,kBAAkB,EAAE,sBAAsB,EAAE,CAAC;IAC7C,mCAAmC;IACnC,gBAAgB,EAAE,IAAI,EAAE,CAAC;IAEzB,uCAAuC;IACvC,eAAe,EAAE,iBAAiB,CAAC;IAEnC,yEAAyE;IACzE,YAAY,EAAE,MAAM,CAAC;CACtB;AAED,wBAAsB,yBAAyB,CAAC,MAAM,EAAE,wBAAwB,mCAa/E"}

package/dest/public/execution.js

@@ -1,9 +0,0 @@
-import { PublicCallStackItemCompressed, PublicInnerCallRequest, RevertCode } from '@aztec/stdlib/avm';
-import { Gas } from '@aztec/stdlib/gas';
-import { computeVarArgsHash } from '@aztec/stdlib/hash';
-export async function resultToPublicCallRequest(result) {
-    const request = result.executionRequest;
-    const item = new PublicCallStackItemCompressed(request.callContext.contractAddress, request.callContext, await computeVarArgsHash(request.args), await computeVarArgsHash(result.returnValues), // TODO(@just-mitch): need better mapping from simulator to revert code.
-    result.reverted ? RevertCode.APP_LOGIC_REVERTED : RevertCode.OK, Gas.from(result.startGasLeft), Gas.from(result.endGasLeft));
-    return new PublicInnerCallRequest(item, result.startSideEffectCounter.toNumber());
-}

package/src/public/avm/bytecode_utils.ts

@@ -1,17 +0,0 @@
-import { Opcode } from './serialization/instruction_serialization.js';
-
-const AVM_MAGIC_SUFFIX = Buffer.from([
-  Opcode.MOV_16, // opcode
-  0x00, // indirect
-  ...Buffer.from('18ca', 'hex'), // srcOffset
-  ...Buffer.from('18ca', 'hex'), // dstOffset
-]);
-
-export function markBytecodeAsAvm(bytecode: Buffer): Buffer {
-  return Buffer.concat([bytecode, AVM_MAGIC_SUFFIX]);
-}
-
-export function isAvmBytecode(bytecode: Buffer): boolean {
-  const magicSize = AVM_MAGIC_SUFFIX.length;
-  return bytecode.subarray(-magicSize).equals(AVM_MAGIC_SUFFIX);
-}

package/src/public/execution.ts

@@ -1,140 +0,0 @@
-import type { Fr } from '@aztec/foundation/fields';
-import {
-  type AvmExecutionHints,
-  type ContractStorageRead,
-  type ContractStorageUpdateRequest,
-  PublicCallStackItemCompressed,
-  type PublicDataUpdateRequest,
-  PublicInnerCallRequest,
-  RevertCode,
-} from '@aztec/stdlib/avm';
-import type { SimulationError } from '@aztec/stdlib/errors';
-import { Gas } from '@aztec/stdlib/gas';
-import { computeVarArgsHash } from '@aztec/stdlib/hash';
-import type { NoteHash, Nullifier, ReadRequest, TreeLeafReadRequest } from '@aztec/stdlib/kernel';
-import type { PublicLog } from '@aztec/stdlib/logs';
-import type { L2ToL1Message, ScopedL2ToL1Message } from '@aztec/stdlib/messaging';
-import type { PublicExecutionRequest } from '@aztec/stdlib/tx';
-
-export interface PublicSideEffects {
-  /** The contract storage update requests performed. */
-  publicDataWrites: PublicDataUpdateRequest[];
-  /** The new note hashes to be inserted into the note hashes tree. */
-  noteHashes: NoteHash[];
-  /** The new nullifiers to be inserted into the nullifier tree. */
-  nullifiers: Nullifier[];
-  /** The new l2 to l1 messages generated to be inserted into the messages tree. */
-  l2ToL1Messages: ScopedL2ToL1Message[];
-  /** Public logs emitted during execution. */
-  publicLogs: PublicLog[];
-}
-
-export interface EnqueuedPublicCallExecutionResult {
-  /** How much gas was left after this public execution. */
-  endGasLeft: Gas;
-  /** The side effect counter after execution */
-  endSideEffectCounter: Fr;
-
-  /** The return values of the function. */
-  returnValues: Fr[];
-  /** Whether the execution reverted. */
-  reverted: boolean;
-  /** The revert reason if the execution reverted. */
-  revertReason?: SimulationError;
-}
-
-export interface EnqueuedPublicCallExecutionResultWithSideEffects {
-  /** How much gas was left after this public execution. */
-  endGasLeft: Gas;
-  /** The side effect counter after execution */
-  endSideEffectCounter: Fr;
-
-  /** The return values of the function. */
-  returnValues: Fr[];
-  /** Whether the execution reverted. */
-  reverted: boolean;
-  /** The revert reason if the execution reverted. */
-  revertReason?: SimulationError;
-
-  /** The public side effects of the function. */
-  sideEffects: PublicSideEffects;
-}
-
-/**
- * The public function execution result.
- */
-export interface PublicFunctionCallResult {
-  /** The execution request that triggered this result. */
-  executionRequest: PublicExecutionRequest;
-
-  /** The side effect counter at the start of the function call. */
-  startSideEffectCounter: Fr;
-  /** The side effect counter after executing this function call */
-  endSideEffectCounter: Fr;
-  /** How much gas was available for this public execution. */
-  startGasLeft: Gas;
-  /** How much gas was left after this public execution. */
-  endGasLeft: Gas;
-  /** Transaction fee set for this tx. */
-  transactionFee: Fr;
-
-  /** Bytecode used for this execution. */
-  bytecode?: Buffer;
-  /** Calldata used for this execution. */
-  calldata: Fr[];
-  /** The return values of the function. */
-  returnValues: Fr[];
-  /** Whether the execution reverted. */
-  reverted: boolean;
-  /** The revert reason if the execution reverted. */
-  revertReason?: SimulationError;
-
-  /** The contract storage reads performed by the function. */
-  contractStorageReads: ContractStorageRead[];
-  /** The contract storage update requests performed by the function. */
-  contractStorageUpdateRequests: ContractStorageUpdateRequest[];
-  /** The new note hashes to be inserted into the note hashes tree. */
-  noteHashes: NoteHash[];
-  /** The new l2 to l1 messages generated in this call. */
-  l2ToL1Messages: L2ToL1Message[];
-  /** The new nullifiers to be inserted into the nullifier tree. */
-  nullifiers: Nullifier[];
-  /** The note hash read requests emitted in this call. */
-  noteHashReadRequests: TreeLeafReadRequest[];
-  /** The nullifier read requests emitted in this call. */
-  nullifierReadRequests: ReadRequest[];
-  /** The nullifier non existent read requests emitted in this call. */
-  nullifierNonExistentReadRequests: ReadRequest[];
-  /** L1 to L2 message read requests emitted in this call. */
-  l1ToL2MsgReadRequests: TreeLeafReadRequest[];
-  /**
-   * The public logs emitted in this call.
-   * Note: PublicLog has no counter - unsure if this is needed bc this struct is unused
-   */
-  publicLogs: PublicLog[];
-  /** The requests to call public functions made by this call. */
-  publicCallRequests: PublicInnerCallRequest[];
-  /** The results of nested calls. */
-  nestedExecutions: this[];
-
-  /** Hints for proving AVM execution. */
-  avmCircuitHints: AvmExecutionHints;
-
-  /** The name of the function that was executed. Only used for logging. */
-  functionName: string;
-}
-
-export async function resultToPublicCallRequest(result: PublicFunctionCallResult) {
-  const request = result.executionRequest;
-  const item = new PublicCallStackItemCompressed(
-    request.callContext.contractAddress,
-    request.callContext,
-    await computeVarArgsHash(request.args),
-    await computeVarArgsHash(result.returnValues),
-    // TODO(@just-mitch): need better mapping from simulator to revert code.
-    result.reverted ? RevertCode.APP_LOGIC_REVERTED : RevertCode.OK,
-    Gas.from(result.startGasLeft),
-    Gas.from(result.endGasLeft),
-  );
-  return new PublicInnerCallRequest(item, result.startSideEffectCounter.toNumber());
-}