@aztec/txe 5.0.0-rc.1 → 5.0.0

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

@@ -1,13 +1,23 @@
 /* eslint-disable camelcase */ import { createLogger } from '@aztec/foundation/log';
-import { withHexPrefix, withoutHexPrefix } from '@aztec/foundation/string';
-/** Name of the meta-oracle that Noir tests call to select a fixture scenario by name. */ const SET_SCENARIO_ORACLE = 'aztec_oracle_test_set_scenario';
+import { withoutHexPrefix } from '@aztec/foundation/string';
+import { BOUNDED_VEC, BYTE, BoundedVec, Option, 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(BYTE)
+        }
+    ]
+});
 /**
- * Oracle resolver for roundtrip tests. Selects a fixture scenario, verifies that the received inputs match, and
+ * 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 fixture, it is selected automatically. For oracles with multiple fixtures, Noir tests
- * must call the `oracle_test_set_scenario` meta-oracle to select a specific scenario by name before calling the
- * real oracle.
+ * 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;
@@ -21,6 +31,12 @@ import { withHexPrefix, withoutHexPrefix } from '@aztec/foundation/string';
         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;
@@ -30,7 +46,6 @@ import { withHexPrefix, withoutHexPrefix } from '@aztec/foundation/string';
         if (oracleName === SET_SCENARIO_ORACLE) {
             return this.#handleSetScenario(callData);
         }
-        this.calledOracles.add(oracleName);
         if (!(oracleName in this.registry)) {
             throw new Error(`Oracle '${oracleName}' not found in registry`);
         }
@@ -41,6 +56,7 @@ import { withHexPrefix, withoutHexPrefix } from '@aztec/foundation/string';
         }
         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
         });
@@ -55,60 +71,111 @@ import { withHexPrefix, withoutHexPrefix } from '@aztec/foundation/string';
     /** Returns oracles in the registry that have no fixture defined at all. */ getMissingFixtures() {
         return Object.keys(this.registry).filter((name)=>!(name in this.fixtures));
     }
