@aztec/simulator 0.0.0-test.1 → 0.0.1-commit.5daedc8

package/dest/private/private_execution_oracle.js

@@ -1,382 +0,0 @@
-import { MAX_FR_ARGS_TO_ALL_ENQUEUED_CALLS, PRIVATE_CONTEXT_INPUTS_LENGTH, PUBLIC_DISPATCH_SELECTOR } from '@aztec/constants';
-import { Fr } from '@aztec/foundation/fields';
-import { createLogger } from '@aztec/foundation/log';
-import { FunctionSelector, countArgumentsSize } from '@aztec/stdlib/abi';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { computeUniqueNoteHash, siloNoteHash } from '@aztec/stdlib/hash';
-import { PrivateContextInputs } from '@aztec/stdlib/kernel';
-import { Note } from '@aztec/stdlib/note';
-import { CallContext, CountedContractClassLog, CountedPublicExecutionRequest, NoteAndSlot, PublicExecutionRequest } from '@aztec/stdlib/tx';
-import { toACVMWitness } from './acvm/index.js';
-import { pickNotes } from './pick_notes.js';
-import { executePrivateFunction, verifyCurrentClassId } from './private_execution.js';
-import { UnconstrainedExecutionOracle } from './unconstrained_execution_oracle.js';
-/**
- * The execution oracle for the private part of a transaction.
- */ export class PrivateExecutionOracle extends UnconstrainedExecutionOracle {
-    argsHash;
-    txContext;
-    callContext;
-    historicalHeader;
-    executionCache;
-    noteCache;
-    provider;
-    totalPublicArgsCount;
-    sideEffectCounter;
-    /**
-   * New notes created during this execution.
-   * It's possible that a note in this list has been nullified (in the same or other executions) and doesn't exist in the ExecutionNoteCache and the final proof data.
-   * But we still include those notes in the execution result because their commitments are still in the public inputs of this execution.
-   * This information is only for references (currently used for tests), and is not used for any sort of constrains.
-   * Users can also use this to get a clearer idea of what's happened during a simulation.
-   */ newNotes;
-    /**
-   * Notes from previous transactions that are returned to the oracle call `getNotes` during this execution.
-   * The mapping maps from the unique siloed note hash to the index for notes created in private executions.
-   * It maps from siloed note hash to the index for notes created by public functions.
-   *
-   * They are not part of the ExecutionNoteCache and being forwarded to nested contexts via `extend()`
-   * because these notes are meant to be maintained on a per-call basis
-   * They should act as references for the read requests output by an app circuit via public inputs.
-   */ noteHashLeafIndexMap;
-    noteHashNullifierCounterMap;
-    contractClassLogs;
-    nestedExecutions;
-    enqueuedPublicFunctionCalls;
-    publicTeardownFunctionCall;
-    constructor(argsHash, txContext, callContext, /** Header of a block whose state is used during private execution (not the block the transaction is included in). */ historicalHeader, /** List of transient auth witnesses to be used during this simulation */ authWitnesses, capsules, executionCache, noteCache, executionDataProvider, provider, totalPublicArgsCount, sideEffectCounter = 0, log = createLogger('simulator:client_execution_context'), scopes){
-        super(callContext.contractAddress, authWitnesses, capsules, executionDataProvider, log, scopes), this.argsHash = argsHash, this.txContext = txContext, this.callContext = callContext, this.historicalHeader = historicalHeader, this.executionCache = executionCache, this.noteCache = noteCache, this.provider = provider, this.totalPublicArgsCount = totalPublicArgsCount, this.sideEffectCounter = sideEffectCounter, this.newNotes = [], this.noteHashLeafIndexMap = new Map(), this.noteHashNullifierCounterMap = new Map(), this.contractClassLogs = [], this.nestedExecutions = [], this.enqueuedPublicFunctionCalls = [], this.publicTeardownFunctionCall = PublicExecutionRequest.empty();
-    }
-    // We still need this function until we can get user-defined ordering of structs for fn arguments
-    // TODO When that is sorted out on noir side, we can use instead the utilities in serialize.ts
-    /**
-   * Writes the function inputs to the initial witness.
-   * @param abi - The function ABI.
-   * @returns The initial witness.
-   */ getInitialWitness(abi) {
-        const argumentsSize = countArgumentsSize(abi);
-        const args = this.executionCache.getPreimage(this.argsHash);
-        if (args.length !== argumentsSize) {
-            throw new Error(`Invalid arguments size: expected ${argumentsSize}, got ${args.length}`);
-        }
-        const privateContextInputs = new PrivateContextInputs(this.callContext, this.historicalHeader, this.txContext, this.sideEffectCounter);
-        const privateContextInputsAsFields = privateContextInputs.toFields();
-        if (privateContextInputsAsFields.length !== PRIVATE_CONTEXT_INPUTS_LENGTH) {
-            throw new Error('Invalid private context inputs size');
-        }
-        const fields = [
-            ...privateContextInputsAsFields,
-            ...args
-        ];
-        return toACVMWitness(0, fields);
-    }
-    /**
-   * The KernelProver will use this to fully populate witnesses and provide hints to the kernel circuit
-   * regarding which note hash each settled read request corresponds to.
-   */ getNoteHashLeafIndexMap() {
-        return this.noteHashLeafIndexMap;
-    }
-    /**
-   * Get the data for the newly created notes.
-   */ getNewNotes() {
-        return this.newNotes;
-    }
-    getNoteHashNullifierCounterMap() {
-        return this.noteHashNullifierCounterMap;
-    }
-    /**
-   * Return the contract class logs emitted during this execution.
-   */ getContractClassLogs() {
-        return this.contractClassLogs;
-    }
-    /**
-   * Return the nested execution results during this execution.
-   */ getNestedExecutions() {
-        return this.nestedExecutions;
-    }
-    /**
-   * Return the enqueued public function calls during this execution.
-   */ getEnqueuedPublicFunctionCalls() {
-        return this.enqueuedPublicFunctionCalls;
-    }
-    /**
-   * Return the public teardown function call set during this execution.
-   */ getPublicTeardownFunctionCall() {
-        return this.publicTeardownFunctionCall;
-    }
-    /**
-   * Store values in the execution cache.
-   * @param values - Values to store.
-   * @returns The hash of the values.
-   */ storeInExecutionCache(values) {
-        return this.executionCache.store(values);
-    }
-    /**
-   * Gets values from the execution cache.
-   * @param hash - Hash of the values.
-   * @returns The values.
-   */ loadFromExecutionCache(hash) {
-        return Promise.resolve(this.executionCache.getPreimage(hash));
-    }
-    /**
-   * Gets some notes for a storage slot.
-   *
-   * @remarks
-   * Check for pending notes with matching slot.
-   * Real notes coming from DB will have a leafIndex which
-   * represents their index in the note hash tree.
-   *
-   * @param storageSlot - The storage slot.
-   * @param numSelects - The number of valid selects in selectBy and selectValues.
-   * @param selectBy - An array of indices of the fields to selects.
-   * @param selectValues - The values to match.
-   * @param selectComparators - The comparators to match by.
-   * @param sortBy - An array of indices of the fields to sort.
-   * @param sortOrder - The order of the corresponding index in sortBy. (1: DESC, 2: ASC, 0: Do nothing)
-   * @param limit - The number of notes to retrieve per query.
-   * @param offset - The starting index for pagination.
-   * @param status - The status of notes to fetch.
-   * @returns Array of note data.
-   */ async getNotes(storageSlot, numSelects, selectByIndexes, selectByOffsets, selectByLengths, selectValues, selectComparators, sortByIndexes, sortByOffsets, sortByLengths, sortOrder, limit, offset, status) {
-        // Nullified pending notes are already removed from the list.
-        const pendingNotes = this.noteCache.getNotes(this.callContext.contractAddress, storageSlot);
-        const pendingNullifiers = this.noteCache.getNullifiers(this.callContext.contractAddress);
-        const dbNotes = await this.executionDataProvider.getNotes(this.callContext.contractAddress, storageSlot, status, this.scopes);
-        const dbNotesFiltered = dbNotes.filter((n)=>!pendingNullifiers.has(n.siloedNullifier.value));
-        const notes = pickNotes([
-            ...dbNotesFiltered,
-            ...pendingNotes
-        ], {
-            selects: selectByIndexes.slice(0, numSelects).map((index, i)=>({
-                    selector: {
-                        index,
-                        offset: selectByOffsets[i],
-                        length: selectByLengths[i]
-                    },
-                    value: selectValues[i],
-                    comparator: selectComparators[i]
-                })),
-            sorts: sortByIndexes.map((index, i)=>({
-                    selector: {
-                        index,
-                        offset: sortByOffsets[i],
-                        length: sortByLengths[i]
-                    },
-                    order: sortOrder[i]
-                })),
-            limit,
-            offset
-        });
-        this.log.debug(`Returning ${notes.length} notes for ${this.callContext.contractAddress} at ${storageSlot}: ${notes.map((n)=>`${n.nonce.toString()}:[${n.note.items.map((i)=>i.toString()).join(',')}]`).join(', ')}`);
-        const noteHashesAndIndexes = await Promise.all(notes.map(async (n)=>{
-            if (n.index !== undefined) {
-                const siloedNoteHash = await siloNoteHash(n.contractAddress, n.noteHash);
-                const uniqueNoteHash = await computeUniqueNoteHash(n.nonce, siloedNoteHash);
-                return {
-                    hash: uniqueNoteHash,
-                    index: n.index
-                };
-            }
-        }));
-        noteHashesAndIndexes.filter((n)=>n !== undefined).forEach((n)=>{
-            this.noteHashLeafIndexMap.set(n.hash.toBigInt(), n.index);
-        });
-        return notes;
-    }
-    /**
-   * Keep track of the new note created during execution.
-   * It can be used in subsequent calls (or transactions when chaining txs is possible).
-   * @param contractAddress - The contract address.
-   * @param storageSlot - The storage slot.
-   * @param noteTypeId - The type ID of the note.
-   * @param noteItems - The items to be included in a Note.
-   * @param noteHash - A hash of the new note.
-   * @returns
-   */ notifyCreatedNote(storageSlot, noteTypeId, noteItems, noteHash, counter) {
-        this.log.debug(`Notified of new note with inner hash ${noteHash}`, {
-            contractAddress: this.callContext.contractAddress,
-            storageSlot,
-            noteTypeId,
-            counter
-        });
-        const note = new Note(noteItems);
-        this.noteCache.addNewNote({
-            contractAddress: this.callContext.contractAddress,
-            storageSlot,
-            nonce: Fr.ZERO,
-            note,
-            siloedNullifier: undefined,
-            noteHash
-        }, counter);
-        this.newNotes.push(new NoteAndSlot(note, storageSlot, noteTypeId));
-    }
-    /**
-   * Adding a siloed nullifier into the current set of all pending nullifiers created
-   * within the current transaction/execution.
-   * @param innerNullifier - The pending nullifier to add in the list (not yet siloed by contract address).
-   * @param noteHash - A hash of the new note.
-   */ async notifyNullifiedNote(innerNullifier, noteHash, counter) {
-        const nullifiedNoteHashCounter = await this.noteCache.nullifyNote(this.callContext.contractAddress, innerNullifier, noteHash);
-        if (nullifiedNoteHashCounter !== undefined) {
-            this.noteHashNullifierCounterMap.set(nullifiedNoteHashCounter, counter);
-        }
-    }
-    /**
-   * Adding a siloed nullifier into the current set of all pending nullifiers created
-   * within the current transaction/execution.
-   * @param innerNullifier - The pending nullifier to add in the list (not yet siloed by contract address).
-   * @param noteHash - A hash of the new note.
-   */ notifyCreatedNullifier(innerNullifier) {
-        return this.noteCache.nullifierCreated(this.callContext.contractAddress, innerNullifier);
-    }
-    /**
-   * Emit a contract class log.
-   * This fn exists because we only carry a poseidon hash through the kernels, and need to
-   * keep the preimage in ts for later.
-   * @param log - The contract class log to be emitted.
-   * @param counter - The contract class log's counter.
-   */ notifyCreatedContractClassLog(log, counter) {
-        this.contractClassLogs.push(new CountedContractClassLog(log, counter));
-        const text = log.toBuffer().toString('hex');
-        this.log.verbose(`Emitted log from ContractClassRegisterer: "${text.length > 100 ? text.slice(0, 100) + '...' : text}"`);
-    }
-    #checkValidStaticCall(childExecutionResult) {
-        if (childExecutionResult.publicInputs.noteHashes.some((item)=>!item.isEmpty()) || childExecutionResult.publicInputs.nullifiers.some((item)=>!item.isEmpty()) || childExecutionResult.publicInputs.l2ToL1Msgs.some((item)=>!item.isEmpty()) || childExecutionResult.publicInputs.privateLogs.some((item)=>!item.isEmpty()) || childExecutionResult.publicInputs.contractClassLogsHashes.some((item)=>!item.isEmpty())) {
-            throw new Error(`Static call cannot update the state, emit L2->L1 messages or generate logs`);
-        }
-    }
-    /**
-   * Calls a private function as a nested execution.
-   * @param targetContractAddress - The address of the contract to call.
-   * @param functionSelector - The function selector of the function to call.
-   * @param argsHash - The arguments hash to pass to the function.
-   * @param sideEffectCounter - The side effect counter at the start of the call.
-   * @param isStaticCall - Whether the call is a static call.
-   * @returns The execution result.
-   */ async callPrivateFunction(targetContractAddress, functionSelector, argsHash, sideEffectCounter, isStaticCall) {
-        this.log.debug(`Calling private function ${targetContractAddress}:${functionSelector} from ${this.callContext.contractAddress}`);
-        isStaticCall = isStaticCall || this.callContext.isStaticCall;
-        await verifyCurrentClassId(targetContractAddress, this.executionDataProvider, this.historicalHeader.globalVariables.blockNumber.toNumber());
-        const targetArtifact = await this.executionDataProvider.getFunctionArtifact(targetContractAddress, functionSelector);
-        const derivedTxContext = this.txContext.clone();
-        const derivedCallContext = await this.deriveCallContext(targetContractAddress, targetArtifact, isStaticCall);
-        const context = new PrivateExecutionOracle(argsHash, derivedTxContext, derivedCallContext, this.historicalHeader, this.authWitnesses, this.capsules, this.executionCache, this.noteCache, this.executionDataProvider, this.provider, this.totalPublicArgsCount, sideEffectCounter, this.log, this.scopes);
-        const childExecutionResult = await executePrivateFunction(this.provider, context, targetArtifact, targetContractAddress, functionSelector);
-        if (isStaticCall) {
-            this.#checkValidStaticCall(childExecutionResult);
-        }
-        this.nestedExecutions.push(childExecutionResult);
-        const publicInputs = childExecutionResult.publicInputs;
-        return {
-            endSideEffectCounter: publicInputs.endSideEffectCounter,
-            returnsHash: publicInputs.returnsHash
-        };
-    }
-    /**
-   * Creates a PublicExecutionRequest object representing the request to call a public function.
-   * @param targetContractAddress - The address of the contract to call.
-   * @param functionSelector - The function selector of the function to call.
-   * @param argsHash - The arguments hash to pass to the function.
-   * @param sideEffectCounter - The side effect counter at the start of the call.
-   * @param isStaticCall - Whether the call is a static call.
-   * @returns The public call stack item with the request information.
-   */ async createPublicExecutionRequest(callType, targetContractAddress, functionSelector, argsHash, sideEffectCounter, isStaticCall) {
-        const targetArtifact = await this.executionDataProvider.getFunctionArtifact(targetContractAddress, functionSelector);
-        const derivedCallContext = await this.deriveCallContext(targetContractAddress, targetArtifact, isStaticCall);
-        const args = this.executionCache.getPreimage(argsHash);
-        this.log.verbose(`Created ${callType} public execution request to ${targetArtifact.name}@${targetContractAddress}`, {
-            sideEffectCounter,
-            isStaticCall,
-            functionSelector,
-            targetContractAddress,
-            callType
-        });
-        const request = PublicExecutionRequest.from({
-            args,
-            callContext: derivedCallContext
-        });
-        if (callType === 'enqueued') {
-            this.enqueuedPublicFunctionCalls.push(new CountedPublicExecutionRequest(request, sideEffectCounter));
-        } else {
-            this.publicTeardownFunctionCall = request;
-        }
-    }
-    /**
-   * Creates and enqueues a PublicExecutionRequest object representing the request to call a public function. No function
-   * is actually called, since that must happen on the sequencer side. All the fields related to the result
-   * of the execution are empty.
-   * @param targetContractAddress - The address of the contract to call.
-   * @param functionSelector - The function selector of the function to call.
-   * @param argsHash - The arguments hash to pass to the function.
-   * @param sideEffectCounter - The side effect counter at the start of the call.
-   * @param isStaticCall - Whether the call is a static call.
-   * @returns The public call stack item with the request information.
-   */ async enqueuePublicFunctionCall(targetContractAddress, functionSelector, argsHash, sideEffectCounter, isStaticCall) {
-        // TODO(https://github.com/AztecProtocol/aztec-packages/issues/8985): Fix this.
-        // WARNING: This is insecure and should be temporary!
-        // The oracle re-hashes the arguments and returns a new args_hash.
-        // new_args = [selector, ...old_args], so as to make it suitable to call the public dispatch function.
-        // We don't validate or compute it in the circuit because a) it's harder to do with slices, and
-        // b) this is only temporary.
-        const newArgs = [
-            functionSelector.toField(),
-            ...this.executionCache.getPreimage(argsHash)
-        ];
-        const newArgsHash = await this.executionCache.store(newArgs);
-        await this.createPublicExecutionRequest('enqueued', targetContractAddress, FunctionSelector.fromField(new Fr(PUBLIC_DISPATCH_SELECTOR)), newArgsHash, sideEffectCounter, isStaticCall);
-        this.totalPublicArgsCount += newArgs.length;
-        if (this.totalPublicArgsCount > MAX_FR_ARGS_TO_ALL_ENQUEUED_CALLS) {
-            throw new Error(`Too many total args to all enqueued public calls! (> ${MAX_FR_ARGS_TO_ALL_ENQUEUED_CALLS})`);
-        }
-        return newArgsHash;
-    }
-    /**
-   * Creates a PublicExecutionRequest and sets it as the public teardown function. No function
-   * is actually called, since that must happen on the sequencer side. All the fields related to the result
-   * of the execution are empty.
-   * @param targetContractAddress - The address of the contract to call.
-   * @param functionSelector - The function selector of the function to call.
-   * @param argsHash - The arguments hash to pass to the function.
-   * @param sideEffectCounter - The side effect counter at the start of the call.
-   * @param isStaticCall - Whether the call is a static call.
-   * @returns The public call stack item with the request information.
-   */ async setPublicTeardownFunctionCall(targetContractAddress, functionSelector, argsHash, sideEffectCounter, isStaticCall) {
-        // TODO(https://github.com/AztecProtocol/aztec-packages/issues/8985): Fix this.
-        // WARNING: This is insecure and should be temporary!
-        // The oracle rehashes the arguments and returns a new args_hash.
-        // new_args = [selector, ...old_args], so as to make it suitable to call the public dispatch function.
-        // We don't validate or compute it in the circuit because a) it's harder to do with slices, and
-        // b) this is only temporary.
-        const newArgsHash = await this.executionCache.store([
-            functionSelector.toField(),
-            ...this.executionCache.getPreimage(argsHash)
-        ]);
-        await this.createPublicExecutionRequest('teardown', targetContractAddress, FunctionSelector.fromField(new Fr(PUBLIC_DISPATCH_SELECTOR)), newArgsHash, sideEffectCounter, isStaticCall);
-        return newArgsHash;
-    }
-    notifySetMinRevertibleSideEffectCounter(minRevertibleSideEffectCounter) {
-        return this.noteCache.setMinRevertibleSideEffectCounter(minRevertibleSideEffectCounter);
-    }
-    /**
-   * Derives the call context for a nested execution.
-   * @param targetContractAddress - The address of the contract being called.
-   * @param targetArtifact - The artifact of the function being called.
-   * @param isStaticCall - Whether the call is a static call.
-   * @returns The derived call context.
-   */ async deriveCallContext(targetContractAddress, targetArtifact, isStaticCall = false) {
-        return new CallContext(this.contractAddress, targetContractAddress, await FunctionSelector.fromNameAndParameters(targetArtifact.name, targetArtifact.parameters), isStaticCall);
-    }
-    getDebugFunctionName() {
-        return this.executionDataProvider.getDebugFunctionName(this.contractAddress, this.callContext.functionSelector);
-    }
-    async incrementAppTaggingSecretIndexAsSender(sender, recipient) {
-        await this.executionDataProvider.incrementAppTaggingSecretIndexAsSender(this.contractAddress, sender, recipient);
-    }
-    async syncNotes() {
-        const taggedLogsByRecipient = await this.executionDataProvider.syncTaggedLogs(this.contractAddress, this.historicalHeader.globalVariables.blockNumber.toNumber(), this.scopes);
-        for (const [recipient, taggedLogs] of taggedLogsByRecipient.entries()){
-            await this.executionDataProvider.processTaggedLogs(taggedLogs, AztecAddress.fromString(recipient));
-        }
-        await this.executionDataProvider.removeNullifiedNotes(this.contractAddress);
-    }
-}

