數學奧林匹亞選手躍出 John Nash 陰影，試圖解開區塊鏈與 AI 的信任難題

數學奧林匹克得主在約翰·納許陰影下嘗試解決區塊鏈、AI 信任困境

在數學領域，賈斯珀·張（Jasper Zhang）被視為一種宗師般的存在。他說自己曾在中國和俄羅斯的數學奧林匹克競賽中獲得金牌，並且只用了兩年的時間就從加州大學柏克萊分校獲得博士學位。

現在，他正嘗試解決區塊鏈和人工智慧（AI）這兩個發展最快、但也最複雜的領域交會處的一個關鍵問題。

專注於去中心化 AI 運算的兩年期初創公司 Hyperbolic，該公司由張領導，週四表示正在推出一種名為「抽樣證明（Proof of Sampling，簡稱 PoSP）」的協議，旨在解決去中心化 AI 網路中的信任挑戰。

Hyperbolic 由張和金宇辰（Yuchen Jin）於 2022 年共同創立，後者擁有華盛頓大學的計算機科學博士學位。

根據該團隊的說法，這個新協議的概念是與來自柏克萊和哥倫比亞大學的研究人員共同創建的。它結合了數學、計算機科學和經濟學，「部署先進的抽樣方法和博奕論，以激勵誠信並最小化跨去中心化網路的計算需求。」Hyperbolic 在一份新聞稿中向 CoinDesk 分享。

現年 28 歲的張在接受 CoinDesk 採訪時表示，他將 PoSP 視為去中心化網路驗證的下一個演進。

張說：「一開始人們認為只有一種進行驗證的方式，那就是共識。」「後來人們發現了樂觀證明（optimistic proving），然後是零知識證明（ZK proofs）。」

現在有了 PoSP，他說，它不僅可以應用於 AI，還可以應用於 rollup（一種第二層區塊鏈）以及所謂的主動驗證服務（actively validated services，AVS），後者是由重新質押協議（restaking protocols）如 EigenLayer 所保護的協議。

張和幾位合著者關於抽樣證明協議的一篇研究論文於 5 月 1 日提交至 arXiv，這是一個由康乃爾大學主持的開放存取庫，收錄尚未經過同行評審的科學論文。

根據該論文，該設計依賴於「純策略納許均衡」（pure strategy Nash Equilibrium）。這是一個源自於普林斯頓大學數學家約翰·納許（John Nash）的博奕論概念，納許是 2001 年奧斯卡獲獎電影《美麗心靈》（A Beautiful Mind）的主角，該片由朗·霍華德（Ron Howard）執導，羅素·克勞（Russell Crowe）主演。

以下是該論文中說明該架構的一張圖：

:format(jpg)/cloudfront-us-east-1.images.arcpublishing.com/coindesk/NINYR5DKMBFSHDTPNK7SELYD74.png)

抽樣證明架構（張等人）

作為發佈的一部分，Hyperbolic 正在推出「spML」，這是專門為 AI 驗證而構建的 PoSP 實現。

張在新聞稿中表示：「spML 利用 PoSP 的基礎原理，創建了一種不僅更快、更安全，而且在經濟上也是可行的驗證機制。」

現在，他們只需要證明它在實踐中確實有效。

編輯：Bradley Keoun