@aztec/pxe 0.87.5 → 0.87.6

package/dest/contract_function_simulator/execution_note_cache.js

@@ -0,0 +1,180 @@
+import { Fr } from '@aztec/foundation/fields';
+import { computeNoteHashNonce, computeUniqueNoteHash, siloNoteHash, siloNullifier } from '@aztec/stdlib/hash';
+/**
+ * Data that's accessible by all the function calls in an execution.
+ */ export class ExecutionNoteCache {
+    txRequestHash;
+    /**
+   * New notes created in this transaction.
+   * They are pushed to this array in the same order as they are emitted.
+   */ notes;
+    /**
+   * This mapping maps from a contract address to the notes in the contract.
+   */ noteMap;
+    /**
+   * This maps from a contract address to the nullifiers emitted from the contract.
+   * The note which is nullified might be new or not (i.e., was generated in a previous transaction).
+   * Note that their value (bigint representation) is used because Frs cannot be looked up in Sets.
+   */ nullifierMap;
+    /**
+   * All nullifiers emitted in this transaction.
+   */ allNullifiers;
+    minRevertibleSideEffectCounter;
+    inRevertiblePhase;
+    /**
+   * We don't need to use the tx request hash for nonces if another non revertible nullifier is emitted.
+   * In that case we disable injecting the tx request hash as a nullifier.
+   */ usedTxRequestHashForNonces;
+    constructor(txRequestHash){
+        this.txRequestHash = txRequestHash;
+        this.notes = [];
+        this.noteMap = new Map();
+        this.nullifierMap = new Map();
+        this.allNullifiers = new Set();
+        this.minRevertibleSideEffectCounter = 0;
+        this.inRevertiblePhase = false;
+        this.usedTxRequestHashForNonces = true;
+    }
+    /**
+   * Enters the revertible phase of the transaction.
+   * @param minRevertibleSideEffectCounter - The counter at which the transaction enters the revertible phase.
+   */ async setMinRevertibleSideEffectCounter(minRevertibleSideEffectCounter) {
+        if (this.inRevertiblePhase) {
+            throw new Error(`Cannot enter the revertible phase twice. Current counter: ${minRevertibleSideEffectCounter}. Previous enter counter: ${this.minRevertibleSideEffectCounter}`);
+        }
+        this.inRevertiblePhase = true;
+        this.minRevertibleSideEffectCounter = minRevertibleSideEffectCounter;
+        let nonceGenerator = this.txRequestHash;
+        const nullifiers = this.getAllNullifiers();
+        if (nullifiers.length > 0) {
+            nonceGenerator = new Fr(nullifiers[0]);
+            this.usedTxRequestHashForNonces = false;
+        }
+        // The existing pending notes are all non-revertible.
+        // They cannot be squashed by nullifiers emitted after minRevertibleSideEffectCounter is set.
+        // Their indexes in the tx are known at this point and won't change. So we can assign a nonce to each one of them.
+        // The nonces will be used to create the "complete" nullifier.
+        const updatedNotes = await Promise.all(this.notes.map(async ({ note, counter }, i)=>{
+            const nonce = await computeNoteHashNonce(nonceGenerator, i);
+            const uniqueNoteHash = await computeUniqueNoteHash(nonce, await siloNoteHash(note.contractAddress, note.noteHash));
+            return {
+                counter,
+                note: {
+                    ...note,
+                    nonce
+                },
+                noteHashForConsumption: uniqueNoteHash
+            };
+        }));
+        // Rebuild the data.
+        this.notes = [];
+        this.noteMap = new Map();
+        updatedNotes.forEach((n)=>this.#addNote(n));
+    }
+    finish() {
+        // If we never entered the revertible phase, we need to use the tx request hash as a nonce for the notes if no nullifiers have been emitted.
+        if (!this.inRevertiblePhase) {
+            this.usedTxRequestHashForNonces = this.getAllNullifiers().length === 0;
+        }
+        // If we entered the revertible phase, the nonce generator was decided based on wether or not a nullifier was emitted before entering.
+        return {
+            usedTxRequestHashForNonces: this.usedTxRequestHashForNonces
+        };
+    }
+    /**
+   * Add a new note to cache.
+   * @param note - New note created during execution.
+   */ addNewNote(note, counter) {
+        const previousNote = this.notes[this.notes.length - 1];
+        if (previousNote && previousNote.counter >= counter) {
+            throw new Error(`Note hash counters must be strictly increasing. Current counter: ${counter}. Previous counter: ${previousNote.counter}.`);
+        }
+        this.#addNote({
+            note,
+            counter,
+            noteHashForConsumption: note.noteHash
+        });
+    }
+    /**
+   * Add a nullifier to cache. It could be for a db note or a new note created during execution.
+   * @param contractAddress - Contract address of the note.
+   * @param innerNullifier - Inner nullifier of the note.
+   * @param noteHash - A hash of the note. If this value equals 0, it means the note being nullified is from a previous
+   * transaction (and thus not a new note).
+   */ async nullifyNote(contractAddress, innerNullifier, noteHash) {
+        const siloedNullifier = await siloNullifier(contractAddress, innerNullifier);
+        let nullifiedNoteHashCounter = undefined;
+        // Find and remove the matching new note and log(s) if the emitted noteHash is not empty.
+        if (!noteHash.isEmpty()) {
+            const notesInContract = this.noteMap.get(contractAddress.toBigInt()) ?? [];
+            const noteIndexToRemove = notesInContract.findIndex((n)=>n.noteHashForConsumption.equals(noteHash));
+            if (noteIndexToRemove === -1) {
+                throw new Error('Attempt to remove a pending note that does not exist.');
+            }
+            const note = notesInContract.splice(noteIndexToRemove, 1)[0];
+            nullifiedNoteHashCounter = note.counter;
+            this.noteMap.set(contractAddress.toBigInt(), notesInContract);
+            this.notes = this.notes.filter((n)=>n.counter !== note.counter);
+            // If the note is non revertible and the nullifier was emitted in the revertible phase, both the note hash and the nullifier will be emitted
+            if (this.inRevertiblePhase && note.counter < this.minRevertibleSideEffectCounter) {
+                this.recordNullifier(contractAddress, siloedNullifier);
+            }
+        } else {
+            // If the note being nullified comes from a previous tx the nullifier will be emitted.
+            this.recordNullifier(contractAddress, siloedNullifier);
+        }
+        return nullifiedNoteHashCounter;
+    }
+    /**
+   * Adds a nullifier to the cache. Note cache needs to track all nullifiers to decide which nullifier to use for note siloing.
+   * @param contractAddress - Contract address that emitted the nullifier.
+   * @param innerNullifier
+   */ async nullifierCreated(contractAddress, innerNullifier) {
+        const siloedNullifier = await siloNullifier(contractAddress, innerNullifier);
+        this.recordNullifier(contractAddress, siloedNullifier);
+    }
+    /**
+   * Return notes created up to current point in execution.
+   * If a nullifier for a note in this list is emitted, the note will be deleted.
+   * @param contractAddress - Contract address of the notes.
+   * @param storageSlot - Storage slot of the notes.
+   **/ getNotes(contractAddress, storageSlot) {
+        const notes = this.noteMap.get(contractAddress.toBigInt()) ?? [];
+        return notes.filter((n)=>n.note.storageSlot.equals(storageSlot)).map((n)=>n.note);
+    }
+    /**
+   * Check if a note exists in the newNotes array.
+   * @param contractAddress - Contract address of the note.
+   * @param storageSlot - Storage slot of the note.
+   * @param noteHash - A hash of the note.
+   **/ checkNoteExists(contractAddress, noteHash) {
+        const notes = this.noteMap.get(contractAddress.toBigInt()) ?? [];
+        return notes.some((n)=>n.note.noteHash.equals(noteHash));
+    }
+    /**
+   * Return all nullifiers emitted from a contract.
+   * @param contractAddress - Address of the contract.
+   */ getNullifiers(contractAddress) {
+        return this.nullifierMap.get(contractAddress.toBigInt()) ?? new Set();
+    }
+    #addNote(note) {
+        this.notes.push(note);
+        const notes = this.noteMap.get(note.note.contractAddress.toBigInt()) ?? [];
+        notes.push(note);
+        this.noteMap.set(note.note.contractAddress.toBigInt(), notes);
+    }
+    getAllNotes() {
+        return this.notes;
+    }
+    getAllNullifiers() {
+        return [
+            ...this.allNullifiers
+        ].map((n)=>new Fr(n));
+    }
+    recordNullifier(contractAddress, siloedNullifier) {
+        const nullifiers = this.getNullifiers(contractAddress);
+        nullifiers.add(siloedNullifier.toBigInt());
+        this.nullifierMap.set(contractAddress.toBigInt(), nullifiers);
+        this.allNullifiers.add(siloedNullifier.toBigInt());
+    }
+}

