解讀 Pi Squared：名校學術大佬帶隊，融資 1200萬美金的 ZK 通用結算層

撰文：深潮 TechFlow

行情不像牛市，融資又不像熊市。

在這幾天BTC跌跌不休的同時，一級市場不斷透出大手筆融資信息。

除了 8500萬美金融資的AI 巨獸 Sentiment外（詳見：人脈值8500萬？淺析Polygon聯創帶頭的鉅額融資AI項目Sentient），本週另一個值得關注的融資項目，則是與ZK相關的 Pi Squared。

7月2日， Pi Squared 宣佈其獲得了由 Polychain Capital 領投的種子輪 1200萬 美金融資，ABCDE、Bloccelerate、Generative Ventures、Robot Ventures 和 Samsung Next 等機構參投；

而天使投資人則包括以太坊基金會的 Justin Drake 和 EigenLayer 創始人 Sreeram Kanaan。

從公開信息來看，Pi Squared 的名字（派的平方）頗有高深的數學意味，無限循環的圓周率再加個平方，營造出一種硬核又神秘的技術棲息；

而項目本身則專注於構建“通用 ZK 電路”和“通用結算層”，又是那種看簡介“所有字你都認識但就是看不懂”的感覺。

還是高深的基建，還是自帶高估值的ZK，再加上一眾大VC和知名人物充當天使投資人...

雖然高舉反高大上項目大旗並不能保證不虧麻，但直接忽視融資充足的新項目也不是明智之舉。

這個派的平方， 到底什麼來頭？

派的平方，由名校學術大佬帶頭

你在黑板上畫個派的平方，當然讓人摸不著頭腦；但學術大佬畫個同樣的，效果卻大不相同。

Pi Squared 實際上由伊利諾伊大學厄巴納-香檳分校計算機科學教授 Grigore Rosu 領導組建，他也是該項目的CEO。

2014年 Grigore Rosu 已是該校正教授，並且主攻形式驗證和運行時驗證等領域；如果說的通俗一點，前者就是研究利用數學方法來證明軟件和硬件系統的正確性，確保其在各種情況下都能正常運行，後者則是實時監控系統行為，提升系統穩定性和安全性。

維基百科顯示，Grigore Rosu 教授的多篇相關論文，也獲得了美國計算機協會和國際自動軟件工程協會的頂級論文獎項。

不過這和加密項目有啥關係？

如果查看 Pi Squared 的主要業務介紹，可以發現其就是使用零知識證明（ZK）技術來驗證任何程序的執行正確性，無需依賴於特定的編程語言（PL）或虛擬機（VM），並提供一種通用且高效的驗證方法，旨在實現區塊鏈、語言和應用程序的無縫互操作性。

這正好和上述 Grigore Rosu 教授有關驗證的研究方向專業對口，也是學術大佬技術發揮的用武之地。

學術大佬帶隊搞強技術背景的項目，可信度自然會更高。

此外， Pi Squared 的 CTO ，Xiaohong Chen 博士，本科畢業於北京大學，而後成為美國伊利諾伊大學香檳分校的博士生，同樣學術背景深厚，並與 Grigore Rosu 教授同校且研究方向類似，很有可能是師生或同事關係。

而項目另一位聯創兼COO，Patrick MacKay，也畢業於伊利諾伊大學香檳分校，並且也是 Grigore Rosu 創辦的前一家創業公司 Runtime Verification 的 COO，可謂是老同事老職位的平滑遷移；而這家 Runtime Verification 業務，也包括公鏈上的虛擬機和智能合約進行安全審計。

學術大佬帶隊，老同事與校友平滑遷移，一個學術和行業背景濃厚的 Pi Squared 項目，也難怪能受到VC們的青睞。

USL，促進系統交易結算

我們可以再來看看 Pi Squared 主要想做的這個“通用結算層” 到底是什麼。

首先要明確的是， Pi Squared 並不直接面向用戶，而是為各類加密和開發者提供產品。

Pi Squared 的目標是創建一個通用結算層 (USL)，以簡化區塊鏈/語言/應用程序的互操作性，並完全消除對傳統的、通常容易出錯的語言實現（例如編譯器、轉譯器或解釋器）的需求。

如果要簡單理解，你可以把它當成一個超級翻譯器，讓不同的區塊鏈、編程語言和應用程序無縫地互相操作。開發者可以更輕鬆地創建跨鏈和跨語言的應用程序。

Pi Squared 官網的這張示意圖很好的說明了這個超級翻譯器的作用：

1. 發起交易：用戶（例如 Alice）發起一個交易請求，例如將 1 WETH 轉移給 Bob，WETH 是符合 ERC20 標準的代幣；

2. 通用結算：交易請求被提交到一個支持任意虛擬機和任意編程語言的環境中，比如 EVM或 Python 。這也就是所謂的通用結算層 --- 只要這個環境中存在針對該特定語言或 VM 的正式規範，計算就可以用任何語言或 VM 來表達。說白了就是不挑虛擬機和編程語言。

3. 生成證明：針對步驟2，生成一個數學證明，用來證明交易的正確性。這個數學證明非常精確，但可能非常龐大；

4. 證明檢查：再使用 ZK-ED（零知識 - 匹配邏輯）證明檢查器來驗證上面這個“大證明”。這個檢查器體積小，並且可以大規模並行處理。

5. ZK壓縮：最終生成一個零知識證明，用於證明前面交易的正確性。這個零知識證明體積小，可以高效地傳輸和驗證。

因此，以上流程展示瞭如何從一個簡單的交易請求開始，通過生成和驗證數學證明，最終生成一個更小的零知識證明來確保交易的正確性和隱私性。

整個過程支持多種編程語言和執行環境，具有高效、無需信任的特點，適用於跨鏈連接和其他需要高度安全和隱私保護的應用場景。

從項目所處的生態位來看，Pi Squared 處在技術棧的中間位置。上方是計算層和排序服務，下方是共識和數據可用性層。

可以把 Pi Squared 的 USL 看成一層樂觀彙總，解釋和驗證計算交易的正確性，連接上層的計算和下層的共識。

 

同時，Pi Squared 也提到了會有自己的網絡，有運行共識協議的節點，推測可能會有基於質押的經濟系統，也就直接會關聯到項目的代幣上。

不過目前項目文檔中並未透露代幣的任何信息，只能說網絡設計給了代幣合理的存在空間，至於後續怎麼玩還要看進一步信息的放出。

Pi Squared 仍處於概念驗證階段。Rosu 教授表示該項目將於 2024 年底進入測試網，目前來看還在預熱和宣發期，也沒有任何可以參與的活動和任務。

我們會對項目持續保持關注，無論如何高喊互不接盤，總有值得參與的機會。