数学领域的 Jasper Zhang 可以被视为某种宙斯般的存在。他声称曾在中国和俄罗斯的数学奥林匹克中获得金牌，并且仅用了两年时间就在加州大学伯克利分校获得了博士学位。现在，他正尝试着解决两个增长最快、但也最复杂的领域 —— 区块链和人工智能交叉点上的一个关键问题。

由张领导的两年前创立的初创公司 Hyperbolic 专注于去中心化人工智能计算。该公司表示，他们正在推出一项名为 “Proof of Sampling (PoSP)” 的协议，旨在解决去中心化人工智能网络中的信任挑战。Hyperbolic 于 2022 年由张和 Yuchen Jin 共同创立，后者拥有华盛顿大学计算机科学博士学位。团队表示，这一新协议的概念是与伯克利和哥伦比亚大学的研究人员共同创造的，结合了数学、计算机科学和经济学，运用 “先进的抽样方法和博弈论来激励诚实性，并在去中心化网络中最小化计算需求”，Hyperbolic 在一份向 Crypto 发布的新闻稿中介绍说。

28 岁的张在接受 Crypto 的采访时表示，他将 PoSP 视为去中心化网络验证的下一个迭代。“最初人们认为只有一种验证方式，即共识，” 张说道。“后来人们发现了乐观验证，然后是 ZK 证明。” 他表示，现在有了 PoSP，它不仅可以应用于人工智能，还可以应用于 Rollups，一种二层区块链，以及所谓的主动验证服务 (AVSs)，这些是由 EigenLayer 等重新抵押协议保护的协议。

张和几位合著者于 5 月 1 日向 arXiv 提交了一篇关于 Proof of Sampling Protocol 的研究论文。论文指出，该设计依赖于 “纯策略纳什均衡”，这是一个博弈论概念，由普林斯顿大学教育的数学家约翰・纳什提出，他是 2001 年由朗・霍华德执导、拉塞尔・克劳主演的奥斯卡获奖影片《美丽心灵》的主题。

Hyperbolic 发布的一部分是介绍 “spML”，这是专门用于人工智能验证的 PoSP 实现。“spML 利用了 PoSP 的基本原理来创建一种验证机制，不仅更快、更安全，而且在经济上也是可行的，” 张在新闻稿中表示。

现在，他们只需证明它在实践中起作用。