package/dest/contract_function_simulator/hashed_values_cache.d.ts

@@ -0,0 +1,28 @@
+import { Fr } from '@aztec/foundation/fields';
+import { HashedValues } from '@aztec/stdlib/tx';
+/**
+ * A cache for hashed values (arguments, returns) during transaction execution.
+ */
+export declare class HashedValuesCache {
+    private cache;
+    constructor(initialArguments?: HashedValues[]);
+    /**
+     * Creates a new hashed values cache.
+     * @param initialArguments - The initial arguments to add to the cache.
+     * @returns The new hashed values cache.
+     */
+    static create(initialArguments?: HashedValues[]): HashedValuesCache;
+    /**
+     * Gets preimage of a hash.
+     * @param hash - The hash to get the preimage of.
+     * @returns The preimage.
+     */
+    getPreimage(hash: Fr): Fr[] | undefined;
+    /**
+     * Stores values in cache and returns its hash.
+     * @param values - The values to store.
+     * @returns The hash of the values.
+     */
+    store(values: Fr[], hash: Fr): void;
+}
+//# sourceMappingURL=hashed_values_cache.d.ts.map

package/dest/contract_function_simulator/hashed_values_cache.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"hashed_values_cache.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/hashed_values_cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,YAAY,EAAE,MAAM,kBAAkB,CAAC;AAEhD;;GAEG;AACH,qBAAa,iBAAiB;IAC5B,OAAO,CAAC,KAAK,CAAoB;gBAErB,gBAAgB,GAAE,YAAY,EAAO;IAOjD;;;;OAIG;WACW,MAAM,CAAC,gBAAgB,GAAE,YAAY,EAAO;IAI1D;;;;OAIG;IACI,WAAW,CAAC,IAAI,EAAE,EAAE,GAAG,EAAE,EAAE,GAAG,SAAS;IAQ9C;;;;OAIG;IACI,KAAK,CAAC,MAAM,EAAE,EAAE,EAAE,EAAE,IAAI,EAAE,EAAE;CAGpC"}