package/dest/private/providers/acvm_native.d.ts

@@ -1,40 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
-import type { WitnessMap } from '@noir-lang/types';
-import type { ACIRCallback, ACIRExecutionResult } from '../acvm/acvm.js';
-import type { ACVMWitness } from '../acvm/acvm_types.js';
-import type { SimulationProvider } from './simulation_provider.js';
-export declare enum ACVM_RESULT {
-    SUCCESS = 0,
-    FAILURE = 1
-}
-export type ACVMSuccess = {
-    status: ACVM_RESULT.SUCCESS;
-    duration: number;
-    witness: Map<number, string>;
-};
-export type ACVMFailure = {
-    status: ACVM_RESULT.FAILURE;
-    reason: string;
-};
-export type ACVMResult = ACVMSuccess | ACVMFailure;
-/**
- *
- * @param inputWitness - The circuit's input witness
- * @param bytecode - The circuit bytecode
- * @param workingDirectory - A directory to use for temporary files by the ACVM
- * @param pathToAcvm - The path to the ACVM binary
- * @param outputFilename - If specified, the output will be stored as a file, encoded using Bincode
- * @returns The completed partial witness outputted from the circuit
- */
-export declare function executeNativeCircuit(inputWitness: WitnessMap, bytecode: Buffer, workingDirectory: string, pathToAcvm: string, outputFilename?: string): Promise<ACVMResult>;
-export declare class NativeACVMSimulator implements SimulationProvider {
-    private workingDirectory;
-    private pathToAcvm;
-    private witnessFilename?;
-    constructor(workingDirectory: string, pathToAcvm: string, witnessFilename?: string | undefined);
-    executeProtocolCircuit(input: WitnessMap, compiledCircuit: NoirCompiledCircuit): Promise<WitnessMap>;
-    executeUserCircuit(_acir: Buffer, _initialWitness: ACVMWitness, _callback: ACIRCallback): Promise<ACIRExecutionResult>;
-}
-//# sourceMappingURL=acvm_native.d.ts.map

