@aztec/simulator 0.77.0-testnet-ignition.26 → 0.77.0-testnet-ignition.28

package/src/private/{view_data_oracle.ts → unconstrained_execution_oracle.ts}

@@ -5,7 +5,6 @@ import type { AuthWitness } from '@aztec/stdlib/auth-witness';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { CompleteAddress, ContractInstance } from '@aztec/stdlib/contract';
 import { siloNullifier } from '@aztec/stdlib/hash';
-import type { AztecNode } from '@aztec/stdlib/interfaces/client';
 import type { KeyValidationRequest } from '@aztec/stdlib/kernel';
 import { IndexedTaggingSecret, LogWithTxData } from '@aztec/stdlib/logs';
 import type { NoteStatus } from '@aztec/stdlib/note';
@@ -13,21 +12,19 @@ import { type MerkleTreeId, type NullifierMembershipWitness, PublicDataWitness }
 import type { BlockHeader, Capsule } from '@aztec/stdlib/tx';
 
 import { type NoteData, TypedOracle } from './acvm/index.js';
-import type { DBOracle } from './db_oracle.js';
+import type { ExecutionDataProvider } from './execution_data_provider.js';
 import { pickNotes } from './pick_notes.js';
 
 /**
- * The execution context for a client view tx simulation.
- * It only reads data from data sources. Nothing will be updated or created during this simulation.
+ * The oracle for an unconstrained function execution.
  */
