cd/entity/zkSecurity· home› entities› zkSecurity
grep -l @zksecurity /news/*.json | wc -l → 3

zkSecurity

mentions 3 type Organization feed RSS

// recent coverage 3 mentions

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…

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

zk.golf: Fearless and Collaborative Optimization of Circuits

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…

// co-occurs with top 8 entities
Cloudflare 2 CIRCL 2 zkao 2 zk.golf 1 Clean 1 Lean 1 R1CS 1 SHA-256 1