The Ethereum Foundation Formal Verification team, in collaboration with Yukon and zkSecurity, launched better.codes, an open autoresearch challenge that uses AI agents to raise the machine-checked sou…
Anthropic's Claude Mythos Preview discovered CVE-2026-5194 in wolfSSL, a TLS library used in over 5 billion devices, allowing certificate forgery; the flaw was patched in version 5.9.1 on April 8, 202…
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 …
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…
ZkSecurity released zk.golf, a platform for competitive optimization of zero-knowledge circuits using formal verification and AI. The platform combines Clean, a tool for machine-checkable proofs of ci…