@aztec/txe 5.0.0-rc.1 → 5.0.0-rc.2

package/dest/oracle/test-resolver/fixtures.d.ts

@@ -1,43 +0,0 @@
-import { type NamedValue } from '@aztec/pxe/simulator';
-import { TXE_ORACLE_REGISTRY } from '../txe_oracle_registry.js';
-/**
- * Fixture definitions for oracle roundtrip tests.
- *
- * Each key is an oracle name from TXE_ORACLE_REGISTRY, and the value is an array of scenarios. The resolver selects a
- * scenario (by name for multi-scenario oracles, or automatically for single-scenario ones), verifies that the
- * deserialized inputs match the fixture's expected values, and returns the fixture output.
- *
- * To add a new oracle test:
- * 1. Add a fixture entry here with the expected inputs and output.
- * 2. Add a Noir `#[oracle_test]` function that calls the oracle with the same input values and asserts the output.
- */
-export declare const ORACLE_TEST_FIXTURES: OracleTestFixtures;
-/**
- * Converts a `NamedValue` tuple (from `deserializeParams`) to a record.
- * `[NamedValue<'slot', Fr>, NamedValue<'addr', AztecAddress>]` → `{ slot: Fr, addr: AztecAddress }`.
- */
-type NamedValuesToRecord<T extends readonly NamedValue[]> = {
-    [K in T[number] as K extends NamedValue<infer N, any> ? N : never]: K extends NamedValue<string, infer V> ? V : never;
-};
-/** Extracts the deserialized inputs record type from an oracle registry entry. */
-type OracleInputs<K extends keyof typeof TXE_ORACLE_REGISTRY> = (typeof TXE_ORACLE_REGISTRY)[K] extends {
-    deserializeParams(...args: any[]): infer P;
-} ? P extends readonly NamedValue[] ? NamedValuesToRecord<P> : Record<string, never> : Record<string, never>;
-/** Extracts the return type from an oracle registry entry's serializeReturn method. */
-type OracleOutput<K extends keyof typeof TXE_ORACLE_REGISTRY> = (typeof TXE_ORACLE_REGISTRY)[K] extends {
-    serializeReturn(result: infer R): any;
-} ? R : void;
-/** A single test scenario for an oracle, typed against the oracle registry. */
-export interface OracleTestScenario<K extends keyof typeof TXE_ORACLE_REGISTRY = keyof typeof TXE_ORACLE_REGISTRY> {
-    /** Scenario name for selection via `#[oracle_test("name")]`. Required when an oracle has multiple scenarios. */
-    scenario?: string;
-    /** Expected deserialized inputs. */
-    inputs: OracleInputs<K>;
-    /** Return value to serialize back to Noir. */
-    output: OracleOutput<K>;
-}
-type OracleTestFixtures = {
-    [K in keyof typeof TXE_ORACLE_REGISTRY]?: OracleTestScenario<K>[];
-};
-export {};
-//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiZml4dHVyZXMuZC50cyIsInNvdXJjZVJvb3QiOiIiLCJzb3VyY2VzIjpbIi4uLy4uLy4uL3NyYy9vcmFjbGUvdGVzdC1yZXNvbHZlci9maXh0dXJlcy50cyJdLCJuYW1lcyI6W10sIm1hcHBpbmdzIjoiQUFHQSxPQUFPLEVBQUUsS0FBSyxVQUFVLEVBQVUsTUFBTSxzQkFBc0IsQ0FBQztBQUUvRCxPQUFPLEVBQUUsbUJBQW1CLEVBQUUsTUFBTSwyQkFBMkIsQ0FBQztBQUVoRTs7Ozs7Ozs7OztHQVVHO0FBQ0gsZUFBTyxNQUFNLG9CQUFvQixFQUFFLGtCQW9CbEMsQ0FBQztBQUVGOzs7R0FHRztBQUNILEtBQUssbUJBQW1CLENBQUMsQ0FBQyxTQUFTLFNBQVMsVUFBVSxFQUFFLElBQUk7S0FDekQsQ0FBQyxJQUFJLENBQUMsQ0FBQyxNQUFNLENBQUMsSUFBSSxDQUFDLFNBQVMsVUFBVSxDQUFDLE1BQU0sQ0FBQyxFQUFFLEdBQUcsQ0FBQyxHQUFHLENBQUMsR0FBRyxLQUFLLEdBQUcsQ0FBQyxTQUFTLFVBQVUsQ0FBQyxNQUFNLEVBQUUsTUFBTSxDQUFDLENBQUMsR0FBRyxDQUFDLEdBQUcsS0FBSztDQUN0SCxDQUFDO0FBRUYsa0ZBQWtGO0FBQ2xGLEtBQUssWUFBWSxDQUFDLENBQUMsU0FBUyxNQUFNLE9BQU8sbUJBQW1CLElBQUksQ0FBQyxPQUFPLG1CQUFtQixDQUFDLENBQUMsQ0FBQyxDQUFDLFNBQVM7SUFDdEcsaUJBQWlCLENBQUMsR0FBRyxJQUFJLEVBQUUsR0FBRyxFQUFFLEdBQUcsTUFBTSxDQUFDLENBQUM7Q0FDNUMsR0FDRyxDQUFDLFNBQVMsU0FBUyxVQUFVLEVBQUUsR0FDN0IsbUJBQW1CLENBQUMsQ0FBQyxDQUFDLEdBQ3RCLE1BQU0sQ0FBQyxNQUFNLEVBQUUsS0FBSyxDQUFDLEdBQ3ZCLE1BQU0sQ0FBQyxNQUFNLEVBQUUsS0FBSyxDQUFDLENBQUM7QUFFMUIsdUZBQXVGO0FBQ3ZGLEtBQUssWUFBWSxDQUFDLENBQUMsU0FBUyxNQUFNLE9BQU8sbUJBQW1CLElBQUksQ0FBQyxPQUFPLG1CQUFtQixDQUFDLENBQUMsQ0FBQyxDQUFDLFNBQVM7SUFDdEcsZUFBZSxDQUFDLE1BQU0sRUFBRSxNQUFNLENBQUMsR0FBRyxHQUFHLENBQUM7Q0FDdkMsR0FDRyxDQUFDLEdBQ0QsSUFBSSxDQUFDO0FBRVQsK0VBQStFO0FBQy9FLE1BQU0sV0FBVyxrQkFBa0IsQ0FBQyxDQUFDLFNBQVMsTUFBTSxPQUFPLG1CQUFtQixHQUFHLE1BQU0sT0FBTyxtQkFBbUI7SUFDL0csZ0hBQWdIO0lBQ2hILFFBQVEsQ0FBQyxFQUFFLE1BQU0sQ0FBQztJQUNsQixvQ0FBb0M7SUFDcEMsTUFBTSxFQUFFLFlBQVksQ0FBQyxDQUFDLENBQUMsQ0FBQztJQUN4Qiw4Q0FBOEM7SUFDOUMsTUFBTSxFQUFFLFlBQVksQ0FBQyxDQUFDLENBQUMsQ0FBQztDQUN6QjtBQUVELEtBQUssa0JBQWtCLEdBQUc7S0FDdkIsQ0FBQyxJQUFJLE1BQU0sT0FBTyxtQkFBbUIsQ0FBQyxDQUFDLEVBQUUsa0JBQWtCLENBQUMsQ0FBQyxDQUFDLEVBQUU7Q0FDbEUsQ0FBQyJ9

