AI Meets Cryptography 2: What AI Found in OpenVM's ZkVMblog.zksecurity.xyz29 points by duha 2 hours ago