package/dest/private/providers/acvm_native.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"acvm_native.d.ts","sourceRoot":"","sources":["../../../src/private/providers/acvm_native.ts"],"names":[],"mappings":";;AAGA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAE9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAInD,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACzE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAInE,oBAAY,WAAW;IACrB,OAAO,IAAA;IACP,OAAO,IAAA;CACR;AAED,MAAM,MAAM,WAAW,GAAG;IACxB,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC;IAC5B,QAAQ,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,WAAW,GAAG;IACxB,MAAM,EAAE,WAAW,CAAC,OAAO,CAAC;IAC5B,MAAM,EAAE,MAAM,CAAC;CAChB,CAAC;AAEF,MAAM,MAAM,UAAU,GAAG,WAAW,GAAG,WAAW,CAAC;AAmBnD;;;;;;;;GAQG;AACH,wBAAsB,oBAAoB,CACxC,YAAY,EAAE,UAAU,EACxB,QAAQ,EAAE,MAAM,EAChB,gBAAgB,EAAE,MAAM,EACxB,UAAU,EAAE,MAAM,EAClB,cAAc,CAAC,EAAE,MAAM,GACtB,OAAO,CAAC,UAAU,CAAC,CAqErB;AAED,qBAAa,mBAAoB,YAAW,kBAAkB;IAChD,OAAO,CAAC,gBAAgB;IAAU,OAAO,CAAC,UAAU;IAAU,OAAO,CAAC,eAAe,CAAC;gBAA9E,gBAAgB,EAAE,MAAM,EAAU,UAAU,EAAE,MAAM,EAAU,eAAe,CAAC,oBAAQ;IACpG,sBAAsB,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC;IAyB1G,kBAAkB,CAChB,KAAK,EAAE,MAAM,EACb,eAAe,EAAE,WAAW,EAC5B,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,mBAAmB,CAAC;CAGhC"}

