Release history for the zkao security scanner. The current version is v1.1.0.
v1.1.0FeatureCurrent2026-06-12
Higher-Signal Findings and Parallel Scans
Higher-signal findings that spell out the attack path, results ordered by real impact, parallel scans across your repositories on a smarter queue, private repositories without scary GitHub permissions, and README badges anyone can verify.
Higher-signal findings: gestalt spells out end-to-end attack paths, severities you can trust, no more noise from test scaffolding
Findings are now ordered by impact, so the scariest ones come first
Run scans on several repositories in the same project at once, on a smarter queue with fair scheduling and faster starts
Private repositories without scary permissions: connecting GitHub is now sign-in only
README badges that prove themselves: show your latest scan or scan count, scope a badge to a repository, and let anyone verify it
zkao 1.0: Now Public, with Solidity and Sharper Flows
zkao 1.0 is our move out of private beta into a public, generally available release: the main version of the product. Access stays curated, with every team reviewed before scanning. This release also adds Solidity and EVM coverage with runnable proof-of-concept exploits, sharper analysis flows that find and confirm more real bugs, and triage that reinvests unused budget into deeper validation.
zkao is now public: version 1.0, generally available, with access still curated and reviewed per team
Solidity and EVM smart contract scanning with proof-of-concept exploits
Sharper analysis flows: snarksentinel and gestalt find and validate more real bugs
cryptopsy now diffs implementations against their specs to catch subtle crypto bugs
Triage reinvests a scan's unused budget into deeper finding validation
A new gestalt analysis flow, an upgraded Anthropic analysis model, coverage expanding beyond ZK circuits into broader cryptography, per-repository pages, recorded manual audits by zkSecurity, and a redesigned public report experience.
New gestalt analysis flow runs in every scan type to catch more bugs
Upgraded to Anthropic's latest Opus 4.8 model for deeper reasoning
A credits-based scan budget you control, new Aleo/Leo and Plonky3 framework coverage, redesigned PDF-friendly reports, file coverage in the scan UI, and improved Circom scanning.
Credits model with per-scan budget slider and absorbed overages
New framework coverage: Aleo/Leo and Plonky3 AIR
Redesigned PDF-friendly scan reports with TOC and grouped agent activity
File coverage badges and tree panel in the scan UI
Improved Circom finding triage and cross-file navigation
