import { Field, Proof, DynamicProof, FlexibleProvablePure, FlexibleProvable } from "o1js";
import { ArgumentTypes } from "@proto-kit/common";
import type { RuntimeModule } from "../runtime/RuntimeModule";
type ArgumentType = FlexibleProvable<any> | typeof Proof<unknown, unknown> | typeof DynamicProof<unknown, unknown>;
type ArgTypeArray = ArgumentType[];
type ArgArray = ArgumentTypes[];
export declare function isFlexibleProvablePure(type: unknown): type is FlexibleProvablePure<unknown>;
export declare function checkArgsProvable(target: RuntimeModule<unknown>, methodName: string): ArgTypeArray;
export declare class MethodParameterEncoder {
    private readonly types;
    static fromMethod(target: RuntimeModule<unknown>, methodName: string): MethodParameterEncoder;
    static fieldSize(type: ArgumentType): number | undefined;
    constructor(types: ArgTypeArray);
    decode(fields: Field[], auxiliary: string[]): Promise<ArgArray>;
    /**
     * Variant of encode() for provable code that skips the unprovable
     * json encoding
     */
    encode(args: ArgumentTypes): {
        fields: Field[];
        auxiliary: string[];
    };
    fieldSize(): number;
}
export {};
//# sourceMappingURL=MethodParameterEncoder.d.ts.map