美國伊利諾伊州香檳市，2024 年 7 月 2 日，Chainwire

Pi Squared（Proof of Proof）宣佈完成首輪融資。領投方爲 Polychain Capital，參投方包括 ABCDE、Bloccelerate、Generative Ventures、Robot Ventures 和 Samsung Next。天使投資者包括 Shumo Chu、Harish Devarajan、Justin Drake、Sreeram Kanaan、Csongor Kiss、George Lambeth、Yilong Li、Calvin Liu、Lucian Mincu、Karthik Raju 和 Common Prefix。

Pi Squared 以構造正確且獨一無二的方式使用零知識 (ZK) 技術，將爲任何區塊鏈或 dApp 實現無需信任的遠程計算、AI 和可互操作的智能合約。這將通過創建一個通用且小巧的 ZK 電路來實現，該電路可檢查數學證明的完整性，從而直接從其形式語義爲所有語言和虛擬機 (VM) 提供可驗證計算的正確性保證，而無需轉換爲通用語言、VM 或指令集架構 (ISA)。

“我們的使命是徹底改變可驗證計算，使其適用於所有語言和虛擬機，本質上構造正確，速度快如閃電，”Pi Squared 首席執行官兼伊利諾伊大學厄巴納-香檳分校計算機科學教授 Grigore Roșu 表示。“這將有許多應用，包括通用結算層 (USL)，因此所有區塊鏈、L1 和 L2 都可以通用、正確、可互操作和高效。這還不止於此，我們的長期使命是將所有科學和知識都結算在 USL 上。”

Polychain Capital 的 GP Karthik Raju 表示：“Pi Squared 的證明技術將對 Web3 及其他領域產生變革性影響。”“Pi Squared 的通用 ZK 電路將顯著提高 Web3 對所有人（從建設者到最終用戶）的覆蓋範圍和適用性。”

Pi Squared 將實現下一代可驗證計算，該計算具有最佳的最小信任基礎，具有通用性和可擴展性。Pi Squared 支持的第一款產品是通用結算層 (USL)，這是一種模塊化區塊鏈架構，具有以下特點：

普遍性

計算可以用任何高級語言或虛擬機語言來表達，而無需編譯器或翻譯器。

可證明的正確性

經過 USL 驗證的計算在數學上被證明是正確的，並且任何外部實體都可以獨立驗證 USL 狀態的正確性。

信任基礎最小化

USL 公開上層計算中的任何信任假設，以提高透明度和最終用戶意識，並通過正確性證明最大限度地減少信任基礎。

應用程序互操作性

USL 將支持不同應用模塊和網絡（例如應用鏈）之間的互操作性。

確定性和可重複性

該驗證可重複，並可由任何外部實體獨立驗證。

因此，Pi Squared 的 USL 爲通用計算提供了端到端的正確性保證，同時最大限度地減少了這些計算所依賴的信任基礎。USL 推動可驗證計算成爲標準的分佈式計算範例，而無需或推廣特定的領域特定語言 (DSL)、VM 或執行環境，同時又高效且可擴展。

Pi Squared 將於 7 月 8 日至 11 日在布魯塞爾 EthCC 周邊活動中進行展示。與會者可以聆聽 Pi Squared 首席執行官 Grigore Roșu 在 7 月 8 日的 Restaking & Infra Day 和 7 月 9 日的 L2con 上的演講。

關於 Pi Squared

Pi Squared 指的是數學證明的 ZK 證明。Pi Squared 以構造正確且從根本上獨特的方式使用 ZK 技術。通用且小巧的 ZK 電路爲所有語言和虛擬機提供可驗證計算的正確性保證，而無需轉換爲通用語言、虛擬機或 ISA。Pi Squared 由 UIUC 教授 Grigore Rosu 領導，他是 K 框架和運行時驗證的創始人，由形式化方法、區塊鏈和 AI/ML 領域的成功項目的研究人員和創始人組成。

如需預約與 Pi Squared 首席執行官和團隊的會議，與會者可以聯繫 contact@pi2.network。

要了解有關 Pi Squared 的願景和 Proof of Proof 的更多信息，請訪問 pi2.network 並在社交媒體上關注 Pi Squared。

接觸

營銷主管Chris HazeltonPi Squared Incmedia@pi2.network