import { Effect, Layer, Schema } from 'effect';
import { type InvalidProtocolSchemeError } from '@midnightntwrk/wallet-sdk-utilities/networking';
import { type KeyMaterialProvider } from '@midnight-ntwrk/zkir-v2';
import { ProverClient } from './ProverClient.js';
/**
 * Creates a layer for a {@link ProverClient} that sends requests to a Wasm Prover.
 *
 * @param config The Key Material Provider to use when configuring the prover's elements of the layer.
 * @returns A `Layer` for {@link ProverClient} that sends requests to a configured Wasm Prover.
 */
export declare const layer: (config: ProverClient.WasmConfig) => Layer.Layer<ProverClient, InvalidProtocolSchemeError>;
export declare const create: (config: ProverClient.WasmConfig) => Effect.Effect<ProverClient.Service, InvalidProtocolSchemeError>;
export declare const CheckOperationSchema: Schema.Struct<{
    op: Schema.Literal<["check"]>;
    args: Schema.Tuple<[typeof Schema.Uint8Array]>;
}>;
export declare const ProveOperationSchema: Schema.Struct<{
    op: Schema.Literal<["prove"]>;
    args: Schema.Tuple2<typeof Schema.Uint8Array, Schema.Union<[typeof Schema.BigIntFromSelf, typeof Schema.Undefined]>>;
}>;
export declare const LookupKeyRequestSchema: Schema.Struct<{
    op: Schema.Literal<["lookupKey"]>;
    keyLocation: typeof Schema.String;
}>;
export declare const GetParamsRequestSchema: Schema.Struct<{
    op: Schema.Literal<["getParams"]>;
    k: typeof Schema.Number;
}>;
export declare const ResponseFromWorkerSchema: Schema.Struct<{
    op: Schema.Literal<["result"]>;
    value: Schema.Union<[typeof Schema.Uint8Array, Schema.Array$<Schema.Union<[typeof Schema.BigIntFromSelf, typeof Schema.Undefined]>>]>;
}>;
export declare const LookupKeyOperationResultSchema: Schema.Struct<{
    op: Schema.Literal<["lookupKey"]>;
    keyLocation: typeof Schema.String;
    result: Schema.optional<Schema.Struct<{
        proverKey: typeof Schema.Uint8Array;
        verifierKey: typeof Schema.Uint8Array;
        ir: typeof Schema.Uint8Array;
    }>>;
}>;
export declare const GetParamsOperationResultSchema: Schema.Struct<{
    op: Schema.Literal<["getParams"]>;
    k: typeof Schema.Number;
    result: typeof Schema.Uint8Array;
}>;
export declare const makeDefaultKeyMaterialProvider: () => KeyMaterialProvider;