美國伊利諾伊州香檳市，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 的普通合夥人 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 周圍的活動中進行展示和展覽。與會者可以在 7 月 8 日的 Restake & Infra Day 和 7 月 9 日的 L2con 上聆聽 Pi Squared 執行長 Grigore Roşu 的演講。
關於圓周率的平方
Pi Squared 的意思是數學證明的 ZK 證明。 Pi Squared 以一種構造正確且本質上獨特的方式使用 ZK 技術。通用且極為小型的 ZK 電路為所有語言和 VM 等提供可驗證的運算正確性保證，而無需轉換為通用語言、VM 或 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
Pi Squared 籌集了由 Polychain Capital 領投的 1,250 萬美元種子資金，用於建造由 Proof of Proof 驅動的通用 ZK 電路，該文章首先出現在 CaptainAltcoin 上。
