@aztec/simulator 0.87.5 → 0.87.7

package/dest/private/execution_note_cache.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"execution_note_cache.d.ts","sourceRoot":"","sources":["../../src/private/execution_note_cache.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAGhE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD,UAAU,WAAW;IACnB,IAAI,EAAE,QAAQ,CAAC;IACf,OAAO,EAAE,MAAM,CAAC;IAChB,sBAAsB,EAAE,EAAE,CAAC;CAC5B;AAED;;GAEG;AACH,qBAAa,kBAAkB;;IAiCjB,OAAO,CAAC,QAAQ,CAAC,aAAa;IAhC1C;;;OAGG;IACH,OAAO,CAAC,KAAK,CAAqB;IAClC;;OAEG;IACH,OAAO,CAAC,OAAO,CAAyC;IAExD;;;;OAIG;IACH,OAAO,CAAC,YAAY,CAAuC;IAE3D;;OAEG;IACH,OAAO,CAAC,aAAa,CAA0B;IAE/C,OAAO,CAAC,8BAA8B,CAAK;IAE3C,OAAO,CAAC,iBAAiB,CAAS;IAElC;;;OAGG;IACH,OAAO,CAAC,0BAA0B,CAAQ;gBAEb,aAAa,EAAE,EAAE;IAE9C;;;OAGG;IACU,iCAAiC,CAAC,8BAA8B,EAAE,MAAM;IAwC9E,MAAM;;;IAWb;;;OAGG;IACI,UAAU,CAAC,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,MAAM;IAWjD;;;;;;OAMG;IACU,WAAW,CAAC,eAAe,EAAE,YAAY,EAAE,cAAc,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE;IA2BxF;;;;OAIG;IACU,gBAAgB,CAAC,eAAe,EAAE,YAAY,EAAE,cAAc,EAAE,EAAE;IAK/E;;;;;QAKI;IACG,QAAQ,CAAC,eAAe,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE;IAK9D;;;;;QAKI;IACG,eAAe,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,EAAE;IAKlE;;;OAGG;IACI,aAAa,CAAC,eAAe,EAAE,YAAY,GAAG,GAAG,CAAC,MAAM,CAAC;IAYhE,WAAW,IAAI,WAAW,EAAE;IAI5B,gBAAgB,IAAI,EAAE,EAAE;IAIxB,eAAe,CAAC,eAAe,EAAE,YAAY,EAAE,eAAe,EAAE,EAAE;CAMnE"}

package/dest/private/execution_note_cache.js

@@ -1,180 +0,0 @@
-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/private/hashed_values_cache.d.ts

