區塊鏈 ZK 解決方案 Pi Squared 完成 1250 萬美元種子輪融資，Polychain Capital 領投

ChainCatcher 消息，据 CoinDesk 報導，Pi Squared 是一家利用零知識技術實現可驗證計算的公司，宣布在由 Polychain Capital 領投的種子輪融資中籌集了 1250 萬美元。參與此輪融資的還有 ABCDE、Bloccelerate、Generative Ventures、Robot Ventures 和 Samsung Next，以及包括以太坊基金會的 Justin Drake 和 EigenLayer 創始人 Sreeram Kanaan 在內的天使投資者。

據悉，Pi Squared 由伊利諾伊大學厄巴納-香檳分校的計算機科學教授 Grigore Rosu 領導。公司計劃利用新資金擴展其產品。Pi Squared 的首個產品是"通用結算層"，可以用任何編程語言結算區塊鏈交易。Rosu 表示，公司還在開發"通用零知識電路"，這將通過零知識技術實現"無信任的遠程計算、AI 和任何區塊鏈或 dApp 的可互操作智能合約"。該項目預計將在 2024 年底進入測試網階段。

另據，Web3 資產數據平台 RootData 顯示，Pi Squared使用零知識證明（ZK）技術來驗證任何程序的執行正確性，無需依賴於特定的編程語言（PL）或虛擬機（VM）。其基於K框架和匹配邏輯，提供一種通用且高效的驗證方法，旨在實現區塊鏈、語言和應用程序的無縫互操作性。