cd/entity/CIRCLΒ· homeβ€Ί entitiesβ€Ί CIRCL
grep -l @circl /news/*.json | wc -l β†’ 5

CIRCL

mentions 5 type Organization feed RSS

// recent coverage 5 mentions

00:00
2026-07-17
blog.zksecurity.xyz
ai-tools

AI meets Cryptography 2: What AI Found in OpenVM's zkVM

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…

20:06
2026-07-07
sourcefeed.dev
ai-safety

When AI Audits Cryptography: Inside the CIRCL Bug Hunt

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…

18:36
2026-07-07
blog.zksecurity.xyz
ai-safety

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

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…

// co-occurs with top 8 entities
// topics top 6 topics