认识 Nexus 的 zkVM 工程师 @duveZK。

他学习了逻辑和计算机科学，现在从事形式验证、零知识证明以及为可验证 AI 提供支持的基础设施方面的工作。https://t.co/sdOUZLKfVP