export { Group, Scalar, ProvablePure, Provable, Ledger, isReady, shutdown, } from './snarky.js';
export { Field, Bool } from './lib/core.js';
export type { Keypair } from './snarky.js';
export * from './snarky/addons.js';
export { Poseidon, TokenSymbol } from './lib/hash.js';
export * from './lib/signature.js';
export { Circuit, CircuitValue, ProvableExtended, prop, arrayProp, matrixProp, public_, circuitMain, provable, provablePure, Struct, } from './lib/circuit_value.js';
export { UInt32, UInt64, Int64, Sign } from './lib/int.js';
export { Types } from './snarky/types.js';
export * as Mina from './lib/mina.js';
export { SmartContract, method, deploy, DeployArgs, signFeePayer, declareMethods, Account, VerificationKey, } from './lib/zkapp.js';
export { state, State, declareState } from './lib/state.js';
export { Proof, SelfProof, verify } from './lib/proof_system.js';
export { Token, AccountUpdate, Permissions, ZkappPublicInput, zkappCommandToJson, } from './lib/account_update.js';
export { fetchAccount, fetchLastBlock, addCachedAccount, setGraphqlEndpoint, sendZkapp, } from './lib/fetch.js';
export * as Encryption from './lib/encryption.js';
export * as Encoding from './lib/encoding.js';
export { Character, CircuitString } from './lib/string.js';
import { Callback } from './lib/zkapp.js';
export { Experimental };
declare type Callback_<Result> = Callback<Result>;
/**
 * This module exposes APIs that are unstable, in the sense that the API surface is expected to change.
 * (Not unstable in the sense that they are less functional or tested than other parts.)
 */
declare namespace Experimental {
    let ZkProgram: typeof import("./lib/proof_system.js").ZkProgram;
    let Reducer: (<T extends import("./snarky.js").ProvablePure<any>, A extends T extends import("./snarky.js").ProvablePure<infer U> ? U : never>(reducer: {
        actionType: T;
    }) => {
        dispatch(action: A): void;
        reduce<State>(actions: A[][], stateType: import("./snarky.js").Provable<State>, reduce: (state: State, action: A) => State, initial: {
            state: State;
            actionsHash: import("./snarky.js").Field;
        }, options?: {
            maxTransactionsWithActions?: number | undefined;
        } | undefined): {
            state: State;
            actionsHash: import("./snarky.js").Field;
        };
        getActions({ fromActionHash, endActionHash, }: {
            fromActionHash?: import("./snarky.js").Field | undefined;
            endActionHash?: import("./snarky.js").Field | undefined;
        }): A[][];
    }) & {
        initialActionsHash: import("./snarky.js").Field;
    };
    let createChildAccountUpdate: typeof import("./lib/account_update.js").createChildAccountUpdate;
    let memoizeWitness: typeof import("./lib/circuit_value.js").memoizeWitness;
    let MerkleTree: typeof import("./lib/merkle_tree.js").MerkleTree;
    let MerkleWitness: typeof import("./lib/merkle_tree.js").MerkleWitness;
    let Callback: typeof import("./lib/zkapp.js").Callback;
    type Callback<Result> = Callback_<Result>;
}