Pi Squared 是一家致力於通過使用零知識技術實現可驗證計算的公司，該公司週二宣佈，它在由 Polychain Capital 領投的種子輪融資中籌集了 1250 萬美元。

參與此輪融資的包括 ABCDE、Bloccelerate、Generative Ventures、Robot Ventures 和 Samsung Next，以及包括以太坊基金會的 Justin Drake 和 EigenLayer 創始人 Sreeram Kanaan 在內的天使投資人。

新一輪融資將用於擴大公司計劃推出的產品。

Pi Squared 的首款產品是“通用結算層”，它可以使用任何編程語言來結算區塊鏈交易（或者稱之爲“索賠”），Pi Squared 首席執行官格里戈爾·羅蘇 (Grigore Rosu) 在接受 CoinDesk 採訪時表示。

羅蘇是伊利諾伊大學厄巴納-香檳分校的計算機科學教授，Pi Squared 的想法源自他的學術生涯。

“我和我的學生已經做了這項研究很多年了，”羅蘇告訴 CoinDesk。

Pi Squared 在一份新聞稿中寫道，該公司還正在構建“通用 ZK 電路”，它使用零知識技術實現“任何區塊鏈或 dApp 的無需信任的遠程計算、人工智能和可互操作的智能合約”。

該公司表示：“這將通過創建一個通用且非常小的 ZK 電路來實現，該電路可以檢查數學證明的完整性，從而直接從其形式語義爲所有語言和虛擬機 (VM) 提供可驗證計算的正確性保證，而無需轉換爲通用語言、VM 或指令集架構 (ISA)。”

Pi Squared 仍處於概念驗證階段。Rosu 表示，該項目將於 2024 年底進入測試網。