美国伊利诺伊州香槟市，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 实现无需信任的远程计算、AI 和可互操作的智能合约。这将通过创建一个通用且小巧的 ZK 电路来实现，该电路可检查数学证明的完整性，从而直接从其形式语义为所有语言和虚拟机 (VM) 提供可验证计算的正确性保证，而无需转换为通用语言、VM 或指令集架构 (ISA)。
“我们的使命是彻底改变可验证计算，使其适用于所有语言和虚拟机，本质上构造正确，速度快如闪电，”Pi Squared 首席执行官兼伊利诺伊大学厄巴纳-香槟分校计算机科学教授 Grigore Roșu 表示。“这将有许多应用，包括通用结算层 (USL)，因此所有区块链、L1 和 L2 都可以通用、正确、可互操作和高效。这还不止于此，我们的长期使命是将所有科学和知识都结算在 USL 上。”
Polychain Capital 的 GP 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 周边活动中进行展示。与会者可以聆听 Pi Squared 首席执行官 Grigore Roșu 在 7 月 8 日的 Restaking & Infra Day 和 7 月 9 日的 L2con 上的演讲。
关于 Pi Squared
Pi Squared 指的是数学证明的 ZK 证明。Pi Squared 以构造正确且从根本上独特的方式使用 ZK 技术。通用且小巧的 ZK 电路为所有语言和虚拟机提供可验证计算的正确性保证，而无需转换为通用语言、虚拟机或 ISA。Pi Squared 由 UIUC 教授 Grigore Rosu 领导，他是 K 框架和运行时验证的创始人，由形式化方法、区块链和 AI/ML 领域的成功项目的研究人员和创始人组成。
如需预约与 Pi Squared 首席执行官和团队的会议，与会者可以联系 contact@pi2.network。
要了解有关 Pi Squared 的愿景和 Proof of Proof 的更多信息，请访问 pi2.network 并在社交媒体上关注 Pi Squared。
接触
营销主管Chris HazeltonPi Squared Incmedia@pi2.network
