AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM blog.zksecurity.xyz 67 points by duha 6 hours ago