package/dest/contract_function_simulator/hashed_values_cache.js

@@ -0,0 +1,36 @@
+/**
+ * A cache for hashed values (arguments, returns) during transaction execution.
+ */ export class HashedValuesCache {
+    cache;
+    constructor(initialArguments = []){
+        this.cache = new Map();
+        for (const initialArg of initialArguments){
+            this.cache.set(initialArg.hash.toBigInt(), initialArg.values);
+        }
+    }
+    /**
+   * Creates a new hashed values cache.
+   * @param initialArguments - The initial arguments to add to the cache.
+   * @returns The new hashed values cache.
+   */ static create(initialArguments = []) {
+        return new HashedValuesCache(initialArguments);
+    }
+    /**
+   * Gets preimage of a hash.
+   * @param hash - The hash to get the preimage of.
+   * @returns The preimage.
+   */ getPreimage(hash) {
+        if (hash.isEmpty()) {
+            return [];
+        } else {
+            return this.cache.get(hash.toBigInt());
+        }
+    }
+    /**
+   * Stores values in cache and returns its hash.
+   * @param values - The values to store.
+   * @returns The hash of the values.
+   */ store(values, hash) {
+        this.cache.set(hash.toBigInt(), values);
+    }
+}

package/dest/contract_function_simulator/index.d.ts

@@ -0,0 +1,10 @@
+export { ExecutionNoteCache } from './execution_note_cache.js';
+export { HashedValuesCache } from './hashed_values_cache.js';
+export { pickNotes } from './pick_notes.js';
+export type { NoteData, TypedOracle } from './oracle/typed_oracle.js';
+export { MessageLoadOracleInputs } from './oracle/message_load_oracle_inputs.js';
+export { UtilityExecutionOracle } from './oracle/utility_execution_oracle.js';
+export { PrivateExecutionOracle } from './oracle/private_execution_oracle.js';
+export { Oracle } from './oracle/oracle.js';
+export { executePrivateFunction, extractPrivateCircuitPublicInputs } from './oracle/private_execution.js';
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/contract_function_simulator/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAC;AAC5C,YAAY,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,0BAA0B,CAAC;AACtE,OAAO,EAAE,uBAAuB,EAAE,MAAM,wCAAwC,CAAC;AACjF,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,sBAAsB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAE,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC5C,OAAO,EAAE,sBAAsB,EAAE,iCAAiC,EAAE,MAAM,+BAA+B,CAAC"}

