/**
 * Execution Verifier
 * Verifies execution proofs and state transitions
 */
import { ExecutionProof, VerificationResult, Intent, Solver, Event, EventType } from '../types';
import { SignatureUtils } from '../utils/signature';
import { HashUtils } from '../utils/hash';
export declare class Verifier {
    private sigUtils;
    private hashUtils;
    private eventHandlers;
    constructor(sigUtils: SignatureUtils, hashUtils: HashUtils);
    /**
     * Verify execution proof
     */
    verifyExecutionProof(proof: ExecutionProof, intent: Intent, solver: Solver, result: any): Promise<VerificationResult>;
    /**
     * Verify proof signature
     */
    private verifySignature;
    /**
     * Verify result hash matches
     */
    private verifyResultHash;
    /**
     * Verify state transition is valid
     */
    private verifyStateTransition;
    /**
     * Verify proof timestamp is reasonable
     */
    private verifyTimestamp;
    /**
     * Verify merkle proof
     */
    private verifyMerkleProof;
    /**
     * Generate execution proof
     */
    generateExecutionProof(intentId: string, solverId: string, preState: any, postState: any, result: any, solverPrivateKey: string): Promise<ExecutionProof>;
    /**
     * Subscribe to events
     */
    on(eventType: EventType, handler: (event: Event) => void): void;
    /**
     * Emit event to subscribers
     */
    private emitEvent;
}
//# sourceMappingURL=Verifier.d.ts.map