@aztec/stdlib 0.77.0-testnet-ignition.17

package/dest/interfaces/pxe.d.ts

@@ -0,0 +1,347 @@
+import { L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/constants';
+import type { Fr, Point } from '@aztec/foundation/fields';
+import type { ApiSchemaFor } from '@aztec/foundation/schemas';
+import { SiblingPath } from '@aztec/foundation/trees';
+import { type AbiType, type ContractArtifact } from '../abi/abi.js';
+import type { AbiDecoded } from '../abi/decoder.js';
+import type { EventSelector } from '../abi/event_selector.js';
+import { AuthWitness } from '../auth_witness/auth_witness.js';
+import type { AztecAddress } from '../aztec-address/index.js';
+import { type InBlock } from '../block/in_block.js';
+import { L2Block } from '../block/l2_block.js';
+import { CompleteAddress, type ContractClassWithId, type ContractInstanceWithAddress, type NodeInfo, type PartialAddress, type ProtocolContractAddresses } from '../contract/index.js';
+import { GasFees } from '../gas/gas_fees.js';
+import { type LogFilter } from '../logs/log_filter.js';
+import { UniqueNote } from '../note/extended_note.js';
+import { type NotesFilter } from '../note/notes_filter.js';
+import { PrivateExecutionResult, Tx, TxExecutionRequest, TxHash, TxProvingResult, TxReceipt, TxSimulationResult } from '../tx/index.js';
+import { TxEffect } from '../tx/tx_effect.js';
+import { type GetContractClassLogsResponse, type GetPublicLogsResponse } from './get_logs_response.js';
+/**
+ * Private eXecution Environment (PXE) runs locally for each user, providing functionality for all the operations
+ * needed to interact with the Aztec network, including account management, private data management,
+ * transaction local simulation, and access to an Aztec node. This interface, as part of a Wallet,
+ * is exposed to dapps for interacting with the network on behalf of the user.
+ */
+export interface PXE {
+    /**
+     * Returns whether an L1 to L2 message is synced by archiver and if it's ready to be included in a block.
+     * @param l1ToL2Message - The L1 to L2 message to check.
+     * @returns Whether the message is synced and ready to be included in a block.
+     */
+    isL1ToL2MessageSynced(l1ToL2Message: Fr): Promise<boolean>;
+    /**
+     * Insert an auth witness for a given message hash. Auth witnesses are used to authorize actions on
+     * behalf of a user. For instance, a token transfer initiated by a different address may request
+     * authorization from the user to move their tokens. This authorization is granted by the user
+     * account contract by verifying an auth witness requested to the execution oracle. Witnesses are
+     * usually a signature over a hash of the action to be authorized, but their actual contents depend
+     * on the account contract that consumes them.
+     *
+     * @param authWitness - The auth witness to insert. Composed of an identifier, which is the hash of
+     * the action to be authorized, and the actual witness as an array of fields, which are to be
+     * deserialized and processed by the account contract.
+     */
+    addAuthWitness(authWitness: AuthWitness): Promise<void>;
+    /**
+     * Fetches the serialized auth witness for a given message hash or returns undefined if not found.
+     * @param messageHash - The hash of the message for which to get the auth witness.
+     * @returns The serialized auth witness for the given message hash.
+     */
+    getAuthWitness(messageHash: Fr): Promise<Fr[] | undefined>;
+    /**
+     * Adds a capsule.
+     * @param contract - The address of the contract to add the capsule to.
+     * @param storageSlot - The storage slot to add the capsule to.
+     * @param capsule - An array of field elements representing the capsule.
+     * @remarks A capsule is a "blob" of data that is passed to the contract through an oracle. It works similarly
+     * to public contract storage in that it's indexed by the contract address and storage slot but instead of the global
+     * network state it's backed by local PXE db.
+     */
+    storeCapsule(contract: AztecAddress, storageSlot: Fr, capsule: Fr[]): Promise<void>;
+    /**
+     * Registers a user account in PXE given its master encryption private key.
+     * Once a new account is registered, the PXE Service will trial-decrypt all published notes on
+     * the chain and store those that correspond to the registered account. Will do nothing if the
+     * account is already registered.
+     *
+     * @param secretKey - Secret key of the corresponding user master public key.
+     * @param partialAddress - The partial address of the account contract corresponding to the account being registered.
+     * @returns The complete address of the account.
+     */
+    registerAccount(secretKey: Fr, partialAddress: PartialAddress): Promise<CompleteAddress>;
+    /**
+     * Retrieves the user accounts registered on this PXE Service.
+     * @returns An array of the accounts registered on this PXE Service.
+     */
+    getRegisteredAccounts(): Promise<CompleteAddress[]>;
+    /**
+     * Registers a user contact in PXE.
+     *
+     * Once a new contact is registered, the PXE Service will be able to receive notes tagged from this contact.
+     * Will do nothing if the account is already registered.
+     *
+     * @param address - Address of the user to add to the address book
+     * @returns The address address of the account.
+     */
+    registerSender(address: AztecAddress): Promise<AztecAddress>;
+    /**
+     * Retrieves the addresses stored as senders on this PXE Service.
+     * @returns An array of the senders on this PXE Service.
+     */
+    getSenders(): Promise<AztecAddress[]>;
+    /**
+     * Removes a sender in the address book.
+     */
+    removeSender(address: AztecAddress): Promise<void>;
+    /**
+     * Registers a contract class in the PXE without registering any associated contract instance with it.
+     *
+     * @param artifact - The build artifact for the contract class.
+     */
+    registerContractClass(artifact: ContractArtifact): Promise<void>;
+    /**
+     * Adds deployed contracts to the PXE Service. Deployed contract information is used to access the
+     * contract code when simulating local transactions. This is automatically called by aztec.js when
+     * deploying a contract. Dapps that wish to interact with contracts already deployed should register
+     * these contracts in their users' PXE Service through this method.
+     *
+     * @param contract - A contract instance to register, with an optional artifact which can be omitted if the contract class has already been registered.
+     */
+    registerContract(contract: {
+        instance: ContractInstanceWithAddress;
+        artifact?: ContractArtifact;
+    }): Promise<void>;
+    /**
+     * Updates a deployed contract in the PXE Service. This is used to update the contract artifact when
+     * an update has happened, so the new code can be used in the simulation of local transactions.
+     * This is called by aztec.js when instantiating a contract in a given address with a mismatching artifact.
+     * @param contractAddress - The address of the contract to update.
+     * @param artifact - The updated artifact for the contract.
+     */
+    updateContract(contractAddress: AztecAddress, artifact: ContractArtifact): Promise<void>;
+    /**
+     * Retrieves the addresses of contracts added to this PXE Service.
+     * @returns An array of contracts addresses registered on this PXE Service.
+     */
+    getContracts(): Promise<AztecAddress[]>;
+    /**
+     * Creates a proving result based on the provided preauthenticated execution request and the results
+     * of executing the private part of the transaction. This will assemble the zero-knowledge proof for the private execution.
+     * It returns an object that contains the proof and public inputs of the tail circuit, which can be converted into a Tx ready to be sent to the network
+     *
+     * @param txRequest - An authenticated tx request ready for proving
+     * @param privateExecutionResult - The result of the private execution of the transaction
+     * @returns A transaction ready to be sent to the network for execution.
+     * @throws If the code for the functions executed in this transaction has not been made available via `addContracts`.
+     * Also throws if simulatePublic is true and public simulation reverts.
+     */
+    proveTx(txRequest: TxExecutionRequest, privateExecutionResult: PrivateExecutionResult): Promise<TxProvingResult>;
+    /**
+     * Simulates a transaction based on the provided preauthenticated execution request.
+     * This will run a local simulation of private execution (and optionally of public as well), run the
+     * kernel circuits to ensure adherence to protocol rules (without generating a proof), and return the
+     * simulation results .
+     *
+     *
+     * Note that this is used with `ContractFunctionInteraction::simulateTx` to bypass certain checks.
+     * In that case, the transaction returned is only potentially ready to be sent to the network for execution.
+     *
+     *
+     * @param txRequest - An authenticated tx request ready for simulation
+     * @param simulatePublic - Whether to simulate the public part of the transaction.
+     * @param msgSender - (Optional) The message sender to use for the simulation.
+     * @param skipTxValidation - (Optional) If false, this function throws if the transaction is unable to be included in a block at the current state.
+     * @param profile - (Optional) If true, will run the private kernel prover with profiling enabled and include the result (gate count) in TxSimulationResult.
+     * @param scopes - (Optional) The accounts whose notes we can access in this call. Currently optional and will default to all.
+     * @returns A simulated transaction result object that includes public and private return values.
+     * @throws If the code for the functions executed in this transaction has not been made available via `addContracts`.
+     * Also throws if simulatePublic is true and public simulation reverts.
+     */
+    simulateTx(txRequest: TxExecutionRequest, simulatePublic: boolean, msgSender?: AztecAddress, skipTxValidation?: boolean, skipFeeEnforcement?: boolean, profile?: boolean, scopes?: AztecAddress[]): Promise<TxSimulationResult>;
+    /**
+     * Sends a transaction to an Aztec node to be broadcasted to the network and mined.
+     * @param tx - The transaction as created via `proveTx`.
+     * @returns A hash of the transaction, used to identify it.
+     */
+    sendTx(tx: Tx): Promise<TxHash>;
+    /**
+     * Fetches a transaction receipt for a given transaction hash. Returns a mined receipt if it was added
+     * to the chain, a pending receipt if it's still in the mempool of the connected Aztec node, or a dropped
+     * receipt if not found in the connected Aztec node.
+     *
+     * @param txHash - The transaction hash.
+     * @returns A receipt of the transaction.
+     */
+    getTxReceipt(txHash: TxHash): Promise<TxReceipt>;
+    /**
+     * Get a tx effect.
+     * @param txHash - The hash of a transaction which resulted in the returned tx effect.
+     * @returns The requested tx effect.
+     */
+    getTxEffect(txHash: TxHash): Promise<InBlock<TxEffect> | undefined>;
+    /**
+     * Gets the storage value at the given contract storage slot.
+     *
+     * @remarks The storage slot here refers to the slot as it is defined in Noir not the index in the merkle tree.
+     * Aztec's version of `eth_getStorageAt`.
+     *
+     * @param contract - Address of the contract to query.
+     * @param slot - Slot to query.
+     * @returns Storage value at the given contract slot.
+     * @throws If the contract is not deployed.
+     */
+    getPublicStorageAt(contract: AztecAddress, slot: Fr): Promise<Fr>;
+    /**
+     * Gets notes registered in this PXE based on the provided filter.
+     * @param filter - The filter to apply to the notes.
+     * @returns The requested notes.
+     */
+    getNotes(filter: NotesFilter): Promise<UniqueNote[]>;
+    /**
+     * Fetches an L1 to L2 message from the node.
+     * @param contractAddress - Address of a contract by which the message was emitted.
+     * @param messageHash - Hash of the message.
+     * @param secret - Secret used to compute a nullifier.
+     * @dev Contract address and secret are only used to compute the nullifier to get non-nullified messages
+     * @returns The l1 to l2 membership witness (index of message in the tree and sibling path).
+     */
+    getL1ToL2MembershipWitness(contractAddress: AztecAddress, messageHash: Fr, secret: Fr): Promise<[bigint, SiblingPath<typeof L1_TO_L2_MSG_TREE_HEIGHT>]>;
+    /**
+     * Gets the membership witness for a message that was emitted at a particular block
+     * @param blockNumber - The block number in which to search for the message
+     * @param l2Tol1Message - The message to search for
+     * @returns The membership witness for the message
+     */
+    getL2ToL1MembershipWitness(blockNumber: number, l2Tol1Message: Fr): Promise<[bigint, SiblingPath<number>]>;
+    /**
+     * Get the given block.
+     * @param number - The block number being requested.
+     * @returns The blocks requested.
+     */
+    getBlock(number: number): Promise<L2Block | undefined>;
+    /**
+     * Method to fetch the current base fees.
+     * @returns The current base fees.
+     */
+    getCurrentBaseFees(): Promise<GasFees>;
+    /**
+     * Simulate the execution of an unconstrained function on a deployed contract without actually modifying state.
+     * This is useful to inspect contract state, for example fetching a variable value or calling a getter function.
+     * The function takes function name and arguments as parameters, along with the contract address
+     * and optionally the sender's address.
+     *
+     * @param functionName - The name of the function to be called in the contract.
+     * @param args - The arguments to be provided to the function.
+     * @param to - The address of the contract to be called.
+     * @param from - (Optional) The msg sender to set for the call.
+     * @param scopes - (Optional) The accounts whose notes we can access in this call. Currently optional and will default to all.
+     * @returns The result of the view function call, structured based on the function ABI.
+     */
+    simulateUnconstrained(functionName: string, args: any[], to: AztecAddress, from?: AztecAddress, scopes?: AztecAddress[]): Promise<AbiDecoded>;
+    /**
+     * Gets public logs based on the provided filter.
+     * @param filter - The filter to apply to the logs.
+     * @returns The requested logs.
+     */
+    getPublicLogs(filter: LogFilter): Promise<GetPublicLogsResponse>;
+    /**
+     * Gets contract class logs based on the provided filter.
+     * @param filter - The filter to apply to the logs.
+     * @returns The requested logs.
+     */
+    getContractClassLogs(filter: LogFilter): Promise<GetContractClassLogsResponse>;
+    /**
+     * Fetches the current block number.
+     * @returns The block number.
+     */
+    getBlockNumber(): Promise<number>;
+    /**
+     * Fetches the current proven block number.
+     * @returns The block number.
+     */
+    getProvenBlockNumber(): Promise<number>;
+    /**
+     * Returns the information about the server's node. Includes current Node version, compatible Noir version,
+     * L1 chain identifier, protocol version, and L1 address of the rollup contract.
+     * @returns - The node information.
+     */
+    getNodeInfo(): Promise<NodeInfo>;
+    /**
+     * Returns information about this PXE.
+     */
+    getPXEInfo(): Promise<PXEInfo>;
+    /**
+     * Returns the contract metadata given an address.
+     * The metadata consists of its contract instance, which includes the contract class identifier,
+     * initialization hash, deployment salt, and public keys hash; whether the contract instance has been initialized;
+     * and whether the contract instance with the given address has been publicly deployed.
+     * @remark - it queries the node to check whether the contract instance has been initialized / publicly deployed through a node.
+     * This query is not dependent on the PXE.
+     * @param address - The address that the contract instance resides at.
+     * @returns - It returns the contract metadata
+     * TODO(@spalladino): Should we return the public keys in plain as well here?
+     */
+    getContractMetadata(address: AztecAddress): Promise<ContractMetadata>;
+    /**
+     * Returns the contract class metadata given a contract class id.
+     * The metadata consists of its contract class, whether it has been publicly registered, and its artifact.
+     * @remark - it queries the node to check whether the contract class with the given id has been publicly registered.
+     * @param id - Identifier of the class.
+     * @param includeArtifact - Identifier of the class.
+     * @returns - It returns the contract class metadata, with the artifact field being optional, and will only be returned if true is passed in
+     * for `includeArtifact`
+     * TODO(@spalladino): The PXE actually holds artifacts and not classes, what should we return? Also,
+     * should the pxe query the node for contract public info, and merge it with its own definitions?
+     * TODO(@spalladino): This method is strictly needed to decide whether to publicly register a class or not
+     * during a public deployment. We probably want a nicer and more general API for this, but it'll have to
+     * do for the time being.
+     */
+    getContractClassMetadata(id: Fr, includeArtifact?: boolean): Promise<ContractClassMetadata>;
+    /**
+     * Returns the private events given search parameters.
+     * @param eventMetadata - Metadata of the event. This should be the class generated from the contract. e.g. Contract.events.Event
+     * @param from - The block number to search from.
+     * @param limit - The amount of blocks to search.
+     * @param vpks - The incoming viewing public keys that can decrypt the log.
+     * @returns - The deserialized events.
+     */
+    getPrivateEvents<T>(eventMetadata: EventMetadataDefinition, from: number, limit: number, vpks: Point[]): Promise<T[]>;
+    /**
+     * Returns the public events given search parameters.
+     * @param eventMetadata - Metadata of the event. This should be the class generated from the contract. e.g. Contract.events.Event
+     * @param from - The block number to search from.
+     * @param limit - The amount of blocks to search.
+     * @returns - The deserialized events.
+     */
+    getPublicEvents<T>(eventMetadata: EventMetadataDefinition, from: number, limit: number): Promise<T[]>;
+}
+export type EventMetadataDefinition = {
+    eventSelector: EventSelector;
+    abiType: AbiType;
+    fieldNames: string[];
+};
+/** This is used in getting events via the filter */
+export declare enum EventType {
+    Encrypted = "Encrypted",
+    Unencrypted = "Unencrypted"
+}
+/** Provides basic information about the running PXE. */
+export interface PXEInfo {
+    /** Version as tracked in the aztec-packages repository. */
+    pxeVersion: string;
+    /** Protocol contract addresses */
+    protocolContractAddresses: ProtocolContractAddresses;
+}
+export interface ContractMetadata {
+    contractInstance?: ContractInstanceWithAddress | undefined;
+    isContractInitialized: boolean;
+    isContractPubliclyDeployed: boolean;
+}
+export interface ContractClassMetadata {
+    contractClass?: ContractClassWithId | undefined;
+    isContractClassPubliclyRegistered: boolean;
+    artifact?: ContractArtifact | undefined;
+}
+export declare const PXESchema: ApiSchemaFor<PXE>;
+//# sourceMappingURL=pxe.d.ts.map

package/dest/interfaces/pxe.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pxe.d.ts","sourceRoot":"","sources":["../../src/interfaces/pxe.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAC;AAC5D,OAAO,KAAK,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,0BAA0B,CAAC;AAC1D,OAAO,KAAK,EAAE,YAAY,EAAU,MAAM,2BAA2B,CAAC;AACtE,OAAO,EAAE,WAAW,EAAE,MAAM,yBAAyB,CAAC;AAItD,OAAO,EAAE,KAAK,OAAO,EAAiB,KAAK,gBAAgB,EAA0B,MAAM,eAAe,CAAC;AAC3G,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACpD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,0BAA0B,CAAC;AAC9D,OAAO,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AAC9D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,2BAA2B,CAAC;AAC9D,OAAO,EAAE,KAAK,OAAO,EAAoB,MAAM,sBAAsB,CAAC;AACtE,OAAO,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAC/C,OAAO,EACL,eAAe,EACf,KAAK,mBAAmB,EAExB,KAAK,2BAA2B,EAEhC,KAAK,QAAQ,EAEb,KAAK,cAAc,EACnB,KAAK,yBAAyB,EAE/B,MAAM,sBAAsB,CAAC;AAC9B,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAC;AAC7C,OAAO,EAAE,KAAK,SAAS,EAAmB,MAAM,uBAAuB,CAAC;AACxE,OAAO,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AACtD,OAAO,EAAE,KAAK,WAAW,EAAqB,MAAM,yBAAyB,CAAC;AAE9E,OAAO,EACL,sBAAsB,EACtB,EAAE,EACF,kBAAkB,EAClB,MAAM,EACN,eAAe,EACf,SAAS,EACT,kBAAkB,EACnB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EACL,KAAK,4BAA4B,EAEjC,KAAK,qBAAqB,EAE3B,MAAM,wBAAwB,CAAC;AAGhC;;;;;GAKG;AACH,MAAM,WAAW,GAAG;IAClB;;;;OAIG;IACH,qBAAqB,CAAC,aAAa,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAE3D;;;;;;;;;;;OAWG;IACH,cAAc,CAAC,WAAW,EAAE,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAExD;;;;OAIG;IACH,cAAc,CAAC,WAAW,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,EAAE,GAAG,SAAS,CAAC,CAAC;IAE3D;;;;;;;;OAQG;IACH,YAAY,CAAC,QAAQ,EAAE,YAAY,EAAE,WAAW,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEpF;;;;;;;;;OASG;IACH,eAAe,CAAC,SAAS,EAAE,EAAE,EAAE,cAAc,EAAE,cAAc,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAEzF;;;OAGG;IACH,qBAAqB,IAAI,OAAO,CAAC,eAAe,EAAE,CAAC,CAAC;IAEpD;;;;;;;;OAQG;IACH,cAAc,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,YAAY,CAAC,CAAC;IAE7D;;;OAGG;IACH,UAAU,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAEtC;;OAEG;IACH,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEnD;;;;OAIG;IACH,qBAAqB,CAAC,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEjE;;;;;;;OAOG;IACH,gBAAgB,CAAC,QAAQ,EAAE;QAAE,QAAQ,EAAE,2BAA2B,CAAC;QAAC,QAAQ,CAAC,EAAE,gBAAgB,CAAA;KAAE,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAElH;;;;;;OAMG;IACH,cAAc,CAAC,eAAe,EAAE,YAAY,EAAE,QAAQ,EAAE,gBAAgB,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEzF;;;OAGG;IACH,YAAY,IAAI,OAAO,CAAC,YAAY,EAAE,CAAC,CAAC;IAExC;;;;;;;;;;OAUG;IACH,OAAO,CAAC,SAAS,EAAE,kBAAkB,EAAE,sBAAsB,EAAE,sBAAsB,GAAG,OAAO,CAAC,eAAe,CAAC,CAAC;IAEjH;;;;;;;;;;;;;;;;;;;;OAoBG;IACH,UAAU,CACR,SAAS,EAAE,kBAAkB,EAC7B,cAAc,EAAE,OAAO,EACvB,SAAS,CAAC,EAAE,YAAY,EACxB,gBAAgB,CAAC,EAAE,OAAO,EAC1B,kBAAkB,CAAC,EAAE,OAAO,EAC5B,OAAO,CAAC,EAAE,OAAO,EACjB,MAAM,CAAC,EAAE,YAAY,EAAE,GACtB,OAAO,CAAC,kBAAkB,CAAC,CAAC;IAE/B;;;;OAIG;IACH,MAAM,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAEhC;;;;;;;OAOG;IACH,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IAEjD;;;;OAIG;IACH,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,CAAC,QAAQ,CAAC,GAAG,SAAS,CAAC,CAAC;IAEpE;;;;;;;;;;OAUG;IACH,kBAAkB,CAAC,QAAQ,EAAE,YAAY,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,CAAC,EAAE,CAAC,CAAC;IAElE;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,WAAW,GAAG,OAAO,CAAC,UAAU,EAAE,CAAC,CAAC;IAErD;;;;;;;OAOG;IACH,0BAA0B,CACxB,eAAe,EAAE,YAAY,EAC7B,WAAW,EAAE,EAAE,EACf,MAAM,EAAE,EAAE,GACT,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,OAAO,wBAAwB,CAAC,CAAC,CAAC,CAAC;IAEnE;;;;;OAKG;IACH,0BAA0B,CAAC,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,EAAE,GAAG,OAAO,CAAC,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAE3G;;;;OAIG;IACH,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,OAAO,GAAG,SAAS,CAAC,CAAC;IAEvD;;;OAGG;IACH,kBAAkB,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;IAEvC;;;;;;;;;;;;OAYG;IACH,qBAAqB,CACnB,YAAY,EAAE,MAAM,EACpB,IAAI,EAAE,GAAG,EAAE,EACX,EAAE,EAAE,YAAY,EAChB,IAAI,CAAC,EAAE,YAAY,EACnB,MAAM,CAAC,EAAE,YAAY,EAAE,GACtB,OAAO,CAAC,UAAU,CAAC,CAAC;IAEvB;;;;OAIG;IACH,aAAa,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAEjE;;;;OAIG;IACH,oBAAoB,CAAC,MAAM,EAAE,SAAS,GAAG,OAAO,CAAC,4BAA4B,CAAC,CAAC;IAE/E;;;OAGG;IACH,cAAc,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAElC;;;OAGG;IACH,oBAAoB,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAExC;;;;OAIG;IACH,WAAW,IAAI,OAAO,CAAC,QAAQ,CAAC,CAAC;IAEjC;;OAEG;IACH,UAAU,IAAI,OAAO,CAAC,OAAO,CAAC,CAAC;IAE/B;;;;;;;;;;OAUG;IACH,mBAAmB,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;IAEtE;;;;;;;;;;;;;OAaG;IACH,wBAAwB,CAAC,EAAE,EAAE,EAAE,EAAE,eAAe,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,qBAAqB,CAAC,CAAC;IAE5F;;;;;;;OAOG;IACH,gBAAgB,CAAC,CAAC,EAAE,aAAa,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;IAEtH;;;;;;OAMG;IACH,eAAe,CAAC,CAAC,EAAE,aAAa,EAAE,uBAAuB,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC;CACvG;AAGD,MAAM,MAAM,uBAAuB,GAAG;IACpC,aAAa,EAAE,aAAa,CAAC;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,UAAU,EAAE,MAAM,EAAE,CAAC;CACtB,CAAC;AAQF,oDAAoD;AACpD,oBAAY,SAAS;IACnB,SAAS,cAAc;IACvB,WAAW,gBAAgB;CAC5B;AAED,wDAAwD;AACxD,MAAM,WAAW,OAAO;IACtB,2DAA2D;IAC3D,UAAU,EAAE,MAAM,CAAC;IACnB,kCAAkC;IAClC,yBAAyB,EAAE,yBAAyB,CAAC;CACtD;AAED,MAAM,WAAW,gBAAgB;IAC/B,gBAAgB,CAAC,EAAE,2BAA2B,GAAG,SAAS,CAAC;IAC3D,qBAAqB,EAAE,OAAO,CAAC;IAC/B,0BAA0B,EAAE,OAAO,CAAC;CACrC;AAED,MAAM,WAAW,qBAAqB;IACpC,aAAa,CAAC,EAAE,mBAAmB,GAAG,SAAS,CAAC;IAChD,iCAAiC,EAAE,OAAO,CAAC;IAC3C,QAAQ,CAAC,EAAE,gBAAgB,GAAG,SAAS,CAAC;CACzC;AAmBD,eAAO,MAAM,SAAS,EAAE,YAAY,CAAC,GAAG,CAiFvC,CAAC"}

package/dest/interfaces/pxe.js

@@ -0,0 +1,104 @@
+import { L1_TO_L2_MSG_TREE_HEIGHT } from '@aztec/constants';
+import { SiblingPath } from '@aztec/foundation/trees';
+import { z } from 'zod';
+import { AbiTypeSchema, ContractArtifactSchema } from '../abi/abi.js';
+import { AuthWitness } from '../auth_witness/auth_witness.js';
+import { inBlockSchemaFor } from '../block/in_block.js';
+import { L2Block } from '../block/l2_block.js';
+import { CompleteAddress, ContractClassWithIdSchema, ContractInstanceWithAddressSchema, NodeInfoSchema, ProtocolContractAddressesSchema } from '../contract/index.js';
+import { GasFees } from '../gas/gas_fees.js';
+import { LogFilterSchema } from '../logs/log_filter.js';
+import { UniqueNote } from '../note/extended_note.js';
+import { NotesFilterSchema } from '../note/notes_filter.js';
+import { AbiDecodedSchema, optional, schemas } from '../schemas/schemas.js';
+import { PrivateExecutionResult, Tx, TxExecutionRequest, TxHash, TxProvingResult, TxReceipt, TxSimulationResult } from '../tx/index.js';
+import { TxEffect } from '../tx/tx_effect.js';
+import { GetContractClassLogsResponseSchema, GetPublicLogsResponseSchema } from './get_logs_response.js';
+const EventMetadataDefinitionSchema = z.object({
+    eventSelector: schemas.EventSelector,
+    abiType: AbiTypeSchema,
+    fieldNames: z.array(z.string())
+});
+/** This is used in getting events via the filter */ export var EventType = /*#__PURE__*/ function(EventType) {
+    EventType["Encrypted"] = "Encrypted";
+    EventType["Unencrypted"] = "Unencrypted";
+    return EventType;
+}({});
+const ContractMetadataSchema = z.object({
+    contractInstance: z.union([
+        ContractInstanceWithAddressSchema,
+        z.undefined()
+    ]),
+    isContractInitialized: z.boolean(),
+    isContractPubliclyDeployed: z.boolean()
+});
+const ContractClassMetadataSchema = z.object({
+    contractClass: z.union([
+        ContractClassWithIdSchema,
+        z.undefined()
+    ]),
+    isContractClassPubliclyRegistered: z.boolean(),
+    artifact: z.union([
+        ContractArtifactSchema,
+        z.undefined()
+    ])
+});
+const PXEInfoSchema = z.object({
+    pxeVersion: z.string(),
+    protocolContractAddresses: ProtocolContractAddressesSchema
+});
+export const PXESchema = {
+    isL1ToL2MessageSynced: z.function().args(schemas.Fr).returns(z.boolean()),
+    addAuthWitness: z.function().args(AuthWitness.schema).returns(z.void()),
+    getAuthWitness: z.function().args(schemas.Fr).returns(z.union([
+        z.undefined(),
+        z.array(schemas.Fr)
+    ])),
+    storeCapsule: z.function().args(schemas.AztecAddress, schemas.Fr, z.array(schemas.Fr)).returns(z.void()),
+    registerAccount: z.function().args(schemas.Fr, schemas.Fr).returns(CompleteAddress.schema),
+    getRegisteredAccounts: z.function().returns(z.array(CompleteAddress.schema)),
+    registerSender: z.function().args(schemas.AztecAddress).returns(schemas.AztecAddress),
+    getSenders: z.function().returns(z.array(schemas.AztecAddress)),
+    removeSender: z.function().args(schemas.AztecAddress).returns(z.void()),
+    registerContractClass: z.function().args(ContractArtifactSchema).returns(z.void()),
+    registerContract: z.function().args(z.object({
+        instance: ContractInstanceWithAddressSchema,
+        artifact: z.optional(ContractArtifactSchema)
+    })).returns(z.void()),
+    updateContract: z.function().args(schemas.AztecAddress, ContractArtifactSchema).returns(z.void()),
+    getContracts: z.function().returns(z.array(schemas.AztecAddress)),
+    proveTx: z.function().args(TxExecutionRequest.schema, PrivateExecutionResult.schema).returns(TxProvingResult.schema),
+    simulateTx: z.function().args(TxExecutionRequest.schema, z.boolean(), optional(schemas.AztecAddress), optional(z.boolean()), optional(z.boolean()), optional(z.boolean()), optional(z.array(schemas.AztecAddress))).returns(TxSimulationResult.schema),
+    sendTx: z.function().args(Tx.schema).returns(TxHash.schema),
+    getTxReceipt: z.function().args(TxHash.schema).returns(TxReceipt.schema),
+    getTxEffect: z.function().args(TxHash.schema).returns(z.union([
+        inBlockSchemaFor(TxEffect.schema),
+        z.undefined()
+    ])),
+    getPublicStorageAt: z.function().args(schemas.AztecAddress, schemas.Fr).returns(schemas.Fr),
+    getNotes: z.function().args(NotesFilterSchema).returns(z.array(UniqueNote.schema)),
+    getL1ToL2MembershipWitness: z.function().args(schemas.AztecAddress, schemas.Fr, schemas.Fr).returns(z.tuple([
+        schemas.BigInt,
+        SiblingPath.schemaFor(L1_TO_L2_MSG_TREE_HEIGHT)
+    ])),
+    getL2ToL1MembershipWitness: z.function().args(z.number(), schemas.Fr).returns(z.tuple([
+        schemas.BigInt,
+        SiblingPath.schema
+    ])),
+    getBlock: z.function().args(z.number()).returns(z.union([
+        L2Block.schema,
+        z.undefined()
+    ])),
+    getCurrentBaseFees: z.function().returns(GasFees.schema),
+    simulateUnconstrained: z.function().args(z.string(), z.array(z.any()), schemas.AztecAddress, optional(schemas.AztecAddress), optional(z.array(schemas.AztecAddress))).returns(AbiDecodedSchema),
+    getPublicLogs: z.function().args(LogFilterSchema).returns(GetPublicLogsResponseSchema),
+    getContractClassLogs: z.function().args(LogFilterSchema).returns(GetContractClassLogsResponseSchema),
+    getBlockNumber: z.function().returns(z.number()),
+    getProvenBlockNumber: z.function().returns(z.number()),
+    getNodeInfo: z.function().returns(NodeInfoSchema),
+    getPXEInfo: z.function().returns(PXEInfoSchema),
+    getContractMetadata: z.function().args(schemas.AztecAddress).returns(ContractMetadataSchema),
+    getContractClassMetadata: z.function().args(schemas.Fr, optional(z.boolean())).returns(ContractClassMetadataSchema),
+    getPrivateEvents: z.function().args(EventMetadataDefinitionSchema, z.number(), z.number(), z.array(schemas.Point)).returns(z.array(AbiDecodedSchema)),
+    getPublicEvents: z.function().args(EventMetadataDefinitionSchema, z.number(), z.number()).returns(z.array(AbiDecodedSchema))
+};

package/dest/interfaces/server.d.ts

@@ -0,0 +1,20 @@
+export * from './archiver.js';
+export * from './block-builder.js';
+export * from './configs.js';
+export * from './epoch-prover.js';
+export * from './processed-tx-handler.js';
+export * from './prover-agent.js';
+export * from './prover-client.js';
+export * from './prover-coordination.js';
+export * from './prover-node.js';
+export * from './proving-job-source.js';
+export * from './proving-job.js';
+export * from './server_circuit_prover.js';
+export * from './service.js';
+export * from './world_state.js';
+export * from './prover-broker.js';
+export * from './p2p.js';
+export * from './p2p-bootstrap.js';
+export * from './l2_logs_source.js';
+export * from './merkle_tree_operations.js';
+//# sourceMappingURL=server.d.ts.map

package/dest/interfaces/server.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server.d.ts","sourceRoot":"","sources":["../../src/interfaces/server.ts"],"names":[],"mappings":"AAAA,cAAc,eAAe,CAAC;AAC9B,cAAc,oBAAoB,CAAC;AACnC,cAAc,cAAc,CAAC;AAC7B,cAAc,mBAAmB,CAAC;AAClC,cAAc,2BAA2B,CAAC;AAC1C,cAAc,mBAAmB,CAAC;AAClC,cAAc,oBAAoB,CAAC;AACnC,cAAc,0BAA0B,CAAC;AACzC,cAAc,kBAAkB,CAAC;AACjC,cAAc,yBAAyB,CAAC;AACxC,cAAc,kBAAkB,CAAC;AACjC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,cAAc,CAAC;AAC7B,cAAc,kBAAkB,CAAC;AACjC,cAAc,oBAAoB,CAAC;AACnC,cAAc,UAAU,CAAC;AACzB,cAAc,oBAAoB,CAAC;AACnC,cAAc,qBAAqB,CAAC;AACpC,cAAc,6BAA6B,CAAC"}

package/dest/interfaces/server.js

@@ -0,0 +1,19 @@
+export * from './archiver.js';
+export * from './block-builder.js';
+export * from './configs.js';
+export * from './epoch-prover.js';
+export * from './processed-tx-handler.js';
+export * from './prover-agent.js';
+export * from './prover-client.js';
+export * from './prover-coordination.js';
+export * from './prover-node.js';
+export * from './proving-job-source.js';
+export * from './proving-job.js';
+export * from './server_circuit_prover.js';
+export * from './service.js';
+export * from './world_state.js';
+export * from './prover-broker.js';
+export * from './p2p.js';
+export * from './p2p-bootstrap.js';
+export * from './l2_logs_source.js';
+export * from './merkle_tree_operations.js';

package/dest/interfaces/server_circuit_prover.d.ts

@@ -0,0 +1,86 @@
+import type { AVM_PROOF_LENGTH_IN_FIELDS, NESTED_RECURSIVE_PROOF_LENGTH, NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH, RECURSIVE_PROOF_LENGTH, TUBE_PROOF_LENGTH } from '@aztec/constants';
+import type { AvmCircuitInputs } from '../avm/avm.js';
+import type { BaseParityInputs } from '../parity/base_parity_inputs.js';
+import type { ParityPublicInputs } from '../parity/parity_public_inputs.js';
+import type { RootParityInputs } from '../parity/root_parity_inputs.js';
+import type { BaseOrMergeRollupPublicInputs } from '../rollup/base_or_merge_rollup_public_inputs.js';
+import type { BlockMergeRollupInputs } from '../rollup/block_merge_rollup.js';
+import type { BlockRootOrBlockMergePublicInputs } from '../rollup/block_root_or_block_merge_public_inputs.js';
+import type { BlockRootRollupInputs, SingleTxBlockRootRollupInputs } from '../rollup/block_root_rollup.js';
+import type { EmptyBlockRootRollupInputs } from '../rollup/empty_block_root_rollup_inputs.js';
+import type { MergeRollupInputs } from '../rollup/merge_rollup.js';
+import type { PrivateBaseRollupInputs } from '../rollup/private_base_rollup_inputs.js';
+import type { PublicBaseRollupInputs } from '../rollup/public_base_rollup_inputs.js';
+import type { RootRollupInputs, RootRollupPublicInputs } from '../rollup/root_rollup.js';
+import type { TubeInputs } from '../rollup/tube_inputs.js';
+import type { Tx } from '../tx/tx.js';
+import type { ProofAndVerificationKey, PublicInputsAndRecursiveProof } from './proving-job.js';
+/**
+ * Generates proofs for parity and rollup circuits.
+ */
+export interface ServerCircuitProver {
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getBaseParityProof(inputs: BaseParityInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<ParityPublicInputs, typeof RECURSIVE_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getRootParityProof(inputs: RootParityInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<ParityPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getPrivateBaseRollupProof(baseRollupInput: PrivateBaseRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getPublicBaseRollupProof(inputs: PublicBaseRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Get a recursively verified client IVC proof (making it a compatible honk proof for the rest of the rollup).
+     * @param input - Input to the circuit.
+     */
+    getTubeProof(tubeInput: TubeInputs, signal?: AbortSignal, epochNumber?: number): Promise<ProofAndVerificationKey<typeof TUBE_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getMergeRollupProof(input: MergeRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BaseOrMergeRollupPublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getBlockRootRollupProof(input: BlockRootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    getSingleTxBlockRootRollupProof(input: SingleTxBlockRootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getEmptyBlockRootRollupProof(input: EmptyBlockRootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getBlockMergeRollupProof(input: BlockMergeRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<BlockRootOrBlockMergePublicInputs, typeof NESTED_RECURSIVE_ROLLUP_HONK_PROOF_LENGTH>>;
+    /**
+     * Creates a proof for the given input.
+     * @param input - Input to the circuit.
+     */
+    getRootRollupProof(input: RootRollupInputs, signal?: AbortSignal, epochNumber?: number): Promise<PublicInputsAndRecursiveProof<RootRollupPublicInputs, typeof NESTED_RECURSIVE_PROOF_LENGTH>>;
+    /**
+     * Create a proof for the AVM circuit.
+     * @param inputs - Inputs to the AVM circuit.
+     */
+    getAvmProof(inputs: AvmCircuitInputs, signal?: AbortSignal, epochNumber?: number): Promise<ProofAndVerificationKey<typeof AVM_PROOF_LENGTH_IN_FIELDS>>;
+}
+/**
+ * A verifier used by nodes to check tx proofs are valid.
+ */
+export interface ClientProtocolCircuitVerifier {
+    /**
+     * Verifies the private protocol circuit's proof.
+     * @param tx - The tx to verify the proof of
+     * @returns True if the proof is valid, false otherwise
+     */
+    verifyProof(tx: Tx): Promise<boolean>;
+}
+//# sourceMappingURL=server_circuit_prover.d.ts.map

package/dest/interfaces/server_circuit_prover.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"server_circuit_prover.d.ts","sourceRoot":"","sources":["../../src/interfaces/server_circuit_prover.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,0BAA0B,EAC1B,6BAA6B,EAC7B,yCAAyC,EACzC,sBAAsB,EACtB,iBAAiB,EAClB,MAAM,kBAAkB,CAAC;AAE1B,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACtD,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AACxE,OAAO,KAAK,EAAE,6BAA6B,EAAE,MAAM,iDAAiD,CAAC;AACrG,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,iCAAiC,CAAC;AAC9E,OAAO,KAAK,EAAE,iCAAiC,EAAE,MAAM,sDAAsD,CAAC;AAC9G,OAAO,KAAK,EAAE,qBAAqB,EAAE,6BAA6B,EAAE,MAAM,gCAAgC,CAAC;AAC3G,OAAO,KAAK,EAAE,0BAA0B,EAAE,MAAM,6CAA6C,CAAC;AAC9F,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,2BAA2B,CAAC;AACnE,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,yCAAyC,CAAC;AACvF,OAAO,KAAK,EAAE,sBAAsB,EAAE,MAAM,wCAAwC,CAAC;AACrF,OAAO,KAAK,EAAE,gBAAgB,EAAE,sBAAsB,EAAE,MAAM,0BAA0B,CAAC;AACzF,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,0BAA0B,CAAC;AAC3D,OAAO,KAAK,EAAE,EAAE,EAAE,MAAM,aAAa,CAAC;AACtC,OAAO,KAAK,EAAE,uBAAuB,EAAE,6BAA6B,EAAE,MAAM,kBAAkB,CAAC;AAE/F;;GAEG;AACH,MAAM,WAAW,mBAAmB;IAClC;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,sBAAsB,CAAC,CAAC,CAAC;IAE7F;;;OAGG;IACH,kBAAkB,CAChB,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,kBAAkB,EAAE,OAAO,6BAA6B,CAAC,CAAC,CAAC;IAEpG;;;OAGG;IACH,yBAAyB,CACvB,eAAe,EAAE,uBAAuB,EACxC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G,CAAC;IAEF,wBAAwB,CACtB,MAAM,EAAE,sBAAsB,EAC9B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G,CAAC;IAEF;;;OAGG;IACH,YAAY,CACV,SAAS,EAAE,UAAU,EACrB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC;IAE9D;;;OAGG;IACH,mBAAmB,CACjB,KAAK,EAAE,iBAAiB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,6BAA6B,EAAE,OAAO,yCAAyC,CAAC,CAC/G,CAAC;IAEF;;;OAGG;IACH,uBAAuB,CACrB,KAAK,EAAE,qBAAqB,EAC5B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF,+BAA+B,CAC7B,KAAK,EAAE,6BAA6B,EACpC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF;;;OAGG;IACH,4BAA4B,CAC1B,KAAK,EAAE,0BAA0B,EACjC,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF;;;OAGG;IACH,wBAAwB,CACtB,KAAK,EAAE,sBAAsB,EAC7B,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CACR,6BAA6B,CAAC,iCAAiC,EAAE,OAAO,yCAAyC,CAAC,CACnH,CAAC;IAEF;;;OAGG;IACH,kBAAkB,CAChB,KAAK,EAAE,gBAAgB,EACvB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,6BAA6B,CAAC,sBAAsB,EAAE,OAAO,6BAA6B,CAAC,CAAC,CAAC;IAExG;;;OAGG;IACH,WAAW,CACT,MAAM,EAAE,gBAAgB,EACxB,MAAM,CAAC,EAAE,WAAW,EACpB,WAAW,CAAC,EAAE,MAAM,GACnB,OAAO,CAAC,uBAAuB,CAAC,OAAO,0BAA0B,CAAC,CAAC,CAAC;CACxE;AAED;;GAEG;AACH,MAAM,WAAW,6BAA6B;IAC5C;;;;OAIG;IACH,WAAW,CAAC,EAAE,EAAE,EAAE,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;CACvC"}

package/dest/interfaces/server_circuit_prover.js

@@ -0,0 +1,3 @@
+/**
+ * A verifier used by nodes to check tx proofs are valid.
+ */ export { };

package/dest/interfaces/service.d.ts

@@ -0,0 +1,15 @@
+import type { Logger } from '@aztec/foundation/log';
+import type { Maybe } from '@aztec/foundation/types';
+/** Represents a local service that can be started and stopped. */
+export interface Service {
+    /**
+     * Starts the service.
+     * @param waitUntilSynced - Whether to wait until the service is fully synched before returning.
+     */
+    start(waitUntilSynced?: boolean): Promise<void>;
+    /** Stops the service. */
+    stop(): Promise<void>;
+}
+/** Tries to call stop on a given object and awaits it. Logs any errors and does not rethrow. */
+export declare function tryStop(service: Maybe<Service>, logger?: Logger): Promise<void>;
+//# sourceMappingURL=service.d.ts.map

package/dest/interfaces/service.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"service.d.ts","sourceRoot":"","sources":["../../src/interfaces/service.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,uBAAuB,CAAC;AACpD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,yBAAyB,CAAC;AAErD,kEAAkE;AAClE,MAAM,WAAW,OAAO;IACtB;;;OAGG;IACH,KAAK,CAAC,eAAe,CAAC,EAAE,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAEhD,yBAAyB;IACzB,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CACvB;AAED,gGAAgG;AAChG,wBAAsB,OAAO,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,CAQrF"}

package/dest/interfaces/service.js

@@ -0,0 +1,7 @@
+/** Tries to call stop on a given object and awaits it. Logs any errors and does not rethrow. */ export async function tryStop(service, logger) {
+    try {
+        return typeof service === 'object' && service && 'stop' in service && typeof service.stop === 'function' ? await service.stop() : Promise.resolve();
+    } catch (err) {
+        logger?.error(`Error stopping service ${service.constructor?.name}: ${err}`);
+    }
+}