YHacker Newsscreenshots

blog.zksecurity.xyz on Hacker News

3 stories on the front page, newest first. Scroll down to watch the site change over time.

Screenshot of blog.zksecurity.xyz: AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM

AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM (blog.zksecurity.xyz)

84 points by duha 3 months ago | 6 comments

Screenshot of blog.zksecurity.xyz: AI Meets Cryptography 1: What AI Found in Cloudflare's Circl

AI Meets Cryptography 1: What AI Found in Cloudflare's Circl (blog.zksecurity.xyz)

102 points by duha 3 months ago | 12 comments

Screenshot of blog.zksecurity.xyz: Clean, a formal verification DSL for ZK circuits in Lean4

Clean, a formal verification DSL for ZK circuits in Lean4 (blog.zksecurity.xyz)

67 points by vons 1 year ago | 4 comments