@aztec/txe 0.0.1-commit.24de95ac → 0.0.1-commit.2606882

package/dest/oracle/txe_oracle_public_context.js

@@ -1,28 +1,28 @@
-import { Fr } from '@aztec/foundation/fields';
+import { Fr } from '@aztec/foundation/curves/bn254';
 import { createLogger } from '@aztec/foundation/log';
 import { PublicDataWrite } from '@aztec/stdlib/avm';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { Body, L2Block } from '@aztec/stdlib/block';
 import { computePublicDataTreeLeafSlot, siloNoteHash, siloNullifier } from '@aztec/stdlib/hash';
-import { makeAppendOnlyTreeSnapshot } from '@aztec/stdlib/testing';
 import { MerkleTreeId, PublicDataTreeLeaf } from '@aztec/stdlib/trees';
 import { TxEffect, TxHash } from '@aztec/stdlib/tx';
-import { insertTxEffectIntoWorldTrees, makeTXEBlockHeader } from '../utils/block_creation.js';
+import { insertTxEffectIntoWorldTrees, makeTXEBlock } from '../utils/block_creation.js';
 export class TXEOraclePublicContext {
     contractAddress;
     forkedWorldTrees;
     txRequestHash;
     globalVariables;
+    contractStore;
     isAvm;
     logger;
     transientUniqueNoteHashes;
     transientSiloedNullifiers;
     publicDataWrites;
-    constructor(contractAddress, forkedWorldTrees, txRequestHash, globalVariables){
+    constructor(contractAddress, forkedWorldTrees, txRequestHash, globalVariables, contractStore){
         this.contractAddress = contractAddress;
         this.forkedWorldTrees = forkedWorldTrees;
         this.txRequestHash = txRequestHash;
         this.globalVariables = globalVariables;
+        this.contractStore = contractStore;
         this.isAvm = true;
         this.transientUniqueNoteHashes = [];
         this.transientSiloedNullifiers = [];
@@ -34,45 +34,44 @@ export class TXEOraclePublicContext {
             timestamp: globalVariables.timestamp
         });
     }
-    avmOpcodeAddress() {
+    address() {
         return Promise.resolve(this.contractAddress);
     }
-    avmOpcodeSender() {
+    sender() {
         return Promise.resolve(AztecAddress.ZERO); // todo: change?
     }
-    avmOpcodeBlockNumber() {
+    blockNumber() {
         return Promise.resolve(this.globalVariables.blockNumber);
     }
-    avmOpcodeTimestamp() {
+    timestamp() {
         return Promise.resolve(this.globalVariables.timestamp);
     }
-    avmOpcodeIsStaticCall() {
+    isStaticCall() {
         return Promise.resolve(false);
     }
-    avmOpcodeChainId() {
+    chainId() {
         return Promise.resolve(this.globalVariables.chainId);
     }
-    avmOpcodeVersion() {
+    version() {
         return Promise.resolve(this.globalVariables.version);
     }
-    async avmOpcodeEmitNullifier(nullifier) {
+    async emitNullifier(nullifier) {
         const siloedNullifier = await siloNullifier(this.contractAddress, nullifier);
         this.transientSiloedNullifiers.push(siloedNullifier);
     }
-    async avmOpcodeEmitNoteHash(noteHash) {
+    async emitNoteHash(noteHash) {
         const siloedNoteHash = await siloNoteHash(this.contractAddress, noteHash);
         // TODO: make the note hash unique - they are only siloed right now
         this.transientUniqueNoteHashes.push(siloedNoteHash);
     }
-    async avmOpcodeNullifierExists(innerNullifier, targetAddress) {
-        const nullifier = await siloNullifier(targetAddress, innerNullifier);
+    async nullifierExists(siloedNullifier) {
         const treeIndex = (await this.forkedWorldTrees.findLeafIndices(MerkleTreeId.NULLIFIER_TREE, [
-            nullifier.toBuffer()
+            siloedNullifier.toBuffer()
         ]))[0];
-        const transientIndex = this.transientSiloedNullifiers.find((n)=>n.equals(nullifier));
+        const transientIndex = this.transientSiloedNullifiers.find((n)=>n.equals(siloedNullifier));
         return treeIndex !== undefined || transientIndex !== undefined;
     }
-    async avmOpcodeStorageWrite(slot, value) {
+    async storageWrite(slot, value) {
         this.logger.debug('AVM storage write', {
             slot,
             value
@@ -83,25 +82,66 @@ export class TXEOraclePublicContext {
             new PublicDataTreeLeaf(dataWrite.leafSlot, dataWrite.value).toBuffer()
         ]);
     }
-    async avmOpcodeStorageRead(slot) {
-        const leafSlot = await computePublicDataTreeLeafSlot(this.contractAddress, slot);
+    async storageRead(slot, contractAddress) {
+        const leafSlot = await computePublicDataTreeLeafSlot(contractAddress, slot);
         const lowLeafResult = await this.forkedWorldTrees.getPreviousValueIndex(MerkleTreeId.PUBLIC_DATA_TREE, leafSlot.toBigInt());
         const value = !lowLeafResult || !lowLeafResult.alreadyPresent ? Fr.ZERO : (await this.forkedWorldTrees.getLeafPreimage(MerkleTreeId.PUBLIC_DATA_TREE, lowLeafResult.index)).leaf.value;
         this.logger.debug('AVM storage read', {
             slot,
+            contractAddress,
             value
         });
         return value;
     }
+    getContractInstanceDeployer(address) {
+        return this.getContractInstanceMember(address, (i)=>i.deployer.toField());
+    }
+    getContractInstanceClassId(address) {
+        return this.getContractInstanceMember(address, (i)=>i.currentContractClassId);
+    }
+    getContractInstanceInitializationHash(address) {
+        return this.getContractInstanceMember(address, (i)=>i.initializationHash);
+    }
+    getContractInstanceImmutablesHash(address) {
+        return this.getContractInstanceMember(address, (i)=>i.immutablesHash);
+    }
+    async getContractInstanceMember(address, accessor) {
+        const instance = await this.contractStore.getContractInstance(address);
+        if (!instance) {
+            return {
+                member: Fr.ZERO,
+                exists: false
+            };
+        }
+        return {
+            member: accessor(instance),
+            exists: true
+        };
+    }
+    returndataSize() {
+        throw new Error('Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead');
+    }
+    returndataCopy(_rdOffset, _copySize) {
+        throw new Error('Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead');
+    }
+    call(_l2Gas, _daGas, _address, _argsLength, _args) {
+        throw new Error('Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead');
+    }
+    staticCall(_l2Gas, _daGas, _address, _argsLength, _args) {
+        throw new Error('Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead');
+    }
+    successCopy() {
+        throw new Error('Contract calls are forbidden inside a `TestEnvironment::public_context`, use `public_call` instead');
+    }
     async close() {
         this.logger.debug('Exiting Public Context, building block with collected side effects', {
             blockNumber: this.globalVariables.blockNumber
         });
         const txEffect = this.makeTxEffect();
         await insertTxEffectIntoWorldTrees(txEffect, this.forkedWorldTrees);
-        const block = new L2Block(makeAppendOnlyTreeSnapshot(), await makeTXEBlockHeader(this.forkedWorldTrees, this.globalVariables), new Body([
+        const block = await makeTXEBlock(this.forkedWorldTrees, this.globalVariables, [
             txEffect
-        ]));
+        ]);
         await this.forkedWorldTrees.close();
         this.logger.debug('Exited PublicContext with built block', {
             blockNumber: block.number,

package/dest/oracle/txe_oracle_registry.d.ts

@@ -0,0 +1,147 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+import { type MaybePromise, type OracleRegistryEntry, type ParamTypes } from '@aztec/pxe/simulator';
+import { EventSelector } from '@aztec/stdlib/abi';
+import { CompleteAddress } from '@aztec/stdlib/contract';
+import { GasSettings } from '@aztec/stdlib/gas';
+import { PrivateContextInputs } from '@aztec/stdlib/kernel';
+import type { PrivateLog } from '@aztec/stdlib/logs';
+import type { TxHash } from '@aztec/stdlib/tx';
+import type { ForeignCallArgs, ForeignCallResult } from '../utils/encoding.js';
+export declare const TXE_ORACLE_REGISTRY: {
+    aztec_misc_assertCompatibleOracleVersion: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"major", number>, import("@aztec/pxe/simulator").NamedValue<"minor", number>], any>;
+    aztec_misc_getRandomField: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], Fr>;
+    aztec_misc_log: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"level", number>, import("@aztec/pxe/simulator").NamedValue<"message", string>, import("@aztec/pxe/simulator").NamedValue<"fieldsSize", number>, import("@aztec/pxe/simulator").NamedValue<"fields", Fr[]>], any>;
+    aztec_utl_getUtilityContext: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], import("@aztec/pxe/simulator").UtilityContext>;
+    aztec_utl_getKeyValidationRequest: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"pkMHash", Fr>], import("@aztec/stdlib/kernel").KeyValidationRequest>;
+    aztec_utl_getContractInstance: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>], import("@aztec/stdlib/contract").ContractInstance>;
+    aztec_utl_getNoteHashMembershipWitness: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"anchorBlockHash", import("@aztec/stdlib/block").BlockHash>, import("@aztec/pxe/simulator").NamedValue<"noteHash", Fr>], import("@aztec/foundation/trees").MembershipWitness<42>>;
+    aztec_utl_getBlockHashMembershipWitness: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"anchorBlockHash", import("@aztec/stdlib/block").BlockHash>, import("@aztec/pxe/simulator").NamedValue<"blockHash", import("@aztec/stdlib/block").BlockHash>], import("@aztec/pxe/simulator").Option<import("@aztec/foundation/trees").MembershipWitness<30>>>;
+    aztec_utl_getNullifierMembershipWitness: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"blockHash", import("@aztec/stdlib/block").BlockHash>, import("@aztec/pxe/simulator").NamedValue<"nullifier", Fr>], import("@aztec/stdlib/trees").NullifierMembershipWitness>;
+    aztec_utl_getLowNullifierMembershipWitness: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"blockHash", import("@aztec/stdlib/block").BlockHash>, import("@aztec/pxe/simulator").NamedValue<"nullifier", Fr>], import("@aztec/stdlib/trees").NullifierMembershipWitness>;
+    aztec_utl_getPublicDataWitness: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"blockHash", import("@aztec/stdlib/block").BlockHash>, import("@aztec/pxe/simulator").NamedValue<"leafSlot", Fr>], import("@aztec/stdlib/trees").PublicDataWitness>;
+    aztec_utl_getBlockHeader: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"blockNumber", import("@aztec/foundation/branded-types").BlockNumber>], import("@aztec/stdlib/tx").BlockHeader>;
+    aztec_utl_getAuthWitness: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"messageHash", Fr>], Fr[]>;
+    aztec_utl_getPublicKeysAndPartialAddress: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>], import("@aztec/pxe/simulator").Option<{
+        publicKeys: import("@aztec/stdlib/keys").PublicKeys;
+        partialAddress: Fr;
+    }>>;
+    aztec_utl_doesNullifierExist: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"innerNullifier", Fr>], boolean>;
+    aztec_utl_getL1ToL2MembershipWitness: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"messageHash", Fr>, import("@aztec/pxe/simulator").NamedValue<"secret", Fr>], import("@aztec/pxe/simulator").MessageLoadOracleInputs<36>>;
+    aztec_utl_getFromPublicStorage: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"blockHash", import("@aztec/stdlib/block").BlockHash>, import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"startStorageSlot", Fr>, import("@aztec/pxe/simulator").NamedValue<"numberOfElements", number>], Fr[]>;
+    aztec_utl_getNotes: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"owner", import("@aztec/pxe/simulator").Option<import("@aztec/stdlib/aztec-address").AztecAddress>>, import("@aztec/pxe/simulator").NamedValue<"storageSlot", Fr>, import("@aztec/pxe/simulator").NamedValue<"numSelects", number>, import("@aztec/pxe/simulator").NamedValue<"selectByIndexes", number[]>, import("@aztec/pxe/simulator").NamedValue<"selectByOffsets", number[]>, import("@aztec/pxe/simulator").NamedValue<"selectByLengths", number[]>, import("@aztec/pxe/simulator").NamedValue<"selectValues", Fr[]>, import("@aztec/pxe/simulator").NamedValue<"selectComparators", number[]>, import("@aztec/pxe/simulator").NamedValue<"sortByIndexes", number[]>, import("@aztec/pxe/simulator").NamedValue<"sortByOffsets", number[]>, import("@aztec/pxe/simulator").NamedValue<"sortByLengths", number[]>, import("@aztec/pxe/simulator").NamedValue<"sortOrder", number[]>, import("@aztec/pxe/simulator").NamedValue<"limit", number>, import("@aztec/pxe/simulator").NamedValue<"offset", number>, import("@aztec/pxe/simulator").NamedValue<"status", number>, import("@aztec/pxe/simulator").NamedValue<"maxNotes", number>, import("@aztec/pxe/simulator").NamedValue<"packedHintedNoteLength", number>], import("@aztec/pxe/simulator").BoundedVec<import("@aztec/pxe/simulator").NoteData>>;
+    aztec_utl_getPendingTaggedLogs: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"scope", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"providedSecrets", import("@aztec/pxe/simulator").EphemeralArray<import("@aztec/pxe/simulator").ProvidedSecret>>], import("@aztec/pxe/simulator").EphemeralArray<import("@aztec/stdlib/logs").PendingTaggedLog>>;
+    aztec_utl_validateAndStoreEnqueuedNotesAndEvents: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"noteValidationRequests", import("@aztec/pxe/simulator").EphemeralArray<import("@aztec/pxe/simulator").NoteValidationRequest>>, import("@aztec/pxe/simulator").NamedValue<"eventValidationRequests", import("@aztec/pxe/simulator").EphemeralArray<import("@aztec/pxe/simulator").EventValidationRequest>>, import("@aztec/pxe/simulator").NamedValue<"scope", import("@aztec/stdlib/aztec-address").AztecAddress>], any>;
+    aztec_utl_getLogsByTag: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"requests", import("@aztec/pxe/simulator").EphemeralArray<import("@aztec/pxe/simulator").LogRetrievalRequest>>], import("@aztec/pxe/simulator").EphemeralArray<import("@aztec/pxe/simulator").EphemeralArray<import("@aztec/pxe/simulator").LogRetrievalResponse>>>;
+    aztec_utl_getMessageContextsByTxHash: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"requests", import("@aztec/pxe/simulator").EphemeralArray<Fr>>], import("@aztec/pxe/simulator").EphemeralArray<import("@aztec/pxe/simulator").Option<import("@aztec/stdlib/logs").MessageContext>>>;
+    aztec_utl_getTxEffect: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"txHash", TxHash>], import("@aztec/pxe/simulator").Option<import("@aztec/stdlib/tx").TxEffect>>;
+    aztec_utl_setCapsule: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"slot", Fr>, import("@aztec/pxe/simulator").NamedValue<"capsule", Fr[]>, import("@aztec/pxe/simulator").NamedValue<"scope", import("@aztec/stdlib/aztec-address").AztecAddress>], any>;
+    aztec_utl_getCapsule: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"slot", Fr>, import("@aztec/pxe/simulator").NamedValue<"tSize", number>, import("@aztec/pxe/simulator").NamedValue<"scope", import("@aztec/stdlib/aztec-address").AztecAddress>], import("@aztec/pxe/simulator").Option<Fr[]>>;
+    aztec_utl_deleteCapsule: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"slot", Fr>, import("@aztec/pxe/simulator").NamedValue<"scope", import("@aztec/stdlib/aztec-address").AztecAddress>], any>;
+    aztec_utl_copyCapsule: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"srcSlot", Fr>, import("@aztec/pxe/simulator").NamedValue<"dstSlot", Fr>, import("@aztec/pxe/simulator").NamedValue<"numEntries", number>, import("@aztec/pxe/simulator").NamedValue<"scope", import("@aztec/stdlib/aztec-address").AztecAddress>], any>;
+    aztec_utl_decryptAes128: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"ciphertext", import("@aztec/pxe/simulator").BoundedVec<number>>, import("@aztec/pxe/simulator").NamedValue<"iv", Buffer<ArrayBufferLike>>, import("@aztec/pxe/simulator").NamedValue<"symKey", Buffer<ArrayBufferLike>>], import("@aztec/pxe/simulator").Option<import("@aztec/pxe/simulator").BoundedVec<number>>>;
+    aztec_utl_getSharedSecrets: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"ephPks", import("@aztec/pxe/simulator").EphemeralArray<import("@aztec/foundation/schemas").Point>>, import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>], import("@aztec/pxe/simulator").EphemeralArray<Fr>>;
+    aztec_utl_setContractSyncCacheInvalid: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"scopes", import("@aztec/pxe/simulator").BoundedVec<import("@aztec/stdlib/aztec-address").AztecAddress>>], any>;
+    aztec_utl_emitOffchainEffect: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"data", Fr[]>], any>;
+    aztec_utl_callUtilityFunction: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"functionSelector", import("@aztec/stdlib/abi").FunctionSelector>, import("@aztec/pxe/simulator").NamedValue<"args", Fr[]>], Fr[]>;
+    aztec_utl_pushEphemeral: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>, import("@aztec/pxe/simulator").NamedValue<"elements", Fr[]>], number>;
+    aztec_utl_popEphemeral: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>], Fr[]>;
+    aztec_utl_getEphemeral: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>, import("@aztec/pxe/simulator").NamedValue<"index", number>], Fr[]>;
+    aztec_utl_setEphemeral: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>, import("@aztec/pxe/simulator").NamedValue<"index", number>, import("@aztec/pxe/simulator").NamedValue<"elements", Fr[]>], any>;
+    aztec_utl_getEphemeralLen: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>], number>;
+    aztec_utl_removeEphemeral: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>, import("@aztec/pxe/simulator").NamedValue<"index", number>], any>;
+    aztec_utl_clearEphemeral: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>], any>;
+    aztec_prv_setHashPreimage: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"values", Fr[]>, import("@aztec/pxe/simulator").NamedValue<"hash", Fr>], any>;
+    aztec_prv_getHashPreimage: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"returnsHash", Fr>], Fr[]>;
+    aztec_prv_notifyCreatedNote: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"owner", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"storageSlot", Fr>, import("@aztec/pxe/simulator").NamedValue<"randomness", Fr>, import("@aztec/pxe/simulator").NamedValue<"noteTypeId", import("@aztec/stdlib/abi").NoteSelector>, import("@aztec/pxe/simulator").NamedValue<"note", Fr[]>, import("@aztec/pxe/simulator").NamedValue<"noteHash", Fr>, import("@aztec/pxe/simulator").NamedValue<"counter", number>], any>;
+    aztec_prv_notifyNullifiedNote: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"innerNullifier", Fr>, import("@aztec/pxe/simulator").NamedValue<"noteHash", Fr>, import("@aztec/pxe/simulator").NamedValue<"counter", number>], any>;
+    aztec_prv_notifyCreatedNullifier: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"innerNullifier", Fr>], any>;
+    aztec_prv_isNullifierPending: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"innerNullifier", Fr>, import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>], boolean>;
+    aztec_prv_notifyCreatedContractClassLog: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"log", import("@aztec/stdlib/logs").ContractClassLog>, import("@aztec/pxe/simulator").NamedValue<"counter", number>], any>;
+    aztec_prv_callPrivateFunction: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"functionSelector", import("@aztec/stdlib/abi").FunctionSelector>, import("@aztec/pxe/simulator").NamedValue<"argsHash", Fr>, import("@aztec/pxe/simulator").NamedValue<"sideEffectCounter", number>, import("@aztec/pxe/simulator").NamedValue<"isStaticCall", boolean>], {
+        endSideEffectCounter: Fr;
+        returnsHash: Fr;
+    }>;
+    aztec_prv_assertValidPublicCalldata: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"calldataHash", Fr>], any>;
+    aztec_prv_notifyRevertiblePhaseStart: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"minRevertibleSideEffectCounter", number>], any>;
+    aztec_prv_isExecutionInRevertiblePhase: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"sideEffectCounter", number>], boolean>;
+    aztec_prv_getAppTaggingSecret: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"sender", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"recipient", import("@aztec/stdlib/aztec-address").AztecAddress>], import("@aztec/pxe/simulator").Option<Fr>>;
+    aztec_prv_getNextTaggingIndex: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"secret", Fr>, import("@aztec/pxe/simulator").NamedValue<"deliveryMode", import("@aztec/stdlib/logs").AppTaggingSecretKind>], number>;
+    aztec_prv_getSenderForTags: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], import("@aztec/pxe/simulator").Option<import("@aztec/stdlib/aztec-address").AztecAddress>>;
+    aztec_txe_assertCompatibleOracleVersion: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"major", number>, import("@aztec/pxe/simulator").NamedValue<"minor", number>], any>;
+    aztec_txe_setTopLevelTXEContext: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], any>;
+    aztec_txe_setPrivateTXEContext: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/pxe/simulator").Option<import("@aztec/stdlib/aztec-address").AztecAddress>>, import("@aztec/pxe/simulator").NamedValue<"anchorBlockNumber", import("@aztec/pxe/simulator").Option<import("@aztec/foundation/branded-types").BlockNumber>>, import("@aztec/pxe/simulator").NamedValue<"gasSettings", GasSettings>], PrivateContextInputs>;
+    aztec_txe_setPublicTXEContext: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/pxe/simulator").Option<import("@aztec/stdlib/aztec-address").AztecAddress>>], any>;
+    aztec_txe_setUtilityTXEContext: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/pxe/simulator").Option<import("@aztec/stdlib/aztec-address").AztecAddress>>], any>;
+    aztec_txe_getDefaultAddress: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], import("@aztec/stdlib/aztec-address").AztecAddress>;
+    aztec_txe_getNextBlockNumber: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], import("@aztec/foundation/branded-types").BlockNumber>;
+    aztec_txe_getNextBlockTimestamp: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], bigint>;
+    aztec_txe_advanceBlocksBy: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"blocks", number>], any>;
+    aztec_txe_advanceTimestampBy: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"duration", bigint>], any>;
+    aztec_txe_deploy: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractPath", string>, import("@aztec/pxe/simulator").NamedValue<"initializer", string>, import("@aztec/pxe/simulator").NamedValue<"argsLength", number>, import("@aztec/pxe/simulator").NamedValue<"args", Fr[]>, import("@aztec/pxe/simulator").NamedValue<"secret", Fr>, import("@aztec/pxe/simulator").NamedValue<"salt", Fr>, import("@aztec/pxe/simulator").NamedValue<"deployer", import("@aztec/stdlib/aztec-address").AztecAddress>], Fr[]>;
+    aztec_txe_createAccount: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"secret", Fr>], CompleteAddress>;
+    aztec_txe_addAccount: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"secret", Fr>], CompleteAddress>;
+    aztec_txe_addAuthWitness: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"messageHash", Fr>], any>;
+    aztec_txe_getLastBlockTimestamp: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], bigint>;
+    aztec_txe_getLastTxEffects: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], {
+        txHash: TxHash;
+        noteHashes: Fr[];
+        nullifiers: Fr[];
+        privateLogs: PrivateLog[];
+    }>;
+    aztec_txe_getLastCallOffchainEffects: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], {
+        effects: Fr[][];
+    }>;
+    aztec_txe_getLastCallContext: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], {
+        txHash: Fr;
+        anchorBlockTimestamp: bigint;
+    }>;
+    aztec_txe_getPrivateEvents: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"selector", EventSelector>, import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"scope", import("@aztec/stdlib/aztec-address").AztecAddress>], Fr[][]>;
+    aztec_txe_privateCallNewFlow: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"from", import("@aztec/pxe/simulator").Option<import("@aztec/stdlib/aztec-address").AztecAddress>>, import("@aztec/pxe/simulator").NamedValue<"targetContractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"functionSelector", import("@aztec/stdlib/abi").FunctionSelector>, import("@aztec/pxe/simulator").NamedValue<"args", Fr[]>, import("@aztec/pxe/simulator").NamedValue<"argsHash", Fr>, import("@aztec/pxe/simulator").NamedValue<"isStaticCall", boolean>, import("@aztec/pxe/simulator").NamedValue<"additionalScopes", import("@aztec/stdlib/aztec-address").AztecAddress[]>, import("@aztec/pxe/simulator").NamedValue<"authorizedUtilityCallTargets", import("@aztec/stdlib/aztec-address").AztecAddress[]>, import("@aztec/pxe/simulator").NamedValue<"gasSettings", GasSettings>], Fr[]>;
+    aztec_txe_executeUtilityFunction: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"targetContractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"functionSelector", import("@aztec/stdlib/abi").FunctionSelector>, import("@aztec/pxe/simulator").NamedValue<"args", Fr[]>, import("@aztec/pxe/simulator").NamedValue<"authorizedUtilityCallTargets", import("@aztec/stdlib/aztec-address").AztecAddress[]>], Fr[]>;
+    aztec_txe_publicCallNewFlow: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"from", import("@aztec/pxe/simulator").Option<import("@aztec/stdlib/aztec-address").AztecAddress>>, import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"calldata", Fr[]>, import("@aztec/pxe/simulator").NamedValue<"isStaticCall", boolean>, import("@aztec/pxe/simulator").NamedValue<"gasSettings", GasSettings>], Fr[]>;
+    aztec_avm_address: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], import("@aztec/stdlib/aztec-address").AztecAddress>;
+    aztec_avm_sender: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], import("@aztec/stdlib/aztec-address").AztecAddress>;
+    aztec_avm_blockNumber: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], import("@aztec/foundation/branded-types").BlockNumber>;
+    aztec_avm_timestamp: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], bigint>;
+    aztec_avm_isStaticCall: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], boolean>;
+    aztec_avm_chainId: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], Fr>;
+    aztec_avm_version: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], Fr>;
+    aztec_avm_emitNullifier: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"nullifier", Fr>], any>;
+    aztec_avm_emitNoteHash: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"noteHash", Fr>], any>;
+    aztec_avm_nullifierExists: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"siloedNullifier", Fr>], boolean>;
+    aztec_avm_storageRead: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>, import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>], Fr>;
+    aztec_avm_storageWrite: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>, import("@aztec/pxe/simulator").NamedValue<"value", Fr>], any>;
+    aztec_avm_emitPublicLog: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"message", Fr[]>], any>;
+    aztec_avm_returndataSize: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], Fr>;
+    aztec_avm_returndataCopy: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"rdOffset", number>, import("@aztec/pxe/simulator").NamedValue<"copySize", number>], Fr[]>;
+    aztec_avm_call: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"l2Gas", number>, import("@aztec/pxe/simulator").NamedValue<"daGas", number>, import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"argsLength", number>, import("@aztec/pxe/simulator").NamedValue<"args", Fr[]>], Fr[]>;
+    aztec_avm_staticCall: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"l2Gas", number>, import("@aztec/pxe/simulator").NamedValue<"daGas", number>, import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"argsLength", number>, import("@aztec/pxe/simulator").NamedValue<"args", Fr[]>], Fr[]>;
+    aztec_avm_successCopy: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], Fr>;
+    aztec_avm_getContractInstanceDeployer: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>], {
+        member: Fr;
+        exists: boolean;
+    }>;
+    aztec_avm_getContractInstanceClassId: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>], {
+        member: Fr;
+        exists: boolean;
+    }>;
+    aztec_avm_getContractInstanceInitializationHash: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>], {
+        member: Fr;
+        exists: boolean;
+    }>;
+    aztec_avm_getContractInstanceImmutablesHash: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>], {
+        member: Fr;
+        exists: boolean;
+    }>;
+};
+/**
+ * Deserializes oracle inputs, calls the handler with typed params, serializes the result, and wraps
+ * it in a `ForeignCallResult`. Normalizes `ForeignCallArgs` (which may contain bare strings) into
+ * `InputSlot[]` (always arrays) before deserialization.
+ */
+export declare function callTxeHandler<K extends keyof typeof TXE_ORACLE_REGISTRY>({ oracle, inputs, handler }: {
+    oracle: K;
+    inputs: ForeignCallArgs;
+    handler: (params: ParamTypes<ReturnType<(typeof TXE_ORACLE_REGISTRY)[K]['deserializeParams']>>) => MaybePromise<Parameters<(typeof TXE_ORACLE_REGISTRY)[K]['serializeReturn']>[0]>;
+}): Promise<ForeignCallResult>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhlX29yYWNsZV9yZWdpc3RyeS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL29yYWNsZS90eGVfb3JhY2xlX3JlZ2lzdHJ5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVFBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUVwRCxPQUFPLEVBU0wsS0FBSyxZQUFZLEVBR2pCLEtBQUssbUJBQW1CLEVBQ3hCLEtBQUssVUFBVSxFQUtoQixNQUFNLHNCQUFzQixDQUFDO0FBQzlCLE9BQU8sRUFBRSxhQUFhLEVBQUUsTUFBTSxtQkFBbUIsQ0FBQztBQUNsRCxPQUFPLEVBQUUsZUFBZSxFQUFFLE1BQU0sd0JBQXdCLENBQUM7QUFDekQsT0FBTyxFQUFFLFdBQVcsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ2hELE9BQU8sRUFBRSxvQkFBb0IsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQzVELE9BQU8sS0FBSyxFQUFFLFVBQVUsRUFBRSxNQUFNLG9CQUFvQixDQUFDO0FBQ3JELE9BQU8sS0FBSyxFQUFFLE1BQU0sRUFBRSxNQUFNLGtCQUFrQixDQUFDO0FBUS9DLE9BQU8sS0FBSyxFQUFFLGVBQWUsRUFBRSxpQkFBaUIsRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBMEcvRSxlQUFPLE1BQU0sbUJBQW1COzs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Q0E4TmUsQ0FBQztBQUVoRDs7OztHQUlHO0FBQ0gsd0JBQXNCLGNBQWMsQ0FBQyxDQUFDLFNBQVMsTUFBTSxPQUFPLG1CQUFtQixFQUFFLEVBQy9FLE1BQU0sRUFDTixNQUFNLEVBQ04sT0FBTyxFQUNSLEVBQUU7SUFDRCxNQUFNLEVBQUUsQ0FBQyxDQUFDO0lBQ1YsTUFBTSxFQUFFLGVBQWUsQ0FBQztJQUN4QixPQUFPLEVBQUUsQ0FDUCxNQUFNLEVBQUUsVUFBVSxDQUFDLFVBQVUsQ0FBQyxDQUFDLE9BQU8sbUJBQW1CLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxtQkFBbUIsQ0FBQyxDQUFDLENBQUMsS0FDakYsWUFBWSxDQUFDLFVBQVUsQ0FBQyxDQUFDLE9BQU8sbUJBQW1CLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQztDQUN0RixHQUFHLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxDQWE3QiJ9

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

