Top all-time · #5725
ZK/SEC Quarterly
Company blog · blog.zksecurity.xyzsecurityai
ZK/SEC Quarterly is the company blog at blog.zksecurity.xyz, writing about security and ai. Since 2025, 14 different Hacker News readers have linked it 40 times, most often “The Final Form of Software Development”. It is still writing: the last post was on 2026-10-21, and you can follow it by feed.
Too few sampled comments (1) to say how often HN recommends it.?
Why HN links it
HN readers link this blog for its series on what AI found in cryptography code, such as bugs in Cloudflare's CIRCL library and OpenVM's ZkVM. One comment links the earlier part of the series.
Summarised by Claude from a sample of 1 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Security Research & Advanced Cryptography
Most-linked posts?
- The Final Form of Software Development5 people · 5 mentions · first linked 2026-04-29
- Sum-Check as an Algebraic Tensor Reduction: Part 12 people · 2 mentions · first linked 2026-04-27
- AI meets Cryptography 3: What AI Found in Bron Labs's bron-crypto2 people · 2 mentions · first linked 2026-07-22
- Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back2 people · 2 mentions · first linked 2025-07-03
- AI Meets Cryptography 1: What AI Found in Cloudflare's Circl2 people · 2 mentions · first linked 2026-07-07
What Hacker News says?
Great intro to how zkTLS works: https://blog.zksecurity.xyz/posts/zktls/
Comment linking /posts/zktls/
on “Opening up ‘Zero-Knowledge Proof’ technology”Submitted Clean, a formal verification DSL for ZK circuits in Lean4 as a story · 77 points
HN discussionI recommend this whiteboard session as well o.o https://blog.zksecurity.xyz/posts/pudding3/
Comment linking /posts/pudding3/
on “How to prove false statements: Practical attacks on Fiat-Shamir”Submitted AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM as a story · 14 points
HN discussionHere's a whiteboard session going over that but https://blog.zksecurity.xyz/posts/pudding3/
Comment linking /posts/pudding3/
on “How to prove false statements: Practical attacks on Fiat-Shamir”Submitted Better Codes – and how they can be worse if you're not careful as a story · 11 points
HN discussionI'm actually looking for an intern to reboot this project :) if anybody is interested https://blog.zksecurity.xyz/posts/internship-2025/
Comment linking /posts/internship-2025/
on “Learn How to Break AES”Submitted Powers-of-Funbenius as a story · 7 points
HN discussionIf people are interested we covered Monero and all the other protocols that implement private transactions in https://blog.zksecurity.xyz/posts/pudding-8-privacy/ (video: https://www.youtube.com/watch?v=TFZKuIq7v60 )
Comment linking /posts/pudding-8-privacy/
on “How Monero's proof of work works”Submitted Soundness Failures in LaBRADOR Implementations from NTT-Friendly Rings as a story · 7 points
HN discussionThis article is part 2 of a series. The first part is > AI meets Cryptography 1: What AI Found in Cloudflare's CIRCL > https://blog.zksecurity.xyz/posts/circl-bugs/
Comment linking /posts/circl-bugs/
on “AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM”Submitted Sum-Check as an Algebraic Tensor Reduction: Part III as a story · 5 points
HN discussionmaybe worth reading this comparison on formal verification frameworks for arithmetic circuits (circuits made out of multiplications and additions): https://blog.zksecurity.xyz/posts/formal-verification-arithm...
Comment linking /posts/formal-verification-arithmetic-circuits/
on “Verifying Poseidon in Clean: Why the Last 'Sorry' Is About Primality”Submitted The Final Form of Software Development as a story · 5 points
HN discussionSubmitted The Year Finding and Exploiting Bugs Became Cheap, and What to Do About It as a story · 4 points
HN discussionSubmitted Nine Years to Halve a Hash Function: RFC 9861 Is Out as a story · 4 points
HN discussionSubmitted AI Meets Cryptography 1: What AI Found in Cloudflare's Circl as a story · 4 points
HN discussionSubmitted The Final Form of Software Development as a story · 4 points
HN discussionSubmitted Cryptography Challenges KalmarCTF 2026 as a story · 4 points
HN discussionSubmitted Sum-Check as an Algebraic Tensor Reduction: Part 1 as a story · 4 points
HN discussionSubmitted Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back as a story · 4 points
HN discussionSubmitted AI meets Cryptography 3: What AI Found in Bron Labs's bron-crypto as a story · 3 points
HN discussionSubmitted Sum-Check as an Algebraic Tensor Reduction: Part II as a story · 3 points
HN discussionSubmitted Verifying Poseidon in Clean: Why the Last 'Sorry' Is About Primality as a story · 3 points
HN discussionSubmitted The final form of software development as a story · 2 points
HN discussionSubmitted The Final Form of Software Development as a story · 2 points
HN discussionSubmitted Groth16, Intuitively as a story · 2 points
HN discussionSubmitted Sum-Check as an Algebraic Tensor Reduction: Part I as a story · 2 points
HN discussionSubmitted The First ZK Exploits Happened, and They Weren't What We Expected as a story · 2 points
HN discussionSubmitted Bug Hunt: Zero-Knowledge, Full-Paranoia, and the AI That Stares Back as a story · 2 points
HN discussion