package/dest/oracle/test-resolver/fixtures.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"fixtures.d.ts","sourceRoot":"","sources":["../../../src/oracle/test-resolver/fixtures.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,UAAU,EAAU,MAAM,sBAAsB,CAAC;AAE/D,OAAO,EAAE,mBAAmB,EAAE,MAAM,2BAA2B,CAAC;AAEhE;;;;;;;;;;GAUG;AACH,eAAO,MAAM,oBAAoB,EAAE,kBAoBlC,CAAC;AAEF;;;GAGG;AACH,KAAK,mBAAmB,CAAC,CAAC,SAAS,SAAS,UAAU,EAAE,IAAI;KACzD,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,GAAG,CAAC,SAAS,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;CACtH,CAAC;AAEF,kFAAkF;AAClF,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,OAAO,mBAAmB,IAAI,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC,CAAC,SAAS;IACtG,iBAAiB,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,GAAG,MAAM,CAAC,CAAC;CAC5C,GACG,CAAC,SAAS,SAAS,UAAU,EAAE,GAC7B,mBAAmB,CAAC,CAAC,CAAC,GACtB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,GACvB,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;AAE1B,uFAAuF;AACvF,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,OAAO,mBAAmB,IAAI,CAAC,OAAO,mBAAmB,CAAC,CAAC,CAAC,CAAC,SAAS;IACtG,eAAe,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,GAAG,CAAC;CACvC,GACG,CAAC,GACD,IAAI,CAAC;AAET,+EAA+E;AAC/E,MAAM,WAAW,kBAAkB,CAAC,CAAC,SAAS,MAAM,OAAO,mBAAmB,GAAG,MAAM,OAAO,mBAAmB;IAC/G,gHAAgH;IAChH,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,oCAAoC;IACpC,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;IACxB,8CAA8C;IAC9C,MAAM,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC;CACzB;AAED,KAAK,kBAAkB,GAAG;KACvB,CAAC,IAAI,MAAM,OAAO,mBAAmB,CAAC,CAAC,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE;CAClE,CAAC"}

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