package/dest/private/providers/acvm_wasm.d.ts

@@ -1,15 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
-import type { WitnessMap } from '@noir-lang/types';
-import { type ACIRCallback } from '../acvm/acvm.js';
-import type { ACVMWitness } from '../acvm/acvm_types.js';
-import { type SimulationProvider } from './simulation_provider.js';
-export declare class WASMSimulator implements SimulationProvider {
-    protected log: import("@aztec/foundation/log").Logger;
-    constructor(log?: import("@aztec/foundation/log").Logger);
-    init(): Promise<void>;
-    executeProtocolCircuit(input: WitnessMap, compiledCircuit: NoirCompiledCircuit): Promise<WitnessMap>;
-    executeUserCircuit(acir: Buffer, initialWitness: ACVMWitness, callback: ACIRCallback): Promise<import("../acvm/acvm.js").ACIRExecutionResult>;
-}
-//# sourceMappingURL=acvm_wasm.d.ts.map

package/dest/private/providers/acvm_wasm.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"acvm_wasm.d.ts","sourceRoot":"","sources":["../../../src/private/providers/acvm_wasm.ts"],"names":[],"mappings":";;AAEA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAI9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,EAAE,KAAK,YAAY,EAAQ,MAAM,iBAAiB,CAAC;AAC1D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,KAAK,kBAAkB,EAAqB,MAAM,0BAA0B,CAAC;AAEtF,qBAAa,aAAc,YAAW,kBAAkB;IAC1C,SAAS,CAAC,GAAG;gBAAH,GAAG,yCAAiC;IAEpD,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC;IAUrB,sBAAsB,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC;IAiCpG,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY;CAI3F"}

