import { CircuitValue, RawCircuitInput, CircuitValue256 } from "@axiom-crypto/halo2-lib-js"; import { Halo2Wasm, Halo2LibWasm } from "@axiom-crypto/halo2-lib-js/wasm/web"; import { DataQuery } from "./utils"; import { DataSubquery } from "@axiom-crypto/tools"; export declare class AxiomData { private _halo2Wasm; private _halo2Lib; private _dataQuery; private _MAX_BITS; private _orderedDataQuery; private _results?; constructor(halo2Wasm: Halo2Wasm, halo2Lib: Halo2LibWasm, results?: { [key: string]: string; }); _getDataQuery(): DataQuery; _getOrderedDataQuery(): DataSubquery[]; private prepData; private getMaxNumBits; /** * 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. */ getAccount: (blockNumber: number | CircuitValue, address: string | CircuitValue) => Readonly; /** * 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. */ getReceipt: (blockNumber: number | CircuitValue, txIdx: number | CircuitValue) => Readonly; /** * 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. */ getStorage: (blockNumber: number | CircuitValue, address: string | CircuitValue) => Readonly; /** * 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. */ getTx: (blockNumber: number | CircuitValue, txIdx: number | CircuitValue) => Readonly; /** * Retrieves the header information for a specific block number. * * @param blockNumber - The block number. * @returns A `Header` object to fetch individual header fields. */ getHeader: (blockNumber: number | CircuitValue) => Readonly; /** * 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. */ getSolidityMapping: (blockNumber: number | CircuitValue, address: string | CircuitValue, slot: number | bigint | string | CircuitValue256 | CircuitValue) => Readonly; /** * Adds a circuit value to the callback. * * @param a - The circuit value to add to the callback. */ 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 */ getCircuitValue256FromHiLo: (hi: CircuitValue, lo: CircuitValue) => CircuitValue256; /** * Creates a `CircuitValue256` from a `RawCircuitInput`. * * @param a The raw circuit input. * @returns A `CircuitValue256` witness object */ getCircuitValue256: (a: RawCircuitInput) => CircuitValue256; /** * Creates a `CircuitValue256` from a `CircuitValue`. * * @param a The `CircuitValue`. * @returns A `CircuitValue256` witness object */ getCircuitValue256FromCircuitValue: (a: CircuitValue) => CircuitValue256; } //# sourceMappingURL=data.d.ts.map