-export class ViewDataOracle extends TypedOracle {
+export class UnconstrainedExecutionOracle extends TypedOracle {
   constructor(
     protected readonly contractAddress: AztecAddress,
     /** List of transient auth witnesses to be used during this simulation */
     protected readonly authWitnesses: AuthWitness[],
     protected readonly capsules: Capsule[],
-    protected readonly db: DBOracle,
-    protected readonly aztecNode: AztecNode,
+    protected readonly executionDataProvider: ExecutionDataProvider,
     protected log = createLogger('simulator:client_view_context'),
     protected readonly scopes?: AztecAddress[],
   ) {
@@ -35,7 +32,7 @@ export class ViewDataOracle extends TypedOracle {
   }
 
   public override getBlockNumber(): Promise<number> {
-    return this.aztecNode.getBlockNumber();
+    return this.executionDataProvider.getBlockNumber();
   }
 
   public override getContractAddress(): Promise<AztecAddress> {
@@ -43,11 +40,11 @@ export class ViewDataOracle extends TypedOracle {
   }
 
   public override getChainId(): Promise<Fr> {
-    return Promise.resolve(this.aztecNode.getChainId().then(id => new Fr(id)));
+    return Promise.resolve(this.executionDataProvider.getChainId().then(id => new Fr(id)));
   }
 
   public override getVersion(): Promise<Fr> {
-    return Promise.resolve(this.aztecNode.getVersion().then(v => new Fr(v)));
+    return Promise.resolve(this.executionDataProvider.getVersion().then(v => new Fr(v)));
   }
 
   /**
@@ -57,7 +54,7 @@ export class ViewDataOracle extends TypedOracle {
    * @throws If the keys are not registered in the key store.
    */
   public override getKeyValidationRequest(pkMHash: Fr): Promise<KeyValidationRequest> {
-    return this.db.getKeyValidationRequest(pkMHash, this.contractAddress);
+    return this.executionDataProvider.getKeyValidationRequest(pkMHash, this.contractAddress);
   }
 
   /**
@@ -68,7 +65,7 @@ export class ViewDataOracle extends TypedOracle {
    * @returns The index and sibling path concatenated [index, sibling_path]
    */
   public override getMembershipWitness(blockNumber: number, treeId: MerkleTreeId, leafValue: Fr): Promise<Fr[]> {
-    return this.db.getMembershipWitness(blockNumber, treeId, leafValue);
+    return this.executionDataProvider.getMembershipWitness(blockNumber, treeId, leafValue);
   }
 
   /**
@@ -81,7 +78,7 @@ export class ViewDataOracle extends TypedOracle {
     blockNumber: number,
     nullifier: Fr,
   ): Promise<NullifierMembershipWitness | undefined> {
-    return await this.db.getNullifierMembershipWitness(blockNumber, nullifier);
+    return await this.executionDataProvider.getNullifierMembershipWitness(blockNumber, nullifier);
   }
 
   /**
@@ -97,7 +94,7 @@ export class ViewDataOracle extends TypedOracle {
     blockNumber: number,
     nullifier: Fr,
   ): Promise<NullifierMembershipWitness | undefined> {
-    return await this.db.getLowNullifierMembershipWitness(blockNumber, nullifier);
+    return await this.executionDataProvider.getLowNullifierMembershipWitness(blockNumber, nullifier);
   }
 
   /**
@@ -110,7 +107,7 @@ export class ViewDataOracle extends TypedOracle {
     blockNumber: number,
     leafSlot: Fr,
   ): Promise<PublicDataWitness | undefined> {
-    return await this.db.getPublicDataTreeWitness(blockNumber, leafSlot);
+    return await this.executionDataProvider.getPublicDataTreeWitness(blockNumber, leafSlot);
   }
 
   /**
@@ -119,7 +116,7 @@ export class ViewDataOracle extends TypedOracle {
    * @returns Block extracted from a block with block number `blockNumber`.
    */
   public override async getBlockHeader(blockNumber: number): Promise<BlockHeader | undefined> {
-    const block = await this.db.getBlock(blockNumber);
+    const block = await this.executionDataProvider.getBlock(blockNumber);
     if (!block) {
       return undefined;
     }
@@ -133,7 +130,7 @@ export class ViewDataOracle extends TypedOracle {
    * @throws An error if the account is not registered in the database.
    */
   public override getCompleteAddress(account: AztecAddress): Promise<CompleteAddress> {
-    return this.db.getCompleteAddress(account);
+    return this.executionDataProvider.getCompleteAddress(account);
   }
 
   /**
@@ -142,7 +139,7 @@ export class ViewDataOracle extends TypedOracle {
    * @returns A contract instance.
    */
   public override getContractInstance(address: AztecAddress): Promise<ContractInstance> {
-    return this.db.getContractInstance(address);
+    return this.executionDataProvider.getContractInstance(address);
   }
 
   /**
@@ -153,7 +150,8 @@ export class ViewDataOracle extends TypedOracle {
    */
   public override getAuthWitness(messageHash: Fr): Promise<Fr[] | undefined> {
     return Promise.resolve(
-      this.authWitnesses.find(w => w.requestHash.equals(messageHash))?.witness ?? this.db.getAuthWitness(messageHash),
+      this.authWitnesses.find(w => w.requestHash.equals(messageHash))?.witness ??
+        this.executionDataProvider.getAuthWitness(messageHash),
     );
   }
 
@@ -194,7 +192,7 @@ export class ViewDataOracle extends TypedOracle {
     offset: number,
     status: NoteStatus,
   ): Promise<NoteData[]> {
-    const dbNotes = await this.db.getNotes(this.contractAddress, storageSlot, status, this.scopes);
+    const dbNotes = await this.executionDataProvider.getNotes(this.contractAddress, storageSlot, status, this.scopes);
     return pickNotes<NoteData>(dbNotes, {
       selects: selectByIndexes.slice(0, numSelects).map((index, i) => ({
         selector: { index, offset: selectByOffsets[i], length: selectByLengths[i] },
@@ -217,12 +215,12 @@ export class ViewDataOracle extends TypedOracle {
    */
   public override async checkNullifierExists(innerNullifier: Fr) {
     const nullifier = await siloNullifier(this.contractAddress, innerNullifier!);
-    const index = await this.db.getNullifierIndex(nullifier);
+    const index = await this.executionDataProvider.getNullifierIndex(nullifier);
     return index !== undefined;
   }
 
   /**
-   * Fetches a message from the db, given its key.
+   * Fetches a message from the executionDataProvider, given its key.
    * @param contractAddress - Address of a contract by which the message was emitted.
    * @param messageHash - Hash of the message.
    * @param secret - Secret used to compute a nullifier.
@@ -230,7 +228,7 @@ export class ViewDataOracle extends TypedOracle {
    * @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
    */
   public override async getL1ToL2MembershipWitness(contractAddress: AztecAddress, messageHash: Fr, secret: Fr) {
-    return await this.db.getL1ToL2MembershipWitness(contractAddress, messageHash, secret);
+    return await this.executionDataProvider.getL1ToL2MembershipWitness(contractAddress, messageHash, secret);
   }
 
   /**
@@ -249,7 +247,7 @@ export class ViewDataOracle extends TypedOracle {
     const values = [];
     for (let i = 0n; i < numberOfElements; i++) {
       const storageSlot = new Fr(startStorageSlot.value + i);
-      const value = await this.aztecNode.getPublicStorageAt(contractAddress, storageSlot, blockNumber);
+      const value = await this.executionDataProvider.getPublicStorageAt(blockNumber, contractAddress, storageSlot);
 
       this.log.debug(
         `Oracle storage read: slot=${storageSlot.toString()} address-${contractAddress.toString()} value=${value}`,
@@ -279,21 +277,21 @@ export class ViewDataOracle extends TypedOracle {
     sender: AztecAddress,
     recipient: AztecAddress,
   ): Promise<IndexedTaggingSecret> {
-    return await this.db.getIndexedTaggingSecretAsSender(this.contractAddress, sender, recipient);
+    return await this.executionDataProvider.getIndexedTaggingSecretAsSender(this.contractAddress, sender, recipient);
   }
 
   public override async syncNotes() {
-    const taggedLogsByRecipient = await this.db.syncTaggedLogs(
+    const taggedLogsByRecipient = await this.executionDataProvider.syncTaggedLogs(
       this.contractAddress,
-      await this.aztecNode.getBlockNumber(),
+      await this.executionDataProvider.getBlockNumber(),
       this.scopes,
     );
 
     for (const [recipient, taggedLogs] of taggedLogsByRecipient.entries()) {
-      await this.db.processTaggedLogs(taggedLogs, AztecAddress.fromString(recipient));
+      await this.executionDataProvider.processTaggedLogs(taggedLogs, AztecAddress.fromString(recipient));
     }
 
-    await this.db.removeNullifiedNotes(this.contractAddress);
+    await this.executionDataProvider.removeNullifiedNotes(this.contractAddress);
   }
 
   public override async deliverNote(
@@ -311,11 +309,20 @@ export class ViewDataOracle extends TypedOracle {
       throw new Error(`Got a note delivery request from ${contractAddress}, expected ${this.contractAddress}`);
     }
 
-    await this.db.deliverNote(contractAddress, storageSlot, nonce, content, noteHash, nullifier, txHash, recipient);
+    await this.executionDataProvider.deliverNote(
+      contractAddress,
+      storageSlot,
+      nonce,
+      content,
+      noteHash,
+      nullifier,
+      txHash,
+      recipient,
+    );
   }
 
   public override getLogByTag(tag: Fr): Promise<LogWithTxData | null> {
-    return this.db.getLogByTag(tag);
+    return this.executionDataProvider.getLogByTag(tag);
   }
 
   public override storeCapsule(contractAddress: AztecAddress, slot: Fr, capsule: Fr[]): Promise<void> {
@@ -323,7 +330,7 @@ export class ViewDataOracle extends TypedOracle {
       // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
       throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
     }
-    return this.db.storeCapsule(this.contractAddress, slot, capsule);
+    return this.executionDataProvider.storeCapsule(this.contractAddress, slot, capsule);
   }
 
   public override async loadCapsule(contractAddress: AztecAddress, slot: Fr): Promise<Fr[] | null> {
@@ -333,7 +340,7 @@ export class ViewDataOracle extends TypedOracle {
     }
     return (
       this.capsules.find(c => c.contractAddress.equals(contractAddress) && c.storageSlot.equals(slot))?.data ??
-      (await this.db.loadCapsule(this.contractAddress, slot))
+      (await this.executionDataProvider.loadCapsule(this.contractAddress, slot))
     );
   }
 
@@ -342,7 +349,7 @@ export class ViewDataOracle extends TypedOracle {
       // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
       throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
     }
-    return this.db.deleteCapsule(this.contractAddress, slot);
+    return this.executionDataProvider.deleteCapsule(this.contractAddress, slot);
   }
 
   public override copyCapsule(
@@ -355,7 +362,7 @@ export class ViewDataOracle extends TypedOracle {
       // TODO(#10727): instead of this check that this.contractAddress is allowed to access the external DB
       throw new Error(`Contract ${contractAddress} is not allowed to access ${this.contractAddress}'s PXE DB`);
     }
-    return this.db.copyCapsule(this.contractAddress, srcSlot, dstSlot, numEntries);
+    return this.executionDataProvider.copyCapsule(this.contractAddress, srcSlot, dstSlot, numEntries);
   }
 
   // TODO(#11849): consider replacing this oracle with a pure Noir implementation of aes decryption.

package/src/public/public_tx_simulator/public_tx_simulator.ts

@@ -4,7 +4,7 @@ import { Timer } from '@aztec/foundation/timer';
 import { ProtocolContractAddress } from '@aztec/protocol-contracts';
 import { computeFeePayerBalanceStorageSlot } from '@aztec/protocol-contracts/fee-juice';
 import type { AvmProvingRequest, RevertCode } from '@aztec/stdlib/avm';
-import type { SimulationError } from '@aztec/stdlib/errors';
+import { SimulationError } from '@aztec/stdlib/errors';
 import type { Gas, GasUsed } from '@aztec/stdlib/gas';
 import type { MerkleTreeReadOperations } from '@aztec/stdlib/interfaces/server';
 import type { PublicCallRequest } from '@aztec/stdlib/kernel';
@@ -101,16 +101,20 @@ export class PublicTxSimulator {
       }
 
       const revertStart = process.hrtime.bigint();
-      // FIXME(#12375): TX shouldn't die if revertible insertions fail. Should just revert to snapshot.
-      await this.insertRevertiblesFromPrivate(context);
-      // add new contracts to the contracts db so that their functions may be found and called
-      await this.worldStateDB.addNewRevertibleContracts(tx);
-      const revertEnd = process.hrtime.bigint();
-      this.metrics.recordPrivateEffectsInsertion(Number(revertEnd - revertStart) / 1_000, 'revertible');
-
-      if (context.hasPhase(TxExecutionPhase.APP_LOGIC)) {
-        const appLogicResult: ProcessedPhase = await this.simulateAppLogicPhase(context);
-        processedPhases.push(appLogicResult);
+      const success = await this.insertRevertiblesFromPrivate(context);
+      if (success) {
+        // add new contracts to the contracts db so that their functions may be found and called
+        await this.worldStateDB.addNewRevertibleContracts(tx);
+        const revertEnd = process.hrtime.bigint();
+        this.metrics.recordPrivateEffectsInsertion(Number(revertEnd - revertStart) / 1_000, 'revertible');
+
+        // Only proceed with app logic if there was no revert during revertible insertion
+        if (context.hasPhase(TxExecutionPhase.APP_LOGIC)) {
+          const appLogicResult: ProcessedPhase = await this.simulateAppLogicPhase(context);
+          processedPhases.push(appLogicResult);
+        }
+      } else {
+        this.log.debug(`Revertible insertions failed. Skipping app logic.`);
       }
 
       if (context.hasPhase(TxExecutionPhase.TEARDOWN)) {
@@ -390,7 +394,7 @@ export class PublicTxSimulator {
     } catch (e) {
       if (e instanceof NullifierCollisionError) {
         throw new NullifierCollisionError(
-          `Nullifier collision encountered when inserting non-revertible nullifiers from private.\nDetails: ${e.message}\n.Stack:${e.stack}`,
+          `Nullifier collision encountered when inserting non-revertible nullifiers from private.\nDetails: ${e.message}\nStack:${e.stack}`,
         );
       }
     }
@@ -405,7 +409,7 @@ export class PublicTxSimulator {
    * Insert the revertible accumulated data from private into the public state.
    * Start by forking state so we can rollback to the end of setup if app logic or teardown reverts.
    */
-  public async insertRevertiblesFromPrivate(context: PublicTxContext) {
+  public async insertRevertiblesFromPrivate(context: PublicTxContext): /*success=*/ Promise<boolean> {
     // Fork the state manager so we can rollback to end of setup if app logic reverts.
     await context.state.fork();
     const stateManager = context.state.getActiveStateManager();
@@ -413,10 +417,18 @@ export class PublicTxSimulator {
       await stateManager.writeSiloedNullifiersFromPrivate(context.revertibleAccumulatedDataFromPrivate.nullifiers);
     } catch (e) {
       if (e instanceof NullifierCollisionError) {
-        // FIXME(#12375): simulator should be able to recover from this and just revert to snapshot.
-        throw new NullifierCollisionError(
-          `Nullifier collision encountered when inserting revertible nullifiers from private. Details:\n${e.message}\n.Stack:${e.stack}`,
+        // Instead of throwing, revert the app_logic phase
+        context.revert(
+          TxExecutionPhase.APP_LOGIC,
+          new SimulationError(
+            `Nullifier collision encountered when inserting revertible nullifiers from private\nDetails: ${e.message}\nError stack: ${e.stack}`,
+            [],
+          ),
+          /*culprit=*/ 'insertRevertiblesFromPrivate',
         );
+        return /*success=*/ false;
+      } else {
+        throw e;
       }
     }
     for (const noteHash of context.revertibleAccumulatedDataFromPrivate.noteHashes) {
@@ -425,6 +437,7 @@ export class PublicTxSimulator {
         await stateManager.writeSiloedNoteHash(noteHash);
       }
     }
+    return /*success=*/ true;
   }
 
   private async payFee(context: PublicTxContext) {

package/dest/client.d.ts

@@ -1,5 +0,0 @@
-export * from './private/index.js';
-export { WASMSimulator } from './private/providers/acvm_wasm.js';
-export { type SimulationProvider } from './private/providers/simulation_provider.js';
-export * from './common/index.js';
-//# sourceMappingURL=client.d.ts.map

package/dest/client.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"client.d.ts","sourceRoot":"","sources":["../src/client.ts"],"names":[],"mappings":"AAAA,cAAc,oBAAoB,CAAC;AACnC,OAAO,EAAE,aAAa,EAAE,MAAM,kCAAkC,CAAC;AACjE,OAAO,EAAE,KAAK,kBAAkB,EAAE,MAAM,4CAA4C,CAAC;AACrF,cAAc,mBAAmB,CAAC"}

package/dest/common/db_interfaces.d.ts

@@ -1,80 +0,0 @@
-import type { L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/constants';
-import type { Fr } from '@aztec/foundation/fields';
-import type { FunctionSelector } from '@aztec/stdlib/abi';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { ContractInstanceWithAddress } from '@aztec/stdlib/contract';
-import type { NullifierMembershipWitness } from '@aztec/stdlib/trees';
-import type { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
-/**
- * Database interface for providing access to public state.
- */
-export interface PublicStateDB {
-    /**
-     * Reads a value from public storage, returning zero if none.
-     * @param contract - Owner of the storage.
-     * @param slot - Slot to read in the contract storage.
-     * @returns The current value in the storage slot.
-     */
-    storageRead(contract: AztecAddress, slot: Fr): Promise<Fr>;
-    /**
-     * Records a write to public storage.
-     * @param contract - Owner of the storage.
-     * @param slot - Slot to read in the contract storage.
-     * @param newValue - The new value to store.
-     */
-    storageWrite(contract: AztecAddress, slot: Fr, newValue: Fr): Promise<void>;
-}
-/**
- * Database interface for providing access to public contract data.
- */
-export interface PublicContractsDB {
-    /**
-     * Returns a publicly deployed contract instance.
-     * @param address - Address of the contract.
-     * @returns The contract instance or undefined if not found.
-     */
-    getContractInstance(address: AztecAddress): Promise<ContractInstanceWithAddress | undefined>;
-    getDebugFunctionName(contractAddress: AztecAddress, selector: FunctionSelector): Promise<string | undefined>;
-}
-/** Database interface for providing access to commitment tree, l1 to l2 message tree, and nullifier tree. */
-export interface CommitmentsDB {
-    /**
-     * Fetches a message from the db, given its key.
-     * @param contractAddress - Address of a contract by which the message was emitted.
-     * @param messageHash - Hash of the message.
-     * @param secret - Secret used to compute a nullifier.
-     * @dev Contract address and secret are only used to compute the nullifier to get non-nullified messages
-     * @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
-     */
-    getL1ToL2MembershipWitness(contractAddress: AztecAddress, messageHash: Fr, secret: Fr): Promise<MessageLoadOracleInputs<typeof L1_TO_L2_MSG_TREE_HEIGHT>>;
-    /**
-     * @param leafIndex the leaf to look up
-     * @returns The l1 to l2 leaf value or undefined if not found.
-     */
-    getL1ToL2LeafValue(leafIndex: bigint): Promise<Fr | undefined>;
-    /**
-     * Gets the index of a commitment in the note hash tree.
-     * @param commitment - The commitment.
-     * @returns - The index of the commitment. Undefined if it does not exist in the tree.
-     */
-    getCommitmentIndex(commitment: Fr): Promise<bigint | undefined>;
-    /**
-     * Gets commitment in the note hash tree given a leaf index.
-     * @param leafIndex - the leaf to look up.
-     * @returns - The commitment at that index. Undefined if leaf index is not found.
-     */
-    getCommitmentValue(leafIndex: bigint): Promise<Fr | undefined>;
-    /**
-     * Gets the index of a nullifier in the nullifier tree.
-     * @param nullifier - The nullifier.
-     * @returns - The index of the nullifier. Undefined if it does not exist in the tree.
-     */
-    getNullifierIndex(nullifier: Fr): Promise<bigint | undefined>;
-    /**
-     * Returns a nullifier membership witness for the given nullifier or undefined if not found.
-     * REFACTOR: Same as getL1ToL2MembershipWitness, can be combined with aztec-node method that does almost the same thing.
-     * @param nullifier - Nullifier we're looking for.
-     */
-    getNullifierMembershipWitnessAtLatestBlock(nullifier: Fr): Promise<NullifierMembershipWitness | undefined>;
-}
-//# sourceMappingURL=db_interfaces.d.ts.map

package/dest/common/db_interfaces.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"db_interfaces.d.ts","sourceRoot":"","sources":["../../src/common/db_interfaces.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AACjE,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AACnD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mBAAmB,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,2BAA2B,EAAE,MAAM,wBAAwB,CAAC;AAC1E,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,qBAAqB,CAAC;AAEtE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC;AAE/E;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B;;;;;OAKG;IACH,WAAW,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IAE3D;;;;;OAKG;IACH,YAAY,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;CAC7E;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAChC;;;;OAIG;IACH,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,2BAA2B,GAAG,SAAS,CAAC,CAAC;IAE7F,oBAAoB,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;CAC9G;AAED,6GAA6G;AAC7G,MAAM,WAAW,aAAa;IAC5B;;;;;;;OAOG;IACH,0BAA0B,CACxB,eAAe,EAAE,YAAY,EAC7B,WAAW,EAAE,EAAE,EACf,MAAM,EAAE,EAAE,GACT,OAAO,CAAC,uBAAuB,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAAC;IAErE;;;OAGG;IACH,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC;IAE/D;;;;OAIG;IACH,kBAAkB,CAAC,UAAU,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAEhE;;;;OAIG;IACH,kBAAkB,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC;IAE/D;;;;OAIG;IACH,iBAAiB,CAAC,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,GAAG,SAAS,CAAC,CAAC;IAE9D;;;;OAIG;IACH,0CAA0C,CAAC,SAAS,EAAE,EAAE,GAAG,OAAO,CAAC,0BAA0B,GAAG,SAAS,CAAC,CAAC;CAC5G"}

package/dest/common/debug_fn_name.d.ts

@@ -1,5 +0,0 @@
-import type { Fr } from '@aztec/foundation/fields';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { WorldStateDB } from '../public/public_db_sources.js';
-export declare function getPublicFunctionDebugName(db: WorldStateDB, contractAddress: AztecAddress, calldata: Fr[]): Promise<string>;
-//# sourceMappingURL=debug_fn_name.d.ts.map

package/dest/common/debug_fn_name.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"debug_fn_name.d.ts","sourceRoot":"","sources":["../../src/common/debug_fn_name.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAEhE,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,gCAAgC,CAAC;AAEnE,wBAAsB,0BAA0B,CAC9C,EAAE,EAAE,YAAY,EAChB,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,EAAE,EAAE,GACb,OAAO,CAAC,MAAM,CAAC,CAOjB"}

package/dest/common/errors.d.ts

@@ -1,54 +0,0 @@
-import type { Fr } from '@aztec/foundation/fields';
-import type { BrilligFunctionId, FunctionAbi, FunctionDebugMetadata, OpcodeLocation } from '@aztec/stdlib/abi';
-import { type FailingFunction, type NoirCallStack, SimulationError, type SourceCodeLocation } from '@aztec/stdlib/errors';
-import type { RawAssertionPayload } from '@noir-lang/acvm_js';
-/**
- * An error that occurred during the execution of a function.
- * @param message - the error message
- * @param failingFunction - the Aztec function that failed
- * @param noirCallStack - the internal call stack of the function that failed (within the failing Aztec function)
- * @param options - additional error options (an optional "cause" entry allows for a recursive error stack where
- *                  an error's cause may be an ExecutionError itself)
- */
-export declare class ExecutionError extends Error {
-    /**
-     * The function that failed.
-     */
-    failingFunction: FailingFunction;
-    /**
-     * The noir call stack of the function that failed.
-     */
-    noirCallStack?: NoirCallStack | undefined;
-    constructor(message: string, 
-    /**
-     * The function that failed.
-     */
-    failingFunction: FailingFunction, 
-    /**
-     * The noir call stack of the function that failed.
-     */
-    noirCallStack?: NoirCallStack | undefined, options?: ErrorOptions);
-}
-/**
- * Traverses the cause chain of an error.
- * @param error - The error to start from.
- * @param callback - A callback on every error, including the first one.
- */
-export declare function traverseCauseChain(error: Error, callback: (error: Error) => void): void;
-/**
- * Creates a simulation error from an error chain generated during the execution of a function.
- * @param error - The error thrown during execution.
- * @returns - A simulation error.
- */
-export declare function createSimulationError(error: Error, revertData?: Fr[]): SimulationError;
-/**
- * Extracts the source code locations for an array of opcode locations
- * @param opcodeLocations - The opcode locations that caused the error.
- * @param debug - The debug metadata of the function.
- * @returns The source code locations.
- */
-export declare function resolveOpcodeLocations(opcodeLocations: OpcodeLocation[], debug: FunctionDebugMetadata, brilligFunctionId?: BrilligFunctionId): SourceCodeLocation[];
-export declare function resolveAssertionMessage(errorPayload: RawAssertionPayload, abi: FunctionAbi): string | undefined;
-export declare function resolveAssertionMessageFromRevertData(revertData: Fr[], abi: FunctionAbi): string | undefined;
-export declare function resolveAssertionMessageFromError(err: Error, abi: FunctionAbi): string;
-//# sourceMappingURL=errors.d.ts.map

package/dest/common/errors.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"errors.d.ts","sourceRoot":"","sources":["../../src/common/errors.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAEnD,OAAO,KAAK,EAAE,iBAAiB,EAAE,WAAW,EAAE,qBAAqB,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAC/G,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,eAAe,EACf,KAAK,kBAAkB,EACxB,MAAM,sBAAsB,CAAC;AAE9B,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAG9D;;;;;;;GAOG;AACH,qBAAa,cAAe,SAAQ,KAAK;IAGrC;;OAEG;IACI,eAAe,EAAE,eAAe;IACvC;;OAEG;IACI,aAAa,CAAC;gBARrB,OAAO,EAAE,MAAM;IACf;;OAEG;IACI,eAAe,EAAE,eAAe;IACvC;;OAEG;IACI,aAAa,CAAC,2BAAe,EACpC,OAAO,CAAC,EAAE,YAAY;CAIzB;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,QAUhF;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,UAAU,CAAC,EAAE,EAAE,EAAE,GAAG,eAAe,CAgBtF;AAuDD;;;;;GAKG;AACH,wBAAgB,sBAAsB,CACpC,eAAe,EAAE,cAAc,EAAE,EACjC,KAAK,EAAE,qBAAqB,EAC5B,iBAAiB,CAAC,EAAE,iBAAiB,GACpC,kBAAkB,EAAE,CAItB;AAED,wBAAgB,uBAAuB,CAAC,YAAY,EAAE,mBAAmB,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAW/G;AAED,wBAAgB,qCAAqC,CAAC,UAAU,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,GAAG,SAAS,CAc5G;AAED,wBAAgB,gCAAgC,CAAC,GAAG,EAAE,KAAK,EAAE,GAAG,EAAE,WAAW,GAAG,MAAM,CAMrF"}

package/dest/common/index.d.ts

@@ -1,4 +0,0 @@
-export * from './errors.js';
-export * from './stats/index.js';
-export * from './message_load_oracle_inputs.js';
-//# sourceMappingURL=index.d.ts.map

package/dest/common/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/common/index.ts"],"names":[],"mappings":"AAAA,cAAc,aAAa,CAAC;AAC5B,cAAc,kBAAkB,CAAC;AACjC,cAAc,iCAAiC,CAAC"}

package/dest/common/message_load_oracle_inputs.d.ts

@@ -1,15 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import type { SiblingPath } from '@aztec/foundation/trees';
-export declare class MessageLoadOracleInputs<N extends number> {
-    /** The index of the message commitment in the merkle tree. */
-    index: bigint;
-    /** The path in the merkle tree to the message. */
-    siblingPath: SiblingPath<N>;
-    constructor(
-    /** The index of the message commitment in the merkle tree. */
-    index: bigint, 
-    /** The path in the merkle tree to the message. */
-    siblingPath: SiblingPath<N>);
-    toFields(): Fr[];
-}
-//# sourceMappingURL=message_load_oracle_inputs.d.ts.map

package/dest/common/message_load_oracle_inputs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"message_load_oracle_inputs.d.ts","sourceRoot":"","sources":["../../src/common/message_load_oracle_inputs.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAE3D,qBAAa,uBAAuB,CAAC,CAAC,SAAS,MAAM;IAEjD,8DAA8D;IACvD,KAAK,EAAE,MAAM;IACpB,kDAAkD;IAC3C,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;;IAHlC,8DAA8D;IACvD,KAAK,EAAE,MAAM;IACpB,kDAAkD;IAC3C,WAAW,EAAE,WAAW,CAAC,CAAC,CAAC;IAGpC,QAAQ,IAAI,EAAE,EAAE;CAGjB"}

package/dest/common/stats/index.d.ts

@@ -1,2 +0,0 @@
-export * from './stats.js';
-//# sourceMappingURL=index.d.ts.map

package/dest/common/stats/index.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/common/stats/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC"}

package/dest/common/stats/stats.d.ts

@@ -1,4 +0,0 @@
-import type { Logger } from '@aztec/foundation/log';
-import type { CircuitName } from '@aztec/stdlib/stats';
-export declare function emitCircuitSimulationStats(circuitName: CircuitName, duration: number, inputSize: number, outputSize: number, logger: Logger): void;
-//# sourceMappingURL=stats.d.ts.map

package/dest/common/stats/stats.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"stats.d.ts","sourceRoot":"","sources":["../../../src/common/stats/stats.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,EAAE,WAAW,EAA0B,MAAM,qBAAqB,CAAC;AAE/E,wBAAgB,0BAA0B,CACxC,WAAW,EAAE,WAAW,EACxB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,UAAU,EAAE,MAAM,EAClB,MAAM,EAAE,MAAM,QAWf"}

package/dest/private/acvm/acvm.d.ts

@@ -1,35 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import type { FunctionDebugMetadata } from '@aztec/stdlib/abi';
-import type { NoirCallStack } from '@aztec/stdlib/errors';
-import { type ExecutionError, type ForeignCallInput, type ForeignCallOutput } from '@noir-lang/acvm_js';
-import type { ACVMWitness } from './acvm_types.js';
-import type { ORACLE_NAMES } from './oracle/index.js';
-/**
- * The callback interface for the ACIR.
- */
-export type ACIRCallback = Record<ORACLE_NAMES, (...args: ForeignCallInput[]) => void | Promise<void> | ForeignCallOutput | ForeignCallOutput[] | Promise<ForeignCallOutput> | Promise<ForeignCallOutput[]>>;
-/**
- * The result of executing an ACIR.
- */
-export interface ACIRExecutionResult {
-    /**
-     * An execution result contains two witnesses.
-     * 1. The partial witness of the execution.
-     * 2. The return witness which contains the given public return values within the full witness.
-     */
-    partialWitness: ACVMWitness;
-    returnWitness: ACVMWitness;
-}
-/**
- * The function call that executes an ACIR.
- */
-export declare function acvm(acir: Buffer, initialWitness: ACVMWitness, callback: ACIRCallback): Promise<ACIRExecutionResult>;
-/**
- * Extracts the call stack from an thrown by the acvm.
- * @param error - The error to extract from.
- * @param debug - The debug metadata of the function called.
- * @returns The call stack, if available.
- */
-export declare function extractCallStack(error: Error | ExecutionError, debug?: FunctionDebugMetadata): NoirCallStack | undefined;
-//# sourceMappingURL=acvm.d.ts.map

package/dest/private/acvm/acvm.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"acvm.d.ts","sourceRoot":"","sources":["../../../src/private/acvm/acvm.ts"],"names":[],"mappings":";;AACA,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,sBAAsB,CAAC;AAE1D,OAAO,EACL,KAAK,cAAc,EACnB,KAAK,gBAAgB,EACrB,KAAK,iBAAiB,EAEvB,MAAM,oBAAoB,CAAC;AAG5B,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AACnD,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEtD;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,MAAM,CAC/B,YAAY,EACZ,CACE,GAAG,IAAI,EAAE,gBAAgB,EAAE,KAEzB,IAAI,GACJ,OAAO,CAAC,IAAI,CAAC,GACb,iBAAiB,GACjB,iBAAiB,EAAE,GACnB,OAAO,CAAC,iBAAiB,CAAC,GAC1B,OAAO,CAAC,iBAAiB,EAAE,CAAC,CACjC,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;;OAIG;IACH,cAAc,EAAE,WAAW,CAAC;IAC5B,aAAa,EAAE,WAAW,CAAC;CAC5B;AAED;;GAEG;AACH,wBAAsB,IAAI,CACxB,IAAI,EAAE,MAAM,EACZ,cAAc,EAAE,WAAW,EAC3B,QAAQ,EAAE,YAAY,GACrB,OAAO,CAAC,mBAAmB,CAAC,CAkD9B;AAED;;;;;GAKG;AACH,wBAAgB,gBAAgB,CAC9B,KAAK,EAAE,KAAK,GAAG,cAAc,EAC7B,KAAK,CAAC,EAAE,qBAAqB,GAC5B,aAAa,GAAG,SAAS,CAc3B"}

package/dest/private/acvm/acvm_types.d.ts

@@ -1,10 +0,0 @@
-import type { WitnessMap } from '@noir-lang/acvm_js';
-/**
- * ACVMField
- */
-export type ACVMField = string;
-/**
- * The format for witnesses of the ACVM.
- */
-export type ACVMWitness = WitnessMap;
-//# sourceMappingURL=acvm_types.d.ts.map

package/dest/private/acvm/acvm_types.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"acvm_types.d.ts","sourceRoot":"","sources":["../../../src/private/acvm/acvm_types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAErD;;GAEG;AACH,MAAM,MAAM,SAAS,GAAG,MAAM,CAAC;AAE/B;;GAEG;AACH,MAAM,MAAM,WAAW,GAAG,UAAU,CAAC"}