@@ -1,39 +0,0 @@
-/* eslint-disable camelcase */ import { AztecAddress } from '@aztec/aztec.js/addresses';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { Option } from '@aztec/pxe/simulator';
-/**
- * Fixture definitions for oracle roundtrip tests.
- *
- * Each key is an oracle name from TXE_ORACLE_REGISTRY, and the value is an array of scenarios. The resolver selects a
- * scenario (by name for multi-scenario oracles, or automatically for single-scenario ones), verifies that the
- * deserialized inputs match the fixture's expected values, and returns the fixture output.
- *
- * To add a new oracle test:
- * 1. Add a fixture entry here with the expected inputs and output.
- * 2. Add a Noir `#[oracle_test]` function that calls the oracle with the same input values and asserts the output.
- */ export const ORACLE_TEST_FIXTURES = {
-    aztec_avm_storageRead: [
-        makeScenario({
-            inputs: {
-                slot: new Fr(10),
-                contractAddress: AztecAddress.fromNumber(1)
-            },
-            output: new Fr(42)
-        })
-    ],
-    aztec_prv_getSenderForTags: [
-        makeScenario({
-            scenario: 'some',
-            inputs: {},
-            output: Option.some(AztecAddress.fromNumber(42))
-        }),
-        makeScenario({
-            scenario: 'none',
-            inputs: {},
-            output: Option.none(AztecAddress.ZERO)
-        })
-    ]
-};
-/** Creates a typed fixture scenario for a given oracle. */ function makeScenario(scenario) {
-    return scenario;
-}

package/src/oracle/test-resolver/fixtures.ts

@@ -1,84 +0,0 @@
-/* eslint-disable camelcase */
-import { AztecAddress } from '@aztec/aztec.js/addresses';
-import { Fr } from '@aztec/foundation/curves/bn254';
-import { type NamedValue, Option } from '@aztec/pxe/simulator';
-
-import { TXE_ORACLE_REGISTRY } from '../txe_oracle_registry.js';
-
-/**
- * Fixture definitions for oracle roundtrip tests.
- *
- * Each key is an oracle name from TXE_ORACLE_REGISTRY, and the value is an array of scenarios. The resolver selects a
- * scenario (by name for multi-scenario oracles, or automatically for single-scenario ones), verifies that the
- * deserialized inputs match the fixture's expected values, and returns the fixture output.
- *
- * To add a new oracle test:
- * 1. Add a fixture entry here with the expected inputs and output.
- * 2. Add a Noir `#[oracle_test]` function that calls the oracle with the same input values and asserts the output.
- */
-export const ORACLE_TEST_FIXTURES: OracleTestFixtures = {
-  aztec_avm_storageRead: [
-    makeScenario({
-      inputs: { slot: new Fr(10), contractAddress: AztecAddress.fromNumber(1) },
-      output: new Fr(42),
-    }),
-  ],
-
-  aztec_prv_getSenderForTags: [
-    makeScenario({
-      scenario: 'some',
-      inputs: {},
-      output: Option.some(AztecAddress.fromNumber(42)),
-    }),
-    makeScenario({
-      scenario: 'none',
-      inputs: {},
-      output: Option.none(AztecAddress.ZERO),
-    }),
-  ],
-};
-
-/**
- * Converts a `NamedValue` tuple (from `deserializeParams`) to a record.
- * `[NamedValue<'slot', Fr>, NamedValue<'addr', AztecAddress>]` → `{ slot: Fr, addr: AztecAddress }`.
- */
-type NamedValuesToRecord<T extends readonly NamedValue[]> = {
-  [K in T[number] as K extends NamedValue<infer N, any> ? N : never]: K extends NamedValue<string, infer V> ? V : never;
-};
-
-/** Extracts the deserialized inputs record type from an oracle registry entry. */
-type OracleInputs<K extends keyof typeof TXE_ORACLE_REGISTRY> = (typeof TXE_ORACLE_REGISTRY)[K] extends {
-  deserializeParams(...args: any[]): infer P;
-}
-  ? P extends readonly NamedValue[]
-    ? NamedValuesToRecord<P>
-    : Record<string, never>
-  : Record<string, never>;
-
-/** Extracts the return type from an oracle registry entry's serializeReturn method. */
-type OracleOutput<K extends keyof typeof TXE_ORACLE_REGISTRY> = (typeof TXE_ORACLE_REGISTRY)[K] extends {
-  serializeReturn(result: infer R): any;
-}
-  ? R
-  : void;
-
-/** A single test scenario for an oracle, typed against the oracle registry. */
-export interface OracleTestScenario<K extends keyof typeof TXE_ORACLE_REGISTRY = keyof typeof TXE_ORACLE_REGISTRY> {
-  /** Scenario name for selection via `#[oracle_test("name")]`. Required when an oracle has multiple scenarios. */
-  scenario?: string;
-  /** Expected deserialized inputs. */
-  inputs: OracleInputs<K>;
-  /** Return value to serialize back to Noir. */
-  output: OracleOutput<K>;
-}
-
-type OracleTestFixtures = {
-  [K in keyof typeof TXE_ORACLE_REGISTRY]?: OracleTestScenario<K>[];
-};
-
-/** Creates a typed fixture scenario for a given oracle. */
-function makeScenario<K extends keyof typeof TXE_ORACLE_REGISTRY>(
-  scenario: OracleTestScenario<K>,
-): OracleTestScenario<K> {
-  return scenario;
-}