Top all-time · #19205
CertiK
Company blog · certik.com/blogsecurityai
CertiK is the company blog at certik.com, writing about security and ai. Since 2022, 4 different Hacker News readers have linked it 4 times. It is still writing: the last post was on 2026-10-28, and you can follow it by feed.
Too few sampled comments (2) to say how often HN recommends it.?
Why HN links it
Linked as the homepage of CertiK, a company working in blockchain security and formal methods. Commenters mention it only as an example of formal methods work or to identify a company.
Summarised by Claude from a sample of 2 HN comments that link here. Each comment is marked recommending, critical or neutral (citing without judging); how this works.
Smart contract audits, penetration testing, and compliance platforms for institutions, protocols, and regulators.
What Hacker News says?
hence the recent renaissance in formal methods eg. https://www.certik.com/
Comment linking /
on “Tell HN: We have a responsibility to speak out against blockchain technologies”Submitted Overview of 2026 wrench (physical) attacks on crypto holders as a story · 2 points
HN discussionLooked around and they seem to be a company rather than an individual? https://www.certik.com One of its co-founders is a Yale professor https://www.linkedin.com/in/zhong-shao-545b754/ One is at Columbia University https://www.linkedin.com/in/guronghui/ Interesting!
Comment linking /
on “Coinbase awarded a $500k bug bounty”Submitted A Closer Look at Deep Learning Techniques for Software Security as a story · 2 points
HN discussion