import { ContractData, StateData, WitnessData } from '../types/index.js';
export declare function validate_contract(contract: unknown): asserts contract is ContractData;
export declare function validate_vmstate(vmstate: unknown): asserts vmstate is StateData;
export declare function verify_execution(contract: ContractData, statements: WitnessData[], vmstate: StateData): void;
