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

62 points | by duha 5 hours ago