zkSecurity Blog

blog.zksecurity.xyz

Security Research & Advanced Cryptography

Popular posts: 2
Total points: 212
HN comments: 21
Rank: #5,835 company

Visit blog.zksecurity.xyz → RSS feedOn Hacker News Jul 2026 – Jul 2026

Security & Privacy 2 AI & Machine Learning 2

Most points Most discussed Most cited Newest

AI Meets Cryptography 1: What AI Found in Cloudflare's Circl

2026112 points12 comments AI & Machine Learning details

We pointed our AI audit pipeline at Cloudflare's CIRCL experimental cryptography library and confirmed seven real bugs, from a critical float64 precision loss in threshold RSA to a complete access-control break in attribute-based encryption. All seven are now fixed upstream. This is the first post in a series on bugs…

AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM

2026100 points9 comments AI & Machine Learning details

We turned zkao (our AI auditor) on OpenVM, a state-of-the-art zkVM, and it found a critical soundness bug: the pairing check accepted a prover-supplied witness without proper subfield checking, which lets a malicious prover forge any pairing equality. It is fixed in OpenVM 1.6.0 and tracked as CVE-2026-46669. This is…