@aztec/txe 3.0.0-nightly.20250926 → 3.0.0-nightly.20250928

package/src/txe_session.ts

@@ -11,18 +11,25 @@ import {
   PrivateEventDataProvider,
   TaggingDataProvider,
 } from '@aztec/pxe/server';
-import type { IPrivateExecutionOracle, IUtilityExecutionOracle } from '@aztec/pxe/simulator';
+import {
+  ExecutionNoteCache,
+  HashedValuesCache,
+  type IPrivateExecutionOracle,
+  type IUtilityExecutionOracle,
+  PrivateExecutionOracle,
+  UtilityExecutionOracle,
+} from '@aztec/pxe/simulator';
 import { FunctionSelector } from '@aztec/stdlib/abi';
 import type { AuthWitness } from '@aztec/stdlib/auth-witness';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
+import { Body, L2Block } from '@aztec/stdlib/block';
 import { GasSettings } from '@aztec/stdlib/gas';
 import { PrivateContextInputs } from '@aztec/stdlib/kernel';
-import { makeGlobalVariables } from '@aztec/stdlib/testing';
+import { makeAppendOnlyTreeSnapshot, makeGlobalVariables } from '@aztec/stdlib/testing';
 import { CallContext, GlobalVariables, TxContext } from '@aztec/stdlib/tx';
 import type { UInt32 } from '@aztec/stdlib/types';
 
 import type { IAvmExecutionOracle, ITxeExecutionOracle } from './oracle/interfaces.js';
-import { TXE } from './oracle/txe_oracle.js';
 import { TXEOraclePublicContext } from './oracle/txe_oracle_public_context.js';
 import { TXEOracleTopLevelContext } from './oracle/txe_oracle_top_level_context.js';
 import { RPCTranslator } from './rpc_translator.js';
@@ -30,34 +37,49 @@ import { TXEStateMachine } from './state_machine/index.js';
 import type { ForeignCallArgs, ForeignCallResult } from './util/encoding.js';
 import { TXEAccountDataProvider } from './util/txe_account_data_provider.js';
 import { TXEContractDataProvider } from './util/txe_contract_data_provider.js';
-import { getSingleTxBlockRequestHash } from './utils/block_creation.js';
+import {
+  getSingleTxBlockRequestHash,
+  insertTxEffectIntoWorldTrees,
+  makeTXEBlockHeader,
+} from './utils/block_creation.js';
+import { makeTxEffect } from './utils/tx_effect_creation.js';
 
 /**
- * A TXE Session can be ine one of four states, which change as the test progresses and different oracles are called.
- * The current state determines which oracles are available.
+ * A TXE Session can be in one of four states, which change as the test progresses and different oracles are called.
+ * The current state determines which oracles are available. Some states also have data associated with them.
  */
