import ApertureOpeningProof from './ApertureOpeningProof.ts';
import ZKWormholeEdge from './ZKWormholeEdge.ts';
import type ZKWormholeProofVerifierPort from '../../../ports/ZKWormholeProofVerifierPort.ts';
import type { ApertureOpeningVerificationResult, ZKWormholeVerificationResult } from './ZKWormholeVerificationResult.ts';
export declare function verifyZKWormhole(edge: ZKWormholeEdge, verifier: ZKWormholeProofVerifierPort): Promise<ZKWormholeVerificationResult>;
export declare function openAperture(edge: ZKWormholeEdge, opening: ApertureOpeningProof, verifier: ZKWormholeProofVerifierPort): Promise<ApertureOpeningVerificationResult>;