package/dest/private/providers/acvm_wasm_with_blobs.d.ts

@@ -1,19 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
-import type { WitnessMap } from '@noir-lang/types';
-import type { ACIRCallback, ACIRExecutionResult } from '../acvm/acvm.js';
-import type { ACVMWitness } from '../acvm/acvm_types.js';
-import { type SimulationProvider } from './simulation_provider.js';
-/**
- * A simulation provider that uses the WASM simulator with the ability to handle blobs via the foreign call handler.
- * This class is temporary while brillig cannot handle the blob math, and it is kept separate
- * because the zkg commitment library used in the blob code is not browser compatible.
- *
- * It is only used in the context of server-side code executing simulated protocol circuits.
- */
-export declare class WASMSimulatorWithBlobs implements SimulationProvider {
-    executeProtocolCircuit(input: WitnessMap, compiledCircuit: NoirCompiledCircuit): Promise<WitnessMap>;
-    executeUserCircuit(_acir: Buffer, _initialWitness: ACVMWitness, _callback: ACIRCallback): Promise<ACIRExecutionResult>;
-}
-//# sourceMappingURL=acvm_wasm_with_blobs.d.ts.map

package/dest/private/providers/acvm_wasm_with_blobs.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"acvm_wasm_with_blobs.d.ts","sourceRoot":"","sources":["../../../src/private/providers/acvm_wasm_with_blobs.ts"],"names":[],"mappings":";;AACA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAG9D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAEnD,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACzE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AACzD,OAAO,EAAE,KAAK,kBAAkB,EAAqB,MAAM,0BAA0B,CAAC;AAEtF;;;;;;GAMG;AACH,qBAAa,sBAAuB,YAAW,kBAAkB;IACzD,sBAAsB,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC;IAwB1G,kBAAkB,CAChB,KAAK,EAAE,MAAM,EACb,eAAe,EAAE,WAAW,EAC5B,SAAS,EAAE,YAAY,GACtB,OAAO,CAAC,mBAAmB,CAAC;CAGhC"}