package/dest/contract_function_simulator/index.js

@@ -0,0 +1,8 @@
+export { ExecutionNoteCache } from './execution_note_cache.js';
+export { HashedValuesCache } from './hashed_values_cache.js';
+export { pickNotes } from './pick_notes.js';
+export { MessageLoadOracleInputs } from './oracle/message_load_oracle_inputs.js';
+export { UtilityExecutionOracle } from './oracle/utility_execution_oracle.js';
+export { PrivateExecutionOracle } from './oracle/private_execution_oracle.js';
+export { Oracle } from './oracle/oracle.js';
+export { executePrivateFunction, extractPrivateCircuitPublicInputs } from './oracle/private_execution.js';

package/dest/contract_function_simulator/oracle/index.d.ts

@@ -0,0 +1,14 @@
+import type { Oracle } from './oracle.js';
+export * from './oracle.js';
+export * from './typed_oracle.js';
+/**
+ * A conditional type that takes a type `T` and returns a union of its method names.
+ */
+type MethodNames<T> = {
+    [K in keyof T]: T[K] extends (...args: any[]) => any ? K : never;
+}[keyof T];
+/**
+ * Available oracle function names.
+ */
+export type ORACLE_NAMES = MethodNames<Oracle>;
+//# sourceMappingURL=index.d.ts.map

package/dest/contract_function_simulator/oracle/index.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/index.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,aAAa,CAAC;AAE1C,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAElC;;GAEG;AACH,KAAK,WAAW,CAAC,CAAC,IAAI;KACnB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,GAAG,CAAC,GAAG,KAAK;CACjE,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC"}

package/dest/contract_function_simulator/oracle/index.js

@@ -0,0 +1,2 @@
+export * from './oracle.js';
+export * from './typed_oracle.js';

package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts

@@ -0,0 +1,19 @@
+import { Fr } from '@aztec/foundation/fields';
+import type { SiblingPath } from '@aztec/foundation/trees';
+export declare class MessageLoadOracleInputs<N extends number> {
+    /** The index of the message commitment in the merkle tree. */
+    index: bigint;
+    /** The path in the merkle tree to the message. */
+    siblingPath: SiblingPath<N>;
+    constructor(
+    /** The index of the message commitment in the merkle tree. */
+    index: bigint, 
+    /** The path in the merkle tree to the message. */
+    siblingPath: SiblingPath<N>);
+    toFields(): Fr[];
+    /**
+     * Returns a representation of the public data witness as expected by intrinsic Noir deserialization.
+     */
+    toNoirRepresentation(): (string | string[])[];
+}
+//# sourceMappingURL=message_load_oracle_inputs.d.ts.map

package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.d.ts.map

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

package/dest/contract_function_simulator/oracle/message_load_oracle_inputs.js

@@ -0,0 +1,24 @@
+import { Fr } from '@aztec/foundation/fields';
+export class MessageLoadOracleInputs {
+    index;
+    siblingPath;
+    constructor(/** The index of the message commitment in the merkle tree. */ index, /** The path in the merkle tree to the message. */ siblingPath){
+        this.index = index;
+        this.siblingPath = siblingPath;
+    }
+    toFields() {
+        return [
+            new Fr(this.index),
+            ...this.siblingPath.toFields()
+        ];
+    }
+    /**
+   * Returns a representation of the public data witness as expected by intrinsic Noir deserialization.
+   */ toNoirRepresentation() {
+        // TODO(#12874): remove the stupid as string conversion by modifying ForeignCallOutput type in acvm.js
+        return [
+            new Fr(this.index).toString(),
+            this.siblingPath.toFields().map((fr)=>fr.toString())
+        ];
+    }
+}

package/dest/contract_function_simulator/oracle/oracle.d.ts

