import { CircuitValue, CircuitValue256, RawCircuitInput } from "@axiom-crypto/halo2-lib-js";
/**
 * Retrieves the account information for a specific block and address.
 *
 * @param blockNumber - The block number.
 * @param address - The address of the account.
 * @returns An `Account` object to fetch individual account fields.
 */
declare const getAccount: (blockNumber: number | CircuitValue, address: string | CircuitValue) => Readonly<import("./account").Account>;
/**
 * Retrieves the receipt information for a specific transaction hash.
 *
 * @param blockNumber The block number
 * @param txIdx The transaction index in the block
 * @returns A `Receipt` object to fetch individual receipt fields.
 */
declare const getReceipt: (blockNumber: number | CircuitValue, txIdx: number | CircuitValue) => Readonly<import("./receipt").Receipt>;
/**
 * Retrieves the storage information for a specific block and address.
 *
 * @param blockNumber The block number.
 * @param address The address of the contract.
 * @returns A `Storage` object to fetch individual storage slots.
 */
declare const getStorage: (blockNumber: number | CircuitValue, address: string | CircuitValue) => Readonly<import("./storage").Storage>;
/**
 * Retrieves the transaction information for a specific transaction hash.
 *
 * @param blockNumber The block number
 * @param txIdx The transaction index in the block
 * @returns A `Tx` object to fetch individual transaction fields.
 */
declare const getTx: (blockNumber: number | CircuitValue, txIdx: number | CircuitValue) => Readonly<import("./tx").Tx>;
/**
 * Retrieves the header information for a specific block number.
 *
 * @param blockNumber - The block number.
 * @returns A `Header` object to fetch individual header fields.
 */
declare const getHeader: (blockNumber: number | CircuitValue) => Readonly<import("./header").Header>;
/**
 * Retrieves the solidity mapping information for a specific block, address, and slot.
 *
 * @param blockNumber - The block number.
 * @param address - The address of the contract.
 * @param slot - The slot of the mapping.
 * @returns A `SolidityMapping` object to fetch individual mapping slots.
 */
declare const getSolidityMapping: (blockNumber: number | CircuitValue, address: string | CircuitValue, slot: number | bigint | string | CircuitValue256 | CircuitValue) => Readonly<import("./mapping").SolidityMapping>;
/**
 * Adds a circuit value to the callback.
 *
 * @param a - The circuit value to add to the callback.
 */
declare const addToCallback: (a: CircuitValue | CircuitValue256) => void;
/**
 * Creates a `CircuitValue256` from a hi-lo `CircuitValue` pair.
 *
 * @param hi The hi `CircuitValue`.
 * @param lo The lo `CircuitValue`.
 * @returns A `CircuitValue256` object
 */
declare const getCircuitValue256FromHiLo: (hi: CircuitValue, lo: CircuitValue) => CircuitValue256;
/**
 * Creates a `CircuitValue256` from a `RawCircuitInput`.
 *
 * @param a The raw circuit input.
 * @returns A `CircuitValue256` witness object
 */
declare const getCircuitValue256: (a: RawCircuitInput) => CircuitValue256;
export { getAccount, getReceipt, getStorage, getTx, getHeader, getSolidityMapping, addToCallback, getCircuitValue256FromHiLo, getCircuitValue256, };
//# sourceMappingURL=index.d.ts.map