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

在数学中，张宇豪被认为是宙斯。他说，他在中国和俄罗斯的数学奥林匹克竞赛中获得了金牌，他只用了两年就获得了博士学位。来自加州大学伯克利分校。

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

张领导的专注于去中心化人工智能计算的初创公司 Hyperbolic 周四表示，它正在推出一种名为“采样证明（PoSP）”的协议，旨在解决去中心化人工智能网络信任方面的挑战。

双曲线由张和拥有博士学位的金宇辰于 2022 年共同创立。华盛顿大学计算机科学博士。

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

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

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

他说，现在有了 PoSP，它不仅可以应用于人工智能，还可以应用于 rollups（一种第 2 层区块链），以及所谓的主动验证服务（AVS），这是通过重新抵押协议来保护的协议就像特征层一样。

张和几位合著者于 5 月 1 日向 arXiv 提交了一篇关于采样协议证明的研究论文，arXiv 是康奈尔大学托管的开放获取存储库，用于存储尚未经过同行评审的科学论文。

根据该论文，该设计依赖于“纯策略纳什均衡”。这是指受过普林斯顿大学教育的数学家约翰·纳什 (John Nash) 提出的博弈论概念，他是 2001 年奥斯卡获奖影片《美丽心灵》的主题，该片由朗·霍华德 (Ron Howard) 执导，罗素·克劳 (Russell Crowe) 主演。

这是论文中的一张图，说明了该架构：

作为该版本的一部分，Hyperbolic 引入了“spML”，这是专为 AI 验证而构建的 PoSP 实现。

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

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

阅读更多：去中心化人工智能的推动者

热点：区块链 人工智能 信任 困境