【新闻稿——美国伊利诺伊州香槟市，2024年7月2日】

Pi Squared（Proof of Proof）宣布结束其首次融资。该财团由Polychain Capital牵头，包括ABCDE、Bloccelerate、Generative Ventures、Robot Ventures和Samsung Next。天使投资者包括Chu Shumo、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电路来实现，该电路检查数学证明的完整性，这将直接从其形式语义为所有语言和虚拟机（VM）提供可验证的计算正确性保证，而无需任何转换为公共语言、VM或指令集架构（ISA）。

Pi Squared首席执行官、伊利诺伊大学厄巴纳-香槟分校CS教授Grigore Roșu表示：“我们的使命是彻底改变可验证计算，使其适用于所有语言和虚拟机，结构固有正确，速度极快。”。“这将有许多应用，包括通用结算层（USL），因此所有区块链，L1和L2，都可以是通用的、正确的、可互操作的和高效的。这还不止于此，我们的长期使命是在USL上结算所有科学和知识。”

Polychain Capital的全科医生Karthik Raju表示：“Pi Squared的证明技术将在Web3及其他领域产生变革性影响。”。“Pi Squared的通用ZK电路将显著提高Web3对从建设者到最终用户的覆盖范围和适用性。”

Pi Squared将实现下一代可验证计算，该计算具有通用性和可扩展性，具有最佳的最小信任基础。Pi Squared推出的第一款产品是通用结算层（USL），这是一种模块化区块链架构，具有以下特点：

普遍性

计算可以用任何高级语言或虚拟机语言表达，而不需要编译器或翻译器。

可证明的正确性

USL验证的计算在数学上被证明是正确的，任何外部实体都可以独立验证USL状态的正确性。

信任基础最小化

USL公开了上层计算中的任何信任假设，以提高透明度和最终用户意识，并将通过正确性证明最大限度地减少信任基础。

应用程序互操作性

USL将支持不同应用模块和网络（如应用链）之间的互操作性。

确定性和再现性

验证是可重复的，并可由任何外部实体独立验证。

因此，Pi Squared的USL为通用计算提供了端到端的正确性保证，同时最大限度地减少了这些计算的信任基础。USL将可验证计算推广为标准分布式计算范式，而不需要或推广特定领域特定语言（DSL）、VM或执行环境，同时具有高效和可扩展性。

Pi Squared将于7月8日至11日在布鲁塞尔EthCC周围的活动中进行展示。与会者可以在7月8日的休息和基础设施日和7月9日的L2con上聆听Pi Squared的首席执行官Grigore Roșu的演讲。

关于Pi Squared

Pi平方是指数学证明的ZK证明。Pi Squared以一种正确的施工方式和根本上独特的方式使用ZK技术。通用且小巧的ZK电路为所有语言和虚拟机提供了可验证的计算正确性保证，无需任何通用语言、虚拟机或ISA的翻译。Pi Squared由UIUC教授Grigore Rosu领导，他是K框架和运行时验证的创始人，由正式方法、区块链和AI/ML领域成功项目的研究人员和创始人组成。

要预订Pi Squared首席执行官和团队的会议，与会者可以联系[email protected].

要了解更多关于Pi Squared的愿景和证明的信息，请访问pi2.network并在社交媒体上关注Pi Squaed。