package/dest/private/providers/acvm_wasm_with_blobs.js

@@ -1,32 +0,0 @@
-import { foreignCallHandler } from '@aztec/noir-protocol-circuits-types/server';
-import { executeCircuit } from '@noir-lang/acvm_js';
-import { parseErrorPayload } from './simulation_provider.js';
-/**
- * A simulation provider that uses the WASM simulator with the ability to handle blobs via the foreign call handler.
- * This class is temporary while brillig cannot handle the blob math, and it is kept separate
- * because the zkg commitment library used in the blob code is not browser compatible.
- *
- * It is only used in the context of server-side code executing simulated protocol circuits.
- */ export class WASMSimulatorWithBlobs {
-    async executeProtocolCircuit(input, compiledCircuit) {
-        // Execute the circuit on those initial witness values
-        //
-        // Decode the bytecode from base64 since the acvm does not know about base64 encoding
-        const decodedBytecode = Buffer.from(compiledCircuit.bytecode, 'base64');
-        //
-        // Execute the circuit
-        try {
-            const _witnessMap = await executeCircuit(decodedBytecode, input, foreignCallHandler);
-            return _witnessMap;
-        } catch (err) {
-            // Typescript types catched errors as unknown or any, so we need to narrow its type to check if it has raw assertion payload.
-            if (typeof err === 'object' && err !== null && 'rawAssertionPayload' in err) {
-                throw parseErrorPayload(compiledCircuit.abi, err);
-            }
-            throw new Error(`Circuit execution failed: ${err}`);
-        }
-    }
-    executeUserCircuit(_acir, _initialWitness, _callback) {
-        throw new Error('Not implemented');
-    }
-}

