Traditional audits run checklists. ZKAEDI runs Slither + Gemma-7B + Claude synthesis and scores every finding with a real Lyapunov exponent β not a color. Rule-based scanners miss what lives in the energy landscape.
Rule-based scanners operate on known signatures: they look for code that looks like a reentrancy or an overflow. But the most dangerous vulnerabilities β privileged backdoors, bypassed timelocks, hidden drain paths β don't look dangerous until you map how the contract moves through state space.
ZKAEDI doesn't match patterns. It runs 60,000 execution path iterations and measures the Lyapunov exponent of the resulting trajectory β a continuous number that measures instability directly. Anomalies in execution topology are visible in that number long before they appear in any rule set.
A continuous severity score doesn't lie. It measures what the contract does, not just what it looks like.
Drop any EVM contract address. ZKAEDI fetches the verified source directly from the block explorer β Ethereum, Arbitrum, Base, Optimism, Polygon, BSC. No wallet. No sign-up.
β€ 2 secondsThe 9.24B parameter model decompiles the source, maps every execution path, and probes 60,000 iterations for privilege escalation, reentrancy, overflow, and oracle manipulation vectors.
β€ 60 secondsYou get a full report: Lyapunov exponent severity score, vulnerability markers with exact function references, gas analysis, and a PDF you can share with your team or keep on file.
Instant exportReal findings on a real contract. Severity is a number, not a color.
$15 per audit. Less than a coffee to verify a contract holding millions.
One address. Sixty seconds. A number that doesn't lie.