@aztec/simulator 0.80.0 → 0.82.0

package/src/public/side_effect_trace_interface.ts

@@ -1,76 +1,25 @@
 import type { Fr } from '@aztec/foundation/fields';
-import type { AvmPublicDataReadTreeHint } from '@aztec/stdlib/avm';
 import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { ContractClassWithCommitment, SerializableContractInstance } from '@aztec/stdlib/contract';
 import type { PublicCallRequest } from '@aztec/stdlib/kernel';
 import type { PublicLog } from '@aztec/stdlib/logs';
-import type { NullifierLeafPreimage, PublicDataTreeLeafPreimage } from '@aztec/stdlib/trees';
 
 export interface PublicSideEffectTraceInterface {
   fork(): PublicSideEffectTraceInterface;
   merge(nestedTrace: PublicSideEffectTraceInterface, reverted?: boolean): void;
   getCounter(): number;
   // all "trace*" functions can throw SideEffectLimitReachedError
-  tracePublicStorageRead(
-    contractAddress: AztecAddress,
-    slot: Fr,
-    value: Fr,
-    leafPreimage?: PublicDataTreeLeafPreimage,
-    leafIndex?: Fr,
-    path?: Fr[],
-  ): void;
   tracePublicStorageWrite(
     contractAddress: AztecAddress,
     slot: Fr, // This is the storage slot not the computed leaf slot
     value: Fr,
     protocolWrite: boolean,
-    lowLeafPreimage?: PublicDataTreeLeafPreimage,
-    lowLeafIndex?: Fr,
-    lowLeafPath?: Fr[],
-    newLeafPreimage?: PublicDataTreeLeafPreimage,
-    insertionPath?: Fr[],
   ): Promise<void>;
-  traceNoteHashCheck(contractAddress: AztecAddress, noteHash: Fr, leafIndex: Fr, exists: boolean, path?: Fr[]): void;
-  traceNewNoteHash(uniqueNoteHash: Fr, leafIndex?: Fr, path?: Fr[]): void;
+  traceNewNoteHash(uniqueNoteHash: Fr): void;
   getNoteHashCount(): number;
-  traceNullifierCheck(
-    siloedNullifier: Fr,
-    exists: boolean,
-    lowLeafPreimage?: NullifierLeafPreimage,
-    lowLeafIndex?: Fr,
-    lowLeafPath?: Fr[],
-  ): void;
-  traceNewNullifier(
-    siloedNullifier: Fr,
-    lowLeafPreimage?: NullifierLeafPreimage,
-    lowLeafIndex?: Fr,
-    lowLeafPath?: Fr[],
-    insertionPath?: Fr[],
-  ): void;
-  traceL1ToL2MessageCheck(
-    contractAddress: AztecAddress,
-    msgHash: Fr,
-    msgLeafIndex: Fr,
-    exists: boolean,
-    path?: Fr[],
-  ): void;
+  traceNewNullifier(siloedNullifier: Fr): void;
   traceNewL2ToL1Message(contractAddress: AztecAddress, recipient: Fr, content: Fr): void;
   tracePublicLog(contractAddress: AztecAddress, log: Fr[]): void;
-  traceGetContractInstance(
-    contractAddress: AztecAddress,
-    exists: boolean,
-    instance?: SerializableContractInstance,
-    updateMembershipHint?: AvmPublicDataReadTreeHint,
-    updatePreimage?: Fr[],
-  ): void;
-  traceGetContractClass(contractClassId: Fr, exists: boolean, contractClass?: ContractClassWithCommitment): void;
-  traceEnqueuedCall(
-    /** The call request from private that enqueued this call. */
-    publicCallRequest: PublicCallRequest,
-    /** The call's calldata */
-    calldata: Fr[],
-    /** Did the call revert? */
-    reverted: boolean,
-  ): void;
+  traceGetContractClass(contractClassId: Fr, exists: boolean): void;
+  traceEnqueuedCall(publicCallRequest: PublicCallRequest): void;
   getPublicLogs(): PublicLog[];
 }

package/src/testing.ts

@@ -0,0 +1 @@
+export { SimulationProviderRecorderWrapper } from './private/providers/circuit_recording/simulation_provider_recorder_wrapper.js';

package/dest/public/avm/bytecode_utils.d.ts

@@ -1,5 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-export declare function markBytecodeAsAvm(bytecode: Buffer): Buffer;
-export declare function isAvmBytecode(bytecode: Buffer): boolean;
-//# sourceMappingURL=bytecode_utils.d.ts.map

package/dest/public/avm/bytecode_utils.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"bytecode_utils.d.ts","sourceRoot":"","sources":["../../../src/public/avm/bytecode_utils.ts"],"names":[],"mappings":";;AASA,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,CAE1D;AAED,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,OAAO,CAGvD"}

package/dest/public/avm/bytecode_utils.js

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

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);
-}