AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM

(blog.zksecurity.xyz)

68 points | by duha 6 hours ago ago