import type { HardhatRuntimeEnvironment } from "hardhat/types/hre";
import type { FuzzingConfig, FuzzingResults, DeployedContract } from "./types.js";
/**
 * Fuzzing engine for property-based testing and vulnerability discovery
 */
export declare class FuzzingEngine {
    private hre;
    private forkManager;
    private inputGenerator;
    constructor(hre: HardhatRuntimeEnvironment);
    /**
     * Run a fuzzing campaign on target contracts
     */
    runFuzzingCampaign(contracts: DeployedContract[], config: FuzzingConfig): Promise<FuzzingResults>;
    /**
     * Execute a single fuzzing run
     */
    private executeFuzzingRun;
    /**
     * Generate a random sequence of contract interactions
     */
    private generateInteractionSequence;
    /**
     * Get public/external methods from contract ABI
     */
    private getPublicMethods;
    /**
     * Generate parameters for a method based on its ABI
     */
    private generateMethodParams;
    /**
     * Check interaction result for violations
     */
    private checkForViolations;
    /**
     * Initialize coverage tracking
     */
    private initializeCoverage;
}
//# sourceMappingURL=fuzzing-engine.d.ts.map