package/dest/private/providers/factory.d.ts

@@ -1,12 +0,0 @@
-import { type Logger } from '@aztec/foundation/log';
-import type { SimulationProvider } from './simulation_provider.js';
-export type SimulationProviderConfig = {
-    acvmBinaryPath?: string;
-    acvmWorkingDirectory?: string;
-};
-export declare function getSimulationProviderConfigFromEnv(): {
-    acvmWorkingDirectory: string | undefined;
-    acvmBinaryPath: string | undefined;
-};
-export declare function createSimulationProvider(config: SimulationProviderConfig, logger?: Logger): Promise<SimulationProvider>;
-//# sourceMappingURL=factory.d.ts.map

package/dest/private/providers/factory.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"factory.d.ts","sourceRoot":"","sources":["../../../src/private/providers/factory.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,MAAM,EAAgB,MAAM,uBAAuB,CAAC;AAMlE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,0BAA0B,CAAC;AAEnE,MAAM,MAAM,wBAAwB,GAAG;IACrC,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,oBAAoB,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF,wBAAgB,kCAAkC;;;EAMjD;AAED,wBAAsB,wBAAwB,CAC5C,MAAM,EAAE,wBAAwB,EAChC,MAAM,GAAE,MAAkC,GACzC,OAAO,CAAC,kBAAkB,CAAC,CAa7B"}

package/dest/private/providers/simulation_provider.d.ts

@@ -1,19 +0,0 @@
-/// <reference types="node" resolution-mode="require"/>
-/// <reference types="node" resolution-mode="require"/>
-import type { NoirCompiledCircuit } from '@aztec/stdlib/noir';
-import type { ExecutionError } from '@noir-lang/acvm_js';
-import type { Abi, WitnessMap } from '@noir-lang/types';
-import type { ACIRCallback, ACIRExecutionResult } from '../acvm/acvm.js';
-import type { ACVMWitness } from '../acvm/acvm_types.js';
-/**
- * Low level simulation interface
- */
-export interface SimulationProvider {
-    executeProtocolCircuit(input: WitnessMap, compiledCircuit: NoirCompiledCircuit): Promise<WitnessMap>;
-    executeUserCircuit(acir: Buffer, initialWitness: ACVMWitness, callback: ACIRCallback): Promise<ACIRExecutionResult>;
-}
-export type ErrorWithPayload = ExecutionError & {
-    decodedAssertionPayload?: any;
-};
-export declare function parseErrorPayload(abi: Abi, originalError: ExecutionError): Error;
-//# sourceMappingURL=simulation_provider.d.ts.map

package/dest/private/providers/simulation_provider.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"simulation_provider.d.ts","sourceRoot":"","sources":["../../../src/private/providers/simulation_provider.ts"],"names":[],"mappings":";;AAAA,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,oBAAoB,CAAC;AAE9D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAEzD,OAAO,KAAK,EAAE,GAAG,EAAE,UAAU,EAAE,MAAM,kBAAkB,CAAC;AAExD,OAAO,KAAK,EAAE,YAAY,EAAE,mBAAmB,EAAE,MAAM,iBAAiB,CAAC;AACzE,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,uBAAuB,CAAC;AAEzD;;GAEG;AACH,MAAM,WAAW,kBAAkB;IACjC,sBAAsB,CAAC,KAAK,EAAE,UAAU,EAAE,eAAe,EAAE,mBAAmB,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC;IACrG,kBAAkB,CAAC,IAAI,EAAE,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,QAAQ,EAAE,YAAY,GAAG,OAAO,CAAC,mBAAmB,CAAC,CAAC;CACrH;AAED,MAAM,MAAM,gBAAgB,GAAG,cAAc,GAAG;IAAE,uBAAuB,CAAC,EAAE,GAAG,CAAA;CAAE,CAAC;AAIlF,wBAAgB,iBAAiB,CAAC,GAAG,EAAE,GAAG,EAAE,aAAa,EAAE,cAAc,GAAG,KAAK,CAuBhF"}

