export declare function defaultProofId(explicit: string | undefined): string | undefined;