AI Meets Cryptography 2: What AI Found in OpenVM's ZkVM | Dark Hacker News