@aztec/txe 0.0.1-commit.993d240 → 0.0.1-commit.9a89641

package/dest/oracle/test-resolver/resolver.js

@@ -0,0 +1,181 @@
+/* eslint-disable camelcase */ import { createLogger } from '@aztec/foundation/log';
+import { withoutHexPrefix } from '@aztec/foundation/string';
+import { BOUNDED_VEC, BoundedVec, Option, U8, makeEntry } from '@aztec/pxe/simulator';
+import { toInputSlots } from '../txe_oracle_registry.js';
+import { synthesizeDefaultFixtures } from './default_fixtures.js';
+/** Name of the meta-oracle that Noir tests call to announce the next call's scenario by name. */ const SET_SCENARIO_ORACLE = 'aztec_oracle_test_set_scenario';
+export const SET_SCENARIO_ENTRY = makeEntry({
+    params: [
+        {
+            name: 'name',
+            type: BOUNDED_VEC(U8)
+        }
+    ]
+});
+/**
+ * Oracle resolver for serialization tests. Selects a fixture scenario, verifies that the received inputs match, and
+ * returns the corresponding fixture output.
+ *
+ * For oracles with a single scenario, it is selected automatically. For oracles with multiple scenarios, the Noir test
+ * announces the scenario by name via the `aztec_oracle_test_set_scenario` meta-oracle before calling the real oracle.
+ */ export class OracleTestResolver {
+    registry;
+    fixtures;
+    calledOracles;
+    pendingScenario;
+    logger;
+    constructor(registry, fixtures, logger){
+        this.registry = registry;
+        this.fixtures = fixtures;
+        this.calledOracles = new Set();
+        this.pendingScenario = new Map();
+        this.logger = logger ?? createLogger('txe:test-resolver');
+    }
+    /**
+   * Builds a resolver whose fixtures are the default scenarios synthesized from the registry's type mappings. The
+   * matching Noir serialization tests are auto-generated by `#[generate_oracle_tests]` from the same convention.
+   */ static fromRegistry(registry, logger) {
+        return new OracleTestResolver(registry, synthesizeDefaultFixtures(registry), logger);
+    }
+    // eslint-disable-next-line require-await
+    async resolve_foreign_call(callData) {
+        const oracleName = callData.function;
+        this.logger.debug('Resolving oracle', {
+            oracleName
+        });
+        if (oracleName === SET_SCENARIO_ORACLE) {
+            return this.#handleSetScenario(callData);
+        }
+        if (!(oracleName in this.registry)) {
+            throw new Error(`Oracle '${oracleName}' not found in registry`);
+        }
+        const entry = this.registry[oracleName];
+        const scenarios = this.fixtures[oracleName];
+        if (!scenarios || scenarios.length === 0) {
+            throw new Error(`No fixture defined for oracle '${oracleName}'`);
+        }
+        const match = this.#selectScenario(callData.session_id, oracleName, scenarios);
+        this.#verifyInputs(callData.inputs, entry, match, oracleName);
+        this.calledOracles.add(oracleName);
+        this.logger.debug('Verified scenario for oracle', {
+            oracleName
+        });
+        const outputSlots = entry.serializeReturn(match.output);
+        return {
+            values: outputSlots.map((slot)=>Array.isArray(slot) ? slot.map(withoutHexPrefix) : withoutHexPrefix(slot))
+        };
+    }
+    /** Returns oracles that have a fixture defined but were never called during testing. */ getUncalledFixtures() {
+        return Object.keys(this.fixtures).filter((name)=>!this.calledOracles.has(name));
+    }
+    /** Returns oracles in the registry that have no fixture defined at all. */ getMissingFixtures() {
+        return Object.keys(this.registry).filter((name)=>!(name in this.fixtures));
+    }
+    /**
+   * Records the scenario name for the session's next oracle call. A test announces once per multi-scenario position
+   * (param or return), so successive announcements accumulate joined with `+`, matching the names the fixture
+   * synthesizer builds (e.g. `some+some`).
+   */ #handleSetScenario(callData) {
+        const name = decodeScenarioName(callData.inputs);
+        const existing = this.pendingScenario.get(callData.session_id);
+        const scenario = existing !== undefined ? `${existing}+${name}` : name;
+        this.logger.debug('Setting scenario for next oracle call', {
+            sessionId: callData.session_id,
+            scenario
+        });
+        this.pendingScenario.set(callData.session_id, scenario);
+        return {
+            values: []
+        };
+    }
+    /** Selects the fixture by the announced scenario name (for multi-scenario oracles) or returns the single fixture. */ #selectScenario(sessionId, oracleName, fixtures) {
+        const announced = this.pendingScenario.get(sessionId);
+        if (announced !== undefined) {
+            this.pendingScenario.delete(sessionId);
+            const match = fixtures.find((s)=>s.scenario === announced);
+            if (!match) {
+                const available = fixtures.map((s)=>s.scenario ?? '<default>').join(', ');
+                throw new Error(`No scenario '${announced}' for oracle '${oracleName}'. Available: ${available}`);
+            }
+            return match;
+        }
+        if (fixtures.length === 1) {
+            return fixtures[0];
+        }
+        throw new Error(`Oracle '${oracleName}' has ${fixtures.length} scenarios but none was announced before the call.`);
+    }
+    /** Deserializes actual inputs and verifies they match the scenario's expected inputs. */ #verifyInputs(rawInputs, entry, fixture, oracleName) {
+        const expectedInputs = fixture.inputs;
+        if (Object.keys(expectedInputs).length === 0) {
+            return;
+        }
+        const scenarioLabel = fixture.scenario ? ` (scenario '${fixture.scenario}')` : '';
+        const named = entry.deserializeParams(toInputSlots(rawInputs));
+        for (const param of named){
+            if (!(param.name in expectedInputs)) {
+                throw new Error(`Unexpected param '${param.name}' for oracle '${oracleName}'. ` + `Expected: ${Object.keys(expectedInputs).join(', ')}`);
+            }
+            if (!valuesEqual(param.value, expectedInputs[param.name])) {
+                throw new Error(`Input mismatch for oracle '${oracleName}'${scenarioLabel}: ` + `param '${param.name}' expected ${String(expectedInputs[param.name])} ` + `but got ${String(param.value)}. ${versionBumpHint(oracleName)}`);
+            }
+        }
+    }
+}
+/**
+ * Decodes the scenario name announced by `set_oracle_test_scenario`, whose argument is a `BoundedVec<u8, N>`
+ */ function decodeScenarioName(inputs) {
+    const [{ value }] = SET_SCENARIO_ENTRY.deserializeParams(toInputSlots(inputs));
+    return String.fromCharCode(...value.data);
+}
+function valuesEqual(actual, expected) {
+    if (!isNonNullObject(actual) || !isNonNullObject(expected)) {
+        // Primitive scalars; String() bridges bigint vs number representations of the same seed. A primitive compared
+        // against an object is never equal.
+        return isNonNullObject(actual) === isNonNullObject(expected) && String(actual) === String(expected);
+    }
+    if (actual instanceof Option && expected instanceof Option) {
+        return actual.equals(expected, valuesEqual);
+    }
+    if (actual instanceof BoundedVec && expected instanceof BoundedVec) {
+        return actual.equals(expected, valuesEqual);
+    }
+    if (Array.isArray(actual) && Array.isArray(expected)) {
+        return actual.length === expected.length && actual.every((v, i)=>valuesEqual(v, expected[i]));
+    }
+    if (isPlainObject(actual) && isPlainObject(expected)) {
+        const expectedKeys = Object.keys(expected);
+        return Object.keys(actual).length === expectedKeys.length && expectedKeys.every((key)=>valuesEqual(actual[key], expected[key]));
+    }
+    if (actual.constructor !== expected.constructor) {
+        return false;
+    }
+    if (hasEquals(actual)) {
+        return actual.equals(expected);
+    }
+    const actualStr = customStringForm(actual);
+    const expectedStr = customStringForm(expected);
+    if (actualStr !== undefined && expectedStr !== undefined) {
+        return actualStr === expectedStr;
+    }
+    // Comparing blindly here could pass vacuously (e.g. two '[object Object]' strings), so refuse instead.
+    throw new Error(`valuesEqual cannot compare a '${actual.constructor?.name}' against a '${expected.constructor?.name}'. Add a branch for the type.`);
+}
+function isNonNullObject(value) {
+    return typeof value === 'object' && value !== null;
+}
+function isPlainObject(value) {
+    return isNonNullObject(value) && value.constructor === Object;
+}
+function hasEquals(value) {
+    return typeof value.equals === 'function';
+}
+/** The value's string form when its class overrides `toString` (a meaningful representation), undefined otherwise. */ function customStringForm(value) {
+    const { toString } = value;
+    if (typeof toString !== 'function' || toString === Object.prototype.toString) {
+        return undefined;
+    }
+    return toString.call(value);
+}
+function versionBumpHint(oracle) {
+    return oracle.startsWith('aztec_txe_') || oracle.startsWith('aztec_avm_') ? 'If you changed this oracle, consider bumping the TXE oracle version in yarn-project/txe/src/oracle/txe_oracle_version.ts.' : 'If you changed this oracle, consider bumping the PXE oracle version in yarn-project/pxe/src/oracle_version.ts.';
+}

