伊利诺伊州香槟市，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上的实现。通过创建一个通用且极小的ZK电路来验证数学证明的完整性，Pi Squared将直接从其形式语义中向所有语言和虚拟机（VM）提供可验证计算的正确性保证，无需将其转换为通用语言、VM或指令集架构（ISA）。

Pi Squared将实现下一代通用可验证计算，具备最优化的极小信任基础。首个由Pi Squared驱动的产品是Universal Settlement Layer（USL），这是一个为模块化区块链设计的架构，实现以下特性：
– **通用性**：计算可以用任何高级或虚拟机语言表达，无需编译器或翻译器。
– **可证明正确性**：USL验证的计算在数学上被证明是正确的，任何外部实体都可以独立验证USL状态的正确性。
– **信任基础的最小化**：USL暴露了上层计算中的任何信任假设，增强透明度和最终用户意识，并通过正确性证明最小化信任基础。
– **应用间互操作性**：USL支持不同应用模块和网络（如应用链）之间的互操作。
– **确定性和可复现性**：验证是可复现的，任何外部实体都可以独立验证。

因此，Pi Squared的USL为通用计算提供了端到端的正确性保证，同时最小化了支持这些计算的信任基础。USL将推广可验证计算作为标准的分布式计算范式，而无需或推广特定领域特定语言（DSL）、虚拟机或执行环境，同时保持高效和可扩展性。

Pi Squared将在布鲁塞尔EthCC活动期间展示和展览，时间为7月8日至11日。与会者可以在7月8日的“Restaking & Infra Day”和7月9日的“L2con”上聆听Pi Squared的CEO Grigore Roșu发表演讲。

关于Pi Squared：
Pi Squared指的是数学证明的ZK证明。Pi Squared以正确构建和独特方式使用ZK技术。一个通用且极小的ZK电路为所有语言和虚拟机提供了可验证计算的正确性保证，无需将其转换为通用语言、虚拟机或ISA。Pi Squared由UIUC教授Grigore Rosu领导，他是K框架和Runtime Verification的创始人，团队成员包括形式方法、区块链和AI/ML领域成功项目的研究人员和创始人。

与Pi Squared的CEO和团队预约会议，请发送邮件至[email protected]。
了解更多关于Pi Squared愿景和Proof of Proof的信息，请访问pi2.network，并关注Pi Squared的社交媒体。

聯絡人：
市场营销主管Chris Hazelton
Pi Squared Inc
[email protected]