Undetectable counterfeiting is the bug Zcash is trying to prove impossible, by formally verifying Ironwood's shielded pool.

AI audit found 7 bugs in Cloudflare's CIRCL, from threshold RSA math to HPKE PSK bypass; models now do cryptobugs too.

zkNews drops the invite wall, so the ZK crowd can submit links, argue, and upvote in public like it's 2009.

zkSecurity’s zkGolf challenge, a circuit-speed contest with proofs, because apparently golf needed recursion.