package/dest/private/providers/simulation_provider.js

@@ -1,24 +0,0 @@
-import { abiDecodeError } from '@noir-lang/noirc_abi';
-// Error handling taken from noir/noir-repo/tooling/noir_js/src/witness_generation.ts.
-// TODO: import this in isolation without having to import noir_js in its entirety.
-export function parseErrorPayload(abi, originalError) {
-    const payload = originalError.rawAssertionPayload;
-    if (!payload) {
-        return originalError;
-    }
-    const enrichedError = originalError;
-    try {
-        // Decode the payload
-        const decodedPayload = abiDecodeError(abi, payload);
-        if (typeof decodedPayload === 'string') {
-            // If it's a string, just add it to the error message
-            enrichedError.message = `Circuit execution failed: ${decodedPayload}`;
-        } else {
-            // If not, attach the payload to the original error
-            enrichedError.decodedAssertionPayload = decodedPayload;
-        }
-    } catch (_errorDecoding) {
-    // Ignore errors decoding the payload
-    }
-    return enrichedError;
-}

package/dest/private/simulator.d.ts

@@ -1,34 +0,0 @@
-import type { FunctionCall } from '@aztec/stdlib/abi';
-import { FunctionSelector } from '@aztec/stdlib/abi';
-import { AztecAddress } from '@aztec/stdlib/aztec-address';
-import { PrivateExecutionResult, TxExecutionRequest } from '@aztec/stdlib/tx';
-import type { ExecutionDataProvider } from './execution_data_provider.js';
-import type { SimulationProvider } from './providers/simulation_provider.js';
-/**
- * The ACIR simulator.
- */
-export declare class AcirSimulator {
-    private executionDataProvider;
-    private simulationProvider;
-    private log;
-    constructor(executionDataProvider: ExecutionDataProvider, simulationProvider: SimulationProvider);
-    /**
-     * Runs a private function.
-     * @param request - The transaction request.
-     * @param entryPointArtifact - The artifact of the entry point function.
-     * @param contractAddress - The address of the contract (should match request.origin)
-     * @param msgSender - The address calling the function. This can be replaced to simulate a call from another contract or a specific account.
-     * @param scopes - The accounts whose notes we can access in this call. Currently optional and will default to all.
-     * @returns The result of the execution.
-     */
-    run(request: TxExecutionRequest, contractAddress: AztecAddress, selector: FunctionSelector, msgSender?: AztecAddress, scopes?: AztecAddress[]): Promise<PrivateExecutionResult>;
-    /**
-     * Runs an unconstrained function.
-     * @param request - The transaction request.
-     * @param entryPointArtifact - The artifact of the entry point function.
-     * @param contractAddress - The address of the contract.
-     * @param scopes - The accounts whose notes we can access in this call. Currently optional and will default to all.
-     */
-    runUnconstrained(request: FunctionCall, contractAddress: AztecAddress, selector: FunctionSelector, scopes?: AztecAddress[]): Promise<import("@aztec/stdlib/abi").AbiDecoded>;
-}
-//# sourceMappingURL=simulator.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"simulator.d.ts","sourceRoot":"","sources":["../../src/private/simulator.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EAAE,gBAAgB,EAAgB,MAAM,mBAAmB,CAAC;AACnE,OAAO,EAAE,YAAY,EAAE,MAAM,6BAA6B,CAAC;AAC3D,OAAO,EAAe,sBAAsB,EAAE,kBAAkB,EAAE,MAAM,kBAAkB,CAAC;AAG3F,OAAO,KAAK,EAAE,qBAAqB,EAAE,MAAM,8BAA8B,CAAC;AAK1E,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,oCAAoC,CAAC;AAI7E;;GAEG;AACH,qBAAa,aAAa;IAGZ,OAAO,CAAC,qBAAqB;IAAyB,OAAO,CAAC,kBAAkB;IAF5F,OAAO,CAAC,GAAG,CAAS;gBAEA,qBAAqB,EAAE,qBAAqB,EAAU,kBAAkB,EAAE,kBAAkB;IAIhH;;;;;;;;OAQG;IACU,GAAG,CACd,OAAO,EAAE,kBAAkB,EAC3B,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,SAAS,eAA6C,EACtD,MAAM,CAAC,EAAE,YAAY,EAAE,GACtB,OAAO,CAAC,sBAAsB,CAAC;IA8DlC;;;;;;OAMG;IACU,gBAAgB,CAC3B,OAAO,EAAE,YAAY,EACrB,eAAe,EAAE,YAAY,EAC7B,QAAQ,EAAE,gBAAgB,EAC1B,MAAM,CAAC,EAAE,YAAY,EAAE;CA+B1B"}