@@ -1,28 +0,0 @@
-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/private/hashed_values_cache.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"hashed_values_cache.d.ts","sourceRoot":"","sources":["../../src/private/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/private/hashed_values_cache.js

@@ -1,36 +0,0 @@
-/**
- * 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/private/index.d.ts

@@ -1,16 +0,0 @@
-export { AcirSimulator } from './simulator.js';
-export { type ExecutionDataProvider, ContractClassNotFoundError, ContractNotFoundError, } from './execution_data_provider.js';
-export * from './pick_notes.js';
-export { ExecutionNoteCache } from './execution_note_cache.js';
-export { extractPrivateCircuitPublicInputs, readCurrentClassId } from './private_execution.js';
-export { witnessMapToFields } from './acvm/deserialize.js';
-export { toACVMWitness } from './acvm/serialize.js';
-export { executePrivateFunction } from './private_execution.js';
-export { PrivateExecutionOracle } from './private_execution_oracle.js';
-export { UtilityExecutionOracle } from './utility_execution_oracle.js';
-export { extractCallStack } from './acvm/acvm.js';
-export { type NoteData, TypedOracle } from './acvm/oracle/typed_oracle.js';
-export { Oracle } from './acvm/oracle/oracle.js';
-export { HashedValuesCache } from './hashed_values_cache.js';
-export { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';
-//# sourceMappingURL=index.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/private/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EACL,KAAK,qBAAqB,EAC1B,0BAA0B,EAC1B,qBAAqB,GACtB,MAAM,8BAA8B,CAAC;AACtC,cAAc,iBAAiB,CAAC;AAChC,OAAO,EAAE,kBAAkB,EAAE,MAAM,2BAA2B,CAAC;AAC/D,OAAO,EAAE,iCAAiC,EAAE,kBAAkB,EAAE,MAAM,wBAAwB,CAAC;AAC/F,OAAO,EAAE,kBAAkB,EAAE,MAAM,uBAAuB,CAAC;AAC3D,OAAO,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAC;AACpD,OAAO,EAAE,sBAAsB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AACvE,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAAE,KAAK,QAAQ,EAAE,WAAW,EAAE,MAAM,+BAA+B,CAAC;AAC3E,OAAO,EAAE,MAAM,EAAE,MAAM,yBAAyB,CAAC;AACjD,OAAO,EAAE,iBAAiB,EAAE,MAAM,0BAA0B,CAAC;AAC7D,OAAO,EAAE,uBAAuB,EAAE,MAAM,iCAAiC,CAAC"}

package/dest/private/index.js

@@ -1,15 +0,0 @@
-export { AcirSimulator } from './simulator.js';
-export { ContractClassNotFoundError, ContractNotFoundError } from './execution_data_provider.js';
-export * from './pick_notes.js';
-export { ExecutionNoteCache } from './execution_note_cache.js';
-export { extractPrivateCircuitPublicInputs, readCurrentClassId } from './private_execution.js';
-export { witnessMapToFields } from './acvm/deserialize.js';
-export { toACVMWitness } from './acvm/serialize.js';
-export { executePrivateFunction } from './private_execution.js';
-export { PrivateExecutionOracle } from './private_execution_oracle.js';
-export { UtilityExecutionOracle } from './utility_execution_oracle.js';
-export { extractCallStack } from './acvm/acvm.js';
-export { TypedOracle } from './acvm/oracle/typed_oracle.js';
-export { Oracle } from './acvm/oracle/oracle.js';
-export { HashedValuesCache } from './hashed_values_cache.js';
-export { MessageLoadOracleInputs } from './message_load_oracle_inputs.js';

package/dest/private/message_load_oracle_inputs.d.ts

@@ -1,19 +0,0 @@
-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/private/message_load_oracle_inputs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"message_load_oracle_inputs.d.ts","sourceRoot":"","sources":["../../src/private/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/private/message_load_oracle_inputs.js

@@ -1,24 +0,0 @@
-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/private/pick_notes.d.ts

@@ -1,85 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import { Comparator, type Note } from '@aztec/stdlib/note';
-export interface PropertySelector {
-    index: number;
-    offset: number;
-    length: number;
-}
-/**
- * Configuration for selecting values.
- */
-export interface Select {
-    /**
-     * Selector of the field to select and match.
-     */
-    selector: PropertySelector;
-    /**
-     * Required value of the field.
-     */
-    value: Fr;
-    /**
-     * The comparator to use
-     */
-    comparator: Comparator;
-}
-/**
- * The order to sort an array.
- */
-export declare enum SortOrder {
-    NADA = 0,
-    DESC = 1,
-    ASC = 2
-}
-/**
- * Configuration for sorting values.
- */
-export interface Sort {
-    /**
-     * Selector of the field to sort.
-     */
-    selector: PropertySelector;
-    /**
-     * Order to sort the field.
-     */
-    order: SortOrder;
-}
-/**
- * Options for picking items from an array of BasicNoteData.
- */
-interface GetOptions {
-    /**
-     * Configurations for selecting items.
-     * Default: empty array.
-     */
-    selects?: Select[];
-    /**
-     * Configurations for sorting items.
-     * Default: empty array.
-     */
-    sorts?: Sort[];
-    /**
-     * The number of items to retrieve per query.
-     * Default: 0. No limit.
-     */
-    limit?: number;
-    /**
-     * The starting index for pagination.
-     * Default: 0.
-     */
-    offset?: number;
-}
-/**
- * Data needed from to perform sort.
- */
-interface ContainsNote {
-    /**
-     * The note.
-     */
-    note: Note;
-}
-/**
- * Pick from a note array a number of notes that meet the criteria.
- */
-export declare function pickNotes<T extends ContainsNote>(noteDatas: T[], { selects, sorts, limit, offset }: GetOptions): T[];
-export {};
-//# sourceMappingURL=pick_notes.d.ts.map

package/dest/private/pick_notes.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"pick_notes.d.ts","sourceRoot":"","sources":["../../src/private/pick_notes.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAC9C,OAAO,EAAE,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,oBAAoB,CAAC;AAE3D,MAAM,WAAW,gBAAgB;IAC/B,KAAK,EAAE,MAAM,CAAC;IACd,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,MAAM,CAAC;CAChB;AAED;;GAEG;AACH,MAAM,WAAW,MAAM;IACrB;;OAEG;IACH,QAAQ,EAAE,gBAAgB,CAAC;IAC3B;;OAEG;IACH,KAAK,EAAE,EAAE,CAAC;IACV;;OAEG;IACH,UAAU,EAAE,UAAU,CAAC;CACxB;AAED;;GAEG;AACH,oBAAY,SAAS;IACnB,IAAI,IAAI;IACR,IAAI,IAAI;IACR,GAAG,IAAI;CACR;AAED;;GAEG;AACH,MAAM,WAAW,IAAI;IACnB;;OAEG;IACH,QAAQ,EAAE,gBAAgB,CAAC;IAC3B;;OAEG;IACH,KAAK,EAAE,SAAS,CAAC;CAClB;AAED;;GAEG;AACH,UAAU,UAAU;IAClB;;;OAGG;IACH,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB;;;OAGG;IACH,KAAK,CAAC,EAAE,IAAI,EAAE,CAAC;IACf;;;OAGG;IACH,KAAK,CAAC,EAAE,MAAM,CAAC;IACf;;;OAGG;IACH,MAAM,CAAC,EAAE,MAAM,CAAC;CACjB;AAED;;GAEG;AACH,UAAU,YAAY;IACpB;;OAEG;IACH,IAAI,EAAE,IAAI,CAAC;CACZ;AA8CD;;GAEG;AACH,wBAAgB,SAAS,CAAC,CAAC,SAAS,YAAY,EAC9C,SAAS,EAAE,CAAC,EAAE,EACd,EAAE,OAAY,EAAE,KAAU,EAAE,KAAS,EAAE,MAAU,EAAE,EAAE,UAAU,GAC9D,CAAC,EAAE,CAIL"}

package/dest/private/pick_notes.js

@@ -1,51 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import { Comparator } from '@aztec/stdlib/note';
-/**
- * The order to sort an array.
- */ export var SortOrder = /*#__PURE__*/ function(SortOrder) {
-    SortOrder[SortOrder["NADA"] = 0] = "NADA";
-    SortOrder[SortOrder["DESC"] = 1] = "DESC";
-    SortOrder[SortOrder["ASC"] = 2] = "ASC";
-    return SortOrder;
-}({});
-const selectPropertyFromPackedNoteContent = (noteData, selector)=>{
-    const noteValueBuffer = noteData[selector.index].toBuffer();
-    const noteValue = noteValueBuffer.subarray(selector.offset, selector.offset + selector.length);
-    return Fr.fromBuffer(noteValue);
-};
-const selectNotes = (noteDatas, selects)=>noteDatas.filter((noteData)=>selects.every(({ selector, value, comparator })=>{
-            const noteValueFr = selectPropertyFromPackedNoteContent(noteData.note.items, selector);
-            const comparatorSelector = {
-                [Comparator.EQ]: ()=>noteValueFr.equals(value),
-                [Comparator.NEQ]: ()=>!noteValueFr.equals(value),
-                [Comparator.LT]: ()=>noteValueFr.lt(value),
-                [Comparator.LTE]: ()=>noteValueFr.lt(value) || noteValueFr.equals(value),
-                [Comparator.GT]: ()=>!noteValueFr.lt(value) && !noteValueFr.equals(value),
-                [Comparator.GTE]: ()=>!noteValueFr.lt(value)
-            };
-            return comparatorSelector[comparator]();
-        }));
-const sortNotes = (a, b, sorts, level = 0)=>{
-    if (sorts[level] === undefined) {
-        return 0;
-    }
-    const { selector, order } = sorts[level];
-    if (order === 0) {
-        return 0;
-    }
-    const aValue = selectPropertyFromPackedNoteContent(a, selector);
-    const bValue = selectPropertyFromPackedNoteContent(b, selector);
-    const dir = order === 1 ? [
-        -1,
-        1
-    ] : [
-        1,
-        -1
-    ];
-    return aValue.toBigInt() === bValue.toBigInt() ? sortNotes(a, b, sorts, level + 1) : aValue.toBigInt() > bValue.toBigInt() ? dir[0] : dir[1];
-};
-/**
- * Pick from a note array a number of notes that meet the criteria.
- */ export function pickNotes(noteDatas, { selects = [], sorts = [], limit = 0, offset = 0 }) {
-    return selectNotes(noteDatas, selects).sort((a, b)=>sortNotes(a.note.items, b.note.items, sorts)).slice(offset, limit ? offset + limit : undefined);
-}

package/dest/private/private_execution.d.ts

@@ -1,25 +0,0 @@
-import { Fr } from '@aztec/foundation/fields';
-import { type FunctionArtifact, type FunctionArtifactWithContractName, type FunctionSelector } from '@aztec/stdlib/abi';
-import type { AztecAddress } from '@aztec/stdlib/aztec-address';
-import type { ContractInstance } from '@aztec/stdlib/contract';
-import type { AztecNode } from '@aztec/stdlib/interfaces/client';
-import { PrivateCircuitPublicInputs } from '@aztec/stdlib/kernel';
-import { PrivateCallExecutionResult } from '@aztec/stdlib/tx';
-import { type ACVMWitness } from './acvm/index.js';
-import type { ExecutionDataProvider } from './execution_data_provider.js';
-import type { PrivateExecutionOracle } from './private_execution_oracle.js';
-import type { SimulationProvider } from './providers/simulation_provider.js';
-/**
- * Execute a private function and return the execution result.
- */
-export declare function executePrivateFunction(simulator: SimulationProvider, privateExecutionOracle: PrivateExecutionOracle, artifact: FunctionArtifactWithContractName, contractAddress: AztecAddress, functionSelector: FunctionSelector, log?: import("@aztec/foundation/log").Logger): Promise<PrivateCallExecutionResult>;
-/**
- * Get the private circuit public inputs from the partial witness.
- * @param artifact - The function artifact
- * @param partialWitness - The partial witness, result of simulating the function.
- * @returns - The public inputs.
- */
-export declare function extractPrivateCircuitPublicInputs(artifact: FunctionArtifact, partialWitness: ACVMWitness): PrivateCircuitPublicInputs;
-export declare function readCurrentClassId(contractAddress: AztecAddress, instance: ContractInstance, executionDataProvider: ExecutionDataProvider | AztecNode, blockNumber: number): Promise<Fr>;
-export declare function verifyCurrentClassId(contractAddress: AztecAddress, executionDataProvider: ExecutionDataProvider, blockNumber?: number): Promise<void>;
-//# sourceMappingURL=private_execution.d.ts.map

package/dest/private/private_execution.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"private_execution.d.ts","sourceRoot":"","sources":["../../src/private/private_execution.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,EAAE,EAAE,MAAM,0BAA0B,CAAC;AAI9C,OAAO,EACL,KAAK,gBAAgB,EACrB,KAAK,gCAAgC,EACrC,KAAK,gBAAgB,EAEtB,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAChE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,wBAAwB,CAAC;AAC/D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,iCAAiC,CAAC;AACjE,OAAO,EAAE,0BAA0B,EAAE,MAAM,sBAAsB,CAAC;AAGlE,OAAO,EAAE,0BAA0B,EAAE,MAAM,kBAAkB,CAAC;AAI9D,OAAO,EAAE,KAAK,WAAW,EAA4B,MAAM,iBAAiB,CAAC;AAC7E,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,+BAA+B,CAAC;AAC5E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAE7E;;GAEG;AACH,wBAAsB,sBAAsB,CAC1C,SAAS,EAAE,kBAAkB,EAC7B,sBAAsB,EAAE,sBAAsB,EAC9C,QAAQ,EAAE,gCAAgC,EAC1C,eAAe,EAAE,YAAY,EAC7B,gBAAgB,EAAE,gBAAgB,EAClC,GAAG,yCAA8C,GAChD,OAAO,CAAC,0BAA0B,CAAC,CAkErC;AAED;;;;;GAKG;AACH,wBAAgB,iCAAiC,CAC/C,QAAQ,EAAE,gBAAgB,EAC1B,cAAc,EAAE,WAAW,GAC1B,0BAA0B,CAa5B;AAED,wBAAsB,kBAAkB,CACtC,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,qBAAqB,EAAE,qBAAqB,GAAG,SAAS,EACxD,WAAW,EAAE,MAAM,eAWpB;AAED,wBAAsB,oBAAoB,CACxC,eAAe,EAAE,YAAY,EAC7B,qBAAqB,EAAE,qBAAqB,EAC5C,WAAW,CAAC,EAAE,MAAM,iBAUrB"}

package/dest/private/private_execution.js

@@ -1,95 +0,0 @@
-import { PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH, PRIVATE_CONTEXT_INPUTS_LENGTH } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
-import { createLogger } from '@aztec/foundation/log';
-import { Timer } from '@aztec/foundation/timer';
-import { ProtocolContractAddress } from '@aztec/protocol-contracts';
-import { countArgumentsSize } from '@aztec/stdlib/abi';
-import { PrivateCircuitPublicInputs } from '@aztec/stdlib/kernel';
-import { SharedMutableValues, SharedMutableValuesWithHash } from '@aztec/stdlib/shared-mutable';
-import { PrivateCallExecutionResult } from '@aztec/stdlib/tx';
-import { ExecutionError, resolveAssertionMessageFromError } from '../common/errors.js';
-import { witnessMapToFields } from './acvm/deserialize.js';
-import { Oracle, extractCallStack } from './acvm/index.js';
-/**
- * Execute a private function and return the execution result.
- */ export async function executePrivateFunction(simulator, privateExecutionOracle, artifact, contractAddress, functionSelector, log = createLogger('simulator:private_execution')) {
-    const functionName = await privateExecutionOracle.getDebugFunctionName();
-    log.verbose(`Executing private function ${functionName}`, {
-        contract: contractAddress
-    });
-    const initialWitness = privateExecutionOracle.getInitialWitness(artifact);
-    const acvmCallback = new Oracle(privateExecutionOracle);
-    const timer = new Timer();
-    const acirExecutionResult = await simulator.executeUserCircuit(initialWitness, artifact, acvmCallback).catch((err)=>{
-        err.message = resolveAssertionMessageFromError(err, artifact);
-        throw new ExecutionError(err.message, {
-            contractAddress,
-            functionSelector
-        }, extractCallStack(err, artifact.debug), {
-            cause: err
-        });
-    });
-    const duration = timer.ms();
-    const partialWitness = acirExecutionResult.partialWitness;
-    const publicInputs = extractPrivateCircuitPublicInputs(artifact, partialWitness);
-    // TODO (alexg) estimate this size
-    const initialWitnessSize = witnessMapToFields(initialWitness).length * Fr.SIZE_IN_BYTES;
-    log.debug(`Ran external function ${contractAddress.toString()}:${functionSelector}`, {
-        circuitName: 'app-circuit',
-        duration,
-        eventName: 'circuit-witness-generation',
-        inputSize: initialWitnessSize,
-        outputSize: publicInputs.toBuffer().length,
-        appCircuitName: functionName
-    });
-    const contractClassLogs = privateExecutionOracle.getContractClassLogs();
-    const rawReturnValues = await privateExecutionOracle.loadFromExecutionCache(publicInputs.returnsHash);
-    const noteHashLeafIndexMap = privateExecutionOracle.getNoteHashLeafIndexMap();
-    const newNotes = privateExecutionOracle.getNewNotes();
-    const noteHashNullifierCounterMap = privateExecutionOracle.getNoteHashNullifierCounterMap();
-    const nestedExecutions = privateExecutionOracle.getNestedExecutions();
-    log.debug(`Returning from call to ${contractAddress.toString()}:${functionSelector}`);
-    return new PrivateCallExecutionResult(artifact.bytecode, Buffer.from(artifact.verificationKey, 'base64'), partialWitness, publicInputs, noteHashLeafIndexMap, newNotes, noteHashNullifierCounterMap, rawReturnValues, nestedExecutions, contractClassLogs, {
-        timings: {
-            witgen: // Due to the recursive nature of execution, we have to subtract the time taken by the first level of
-            // child executions
-            duration - nestedExecutions.reduce((acc, nested)=>acc + (nested.profileResult?.timings.witgen ?? 0), 0)
-        }
-    });
-}
-/**
- * Get the private circuit public inputs from the partial witness.
- * @param artifact - The function artifact
- * @param partialWitness - The partial witness, result of simulating the function.
- * @returns - The public inputs.
- */ export function extractPrivateCircuitPublicInputs(artifact, partialWitness) {
-    const parametersSize = countArgumentsSize(artifact) + PRIVATE_CONTEXT_INPUTS_LENGTH;
-    const returnsSize = PRIVATE_CIRCUIT_PUBLIC_INPUTS_LENGTH;
-    const returnData = [];
-    // Return values always appear in the witness after arguments.
-    for(let i = parametersSize; i < parametersSize + returnsSize; i++){
-        const returnedField = partialWitness.get(i);
-        if (returnedField === undefined) {
-            throw new Error(`Missing return value for index ${i}`);
-        }
-        returnData.push(Fr.fromString(returnedField));
-    }
-    return PrivateCircuitPublicInputs.fromFields(returnData);
-}
-export async function readCurrentClassId(contractAddress, instance, executionDataProvider, blockNumber) {
-    const { sharedMutableSlot } = await SharedMutableValuesWithHash.getContractUpdateSlots(contractAddress);
-    const sharedMutableValues = await SharedMutableValues.readFromTree(sharedMutableSlot, (slot)=>executionDataProvider.getPublicStorageAt(blockNumber, ProtocolContractAddress.ContractInstanceDeployer, slot));
-    let currentClassId = sharedMutableValues.svc.getCurrentAt(blockNumber)[0];
-    if (currentClassId.isZero()) {
-        currentClassId = instance.originalContractClassId;
-    }
-    return currentClassId;
-}
-export async function verifyCurrentClassId(contractAddress, executionDataProvider, blockNumber) {
-    const instance = await executionDataProvider.getContractInstance(contractAddress);
-    blockNumber = blockNumber ?? await executionDataProvider.getBlockNumber();
-    const currentClassId = await readCurrentClassId(contractAddress, instance, executionDataProvider, blockNumber);
-    if (!instance.currentContractClassId.equals(currentClassId)) {
-        throw new Error(`Contract ${contractAddress} is outdated, current class id is ${currentClassId}, local class id is ${instance.currentContractClassId}`);
-    }
-}