@@ -0,0 +1 @@
+{"version":3,"file":"txe_oracle_registry.d.ts","sourceRoot":"","sources":["../../src/oracle/txe_oracle_registry.ts"],"names":[],"mappings":"AAQA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,EASL,KAAK,YAAY,EAGjB,KAAK,mBAAmB,EACxB,KAAK,UAAU,EAKhB,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAClD,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAE,oBAAoB,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AACrD,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,kBAAkB,CAAC;AAQ/C,OAAO,KAAK,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AA0G/E,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8Ne,CAAC;AAEhD;;;;GAIG;AACH,wBAAsB,cAAc,CAAC,CAAC,SAAS,MAAM,OAAO,mBAAmB,EAAE,EAC/E,MAAM,EACN,MAAM,EACN,OAAO,EACR,EAAE;IACD,MAAM,EAAE,CAAC,CAAC;IACV,MAAM,EAAE,eAAe,CAAC;IACxB,OAAO,EAAE,CACP,MAAM,EAAE,UAAU,CAAC,UAAU,CAAC,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,mBAAmB,CAAC,CAAC,CAAC,KACjF,YAAY,CAAC,UAAU,CAAC,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC,CAAC,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CACtF,GAAG,OAAO,CAAC,iBAAiB,CAAC,CAa7B"}