约翰·纳什阴影下的数学奥林匹克选手试图解决区块链和人工智能信任困境

在数学方面，Jasper Zhang 堪称宙斯。他说自己在中国和俄罗斯的数学奥林匹克竞赛中赢得金牌，仅用两年时间就获得了加州大学伯克利分校的博士学位。

现在，他正尝试解决两个增长最快但最复杂的领域——区块链和人工智能——交叉点的关键问题。

Hyperbolic 是一家成立两年的初创公司，由张锋领导，专注于去中心化 AI 计算。该公司周四表示，正在推出一种名为“采样证明 (PoSP)”的协议，旨在解决去中心化 AI 网络中的信任挑战。

Hyperbolic 由张和金雨辰于 2022 年共同创立，金雨辰拥有华盛顿大学计算机科学博士学位。

据该团队称，新协议的概念是与伯克利大学和哥伦比亚大学的研究人员共同创建的。Hyperbolic 在与 CoinDesk 的新闻稿中分享道，它结合了数学、计算机科学和经济学，部署了“先进的采样方法和博弈论来激励诚信并最大限度地减少去中心化网络中的计算需求”。

28 岁的张在接受 CoinDesk 采访时表示，他认为 PoSP 是去中心化网络的下一个验证迭代。

“一开始人们认为只有一种验证方式，那就是共识，”张说。“后来人们发现了乐观证明，然后是零知识证明。”

他说，现在有了 PoSP，它不仅可以应用于人工智能，还可以应用于 rollups（一种第 2 层区块链）以及所谓的主动验证服务 (AVS)，这些协议是由 EigenLayer 等重新质押协议保护的。

5 月 1 日，张教授与几位合著者将一篇关于“取样协议证明”的研究论文提交给了 arXiv，这是康奈尔大学主办的开放存取库，用于存储尚未经过同行评审的科学论文。

根据该论文，该设计依赖于“纯策略纳什均衡”。这是普林斯顿大学毕业的数学家约翰·纳什提出的博弈论概念，他是 2001 年奥斯卡获奖电影 《美丽心灵》的主角，该片由罗恩·霍华德执导，罗素·克劳主演。

下面是论文中展示该架构的一张图：

作为发布的一部分，Hyperbolic 推出了“spML”，这是专为 AI 验证构建的 PoSP 实现。

张在新闻稿中表示：“SpML 利用 PoSP 的基本原则创建了一种不仅更快、更安全而且经济可行的验证机制。”

现在他们只需证明它在实践中有效。