-enum SessionState {
+type SessionState =
   /**
    * The top-level state is the default state, before any other state has been entered. This is where contracts can be
    * deployed, accounts created, blocks mined, etc.
    */
-  TOP_LEVEL,
+  | {
+      name: 'TOP_LEVEL';
+    }
   /**
    * The private state is entered via the `private_context` function. In this state the PXE oracles that `#[private]`
    * functions use are available, such as those related to note retrieval, notification of side-effects, capsule access,
    * etc. */
-  PRIVATE,
+  | {
+      name: 'PRIVATE';
+      nextBlockGlobalVariables: GlobalVariables;
+      txRequestHash: Fr;
+      noteCache: ExecutionNoteCache;
+    }
   /**
    * The public state is entered via the `public_context` function. In this state the AVM opcodes that `#[public]`
    * functions execute are resolved as oracles by TXE, since Noir tests are not transpiled. */
-  PUBLIC,
+  | {
+      name: 'PUBLIC';
+    }
   /**
    * The utility state is entered via the `utility_context` function. In this state the PXE oracles that `#[utility]`
    * functions use are available, such as those related to (unconstrained) note retrieval, capsule access, public
    * storage reads, etc.
    */
-  UTILITY,
-}
+  | {
+      name: 'UTILITY';
+    };
 
 type MethodNames<T> = {
   [K in keyof T]: T[K] extends (...args: any[]) => any ? K : never;
@@ -70,10 +92,10 @@ type MethodNames<T> = {
 export type TXEOracleFunctionName = MethodNames<RPCTranslator>;
 
 export interface TXESessionStateHandler {
-  setTopLevelContext(): Promise<void>;
-  setPublicContext(contractAddress?: AztecAddress): Promise<void>;
-  setPrivateContext(contractAddress?: AztecAddress, anchorBlockNumber?: UInt32): Promise<PrivateContextInputs>;
-  setUtilityContext(contractAddress?: AztecAddress): Promise<void>;
+  enterTopLevelState(): Promise<void>;
+  enterPublicState(contractAddress?: AztecAddress): Promise<void>;
+  enterPrivateState(contractAddress?: AztecAddress, anchorBlockNumber?: UInt32): Promise<PrivateContextInputs>;
+  enterUtilityState(contractAddress?: AztecAddress): Promise<void>;
 }
 
 const DEFAULT_ADDRESS = AztecAddress.fromNumber(42);
@@ -83,7 +105,7 @@ const DEFAULT_ADDRESS = AztecAddress.fromNumber(42);
  * state, etc., independent of all other tests running in parallel.
  */
 export class TXESession implements TXESessionStateHandler {
-  private state = SessionState.TOP_LEVEL;
+  private state: SessionState = { name: 'TOP_LEVEL' };
   private authwits: Map<string, AuthWitness> = new Map();
 
   constructor(
@@ -181,27 +203,36 @@ export class TXESession implements TXESessionStateHandler {
     } catch (error) {
       if (error instanceof Error) {
         throw new Error(
-          `Execution error while processing function ${functionName} in state ${SessionState[this.state]}: ${error.message}`,
+          `Execution error while processing function ${functionName} in state ${this.state.name}: ${error.message}`,
         );
       } else {
         throw new Error(
-          `Unknown execution error while processing function ${functionName} in state ${SessionState[this.state]}`,
+          `Unknown execution error while processing function ${functionName} in state ${this.state.name}`,
         );
       }
     }
   }
 
-  async setTopLevelContext() {
-    if (this.state == SessionState.PRIVATE) {
-      await this.exitPrivateContext();
-    } else if (this.state == SessionState.PUBLIC) {
-      await this.exitPublicContext();
-    } else if (this.state == SessionState.UTILITY) {
-      this.exitUtilityContext();
-    } else if (this.state == SessionState.TOP_LEVEL) {
-      throw new Error(`Expected to be in state other than ${SessionState[SessionState.TOP_LEVEL]}`);
-    } else {
-      throw new Error(`Unexpected state '${this.state}'`);
+  async enterTopLevelState() {
+    switch (this.state.name) {
+      case 'PRIVATE': {
+        await this.exitPrivateState();
+        break;
+      }
+      case 'PUBLIC': {
+        await this.exitPublicState();
+        break;
+      }
+      case 'UTILITY': {
+        this.exitUtilityContext();
+        break;
+      }
+      case 'TOP_LEVEL': {
+        throw new Error(`Expected to be in state other than TOP_LEVEL`);
+      }
+      default: {
+        this.state satisfies never;
+      }
     }
 
     this.oracleHandler = new TXEOracleTopLevelContext(
@@ -217,99 +248,105 @@ export class TXESession implements TXESessionStateHandler {
       this.authwits,
     );
 
-    this.state = SessionState.TOP_LEVEL;
-    this.logger.debug(`Entered state ${SessionState[this.state]}`);
+    this.state = { name: 'TOP_LEVEL' };
+    this.logger.debug(`Entered state ${this.state.name}`);
   }
 
-  async setPublicContext(contractAddress?: AztecAddress) {
-    this.exitTopLevelContext();
+  async enterPrivateState(
+    contractAddress: AztecAddress = DEFAULT_ADDRESS,
+    anchorBlockNumber?: UInt32,
+  ): Promise<PrivateContextInputs> {
+    this.exitTopLevelState();
+
+    // There is no automatic message discovery and contract-driven syncing process in inlined private or utility
+    // contexts, which means that known nullifiers are also not searched for, since it is during the tagging sync that
+    // we perform this. We therefore search for known nullifiers now, as otherwise notes that were nullified would not
+    // be removed from the database.
+    // TODO(#12553): make the synchronizer sync here instead and remove this
+    await this.pxeOracleInterface.removeNullifiedNotes(contractAddress);
+
+    // Private execution has two associated block numbers: the anchor block (i.e. the historical block that is used to
+    // build the proof), and the *next* block, i.e. the one we'll create once the execution ends, and which will contain
+    // a single transaction with the effects of what was done in the test.
+    const anchorBlock = await this.stateMachine.node.getBlockHeader(anchorBlockNumber ?? 'latest');
+    const latestBlock = await this.stateMachine.node.getBlockHeader('latest');
 
-    // The PublicContext will create a block with a single transaction in it, containing the effects of what was done in
-    // the test. The block therefore gets the *next* block number and timestamp.
-    const latestBlockNumber = (await this.stateMachine.node.getBlockHeader('latest'))!.globalVariables.blockNumber;
-    const globalVariables = makeGlobalVariables(undefined, {
-      blockNumber: latestBlockNumber + 1,
+    const nextBlockGlobalVariables = makeGlobalVariables(undefined, {
+      blockNumber: latestBlock!.globalVariables.blockNumber + 1,
       timestamp: this.nextBlockTimestamp,
       version: this.version,
       chainId: this.chainId,
     });
 
-    this.oracleHandler = new TXEOraclePublicContext(
-      contractAddress ?? DEFAULT_ADDRESS,
-      await this.stateMachine.synchronizer.nativeWorldStateService.fork(),
-      getSingleTxBlockRequestHash(globalVariables.blockNumber),
-      globalVariables,
-    );
+    const txRequestHash = getSingleTxBlockRequestHash(nextBlockGlobalVariables.blockNumber);
+    const noteCache = new ExecutionNoteCache(txRequestHash);
 
-    this.state = SessionState.PUBLIC;
-    this.logger.debug(`Entered state ${SessionState[this.state]}`);
-  }
+    this.oracleHandler = new PrivateExecutionOracle(
+      Fr.ZERO,
+      new TxContext(this.chainId, this.version, GasSettings.empty()),
+      new CallContext(AztecAddress.ZERO, contractAddress, FunctionSelector.empty(), false),
+      anchorBlock!,
+      [],
+      [],
+      new HashedValuesCache(),
+      noteCache,
+      this.pxeOracleInterface,
+    );
 
-  async setPrivateContext(contractAddress?: AztecAddress, anchorBlockNumber?: UInt32): Promise<PrivateContextInputs> {
-    this.exitTopLevelContext();
+    // We store the note cache fed into the PrivateExecutionOracle (along with some other auxiliary data) in order to
+    // refer to it later, mimicking the way this object is used by the ContractFunctionSimulator. The difference resides
+    // in that the simulator has all information needed in order to run the simulation, while ours will be ongoing as
+    // the different oracles will be invoked from the Noir test, until eventually the private execution finishes.
+    this.state = { name: 'PRIVATE', nextBlockGlobalVariables, txRequestHash, noteCache };
+    this.logger.debug(`Entered state ${this.state.name}`);
 
-    // A PrivateContext has two associated block numbers: the anchor block (i.e. the historical block that is used to build the
-    // proof), and the *next* block, i.e. the one the PrivateContext will create with the single transaction that
-    // contains the effects of what was done in the test.
-    const anchorBlock = await this.stateMachine.node.getBlockHeader(anchorBlockNumber ?? 'latest');
-    const latestBlock = await this.stateMachine.node.getBlockHeader('latest');
+    return (this.oracleHandler as PrivateExecutionOracle).getPrivateContextInputs();
+  }
 
-    const anchorBlockGlobalVariables = makeGlobalVariables(undefined, {
-      blockNumber: anchorBlock!.globalVariables.blockNumber,
-      timestamp: anchorBlock!.globalVariables.timestamp,
-      version: this.version,
-      chainId: this.chainId,
-    });
+  async enterPublicState(contractAddress?: AztecAddress) {
+    this.exitTopLevelState();
 
-    const nextBlockGlobalVariables = makeGlobalVariables(undefined, {
-      blockNumber: latestBlock!.globalVariables.blockNumber + 1,
+    // The PublicContext will create a block with a single transaction in it, containing the effects of what was done in
+    // the test. The block therefore gets the *next* block number and timestamp.
+    const latestBlockNumber = (await this.stateMachine.node.getBlockHeader('latest'))!.globalVariables.blockNumber;
+    const globalVariables = makeGlobalVariables(undefined, {
+      blockNumber: latestBlockNumber + 1,
       timestamp: this.nextBlockTimestamp,
       version: this.version,
       chainId: this.chainId,
     });
 
-    const privateContextInputs = await this.getPrivateContextInputs(
-      anchorBlockGlobalVariables.blockNumber,
-      contractAddress ?? DEFAULT_ADDRESS,
-    );
-
-    this.oracleHandler = await TXE.create(
+    this.oracleHandler = new TXEOraclePublicContext(
       contractAddress ?? DEFAULT_ADDRESS,
-      this.pxeOracleInterface,
       await this.stateMachine.synchronizer.nativeWorldStateService.fork(),
-      anchorBlockGlobalVariables,
-      nextBlockGlobalVariables,
-      getSingleTxBlockRequestHash(nextBlockGlobalVariables.blockNumber), // The tx will be inserted in the *next* block
+      getSingleTxBlockRequestHash(globalVariables.blockNumber),
+      globalVariables,
     );
 
-    this.state = SessionState.PRIVATE;
-    this.logger.debug(`Entered state ${SessionState[this.state]}`);
-
-    return privateContextInputs;
+    this.state = { name: 'PUBLIC' };
+    this.logger.debug(`Entered state ${this.state.name}`);
   }
 
-  async setUtilityContext(contractAddress?: AztecAddress) {
-    this.exitTopLevelContext();
+  async enterUtilityState(contractAddress: AztecAddress = DEFAULT_ADDRESS) {
+    this.exitTopLevelState();
 
-    // A UtilityContext is built using the latest block as a reference, mimicking what would happen if PXE had synced
-    // all the way to the tip of the chain.
-    const latestBlock = await this.stateMachine.node.getBlockHeader('latest');
+    // There is no automatic message discovery and contract-driven syncing process in inlined private or utility
+    // contexts, which means that known nullifiers are also not searched for, since it is during the tagging sync that
+    // we perform this. We therefore search for known nullifiers now, as otherwise notes that were nullified would not
+    // be removed from the database.
+    // TODO(#12553): make the synchronizer sync here instead and remove this
+    await this.pxeOracleInterface.removeNullifiedNotes(contractAddress);
 
-    this.oracleHandler = await TXE.create(
-      contractAddress ?? DEFAULT_ADDRESS,
-      this.pxeOracleInterface,
-      await this.stateMachine.synchronizer.nativeWorldStateService.fork(),
-      latestBlock!.globalVariables,
-      GlobalVariables.empty(), // unused - will be removed after private/utility split
-      Fr.random(), // unused - will be removed after private/utility split
-    );
+    this.oracleHandler = new UtilityExecutionOracle(contractAddress, [], [], this.pxeOracleInterface);
 
-    this.state = SessionState.UTILITY;
-    this.logger.debug(`Entered state ${SessionState[this.state]}`);
+    this.state = { name: 'UTILITY' };
+    this.logger.debug(`Entered state ${this.state.name}`);
   }
 
-  private exitTopLevelContext() {
-    this.assertState(SessionState.TOP_LEVEL);
+  private exitTopLevelState() {
+    if (this.state.name != 'TOP_LEVEL') {
+      throw new Error(`Expected to be in state 'TOP_LEVEL', but got '${this.state.name}' instead`);
+    }
 
     // Note that while all public and private contexts do is build a single block that we then process when exiting
     // those, the top level context performs a large number of actions not captured in the following 'close' call. Among
@@ -323,40 +360,54 @@ export class TXESession implements TXESessionStateHandler {
     [this.nextBlockTimestamp, this.authwits] = (this.oracleHandler as TXEOracleTopLevelContext).close();
   }
 
-  private async exitPublicContext() {
-    this.assertState(SessionState.PUBLIC);
+  private async exitPrivateState() {
+    if (this.state.name != 'PRIVATE') {
+      throw new Error(`Expected to be in state 'PRIVATE', but got '${this.state.name}' instead`);
+    }
 
-    const block = await (this.oracleHandler as TXEOraclePublicContext).close();
-    await this.stateMachine.handleL2Block(block);
-  }
+    this.logger.debug('Exiting Private state, building block with collected side effects', {
+      blockNumber: this.state.nextBlockGlobalVariables.blockNumber,
+    });
+
+    // We rely on the note cache to determine the effects of the transaction. This is incomplete as it doesn't private
+    // logs (other effects like enqueued public calls don't need to be considered since those are not allowed).
+    const txEffect = await makeTxEffect(
+      this.state.noteCache,
+      this.state.txRequestHash,
+      this.state.nextBlockGlobalVariables.blockNumber,
+    );
 
-  private async exitPrivateContext() {
-    this.assertState(SessionState.PRIVATE);
+    // We build a block holding just this transaction
+    const forkedWorldTrees = await this.stateMachine.synchronizer.nativeWorldStateService.fork();
+    await insertTxEffectIntoWorldTrees(txEffect, forkedWorldTrees);
 
-    const block = await (this.oracleHandler as TXE).close();
+    const block = new L2Block(
+      makeAppendOnlyTreeSnapshot(),
+      await makeTXEBlockHeader(forkedWorldTrees, this.state.nextBlockGlobalVariables),
+      new Body([txEffect]),
+    );
     await this.stateMachine.handleL2Block(block);
-  }
 
-  private exitUtilityContext() {
-    this.assertState(SessionState.UTILITY);
-  }
+    await forkedWorldTrees.close();
 
-  private assertState(state: SessionState) {
-    if (this.state != state) {
-      throw new Error(`Expected to be in state ${SessionState[state]}, but got '${SessionState[this.state]}' instead`);
-    }
+    this.logger.debug('Exited PublicContext with built block', {
+      blockNumber: block.number,
+      txEffects: block.body.txEffects,
+    });
   }
 
-  private async getPrivateContextInputs(anchorBlockNumber: number, contractAddress: AztecAddress) {
-    this.logger.info(`Creating private context for block ${anchorBlockNumber}`);
+  private async exitPublicState() {
+    if (this.state.name != 'PUBLIC') {
+      throw new Error(`Expected to be in state 'PUBLIC', but got '${this.state.name}' instead`);
+    }
 
-    const sender = await AztecAddress.random();
+    const block = await (this.oracleHandler as TXEOraclePublicContext).close();
+    await this.stateMachine.handleL2Block(block);
+  }
 
-    return new PrivateContextInputs(
-      new CallContext(sender, contractAddress, FunctionSelector.empty(), false),
-      (await this.stateMachine.node.getBlockHeader(anchorBlockNumber))!,
-      new TxContext(this.chainId, this.version, GasSettings.empty()),
-      0,
-    );
+  private exitUtilityContext() {
+    if (this.state.name != 'UTILITY') {
+      throw new Error(`Expected to be in state 'UTILITY', but got '${this.state.name}' instead`);
+    }
   }
 }

package/src/utils/tx_effect_creation.ts

@@ -0,0 +1,37 @@
+import { Fr } from '@aztec/foundation/fields';
+import type { ExecutionNoteCache } from '@aztec/pxe/simulator';
+import { computeNoteHashNonce, computeUniqueNoteHash, siloNoteHash } from '@aztec/stdlib/hash';
+import { TxEffect, TxHash } from '@aztec/stdlib/tx';
+
+export async function makeTxEffect(
+  noteCache: ExecutionNoteCache,
+  txRequestHash: Fr,
+  txBlockNumber: number,
+): Promise<TxEffect> {
+  const txEffect = TxEffect.empty();
+
+  const { usedTxRequestHashForNonces } = noteCache.finish();
+  const nonceGenerator = usedTxRequestHashForNonces ? txRequestHash : noteCache.getAllNullifiers()[0];
+
+  txEffect.noteHashes = await Promise.all(
+    noteCache
+      .getAllNotes()
+      .map(async (pendingNote, i) =>
+        computeUniqueNoteHash(
+          await computeNoteHashNonce(nonceGenerator, i),
+          await siloNoteHash(pendingNote.note.contractAddress, pendingNote.noteHashForConsumption),
+        ),
+      ),
+  );
+
+  // Nullifiers are already siloed
+  txEffect.nullifiers = noteCache.getAllNullifiers();
+
+  if (usedTxRequestHashForNonces) {
+    txEffect.nullifiers.unshift(txRequestHash);
+  }
+
+  txEffect.txHash = new TxHash(new Fr(txBlockNumber));
+
+  return txEffect;
+}

package/dest/oracle/txe_oracle.d.ts

@@ -1,79 +0,0 @@
-import { L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/constants';
-import { Fr, Point } from '@aztec/foundation/fields';
-import { PXEOracleInterface } from '@aztec/pxe/server';
-import { ExecutionNoteCache, type IPrivateExecutionOracle, type IUtilityExecutionOracle, MessageLoadOracleInputs, type NoteData, UtilityContext } from '@aztec/pxe/simulator';
-import type { FunctionSelector, NoteSelector } from '@aztec/stdlib/abi';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { L2Block } from '@aztec/stdlib/block';
-import type { ContractInstance } from '@aztec/stdlib/contract';
-import type { MerkleTreeWriteOperations } from '@aztec/stdlib/interfaces/server';
-import type { KeyValidationRequest } from '@aztec/stdlib/kernel';
-import { ContractClassLog, IndexedTaggingSecret } from '@aztec/stdlib/logs';
-import { type NoteStatus } from '@aztec/stdlib/note';
-import { MerkleTreeId, NullifierMembershipWitness, PublicDataWitness } from '@aztec/stdlib/trees';
-import { BlockHeader, GlobalVariables } from '@aztec/stdlib/tx';
-export declare class TXE implements IUtilityExecutionOracle, IPrivateExecutionOracle {
-    private contractAddress;
-    private pxeOracleInterface;
-    private forkedWorldTrees;
-    private anchorBlockGlobalVariables;
-    private nextBlockGlobalVariables;
-    private txRequestHash;
-    isMisc: true;
-    isUtility: true;
-    isPrivate: true;
-    private logger;
-    private executionCache;
-    private senderForTags?;
-    noteCache: ExecutionNoteCache;
-    private constructor();
-    static create(contractAddress: AztecAddress, pxeOracleInterface: PXEOracleInterface, forkedWorldTrees: MerkleTreeWriteOperations, anchorBlockGlobalVariables: GlobalVariables, nextBlockGlobalVariables: GlobalVariables, txRequestHash: Fr): Promise<TXE>;
-    checkNullifiersNotInTree(contractAddress: AztecAddress, nullifiers: Fr[]): Promise<void>;
-    utilityGetRandomField(): Fr;
-    utilityGetUtilityContext(): Promise<UtilityContext>;
-    privateStoreInExecutionCache(values: Fr[], hash: Fr): void;
-    privateLoadFromExecutionCache(hash: Fr): Promise<Fr[]>;
-    utilityGetKeyValidationRequest(pkMHash: Fr): Promise<KeyValidationRequest>;
-    utilityGetContractInstance(address: AztecAddress): Promise<ContractInstance>;
-    utilityGetMembershipWitness(blockNumber: number, treeId: MerkleTreeId, leafValue: Fr): Promise<Fr[] | undefined>;
-    utilityGetNullifierMembershipWitness(blockNumber: number, nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
-    utilityGetPublicDataWitness(blockNumber: number, leafSlot: Fr): Promise<PublicDataWitness | undefined>;
-    utilityGetLowNullifierMembershipWitness(blockNumber: number, nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
-    utilityGetBlockHeader(blockNumber: number): Promise<BlockHeader | undefined>;
-    utilityGetPublicKeysAndPartialAddress(account: AztecAddress): Promise<import("@aztec/stdlib/contract").CompleteAddress>;
-    utilityGetNotes(storageSlot: Fr, numSelects: number, selectByIndexes: number[], selectByOffsets: number[], selectByLengths: number[], selectValues: Fr[], selectComparators: number[], sortByIndexes: number[], sortByOffsets: number[], sortByLengths: number[], sortOrder: number[], limit: number, offset: number, status: NoteStatus): Promise<NoteData[]>;
-    privateNotifyCreatedNote(storageSlot: Fr, _noteTypeId: NoteSelector, noteItems: Fr[], noteHash: Fr, counter: number): void;
-    privateNotifyNullifiedNote(innerNullifier: Fr, noteHash: Fr, _counter: number): Promise<void>;
-    privateNotifyCreatedNullifier(innerNullifier: Fr): Promise<void>;
-    utilityCheckNullifierExists(innerNullifier: Fr): Promise<boolean>;
-    utilityStorageRead(contractAddress: AztecAddress, startStorageSlot: Fr, blockNumber: number, numberOfElements: number): Promise<Fr[]>;
-    utilityDebugLog(message: string, fields: Fr[]): void;
-    privateIncrementAppTaggingSecretIndexAsSender(sender: AztecAddress, recipient: AztecAddress): Promise<void>;
-    utilityGetIndexedTaggingSecretAsSender(sender: AztecAddress, recipient: AztecAddress): Promise<IndexedTaggingSecret>;
-    utilityFetchTaggedLogs(pendingTaggedLogArrayBaseSlot: Fr): Promise<void>;
-    utilityValidateEnqueuedNotesAndEvents(contractAddress: AztecAddress, noteValidationRequestsArrayBaseSlot: Fr, eventValidationRequestsArrayBaseSlot: Fr): Promise<void>;
-    utilityBulkRetrieveLogs(contractAddress: AztecAddress, logRetrievalRequestsArrayBaseSlot: Fr, logRetrievalResponsesArrayBaseSlot: Fr): Promise<void>;
-    utilityStoreCapsule(contractAddress: AztecAddress, slot: Fr, capsule: Fr[]): Promise<void>;
-    utilityLoadCapsule(contractAddress: AztecAddress, slot: Fr): Promise<Fr[] | null>;
-    utilityDeleteCapsule(contractAddress: AztecAddress, slot: Fr): Promise<void>;
-    utilityCopyCapsule(contractAddress: AztecAddress, srcSlot: Fr, dstSlot: Fr, numEntries: number): Promise<void>;
-    utilityAes128Decrypt(ciphertext: Buffer, iv: Buffer, symKey: Buffer): Promise<Buffer>;
-    utilityGetSharedSecret(address: AztecAddress, ephPk: Point): Promise<Point>;
-    privateGetSenderForTags(): Promise<AztecAddress | undefined>;
-    privateSetSenderForTags(senderForTags: AztecAddress): Promise<void>;
-    close(): Promise<L2Block>;
-    private makeTxEffect;
-    utilityAssertCompatibleOracleVersion(_version: number): void;
-    utilityGetAuthWitness(_messageHash: Fr): Promise<Fr[] | undefined>;
-    utilityGetL1ToL2MembershipWitness(_contractAddress: AztecAddress, _messageHash: Fr, _secret: Fr): Promise<MessageLoadOracleInputs<typeof L1_TO_L2_MSG_TREE_HEIGHT>>;
-    utilityEmitOffchainEffect(_data: Fr[]): Promise<void>;
-    privateNotifyCreatedContractClassLog(_log: ContractClassLog, _counter: number): void;
-    privateCallPrivateFunction(_targetContractAddress: AztecAddress, _functionSelector: FunctionSelector, _argsHash: Fr, _sideEffectCounter: number, _isStaticCall: boolean): Promise<{
-        endSideEffectCounter: Fr;
-        returnsHash: Fr;
-    }>;
-    privateNotifyEnqueuedPublicFunctionCall(_targetContractAddress: AztecAddress, _calldataHash: Fr, _sideEffectCounter: number, _isStaticCall: boolean): Promise<void>;
-    privateNotifySetPublicTeardownFunctionCall(_targetContractAddress: AztecAddress, _calldataHash: Fr, _sideEffectCounter: number, _isStaticCall: boolean): Promise<void>;
-    privateNotifySetMinRevertibleSideEffectCounter(_minRevertibleSideEffectCounter: number): Promise<void>;
-}
-//# sourceMappingURL=txe_oracle.d.ts.map

package/dest/oracle/txe_oracle.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"txe_oracle.d.ts","sourceRoot":"","sources":["../../src/oracle/txe_oracle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAE5D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAErD,OAAO,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACvD,OAAO,EACL,kBAAkB,EAElB,KAAK,uBAAuB,EAC5B,KAAK,uBAAuB,EAC5B,uBAAuB,EACvB,KAAK,QAAQ,EACb,cAAc,EAEf,MAAM,sBAAsB,CAAC;AAC9B,OAAO,KAAK,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAQ,OAAO,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAE/D,OAAO,KAAK,EAAE,yBAAyB,EAAE,MAAM,iCAAiC,CAAC;AACjF,OAAO,KAAK,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AACjE,OAAO,EAAE,gBAAgB,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC5E,OAAO,EAAQ,KAAK,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAE3D,OAAO,EAAE,YAAY,EAAE,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAClG,OAAO,EAAE,WAAW,EAAE,eAAe,EAAoB,MAAM,kBAAkB,CAAC;AAIlF,qBAAa,GAAI,YAAW,uBAAuB,EAAE,uBAAuB;IAaxE,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,kBAAkB;IAC1B,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,0BAA0B;IAClC,OAAO,CAAC,wBAAwB;IAChC,OAAO,CAAC,aAAa;IAjBvB,MAAM,EAAG,IAAI,CAAU;IACvB,SAAS,EAAG,IAAI,CAAU;IAC1B,SAAS,EAAG,IAAI,CAAU;IAE1B,OAAO,CAAC,MAAM,CAAS;IAEvB,OAAO,CAAC,cAAc,CAA2B;IACjD,OAAO,CAAC,aAAa,CAAC,CAAe;IAE9B,SAAS,EAAE,kBAAkB,CAAC;IAErC,OAAO;WAcM,MAAM,CACjB,eAAe,EAAE,YAAY,EAC7B,kBAAkB,EAAE,kBAAkB,EACtC,gBAAgB,EAAE,yBAAyB,EAC3C,0BAA0B,EAAE,eAAe,EAC3C,wBAAwB,EAAE,eAAe,EACzC,aAAa,EAAE,EAAE;IAoBb,wBAAwB,CAAC,eAAe,EAAE,YAAY,EAAE,UAAU,EAAE,EAAE,EAAE;IAY9E,qBAAqB;IAIrB,wBAAwB;IAYxB,4BAA4B,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE;IAInD,6BAA6B,CAAC,IAAI,EAAE,EAAE;IAQtC,8BAA8B,CAAC,OAAO,EAAE,EAAE,GAAG,OAAO,CAAC,oBAAoB,CAAC;IAI1E,0BAA0B,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC;IAI5E,2BAA2B,CAAC,WAAW,EAAE,MAAM,EAAE,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC;IAIhH,oCAAoC,CAClC,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAIlD,2BAA2B,CAAC,WAAW,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,iBAAiB,GAAG,SAAS,CAAC;IAItG,uCAAuC,CACrC,WAAW,EAAE,MAAM,EACnB,SAAS,EAAE,EAAE,GACZ,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC;IAI5C,qBAAqB,CAAC,WAAW,EAAE,MAAM,GAAG,OAAO,CAAC,WAAW,GAAG,SAAS,CAAC;IAIlF,qCAAqC,CAAC,OAAO,EAAE,YAAY;IAIrD,eAAe,CACnB,WAAW,EAAE,EAAE,EACf,UAAU,EAAE,MAAM,EAClB,eAAe,EAAE,MAAM,EAAE,EACzB,eAAe,EAAE,MAAM,EAAE,EACzB,eAAe,EAAE,MAAM,EAAE,EACzB,YAAY,EAAE,EAAE,EAAE,EAClB,iBAAiB,EAAE,MAAM,EAAE,EAC3B,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,EACvB,aAAa,EAAE,MAAM,EAAE,EACvB,SAAS,EAAE,MAAM,EAAE,EACnB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,UAAU;IAuCpB,wBAAwB,CAAC,WAAW,EAAE,EAAE,EAAE,WAAW,EAAE,YAAY,EAAE,SAAS,EAAE,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM;IAe7G,0BAA0B,CAAC,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM;IAK7E,6BAA6B,CAAC,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAKhE,2BAA2B,CAAC,cAAc,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC;IAMjE,kBAAkB,CACtB,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,EAAE,EACpB,WAAW,EAAE,MAAM,EACnB,gBAAgB,EAAE,MAAM,GACvB,OAAO,CAAC,EAAE,EAAE,CAAC;IAUhB,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,EAAE,GAAG,IAAI;IAI9C,6CAA6C,CAAC,MAAM,EAAE,YAAY,EAAE,SAAS,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;IAI3G,sCAAsC,CAC1C,MAAM,EAAE,YAAY,EACpB,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,oBAAoB,CAAC;IAI1B,sBAAsB,CAAC,6BAA6B,EAAE,EAAE;IAQjD,qCAAqC,CAChD,eAAe,EAAE,YAAY,EAC7B,mCAAmC,EAAE,EAAE,EACvC,oCAAoC,EAAE,EAAE,GACvC,OAAO,CAAC,IAAI,CAAC;IAQV,uBAAuB,CAC3B,eAAe,EAAE,YAAY,EAC7B,iCAAiC,EAAE,EAAE,EACrC,kCAAkC,EAAE,EAAE,GACrC,OAAO,CAAC,IAAI,CAAC;IAQhB,mBAAmB,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQ1F,kBAAkB,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,IAAI,CAAC;IAQjF,oBAAoB,CAAC,eAAe,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAQ5E,kBAAkB,CAAC,eAAe,EAAE,YAAY,EAAE,OAAO,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;IAQ9G,oBAAoB,CAAC,UAAU,EAAE,MAAM,EAAE,EAAE,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC;IAKrF,sBAAsB,CAAC,OAAO,EAAE,YAAY,EAAE,KAAK,EAAE,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;IAI3E,uBAAuB,IAAI,OAAO,CAAC,YAAY,GAAG,SAAS,CAAC;IAI5D,uBAAuB,CAAC,aAAa,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC;IAK7D,KAAK,IAAI,OAAO,CAAC,OAAO,CAAC;YAyBjB,YAAY;IAiC1B,oCAAoC,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI;IAG5D,qBAAqB,CAAC,YAAY,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC;IAGlE,iCAAiC,CAC/B,gBAAgB,EAAE,YAAY,EAC9B,YAAY,EAAE,EAAE,EAChB,OAAO,EAAE,EAAE,GACV,OAAO,CAAC,uBAAuB,CAAC,OAAO,wBAAwB,CAAC,CAAC;IAGpE,yBAAyB,CAAC,KAAK,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC;IAGrD,oCAAoC,CAAC,IAAI,EAAE,gBAAgB,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI;IAGpF,0BAA0B,CACxB,sBAAsB,EAAE,YAAY,EACpC,iBAAiB,EAAE,gBAAgB,EACnC,SAAS,EAAE,EAAE,EACb,kBAAkB,EAAE,MAAM,EAC1B,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC;QAAE,oBAAoB,EAAE,EAAE,CAAC;QAAC,WAAW,EAAE,EAAE,CAAA;KAAE,CAAC;IAGzD,uCAAuC,CACrC,sBAAsB,EAAE,YAAY,EACpC,aAAa,EAAE,EAAE,EACjB,kBAAkB,EAAE,MAAM,EAC1B,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,IAAI,CAAC;IAGhB,0CAA0C,CACxC,sBAAsB,EAAE,YAAY,EACpC,aAAa,EAAE,EAAE,EACjB,kBAAkB,EAAE,MAAM,EAC1B,aAAa,EAAE,OAAO,GACrB,OAAO,CAAC,IAAI,CAAC;IAGhB,8CAA8C,CAAC,+BAA+B,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC;CAGvG"}