ZkSecurity released zkao 2.0, the biggest update to its automated bug-finding tool for cryptography applications, introducing a pay-as-you-go pricing model that replaces subscriptions, a complete rede…
ZkSecurity integrated the Leo programming language and Aleo program ecosystem into its AI bug detection tool zkao, collaborating with HumanityLink as a live test target and reporting findings back to …
An AI auditor called zkao found a critical soundness bug in OpenVM's zkVM guest library openvm-pairing that lets a malicious prover forge any pairing equality. The bug, assigned CVE-2026-46669, was fi…
AI agents from security firm zkSecurity discovered seven real vulnerabilities in Cloudflare's CIRCL cryptographic library, including a precision loss bug in threshold RSA and an access-control flaw in…
ZkSecurity's AI audit pipeline discovered seven real bugs in Cloudflare's CIRCL cryptography library, including a critical float64 precision loss in threshold RSA and a complete access-control break i…