package/dest/oracle/txe_oracle_public_context.d.ts

@@ -1,5 +1,6 @@
 import { BlockNumber } from '@aztec/foundation/branded-types';
 import { Fr } from '@aztec/foundation/curves/bn254';
+import type { ContractStore } from '@aztec/pxe/server';
 import { AztecAddress } from '@aztec/stdlib/aztec-address';
 import type { L2Block } from '@aztec/stdlib/block';
 import { type MerkleTreeWriteOperations } from '@aztec/stdlib/trees';
@@ -10,12 +11,13 @@ export declare class TXEOraclePublicContext implements IAvmExecutionOracle {
     private forkedWorldTrees;
     private txRequestHash;
     private globalVariables;
+    private contractStore;
     isAvm: true;
     private logger;
     private transientUniqueNoteHashes;
     private transientSiloedNullifiers;
     private publicDataWrites;
-    constructor(contractAddress: AztecAddress, forkedWorldTrees: MerkleTreeWriteOperations, txRequestHash: Fr, globalVariables: GlobalVariables);
+    constructor(contractAddress: AztecAddress, forkedWorldTrees: MerkleTreeWriteOperations, txRequestHash: Fr, globalVariables: GlobalVariables, contractStore: ContractStore);
     address(): Promise<AztecAddress>;
     sender(): Promise<AztecAddress>;
     blockNumber(): Promise<BlockNumber>;
@@ -28,12 +30,29 @@ export declare class TXEOraclePublicContext implements IAvmExecutionOracle {
     nullifierExists(siloedNullifier: Fr): Promise<boolean>;
     storageWrite(slot: Fr, value: Fr): Promise<void>;
     storageRead(slot: Fr, contractAddress: AztecAddress): Promise<Fr>;
-    returndataSize(): Promise<Fr>;
+    getContractInstanceDeployer(address: AztecAddress): Promise<{
+        member: Fr;
+        exists: boolean;
+    }[]>;
+    getContractInstanceClassId(address: AztecAddress): Promise<{
+        member: Fr;
+        exists: boolean;
+    }[]>;
+    getContractInstanceInitializationHash(address: AztecAddress): Promise<{
+        member: Fr;
+        exists: boolean;
+    }[]>;
+    getContractInstanceImmutablesHash(address: AztecAddress): Promise<{
+        member: Fr;
+        exists: boolean;
+    }[]>;
+    private getContractInstanceMember;
+    returndataSize(): Promise<number>;
     returndataCopy(_rdOffset: number, _copySize: number): Promise<Fr[]>;
-    call(_l2Gas: number, _daGas: number, _address: AztecAddress, _argsLength: number, _args: Fr[]): Promise<Fr[]>;
-    staticCall(_l2Gas: number, _daGas: number, _address: AztecAddress, _argsLength: number, _args: Fr[]): Promise<Fr[]>;
-    successCopy(): Promise<Fr>;
+    call(_l2Gas: number, _daGas: number, _address: AztecAddress, _argsLength: number, _args: Fr[]): Promise<void>;
+    staticCall(_l2Gas: number, _daGas: number, _address: AztecAddress, _argsLength: number, _args: Fr[]): Promise<void>;
+    successCopy(): Promise<boolean>;
     close(): Promise<L2Block>;
     private makeTxEffect;
 }
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhlX29yYWNsZV9wdWJsaWNfY29udGV4dC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL29yYWNsZS90eGVfb3JhY2xlX3B1YmxpY19jb250ZXh0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM5RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFHcEQsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQzNELE9BQU8sS0FBSyxFQUFFLE9BQU8sRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBRW5ELE9BQU8sRUFFTCxLQUFLLHlCQUF5QixFQUcvQixNQUFNLHFCQUFxQixDQUFDO0FBQzdCLE9BQU8sRUFBRSxlQUFlLEVBQW9CLE1BQU0sa0JBQWtCLENBQUM7QUFHckUsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUUzRCxxQkFBYSxzQkFBdUIsWUFBVyxtQkFBbUI7SUFTOUQsT0FBTyxDQUFDLGVBQWU7SUFDdkIsT0FBTyxDQUFDLGdCQUFnQjtJQUN4QixPQUFPLENBQUMsYUFBYTtJQUNyQixPQUFPLENBQUMsZUFBZTtJQVh6QixLQUFLLE9BQWlCO0lBRXRCLE9BQU8sQ0FBQyxNQUFNLENBQVM7SUFDdkIsT0FBTyxDQUFDLHlCQUF5QixDQUFZO0lBQzdDLE9BQU8sQ0FBQyx5QkFBeUIsQ0FBWTtJQUM3QyxPQUFPLENBQUMsZ0JBQWdCLENBQXlCO0lBRWpELFlBQ1UsZUFBZSxFQUFFLFlBQVksRUFDN0IsZ0JBQWdCLEVBQUUseUJBQXlCLEVBQzNDLGFBQWEsRUFBRSxFQUFFLEVBQ2pCLGVBQWUsRUFBRSxlQUFlLEVBU3pDO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FBQyxZQUFZLENBQUMsQ0FFL0I7SUFFRCxNQUFNLElBQUksT0FBTyxDQUFDLFlBQVksQ0FBQyxDQUU5QjtJQUVELFdBQVcsSUFBSSxPQUFPLENBQUMsV0FBVyxDQUFDLENBRWxDO0lBRUQsU0FBUyxJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FFM0I7SUFFRCxZQUFZLElBQUksT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUUvQjtJQUVELE9BQU8sSUFBSSxPQUFPLENBQUMsRUFBRSxDQUFDLENBRXJCO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FFckI7SUFFSyxhQUFhLENBQUMsU0FBUyxFQUFFLEVBQUUsaUJBR2hDO0lBRUssWUFBWSxDQUFDLFFBQVEsRUFBRSxFQUFFLGlCQUk5QjtJQUVLLGVBQWUsQ0FBQyxlQUFlLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FPM0Q7SUFFSyxZQUFZLENBQUMsSUFBSSxFQUFFLEVBQUUsRUFBRSxLQUFLLEVBQUUsRUFBRSxpQkFVckM7SUFFSyxXQUFXLENBQUMsSUFBSSxFQUFFLEVBQUUsRUFBRSxlQUFlLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FxQnRFO0lBRUQsY0FBYyxJQUFJLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FJNUI7SUFFRCxjQUFjLENBQUMsU0FBUyxFQUFFLE1BQU0sRUFBRSxTQUFTLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUlsRTtJQUVELElBQUksQ0FBQyxNQUFNLEVBQUUsTUFBTSxFQUFFLE1BQU0sRUFBRSxNQUFNLEVBQUUsUUFBUSxFQUFFLFlBQVksRUFBRSxXQUFXLEVBQUUsTUFBTSxFQUFFLEtBQUssRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FJNUc7SUFFRCxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxNQUFNLEVBQUUsTUFBTSxFQUFFLFFBQVEsRUFBRSxZQUFZLEVBQUUsV0FBVyxFQUFFLE1BQU0sRUFBRSxLQUFLLEVBQUUsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBSWxIO0lBRUQsV0FBVyxJQUFJLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FJekI7SUFFSyxLQUFLLElBQUksT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQWtCOUI7SUFFRCxPQUFPLENBQUMsWUFBWTtDQWFyQiJ9
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhlX29yYWNsZV9wdWJsaWNfY29udGV4dC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL29yYWNsZS90eGVfb3JhY2xlX3B1YmxpY19jb250ZXh0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM5RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsYUFBYSxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFdkQsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQzNELE9BQU8sS0FBSyxFQUFFLE9BQU8sRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBR25ELE9BQU8sRUFFTCxLQUFLLHlCQUF5QixFQUcvQixNQUFNLHFCQUFxQixDQUFDO0FBQzdCLE9BQU8sRUFBRSxlQUFlLEVBQW9CLE1BQU0sa0JBQWtCLENBQUM7QUFHckUsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUUzRCxxQkFBYSxzQkFBdUIsWUFBVyxtQkFBbUI7SUFTOUQsT0FBTyxDQUFDLGVBQWU7SUFDdkIsT0FBTyxDQUFDLGdCQUFnQjtJQUN4QixPQUFPLENBQUMsYUFBYTtJQUNyQixPQUFPLENBQUMsZUFBZTtJQUN2QixPQUFPLENBQUMsYUFBYTtJQVp2QixLQUFLLE9BQWlCO0lBRXRCLE9BQU8sQ0FBQyxNQUFNLENBQVM7SUFDdkIsT0FBTyxDQUFDLHlCQUF5QixDQUFZO0lBQzdDLE9BQU8sQ0FBQyx5QkFBeUIsQ0FBWTtJQUM3QyxPQUFPLENBQUMsZ0JBQWdCLENBQXlCO0lBRWpELFlBQ1UsZUFBZSxFQUFFLFlBQVksRUFDN0IsZ0JBQWdCLEVBQUUseUJBQXlCLEVBQzNDLGFBQWEsRUFBRSxFQUFFLEVBQ2pCLGVBQWUsRUFBRSxlQUFlLEVBQ2hDLGFBQWEsRUFBRSxhQUFhLEVBU3JDO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FBQyxZQUFZLENBQUMsQ0FFL0I7SUFFRCxNQUFNLElBQUksT0FBTyxDQUFDLFlBQVksQ0FBQyxDQUU5QjtJQUVELFdBQVcsSUFBSSxPQUFPLENBQUMsV0FBVyxDQUFDLENBRWxDO0lBRUQsU0FBUyxJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FFM0I7SUFFRCxZQUFZLElBQUksT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUUvQjtJQUVELE9BQU8sSUFBSSxPQUFPLENBQUMsRUFBRSxDQUFDLENBRXJCO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FFckI7SUFFSyxhQUFhLENBQUMsU0FBUyxFQUFFLEVBQUUsaUJBR2hDO0lBRUssWUFBWSxDQUFDLFFBQVEsRUFBRSxFQUFFLGlCQUk5QjtJQUVLLGVBQWUsQ0FBQyxlQUFlLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FPM0Q7SUFFSyxZQUFZLENBQUMsSUFBSSxFQUFFLEVBQUUsRUFBRSxLQUFLLEVBQUUsRUFBRSxpQkFVckM7SUFFSyxXQUFXLENBQUMsSUFBSSxFQUFFLEVBQUUsRUFBRSxlQUFlLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FxQnRFO0lBRUQsMkJBQTJCLENBQUMsT0FBTyxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUM7UUFBRSxNQUFNLEVBQUUsRUFBRSxDQUFDO1FBQUMsTUFBTSxFQUFFLE9BQU8sQ0FBQTtLQUFFLEVBQUUsQ0FBQyxDQUU3RjtJQUVELDBCQUEwQixDQUFDLE9BQU8sRUFBRSxZQUFZLEdBQUcsT0FBTyxDQUFDO1FBQUUsTUFBTSxFQUFFLEVBQUUsQ0FBQztRQUFDLE1BQU0sRUFBRSxPQUFPLENBQUE7S0FBRSxFQUFFLENBQUMsQ0FHNUY7SUFFRCxxQ0FBcUMsQ0FBQyxPQUFPLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQztRQUFFLE1BQU0sRUFBRSxFQUFFLENBQUM7UUFBQyxNQUFNLEVBQUUsT0FBTyxDQUFBO0tBQUUsRUFBRSxDQUFDLENBRXZHO0lBRUQsaUNBQWlDLENBQUMsT0FBTyxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUM7UUFBRSxNQUFNLEVBQUUsRUFBRSxDQUFDO1FBQUMsTUFBTSxFQUFFLE9BQU8sQ0FBQTtLQUFFLEVBQUUsQ0FBQyxDQUVuRztZQUdhLHlCQUF5QjtJQVd2QyxjQUFjLElBQUksT0FBTyxDQUFDLE1BQU0sQ0FBQyxDQUloQztJQUVELGNBQWMsQ0FBQyxTQUFTLEVBQUUsTUFBTSxFQUFFLFNBQVMsRUFBRSxNQUFNLEdBQUcsT0FBTyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBSWxFO0lBRUQsSUFBSSxDQUFDLE1BQU0sRUFBRSxNQUFNLEVBQUUsTUFBTSxFQUFFLE1BQU0sRUFBRSxRQUFRLEVBQUUsWUFBWSxFQUFFLFdBQVcsRUFBRSxNQUFNLEVBQUUsS0FBSyxFQUFFLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxJQUFJLENBQUMsQ0FJNUc7SUFFRCxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxNQUFNLEVBQUUsTUFBTSxFQUFFLFFBQVEsRUFBRSxZQUFZLEVBQUUsV0FBVyxFQUFFLE1BQU0sRUFBRSxLQUFLLEVBQUUsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLElBQUksQ0FBQyxDQUlsSDtJQUVELFdBQVcsSUFBSSxPQUFPLENBQUMsT0FBTyxDQUFDLENBSTlCO0lBRUssS0FBSyxJQUFJLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FrQjlCO0lBRUQsT0FBTyxDQUFDLFlBQVk7Q0FhckIifQ==

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

@@ -1 +1 @@
-{"version":3,"file":"txe_oracle_public_context.d.ts","sourceRoot":"","sources":["../../src/oracle/txe_oracle_public_context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAEnD,OAAO,EAEL,KAAK,yBAAyB,EAG/B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAoB,MAAM,kBAAkB,CAAC;AAGrE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAE3D,qBAAa,sBAAuB,YAAW,mBAAmB;IAS9D,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,eAAe;IAXzB,KAAK,OAAiB;IAEtB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,yBAAyB,CAAY;IAC7C,OAAO,CAAC,yBAAyB,CAAY;IAC7C,OAAO,CAAC,gBAAgB,CAAyB;IAEjD,YACU,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,yBAAyB,EAC3C,aAAa,EAAE,EAAE,EACjB,eAAe,EAAE,eAAe,EASzC;IAED,OAAO,IAAI,OAAO,CAAC,YAAY,CAAC,CAE/B;IAED,MAAM,IAAI,OAAO,CAAC,YAAY,CAAC,CAE9B;IAED,WAAW,IAAI,OAAO,CAAC,WAAW,CAAC,CAElC;IAED,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAE3B;IAED,YAAY,IAAI,OAAO,CAAC,OAAO,CAAC,CAE/B;IAED,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC,CAErB;IAED,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC,CAErB;IAEK,aAAa,CAAC,SAAS,EAAE,EAAE,iBAGhC;IAEK,YAAY,CAAC,QAAQ,EAAE,EAAE,iBAI9B;IAEK,eAAe,CAAC,eAAe,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAO3D;IAEK,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,iBAUrC;IAEK,WAAW,CAAC,IAAI,EAAE,EAAE,EAAE,eAAe,EAAE,YAAY,GAAG,OAAO,CAAC,EAAE,CAAC,CAqBtE;IAED,cAAc,IAAI,OAAO,CAAC,EAAE,CAAC,CAI5B;IAED,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAIlE;IAED,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAI5G;IAED,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAIlH;IAED,WAAW,IAAI,OAAO,CAAC,EAAE,CAAC,CAIzB;IAEK,KAAK,IAAI,OAAO,CAAC,OAAO,CAAC,CAkB9B;IAED,OAAO,CAAC,YAAY;CAarB"}
+{"version":3,"file":"txe_oracle_public_context.d.ts","sourceRoot":"","sources":["../../src/oracle/txe_oracle_public_context.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAEpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,qBAAqB,CAAC;AAGnD,OAAO,EAEL,KAAK,yBAAyB,EAG/B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,EAAE,eAAe,EAAoB,MAAM,kBAAkB,CAAC;AAGrE,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AAE3D,qBAAa,sBAAuB,YAAW,mBAAmB;IAS9D,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,gBAAgB;IACxB,OAAO,CAAC,aAAa;IACrB,OAAO,CAAC,eAAe;IACvB,OAAO,CAAC,aAAa;IAZvB,KAAK,OAAiB;IAEtB,OAAO,CAAC,MAAM,CAAS;IACvB,OAAO,CAAC,yBAAyB,CAAY;IAC7C,OAAO,CAAC,yBAAyB,CAAY;IAC7C,OAAO,CAAC,gBAAgB,CAAyB;IAEjD,YACU,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,yBAAyB,EAC3C,aAAa,EAAE,EAAE,EACjB,eAAe,EAAE,eAAe,EAChC,aAAa,EAAE,aAAa,EASrC;IAED,OAAO,IAAI,OAAO,CAAC,YAAY,CAAC,CAE/B;IAED,MAAM,IAAI,OAAO,CAAC,YAAY,CAAC,CAE9B;IAED,WAAW,IAAI,OAAO,CAAC,WAAW,CAAC,CAElC;IAED,SAAS,IAAI,OAAO,CAAC,MAAM,CAAC,CAE3B;IAED,YAAY,IAAI,OAAO,CAAC,OAAO,CAAC,CAE/B;IAED,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC,CAErB;IAED,OAAO,IAAI,OAAO,CAAC,EAAE,CAAC,CAErB;IAEK,aAAa,CAAC,SAAS,EAAE,EAAE,iBAGhC;IAEK,YAAY,CAAC,QAAQ,EAAE,EAAE,iBAI9B;IAEK,eAAe,CAAC,eAAe,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAO3D;IAEK,YAAY,CAAC,IAAI,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,iBAUrC;IAEK,WAAW,CAAC,IAAI,EAAE,EAAE,EAAE,eAAe,EAAE,YAAY,GAAG,OAAO,CAAC,EAAE,CAAC,CAqBtE;IAED,2BAA2B,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,EAAE,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC,CAE7F;IAED,0BAA0B,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,EAAE,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC,CAG5F;IAED,qCAAqC,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,EAAE,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC,CAEvG;IAED,iCAAiC,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,EAAE,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,EAAE,CAAC,CAEnG;YAGa,yBAAyB;IAWvC,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC,CAIhC;IAED,cAAc,CAAC,SAAS,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC,EAAE,EAAE,CAAC,CAIlE;IAED,IAAI,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAI5G;IAED,UAAU,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAIlH;IAED,WAAW,IAAI,OAAO,CAAC,OAAO,CAAC,CAI9B;IAEK,KAAK,IAAI,OAAO,CAAC,OAAO,CAAC,CAkB9B;IAED,OAAO,CAAC,YAAY;CAarB"}

package/dest/oracle/txe_oracle_public_context.js

@@ -11,16 +11,18 @@ export class TXEOraclePublicContext {
     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 = [];
@@ -91,6 +93,37 @@ export class TXEOraclePublicContext {
         });
         return value;
     }
+    getContractInstanceDeployer(address) {
+        return this.getContractInstanceMember(address, (i)=>i.deployer.toField());
+    }
+    getContractInstanceClassId(address) {
+        // TXE has no contract updates, so the current class always equals the original.
+        return this.getContractInstanceMember(address, (i)=>i.originalContractClassId);
+    }
+    getContractInstanceInitializationHash(address) {
+        return this.getContractInstanceMember(address, (i)=>i.initializationHash);
+    }
+    getContractInstanceImmutablesHash(address) {
+        return this.getContractInstanceMember(address, (i)=>i.immutablesHash);
+    }
+    // The one-element array mirrors the oracles' Noir return type, `[GetContractInstanceResult; 1]`.
+    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');
     }

package/dest/oracle/txe_oracle_registry.d.ts

@@ -0,0 +1,172 @@
+import { Fr } from '@aztec/foundation/curves/bn254';
+import type { TaggingSecretStrategy } from '@aztec/pxe/server';
+import { type InputSlot, type MaybePromise, type OracleRegistryEntry, type ParamTypes, buildACIRCallback } 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 type { ContractClassLogData, EmbeddedCurvePoint, TxEffectData } from '@aztec/pxe/simulator';
+export type { BlockHash } from '@aztec/stdlib/block';
+export type { MembershipWitness } from '@aztec/foundation/trees';
+export type { NullifierMembershipWitness, PublicDataWitness } from '@aztec/stdlib/trees';
+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/pxe/simulator").NamedValue<"keyIndex", 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").ContractInstancePreimage>;
+    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_areBlockHashesInArchive: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"anchorBlockHash", import("@aztec/stdlib/block").BlockHash>, import("@aztec/pxe/simulator").NamedValue<"blockHashes", import("@aztec/pxe/simulator").EphemeralArray<import("@aztec/stdlib/block").BlockHash>>], import("@aztec/pxe/simulator").EphemeralArray<boolean>>;
+    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_getL1ToL2MembershipWitnessV2: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"messageHash", Fr>, import("@aztec/pxe/simulator").NamedValue<"nullifier", import("@aztec/pxe/simulator").Option<import("@aztec/stdlib/messaging").UnsiloedMessageNullifier>>], 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_getPendingTaggedLogsV2: 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/pxe/simulator").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_getLogsByTagV2: 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_getResolvedTxs: 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/pxe/simulator").ResolvedTx>>>;
+    aztec_utl_getTxEffect: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"txHash", TxHash>], import("@aztec/pxe/simulator").Option<import("@aztec/pxe/simulator").TxEffectData>>;
+    aztec_utl_getTxEffects: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"txHashes", import("@aztec/pxe/simulator").EphemeralArray<TxHash>>], import("@aztec/pxe/simulator").EphemeralArray<import("@aztec/pxe/simulator").Option<import("@aztec/pxe/simulator").TxEffectData>>>;
+    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", number[]>, import("@aztec/pxe/simulator").NamedValue<"symKey", number[]>], 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/pxe/simulator").EmbeddedCurvePoint>>, 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_recordFact: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"scope", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"factCollectionTypeId", Fr>, import("@aztec/pxe/simulator").NamedValue<"factCollectionId", Fr>, import("@aztec/pxe/simulator").NamedValue<"factTypeId", Fr>, import("@aztec/pxe/simulator").NamedValue<"payload", import("@aztec/pxe/simulator").EphemeralArray<Fr>>, import("@aztec/pxe/simulator").NamedValue<"originBlock", import("@aztec/pxe/simulator").Option<import("@aztec/pxe/server").OriginBlock>>], any>;
+    aztec_utl_deleteFactCollection: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"scope", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"factCollectionTypeId", Fr>, import("@aztec/pxe/simulator").NamedValue<"factCollectionId", Fr>], any>;
+    aztec_utl_getFactCollection: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"scope", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"factCollectionTypeId", Fr>, import("@aztec/pxe/simulator").NamedValue<"factCollectionId", Fr>], import("@aztec/pxe/simulator").Option<import("@aztec/pxe/simulator").FactCollection>>;
+    aztec_utl_getFactCollectionsByType: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"contractAddress", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"scope", import("@aztec/stdlib/aztec-address").AztecAddress>, import("@aztec/pxe/simulator").NamedValue<"factCollectionTypeId", Fr>], import("@aztec/pxe/simulator").EphemeralArray<import("@aztec/pxe/simulator").FactCollection>>;
+    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_utl_pushTransient: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>, import("@aztec/pxe/simulator").NamedValue<"elements", Fr[]>], number>;
+    aztec_utl_popTransient: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>], Fr[]>;
+    aztec_utl_getTransient: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>, import("@aztec/pxe/simulator").NamedValue<"index", number>], Fr[]>;
+    aztec_utl_setTransient: 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_getTransientLen: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>], number>;
+    aztec_utl_removeTransient: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"slot", Fr>, import("@aztec/pxe/simulator").NamedValue<"index", number>], any>;
+    aztec_utl_clearTransient: 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/pxe/simulator").ContractClassLogData>, 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_prv_resolveTaggingStrategy: 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").NamedValue<"deliveryMode", import("@aztec/stdlib/logs").AppTaggingSecretKind>], import("@aztec/pxe/simulator").ResolvedTaggingStrategy>;
+    aztec_prv_resolveCustomRequest: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"kind", Fr>, import("@aztec/pxe/simulator").NamedValue<"payload", Fr[]>], Fr[]>;
+    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>, import("@aztec/pxe/simulator").NamedValue<"partialAddress", 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_sendL1ToL2Message: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"content", Fr>, import("@aztec/pxe/simulator").NamedValue<"secretHash", Fr>, import("@aztec/pxe/simulator").NamedValue<"sender", import("@aztec/foundation/eth-address").EthAddress>, import("@aztec/pxe/simulator").NamedValue<"recipient", import("@aztec/stdlib/aztec-address").AztecAddress>], Fr>;
+    aztec_txe_setTaggingSecretStrategies: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"unconstrainedStrategy", import("@aztec/pxe/simulator").Option<TaggingSecretStrategy>>, import("@aztec/pxe/simulator").NamedValue<"constrainedStrategy", import("@aztec/pxe/simulator").Option<TaggingSecretStrategy>>], any>;
+    aztec_txe_setAuthorizeAllUtilityCallTargets: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"authorizeAll", boolean>], 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<"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<"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>[], number>;
+    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[]>], any>;
+    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[]>], any>;
+    aztec_avm_successCopy: OracleRegistryEntry<import("@aztec/pxe/simulator").NamedValue<string, any>[], boolean>;
+    aztec_avm_getContractInstanceDeployer: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>], {
+        exists: boolean;
+        member: Fr;
+    }[]>;
+    aztec_avm_getContractInstanceClassId: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>], {
+        exists: boolean;
+        member: Fr;
+    }[]>;
+    aztec_avm_getContractInstanceInitializationHash: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>], {
+        exists: boolean;
+        member: Fr;
+    }[]>;
+    aztec_avm_getContractInstanceImmutablesHash: OracleRegistryEntry<[import("@aztec/pxe/simulator").NamedValue<"address", import("@aztec/stdlib/aztec-address").AztecAddress>], {
+        exists: boolean;
+        member: Fr;
+    }[]>;
+};
+export declare function toInputSlots(inputs: ForeignCallArgs): InputSlot[];
+/**
+ * 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>;
+export declare function callTxeLegacyHandler(oracle: string, inputs: ForeignCallArgs, oracleHandler: Parameters<typeof buildACIRCallback>[0]): Promise<ForeignCallResult>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhlX29yYWNsZV9yZWdpc3RyeS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL29yYWNsZS90eGVfb3JhY2xlX3JlZ2lzdHJ5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRCxPQUFPLEtBQUssRUFBRSxxQkFBcUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQy9ELE9BQU8sRUFTTCxLQUFLLFNBQVMsRUFFZCxLQUFLLFlBQVksRUFHakIsS0FBSyxtQkFBbUIsRUFFeEIsS0FBSyxVQUFVLEVBUWYsaUJBQWlCLEVBRWxCLE1BQU0sc0JBQXNCLENBQUM7QUFDOUIsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ2xELE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUN6RCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDaEQsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDNUQsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDckQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFRL0MsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLGlCQUFpQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFLL0UsWUFBWSxFQUFFLG9CQUFvQixFQUFFLGtCQUFrQixFQUFFLFlBQVksRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQ25HLFlBQVksRUFBRSxTQUFTLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNyRCxZQUFZLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNqRSxZQUFZLEVBQUUsMEJBQTBCLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQTRMekYsZUFBTyxNQUFNLG1CQUFtQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7O0NBcVBlLENBQUM7QUFFaEQsd0JBQWdCLFlBQVksQ0FBQyxNQUFNLEVBQUUsZUFBZSxHQUFHLFNBQVMsRUFBRSxDQUdqRTtBQUVEOzs7O0dBSUc7QUFDSCx3QkFBc0IsY0FBYyxDQUFDLENBQUMsU0FBUyxNQUFNLE9BQU8sbUJBQW1CLEVBQUUsRUFDL0UsTUFBTSxFQUNOLE1BQU0sRUFDTixPQUFPLEVBQ1IsRUFBRTtJQUNELE1BQU0sRUFBRSxDQUFDLENBQUM7SUFDVixNQUFNLEVBQUUsZUFBZSxDQUFDO0lBQ3hCLE9BQU8sRUFBRSxDQUNQLE1BQU0sRUFBRSxVQUFVLENBQUMsVUFBVSxDQUFDLENBQUMsT0FBTyxtQkFBbUIsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLG1CQUFtQixDQUFDLENBQUMsQ0FBQyxLQUNqRixZQUFZLENBQUMsVUFBVSxDQUFDLENBQUMsT0FBTyxtQkFBbUIsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLGlCQUFpQixDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO0NBQ3RGLEdBQUcsT0FBTyxDQUFDLGlCQUFpQixDQUFDLENBTTdCO0FBU0Qsd0JBQXNCLG9CQUFvQixDQUN4QyxNQUFNLEVBQUUsTUFBTSxFQUNkLE1BQU0sRUFBRSxlQUFlLEVBQ3ZCLGFBQWEsRUFBRSxVQUFVLENBQUMsT0FBTyxpQkFBaUIsQ0FBQyxDQUFDLENBQUMsQ0FBQyxHQUNyRCxPQUFPLENBQUMsaUJBQWlCLENBQUMsQ0FVNUIifQ==

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":"AASA,OAAO,EAAE,EAAE,EAAE,MAAM,gCAAgC,CAAC;AAGpD,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,mBAAmB,CAAC;AAC/D,OAAO,EASL,KAAK,SAAS,EAEd,KAAK,YAAY,EAGjB,KAAK,mBAAmB,EAExB,KAAK,UAAU,EAQf,iBAAiB,EAElB,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;AAK/E,YAAY,EAAE,oBAAoB,EAAE,kBAAkB,EAAE,YAAY,EAAE,MAAM,sBAAsB,CAAC;AACnG,YAAY,EAAE,SAAS,EAAE,MAAM,qBAAqB,CAAC;AACrD,YAAY,EAAE,iBAAiB,EAAE,MAAM,yBAAyB,CAAC;AACjE,YAAY,EAAE,0BAA0B,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AA4LzF,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CAqPe,CAAC;AAEhD,wBAAgB,YAAY,CAAC,MAAM,EAAE,eAAe,GAAG,SAAS,EAAE,CAGjE;AAED;;;;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,CAM7B;AASD,wBAAsB,oBAAoB,CACxC,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,eAAe,EACvB,aAAa,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC,GACrD,OAAO,CAAC,iBAAiB,CAAC,CAU5B"}