///
import { PermanentProver } from "./permanentProver";
import * as stream from "stream";
import { Server } from "../../../../server";
export declare class Prover extends stream.Transform {
permaProver: PermanentProver;
constructor(server: Server);
_write(obj: any, enc: any, done: any): void;
startService(): Promise;
stopService(): Promise;
}