构建 "通用 ZK 电路 "的 Pi Squared 获得 1250 万美元融资

致力于通过零知识技术实现可验证计算的公司 Pi Squared 周二宣布，该公司在由 Polychain Capital 领投的种子轮融资中筹集到了 1250 万美元。

参与本轮融资的包括 ABCDE、Bloccelerate、Generative Ventures、Robot Ventures 和 Samsung Next，以及包括以太坊基金会 Justin Drake 和 EigenLayer 创始人 Sreeram Kanaan 在内的天使投资人。

新一轮资金将用于扩大公司计划推出的产品。

Pi Squared首席执行官格里戈尔-罗苏（Grigore Rosu）在接受CoinDesk采访时说，Pi Squared的第一款产品是 "通用结算层"，它可以用任何编程语言结算区块链交易（或他们称之为 "债权"）。

罗苏是伊利诺伊大学香槟分校计算机科学教授，Pi Squared 的想法源于他的学术生涯。

"罗苏告诉 CoinDesk："我和我的学生们一起做了很多很多年的研究。

Pi Squared在一份新闻稿中写道，该公司还在构建一个 "通用ZK电路"，利用零知识技术实现 "任何区块链或dApp的无信任远程计算、人工智能和可互操作智能合约"。

"据该公司称，"这将通过创建一个通用的、小巧的 ZK 电路来实现，该电路可以检查数学证明的完整性，直接从形式语义上为所有语言和虚拟机（VM）提供可验证的计算正确性保证，而无需转换为通用语言、虚拟机或指令集架构（ISA）。

Pi Squared 仍处于概念验证阶段。罗苏说，该项目应于2024年底进入测试阶段。