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框架和匹配逻辑，提供一种通用且高效的验证方法，旨在实现区块链、语言和应用程序的无缝互操作性。