import { type ForeignCallHandler } from '@aztec-foundation/noir-acvm_js';
import type { InputMap } from '@aztec-foundation/noir-types';
import { type Logger, type LoggerBindings } from '@aztec-labs/foundation/log';
import type { FunctionArtifactWithContractName } from '@aztec-labs/stdlib/abi';
import type { NoirCompiledCircuitWithName } from '@aztec-labs/stdlib/noir';
import { type ACIRCallback, type ACIRExecutionResult } from './acvm/acvm.js';
import type { ACVMWitness } from './acvm/acvm_types.js';
import type { ACVMSuccess } from './acvm_native.js';
import { type CircuitSimulator, type ProtocolCircuitResult } from './circuit_simulator.js';
export declare class WASMSimulator implements CircuitSimulator {
    protected log: Logger;
    constructor(loggerOrBindings?: Logger | LoggerBindings);
    init(): Promise<void>;
    executeProtocolCircuit<ReturnType>(inputs: InputMap, artifact: NoirCompiledCircuitWithName, callback: ForeignCallHandler): Promise<ProtocolCircuitResult<ReturnType>>;
    executeProtocolCircuitToWitness(input: ACVMWitness, artifact: NoirCompiledCircuitWithName, callback: ForeignCallHandler): Promise<ACVMSuccess>;
    executeUserCircuit(input: ACVMWitness, artifact: FunctionArtifactWithContractName, callback: ACIRCallback): Promise<ACIRExecutionResult>;
}
//# sourceMappingURL=data:application/json;base64,eyJ2ZXJzaW9uIjozLCJmaWxlIjoiYWN2bV93YXNtLmQudHMiLCJzb3VyY2VSb290IjoiIiwic291cmNlcyI6WyIuLi8uLi9zcmMvcHJpdmF0ZS9hY3ZtX3dhc20udHMiXSwibmFtZXMiOltdLCJtYXBwaW5ncyI6IkFBQUEsT0FBaUIsRUFBdUIsS0FBSyxrQkFBa0IsRUFBa0IsTUFBTSxnQ0FBZ0MsQ0FBQztBQUV4SCxPQUFPLEtBQUssRUFBRSxRQUFRLEVBQUUsTUFBTSw4QkFBOEIsQ0FBQztBQUU3RCxPQUFPLEVBQUUsS0FBSyxNQUFNLEVBQUUsS0FBSyxjQUFjLEVBQWlCLE1BQU0sNEJBQTRCLENBQUM7QUFFN0YsT0FBTyxLQUFLLEVBQUUsZ0NBQWdDLEVBQUUsTUFBTSx3QkFBd0IsQ0FBQztBQUMvRSxPQUFPLEtBQUssRUFBRSwyQkFBMkIsRUFBRSxNQUFNLHlCQUF5QixDQUFDO0FBRzNFLE9BQU8sRUFBRSxLQUFLLFlBQVksRUFBRSxLQUFLLG1CQUFtQixFQUFRLE1BQU0sZ0JBQWdCLENBQUM7QUFDbkYsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sc0JBQXNCLENBQUM7QUFDeEQsT0FBTyxLQUFLLEVBQUUsV0FBVyxFQUFFLE1BQU0sa0JBQWtCLENBQUM7QUFDcEQsT0FBTyxFQUFFLEtBQUssZ0JBQWdCLEVBQUUsS0FBSyxxQkFBcUIsRUFBbUIsTUFBTSx3QkFBd0IsQ0FBQztBQUk1RyxxQkFBYSxhQUFjLFlBQVcsZ0JBQWdCO0lBQ3BELFNBQVMsQ0FBQyxHQUFHLEVBQUUsTUFBTSxDQUFDO0lBRXRCLFlBQVksZ0JBQWdCLENBQUMsRUFBRSxNQUFNLEdBQUcsY0FBYyxFQUVyRDtJQUVLLElBQUksSUFBSSxPQUFPLENBQUMsSUFBSSxDQUFDLENBUzFCO0lBRUssc0JBQXNCLENBQUMsVUFBVSxFQUNyQyxNQUFNLEVBQUUsUUFBUSxFQUNoQixRQUFRLEVBQUUsMkJBQTJCLEVBQ3JDLFFBQVEsRUFBRSxrQkFBa0IsR0FDM0IsT0FBTyxDQUFDLHFCQUFxQixDQUFDLFVBQVUsQ0FBQyxDQUFDLENBVTVDO0lBRUssK0JBQStCLENBQ25DLEtBQUssRUFBRSxXQUFXLEVBQ2xCLFFBQVEsRUFBRSwyQkFBMkIsRUFDckMsUUFBUSxFQUFFLGtCQUFrQixHQUMzQixPQUFPLENBQUMsV0FBVyxDQUFDLENBZ0N0QjtJQUVLLGtCQUFrQixDQUN0QixLQUFLLEVBQUUsV0FBVyxFQUNsQixRQUFRLEVBQUUsZ0NBQWdDLEVBQzFDLFFBQVEsRUFBRSxZQUFZLEdBQ3JCLE9BQU8sQ0FBQyxtQkFBbUIsQ0FBQyxDQUc5QjtDQUNGIn0=