在數(shù)學中，張宇豪被認為是宙斯。他說，他在中國和俄羅斯的數(shù)學奧林匹克競賽中獲得了金牌，他只用了兩年就獲得了博士學位。來自加州大學伯克利分校。

現(xiàn)在，他正在嘗試解決區(qū)塊鏈和人工智能這兩個增長最快但最復雜的領域交叉點的關鍵問題。

張領導的專注于去中心化人工智能計算的初創(chuàng)公司 Hyperbolic 周四表示，它正在推出一種名為“采樣證明（PoSP）”的協(xié)議，旨在解決去中心化人工智能網(wǎng)絡信任方面的挑戰(zhàn)。

雙曲線由張和擁有博士學位的金宇辰于 2022 年共同創(chuàng)立。華盛頓大學計算機科學博士。

該團隊表示，新協(xié)議的概念是與伯克利大學和哥倫比亞大學的研究人員共同創(chuàng)建的。 Hyperbolic 在與 CoinDesk 的新聞稿中分享道，它結合了數(shù)學、計算機科學和經濟學，部署了“先進的采樣方法和博弈論來激勵完整性并最大限度地減少去中心化網(wǎng)絡的計算需求”。

28 歲的張在接受 CoinDesk 采訪時表示，他將 PoSP 視為去中心化網(wǎng)絡的下一代驗證。

張說：“人們一開始認為驗證的方法只有一種，那就是共識。后來人們發(fā)現(xiàn)了樂觀證明，然后是 ZK 證明。”

他說，現(xiàn)在有了 PoSP，它不僅可以應用于人工智能，還可以應用于 rollups（一種第 2 層區(qū)塊鏈），以及所謂的主動驗證服務（AVS），這是通過重新抵押協(xié)議來保護的協(xié)議就像特征層一樣。

張和幾位合著者于 5 月 1 日向 arXiv 提交了一篇關于采樣協(xié)議證明的研究論文，arXiv 是康奈爾大學托管的開放獲取存儲庫，用于存儲尚未經過同行評審的科學論文。

根據(jù)該論文，該設計依賴于“純策略納什均衡”。這是指受過普林斯頓大學教育的數(shù)學家約翰·納什 (John Nash) 提出的博弈論概念，他是 2001 年奧斯卡獲獎影片《美麗心靈》的主題，該片由朗·霍華德 (Ron Howard) 執(zhí)導，羅素·克勞 (Russell Crowe) 主演。

這是論文中的一張圖，說明了該架構：

作為該版本的一部分，Hyperbolic 引入了“spML”，這是專為 AI 驗證而構建的 PoSP 實現(xiàn)。

張在新聞稿中表示：“SpML 利用 PoSP 的基本原則來創(chuàng)建一種驗證機制，該機制不僅更快、更安全，而且在經濟上也是可行的?！?/p>

現(xiàn)在他們只需證明它在實踐中有效。

閱讀更多：去中心化人工智能的推動者

熱點：區(qū)塊鏈 人工智能 信任 困境