-    #handleSetScenario(callData) {
-        const charCodes = callData.inputs[0];
-        const scenarioName = charCodes.map((hex)=>Number(BigInt(hex.startsWith('0x') ? hex : `0x${hex}`))).map((code)=>String.fromCharCode(code)).join('');
+    /**
+   * 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,
-            scenarioName
+            scenario
         });
-        this.pendingScenario.set(callData.session_id, scenarioName);
+        this.pendingScenario.set(callData.session_id, scenario);
         return {
             values: []
         };
     }
-    /** Selects a scenario by pending name (for multi-fixture oracles) or returns the single fixture. */ #selectScenario(sessionId, oracleName, fixtures) {
-        const selectedName = this.pendingScenario.get(sessionId);
-        if (selectedName !== undefined) {
+    /** 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 matches = fixtures.filter((s)=>s.scenario === selectedName);
-            if (matches.length === 0) {
-                const available = fixtures.map((s)=>s.scenario).join(', ');
-                throw new Error(`No scenario named '${selectedName}' for oracle '${oracleName}'. Available: ${available}`);
-            }
-            if (matches.length > 1) {
-                throw new Error(`Duplicate scenario name '${selectedName}' for oracle '${oracleName}'`);
+            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 matches[0];
+            return match;
         }
         if (fixtures.length === 1) {
             return fixtures[0];
         }
-        throw new Error(`Oracle '${oracleName}' has ${fixtures.length} fixture scenarios. ` + `Use #[oracle_test("scenario_name")] to select one.`);
+        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, scenario, oracleName) {
-        const expectedInputs = scenario.inputs;
+    /** 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 normalized = rawInputs.map((v)=>Array.isArray(v) ? v.map(withHexPrefix) : [
-                withHexPrefix(v)
-            ]);
-        const named = entry.deserializeParams(normalized);
+        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])) {
-                const scenarioLabel = scenario.scenario ? ` (scenario '${scenario.scenario}')` : '';
-                throw new Error(`Input mismatch for oracle '${oracleName}'${scenarioLabel}: ` + `param '${param.name}' expected ${String(expectedInputs[param.name])} ` + `but got ${String(param.value)}`);
+                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]));
     }
-    return String(actual) === String(expected);
+    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

@@ -33,26 +33,26 @@ export declare class TXEOraclePublicContext implements IAvmExecutionOracle {
     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<Fr>;
+    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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhlX29yYWNsZV9wdWJsaWNfY29udGV4dC5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL29yYWNsZS90eGVfb3JhY2xlX3B1YmxpY19jb250ZXh0LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQUFBLE9BQU8sRUFBRSxXQUFXLEVBQUUsTUFBTSxpQ0FBaUMsQ0FBQztBQUM5RCxPQUFPLEVBQUUsRUFBRSxFQUFFLE1BQU0sZ0NBQWdDLENBQUM7QUFFcEQsT0FBTyxLQUFLLEVBQUUsYUFBYSxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFFdkQsT0FBTyxFQUFFLFlBQVksRUFBRSxNQUFNLDZCQUE2QixDQUFDO0FBQzNELE9BQU8sS0FBSyxFQUFFLE9BQU8sRUFBRSxNQUFNLHFCQUFxQixDQUFDO0FBR25ELE9BQU8sRUFFTCxLQUFLLHlCQUF5QixFQUcvQixNQUFNLHFCQUFxQixDQUFDO0FBQzdCLE9BQU8sRUFBRSxlQUFlLEVBQW9CLE1BQU0sa0JBQWtCLENBQUM7QUFHckUsT0FBTyxLQUFLLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSxpQkFBaUIsQ0FBQztBQUUzRCxxQkFBYSxzQkFBdUIsWUFBVyxtQkFBbUI7SUFTOUQsT0FBTyxDQUFDLGVBQWU7SUFDdkIsT0FBTyxDQUFDLGdCQUFnQjtJQUN4QixPQUFPLENBQUMsYUFBYTtJQUNyQixPQUFPLENBQUMsZUFBZTtJQUN2QixPQUFPLENBQUMsYUFBYTtJQVp2QixLQUFLLE9BQWlCO0lBRXRCLE9BQU8sQ0FBQyxNQUFNLENBQVM7SUFDdkIsT0FBTyxDQUFDLHlCQUF5QixDQUFZO0lBQzdDLE9BQU8sQ0FBQyx5QkFBeUIsQ0FBWTtJQUM3QyxPQUFPLENBQUMsZ0JBQWdCLENBQXlCO0lBRWpELFlBQ1UsZUFBZSxFQUFFLFlBQVksRUFDN0IsZ0JBQWdCLEVBQUUseUJBQXlCLEVBQzNDLGFBQWEsRUFBRSxFQUFFLEVBQ2pCLGVBQWUsRUFBRSxlQUFlLEVBQ2hDLGFBQWEsRUFBRSxhQUFhLEVBU3JDO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FBQyxZQUFZLENBQUMsQ0FFL0I7SUFFRCxNQUFNLElBQUksT0FBTyxDQUFDLFlBQVksQ0FBQyxDQUU5QjtJQUVELFdBQVcsSUFBSSxPQUFPLENBQUMsV0FBVyxDQUFDLENBRWxDO0lBRUQsU0FBUyxJQUFJLE9BQU8sQ0FBQyxNQUFNLENBQUMsQ0FFM0I7SUFFRCxZQUFZLElBQUksT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQUUvQjtJQUVELE9BQU8sSUFBSSxPQUFPLENBQUMsRUFBRSxDQUFDLENBRXJCO0lBRUQsT0FBTyxJQUFJLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FFckI7SUFFSyxhQUFhLENBQUMsU0FBUyxFQUFFLEVBQUUsaUJBR2hDO0lBRUssWUFBWSxDQUFDLFFBQVEsRUFBRSxFQUFFLGlCQUk5QjtJQUVLLGVBQWUsQ0FBQyxlQUFlLEVBQUUsRUFBRSxHQUFHLE9BQU8sQ0FBQyxPQUFPLENBQUMsQ0FPM0Q7SUFFSyxZQUFZLENBQUMsSUFBSSxFQUFFLEVBQUUsRUFBRSxLQUFLLEVBQUUsRUFBRSxpQkFVckM7SUFFSyxXQUFXLENBQUMsSUFBSSxFQUFFLEVBQUUsRUFBRSxlQUFlLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FxQnRFO0lBRUQsMkJBQTJCLENBQUMsT0FBTyxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUM7UUFBRSxNQUFNLEVBQUUsRUFBRSxDQUFDO1FBQUMsTUFBTSxFQUFFLE9BQU8sQ0FBQTtLQUFFLENBQUMsQ0FFM0Y7SUFFRCwwQkFBMEIsQ0FBQyxPQUFPLEVBQUUsWUFBWSxHQUFHLE9BQU8sQ0FBQztRQUFFLE1BQU0sRUFBRSxFQUFFLENBQUM7UUFBQyxNQUFNLEVBQUUsT0FBTyxDQUFBO0tBQUUsQ0FBQyxDQUUxRjtJQUVELHFDQUFxQyxDQUFDLE9BQU8sRUFBRSxZQUFZLEdBQUcsT0FBTyxDQUFDO1FBQUUsTUFBTSxFQUFFLEVBQUUsQ0FBQztRQUFDLE1BQU0sRUFBRSxPQUFPLENBQUE7S0FBRSxDQUFDLENBRXJHO0lBRUQsaUNBQWlDLENBQUMsT0FBTyxFQUFFLFlBQVksR0FBRyxPQUFPLENBQUM7UUFBRSxNQUFNLEVBQUUsRUFBRSxDQUFDO1FBQUMsTUFBTSxFQUFFLE9BQU8sQ0FBQTtLQUFFLENBQUMsQ0FFakc7WUFFYSx5QkFBeUI7SUFXdkMsY0FBYyxJQUFJLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FJNUI7SUFFRCxjQUFjLENBQUMsU0FBUyxFQUFFLE1BQU0sRUFBRSxTQUFTLEVBQUUsTUFBTSxHQUFHLE9BQU8sQ0FBQyxFQUFFLEVBQUUsQ0FBQyxDQUlsRTtJQUVELElBQUksQ0FBQyxNQUFNLEVBQUUsTUFBTSxFQUFFLE1BQU0sRUFBRSxNQUFNLEVBQUUsUUFBUSxFQUFFLFlBQVksRUFBRSxXQUFXLEVBQUUsTUFBTSxFQUFFLEtBQUssRUFBRSxFQUFFLEVBQUUsR0FBRyxPQUFPLENBQUMsRUFBRSxFQUFFLENBQUMsQ0FJNUc7SUFFRCxVQUFVLENBQUMsTUFBTSxFQUFFLE1BQU0sRUFBRSxNQUFNLEVBQUUsTUFBTSxFQUFFLFFBQVEsRUFBRSxZQUFZLEVBQUUsV0FBVyxFQUFFLE1BQU0sRUFBRSxLQUFLLEVBQUUsRUFBRSxFQUFFLEdBQUcsT0FBTyxDQUFDLEVBQUUsRUFBRSxDQUFDLENBSWxIO0lBRUQsV0FBVyxJQUFJLE9BQU8sQ0FBQyxFQUFFLENBQUMsQ0FJekI7SUFFSyxLQUFLLElBQUksT0FBTyxDQUFDLE9BQU8sQ0FBQyxDQWtCOUI7SUFFRCxPQUFPLENBQUMsWUFBWTtDQWFyQiJ9
+//# 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;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,CAAC,CAE3F;IAED,0BAA0B,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,EAAE,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAE1F;IAED,qCAAqC,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,EAAE,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAErG;IAED,iCAAiC,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC;QAAE,MAAM,EAAE,EAAE,CAAC;QAAC,MAAM,EAAE,OAAO,CAAA;KAAE,CAAC,CAEjG;YAEa,yBAAyB;IAWvC,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

@@ -97,7 +97,8 @@ export class TXEOraclePublicContext {
         return this.getContractInstanceMember(address, (i)=>i.deployer.toField());
     }
     getContractInstanceClassId(address) {
-        return this.getContractInstanceMember(address, (i)=>i.currentContractClassId);
+        // 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);
@@ -105,18 +106,23 @@ export class TXEOraclePublicContext {
     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: Fr.ZERO,
+                    exists: false
+                }
+            ];
         }
-        return {
-            member: accessor(instance),
-            exists: true
-        };
+        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

@@ -1,6 +1,161 @@
-import { type MaybePromise, type OracleRegistryEntry, type ParamTypes } from '@aztec/pxe/simulator';
+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 declare const TXE_ORACLE_REGISTRY: Record<string, OracleRegistryEntry>;
+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_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/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>], 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_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
@@ -11,4 +166,5 @@ export declare function callTxeHandler<K extends keyof typeof TXE_ORACLE_REGISTR
     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,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhlX29yYWNsZV9yZWdpc3RyeS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL29yYWNsZS90eGVfb3JhY2xlX3JlZ2lzdHJ5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVVBLE9BQU8sRUFTTCxLQUFLLFlBQVksRUFHakIsS0FBSyxtQkFBbUIsRUFDeEIsS0FBSyxVQUFVLEVBS2hCLE1BQU0sc0JBQXNCLENBQUM7QUFjOUIsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLGlCQUFpQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUEwRy9FLGVBQU8sTUFBTSxtQkFBbUIsRUFBRSxNQUFNLENBQUMsTUFBTSxFQUFFLG1CQUFtQixDQThObkUsQ0FBQztBQUVGOzs7O0dBSUc7QUFDSCx3QkFBc0IsY0FBYyxDQUFDLENBQUMsU0FBUyxNQUFNLE9BQU8sbUJBQW1CLEVBQUUsRUFDL0UsTUFBTSxFQUNOLE1BQU0sRUFDTixPQUFPLEVBQ1IsRUFBRTtJQUNELE1BQU0sRUFBRSxDQUFDLENBQUM7SUFDVixNQUFNLEVBQUUsZUFBZSxDQUFDO0lBQ3hCLE9BQU8sRUFBRSxDQUNQLE1BQU0sRUFBRSxVQUFVLENBQUMsVUFBVSxDQUFDLENBQUMsT0FBTyxtQkFBbUIsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLG1CQUFtQixDQUFDLENBQUMsQ0FBQyxLQUNqRixZQUFZLENBQUMsVUFBVSxDQUFDLENBQUMsT0FBTyxtQkFBbUIsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLGlCQUFpQixDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDO0NBQ3RGLEdBQUcsT0FBTyxDQUFDLGlCQUFpQixDQUFDLENBYTdCIn0=
+export declare function callTxeLegacyHandler(oracle: string, inputs: ForeignCallArgs, oracleHandler: Parameters<typeof buildACIRCallback>[0]): Promise<ForeignCallResult>;
+//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoidHhlX29yYWNsZV9yZWdpc3RyeS5kLnRzIiwic291cmNlUm9vdCI6IiIsInNvdXJjZXMiOlsiLi4vLi4vc3JjL29yYWNsZS90eGVfb3JhY2xlX3JlZ2lzdHJ5LnRzIl0sIm5hbWVzIjpbXSwibWFwcGluZ3MiOiJBQVNBLE9BQU8sRUFBRSxFQUFFLEVBQUUsTUFBTSxnQ0FBZ0MsQ0FBQztBQUdwRCxPQUFPLEtBQUssRUFBRSxxQkFBcUIsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQy9ELE9BQU8sRUFVTCxLQUFLLFNBQVMsRUFDZCxLQUFLLFlBQVksRUFHakIsS0FBSyxtQkFBbUIsRUFFeEIsS0FBSyxVQUFVLEVBTWYsaUJBQWlCLEVBRWxCLE1BQU0sc0JBQXNCLENBQUM7QUFDOUIsT0FBTyxFQUFFLGFBQWEsRUFBRSxNQUFNLG1CQUFtQixDQUFDO0FBQ2xELE9BQU8sRUFBRSxlQUFlLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUN6RCxPQUFPLEVBQUUsV0FBVyxFQUFFLE1BQU0sbUJBQW1CLENBQUM7QUFDaEQsT0FBTyxFQUFFLG9CQUFvQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDNUQsT0FBTyxLQUFLLEVBQUUsVUFBVSxFQUFFLE1BQU0sb0JBQW9CLENBQUM7QUFDckQsT0FBTyxLQUFLLEVBQUUsTUFBTSxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFRL0MsT0FBTyxLQUFLLEVBQUUsZUFBZSxFQUFFLGlCQUFpQixFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFLL0UsWUFBWSxFQUFFLG9CQUFvQixFQUFFLGtCQUFrQixFQUFFLFlBQVksRUFBRSxNQUFNLHNCQUFzQixDQUFDO0FBQ25HLFlBQVksRUFBRSxTQUFTLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQUNyRCxZQUFZLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSx5QkFBeUIsQ0FBQztBQUNqRSxZQUFZLEVBQUUsMEJBQTBCLEVBQUUsaUJBQWlCLEVBQUUsTUFBTSxxQkFBcUIsQ0FBQztBQW9MekYsZUFBTyxNQUFNLG1CQUFtQjs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7Ozs7OztDQThPZSxDQUFDO0FBRWhELHdCQUFnQixZQUFZLENBQUMsTUFBTSxFQUFFLGVBQWUsR0FBRyxTQUFTLEVBQUUsQ0FHakU7QUFFRDs7OztHQUlHO0FBQ0gsd0JBQXNCLGNBQWMsQ0FBQyxDQUFDLFNBQVMsTUFBTSxPQUFPLG1CQUFtQixFQUFFLEVBQy9FLE1BQU0sRUFDTixNQUFNLEVBQ04sT0FBTyxFQUNSLEVBQUU7SUFDRCxNQUFNLEVBQUUsQ0FBQyxDQUFDO0lBQ1YsTUFBTSxFQUFFLGVBQWUsQ0FBQztJQUN4QixPQUFPLEVBQUUsQ0FDUCxNQUFNLEVBQUUsVUFBVSxDQUFDLFVBQVUsQ0FBQyxDQUFDLE9BQU8sbUJBQW1CLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxtQkFBbUIsQ0FBQyxDQUFDLENBQUMsS0FDakYsWUFBWSxDQUFDLFVBQVUsQ0FBQyxDQUFDLE9BQU8sbUJBQW1CLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQyxpQkFBaUIsQ0FBQyxDQUFDLENBQUMsQ0FBQyxDQUFDLENBQUMsQ0FBQztDQUN0RixHQUFHLE9BQU8sQ0FBQyxpQkFBaUIsQ0FBQyxDQU03QjtBQVNELHdCQUFzQixvQkFBb0IsQ0FDeEMsTUFBTSxFQUFFLE1BQU0sRUFDZCxNQUFNLEVBQUUsZUFBZSxFQUN2QixhQUFhLEVBQUUsVUFBVSxDQUFDLE9BQU8saUJBQWlCLENBQUMsQ0FBQyxDQUFDLENBQUMsR0FDckQsT0FBTyxDQUFDLGlCQUFpQixDQUFDLENBVTVCIn0=

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

@@ -1 +1 @@
-{"version":3,"file":"txe_oracle_registry.d.ts","sourceRoot":"","sources":["../../src/oracle/txe_oracle_registry.ts"],"names":[],"mappings":"AAUA,OAAO,EASL,KAAK,YAAY,EAGjB,KAAK,mBAAmB,EACxB,KAAK,UAAU,EAKhB,MAAM,sBAAsB,CAAC;AAc9B,OAAO,KAAK,EAAE,eAAe,EAAE,iBAAiB,EAAE,MAAM,sBAAsB,CAAC;AA0G/E,eAAO,MAAM,mBAAmB,EAAE,MAAM,CAAC,MAAM,EAAE,mBAAmB,CA8NnE,CAAC;AAEF;;;;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"}
+{"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,EAUL,KAAK,SAAS,EACd,KAAK,YAAY,EAGjB,KAAK,mBAAmB,EAExB,KAAK,UAAU,EAMf,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;AAoLzF,eAAO,MAAM,mBAAmB;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;CA8Oe,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"}