@@ -0,0 +1,53 @@
+import { type ACIRCallback, type ACVMField } from '@aztec/simulator/client';
+import type { TypedOracle } from './typed_oracle.js';
+/**
+ * A data source that has all the apis required by Aztec.nr.
+ */
+export declare class Oracle {
+    private typedOracle;
+    constructor(typedOracle: TypedOracle);
+    toACIRCallback(): ACIRCallback;
+    getRandomField(): Promise<ACVMField[]>;
+    storeInExecutionCache(_length: ACVMField[], values: ACVMField[], [hash]: ACVMField[]): Promise<ACVMField[]>;
+    loadFromExecutionCache([returnsHash]: ACVMField[]): Promise<ACVMField[][]>;
+    getBlockNumber(): Promise<ACVMField[]>;
+    getContractAddress(): Promise<ACVMField[]>;
+    getVersion(): Promise<ACVMField[]>;
+    getChainId(): Promise<ACVMField[]>;
+    getKeyValidationRequest([pkMHash]: ACVMField[]): Promise<ACVMField[]>;
+    getContractInstance([address]: ACVMField[]): Promise<ACVMField[]>;
+    getMembershipWitness([blockNumber]: ACVMField[], [treeId]: ACVMField[], [leafValue]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
+    getNullifierMembershipWitness([blockNumber]: ACVMField[], [nullifier]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
+    getLowNullifierMembershipWitness([blockNumber]: ACVMField[], [nullifier]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
+    getPublicDataWitness([blockNumber]: ACVMField[], [leafSlot]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
+    getBlockHeader([blockNumber]: ACVMField[]): Promise<ACVMField[]>;
+    getAuthWitness([messageHash]: ACVMField[]): Promise<ACVMField[][]>;
+    getPublicKeysAndPartialAddress([address]: ACVMField[]): Promise<ACVMField[][]>;
+    getNotes([storageSlot]: ACVMField[], [numSelects]: ACVMField[], selectByIndexes: ACVMField[], selectByOffsets: ACVMField[], selectByLengths: ACVMField[], selectValues: ACVMField[], selectComparators: ACVMField[], sortByIndexes: ACVMField[], sortByOffsets: ACVMField[], sortByLengths: ACVMField[], sortOrder: ACVMField[], [limit]: ACVMField[], [offset]: ACVMField[], [status]: ACVMField[], [maxNotes]: ACVMField[], [packedRetrievedNoteLength]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
+    notifyCreatedNote([storageSlot]: ACVMField[], [noteTypeId]: ACVMField[], note: ACVMField[], [noteHash]: ACVMField[], [counter]: ACVMField[]): Promise<ACVMField[]>;
+    notifyNullifiedNote([innerNullifier]: ACVMField[], [noteHash]: ACVMField[], [counter]: ACVMField[]): Promise<ACVMField[]>;
+    notifyCreatedNullifier([innerNullifier]: ACVMField[]): Promise<ACVMField[]>;
+    checkNullifierExists([innerNullifier]: ACVMField[]): Promise<ACVMField[]>;
+    getL1ToL2MembershipWitness([contractAddress]: ACVMField[], [messageHash]: ACVMField[], [secret]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
+    storageRead([contractAddress]: ACVMField[], [startStorageSlot]: ACVMField[], [blockNumber]: ACVMField[], [numberOfElements]: ACVMField[]): Promise<ACVMField[][]>;
+    storageWrite([startStorageSlot]: ACVMField[], values: ACVMField[]): Promise<ACVMField[]>;
+    notifyCreatedContractClassLog([contractAddress]: ACVMField[], message: ACVMField[], [length]: ACVMField[], [counter]: ACVMField[]): Promise<ACVMField[]>;
+    debugLog(message: ACVMField[], _ignoredFieldsSize: ACVMField[], fields: ACVMField[]): Promise<ACVMField[]>;
+    callPrivateFunction([contractAddress]: ACVMField[], [functionSelector]: ACVMField[], [argsHash]: ACVMField[], [sideEffectCounter]: ACVMField[], [isStaticCall]: ACVMField[]): Promise<ACVMField[][]>;
+    notifyEnqueuedPublicFunctionCall([contractAddress]: ACVMField[], [calldataHash]: ACVMField[], [sideEffectCounter]: ACVMField[], [isStaticCall]: ACVMField[]): Promise<ACVMField[]>;
+    notifySetPublicTeardownFunctionCall([contractAddress]: ACVMField[], [calldataHash]: ACVMField[], [sideEffectCounter]: ACVMField[], [isStaticCall]: ACVMField[]): Promise<ACVMField[]>;
+    notifySetMinRevertibleSideEffectCounter([minRevertibleSideEffectCounter]: ACVMField[]): Promise<ACVMField[]>;
+    getIndexedTaggingSecretAsSender([sender]: ACVMField[], [recipient]: ACVMField[]): Promise<ACVMField[]>;
+    incrementAppTaggingSecretIndexAsSender([sender]: ACVMField[], [recipient]: ACVMField[]): Promise<ACVMField[]>;
+    fetchTaggedLogs([pendingTaggedLogArrayBaseSlot]: ACVMField[]): Promise<ACVMField[]>;
+    deliverNote([contractAddress]: ACVMField[], [storageSlot]: ACVMField[], [nonce]: ACVMField[], content: ACVMField[], [contentLength]: ACVMField[], [noteHash]: ACVMField[], [nullifier]: ACVMField[], [txHash]: ACVMField[], [recipient]: ACVMField[]): Promise<ACVMField[]>;
+    getLogByTag([tag]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
+    storeCapsule([contractAddress]: ACVMField[], [slot]: ACVMField[], capsule: ACVMField[]): Promise<ACVMField[]>;
+    loadCapsule([contractAddress]: ACVMField[], [slot]: ACVMField[], [tSize]: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
+    deleteCapsule([contractAddress]: ACVMField[], [slot]: ACVMField[]): Promise<ACVMField[]>;
+    copyCapsule([contractAddress]: ACVMField[], [srcSlot]: ACVMField[], [dstSlot]: ACVMField[], [numEntries]: ACVMField[]): Promise<ACVMField[]>;
+    aes128Decrypt(ciphertextBVecStorage: ACVMField[], [ciphertextLength]: ACVMField[], iv: ACVMField[], symKey: ACVMField[]): Promise<(ACVMField | ACVMField[])[]>;
+    getSharedSecret([address]: ACVMField[], [ephPKField0]: ACVMField[], [ephPKField1]: ACVMField[], [ephPKField2]: ACVMField[]): Promise<ACVMField[]>;
+    storePrivateEventLog([contractAddress]: ACVMField[], [recipient]: ACVMField[], [eventSelector]: ACVMField[], msgContentBVecStorage: ACVMField[], [msgContentLength]: ACVMField[], [txHash]: ACVMField[], [logIndexInTx]: ACVMField[], [txIndexInBlock]: ACVMField[]): Promise<never[]>;
+}
+//# sourceMappingURL=oracle.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"oracle.d.ts","sourceRoot":"","sources":["../../../src/contract_function_simulator/oracle/oracle.ts"],"names":[],"mappings":"AACA,OAAO,EACL,KAAK,YAAY,EACjB,KAAK,SAAS,EAQf,MAAM,yBAAyB,CAAC;AAOjC,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAErD;;GAEG;AACH,qBAAa,MAAM;IACjB,OAAO,CAAC,WAAW,CAAc;gBAErB,WAAW,EAAE,WAAW;IAIpC,cAAc,IAAI,YAAY;IAW9B,cAAc,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;IAMtC,qBAAqB,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAKrG,sBAAsB,CAAC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;IAK1E,cAAc,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;IAItC,kBAAkB,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;IAI1C,UAAU,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;IAIlC,UAAU,IAAI,OAAO,CAAC,SAAS,EAAE,CAAC;IAIlC,uBAAuB,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAMrE,mBAAmB,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAYjE,oBAAoB,CACxB,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GACvB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAcjC,6BAA6B,CACjC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GACvB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAWjC,gCAAgC,CACpC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GACvB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAajC,oBAAoB,CACxB,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,GACtB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAWjC,cAAc,CAAC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAUhE,cAAc,CAAC,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;IASlE,8BAA8B,CAAC,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;IAO9E,QAAQ,CACZ,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,EACzB,eAAe,EAAE,SAAS,EAAE,EAC5B,eAAe,EAAE,SAAS,EAAE,EAC5B,eAAe,EAAE,SAAS,EAAE,EAC5B,YAAY,EAAE,SAAS,EAAE,EACzB,iBAAiB,EAAE,SAAS,EAAE,EAC9B,aAAa,EAAE,SAAS,EAAE,EAC1B,aAAa,EAAE,SAAS,EAAE,EAC1B,aAAa,EAAE,SAAS,EAAE,EAC1B,SAAS,EAAE,SAAS,EAAE,EACtB,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,EACpB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,yBAAyB,CAAC,EAAE,SAAS,EAAE,GACvC,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IA4CvC,iBAAiB,CACf,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,EACzB,IAAI,EAAE,SAAS,EAAE,EACjB,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GACrB,OAAO,CAAC,SAAS,EAAE,CAAC;IAWjB,mBAAmB,CACvB,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,EAC7B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GACrB,OAAO,CAAC,SAAS,EAAE,CAAC;IAKjB,sBAAsB,CAAC,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAK3E,oBAAoB,CAAC,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAKzE,0BAA0B,CAC9B,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,GACpB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IASjC,WAAW,CACf,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAC/B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,GAC9B,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;IAUnB,YAAY,CAAC,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAK9F,6BAA6B,CAC3B,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,OAAO,EAAE,SAAS,EAAE,EACpB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,GACrB,OAAO,CAAC,SAAS,EAAE,CAAC;IAQvB,QAAQ,CAAC,OAAO,EAAE,SAAS,EAAE,EAAE,kBAAkB,EAAE,SAAS,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAOpG,mBAAmB,CACvB,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAC/B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,iBAAiB,CAAC,EAAE,SAAS,EAAE,EAChC,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,GAC1B,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC;IAWnB,gCAAgC,CACpC,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,EAC3B,CAAC,iBAAiB,CAAC,EAAE,SAAS,EAAE,EAChC,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,GAC1B,OAAO,CAAC,SAAS,EAAE,CAAC;IAUjB,mCAAmC,CACvC,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,EAC3B,CAAC,iBAAiB,CAAC,EAAE,SAAS,EAAE,EAChC,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,GAC1B,OAAO,CAAC,SAAS,EAAE,CAAC;IAUjB,uCAAuC,CAAC,CAAC,8BAA8B,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAO5G,+BAA+B,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAQtG,sCAAsC,CAAC,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAQ7G,eAAe,CAAC,CAAC,6BAA6B,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAKnF,WAAW,CACf,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,EACpB,OAAO,EAAE,SAAS,EAAE,EACpB,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,EAC5B,CAAC,QAAQ,CAAC,EAAE,SAAS,EAAE,EACvB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,EACxB,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,GACvB,OAAO,CAAC,SAAS,EAAE,CAAC;IAkBjB,WAAW,CAAC,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAUrE,YAAY,CAAC,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EAAE,OAAO,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAS7G,WAAW,CACf,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,EACnB,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,GACnB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IAiBjC,aAAa,CAAC,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,EAAE,GAAG,OAAO,CAAC,SAAS,EAAE,CAAC;IAKxF,WAAW,CACf,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,EACtB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,EACtB,CAAC,UAAU,CAAC,EAAE,SAAS,EAAE,GACxB,OAAO,CAAC,SAAS,EAAE,CAAC;IAUjB,aAAa,CACjB,qBAAqB,EAAE,SAAS,EAAE,EAClC,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAC/B,EAAE,EAAE,SAAS,EAAE,EACf,MAAM,EAAE,SAAS,EAAE,GAClB,OAAO,CAAC,CAAC,SAAS,GAAG,SAAS,EAAE,CAAC,EAAE,CAAC;IASjC,eAAe,CACnB,CAAC,OAAO,CAAC,EAAE,SAAS,EAAE,EACtB,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,EAC1B,CAAC,WAAW,CAAC,EAAE,SAAS,EAAE,GACzB,OAAO,CAAC,SAAS,EAAE,CAAC;IAQjB,oBAAoB,CACxB,CAAC,eAAe,CAAC,EAAE,SAAS,EAAE,EAC9B,CAAC,SAAS,CAAC,EAAE,SAAS,EAAE,EACxB,CAAC,aAAa,CAAC,EAAE,SAAS,EAAE,EAC5B,qBAAqB,EAAE,SAAS,EAAE,EAClC,CAAC,gBAAgB,CAAC,EAAE,SAAS,EAAE,EAC/B,CAAC,MAAM,CAAC,EAAE,SAAS,EAAE,EACrB,CAAC,YAAY,CAAC,EAAE,SAAS,EAAE,EAC3B,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE;CAahC"}