构建通用ZK电路：Pi Squared获Polychain Capital领投1250万美元种子资金

美国伊利诺伊州尚佩恩市，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电路来检查数学证明的完整性，从而为所有语言和虚拟机（VM）提供可验证计算的正确性保证，无需任何翻译到一个共同语言、VM或指令集架构（ISA）。

1. 通用性：计算可以在任何高级语言或虚拟机语言中表达，无需编译器或翻译器。

2. 可证明的正确性：由通用结算层（USL）验证的计算是数学上证明正确的，任何外部实体都可以独立验证USL状态的正确性。

3. 最小信任基础：USL揭示了上层计算中的任何信任假设，以提高透明度，让最终用户意识到，并通过正确性证明最小化信任基础。

Pi Squared的CEO，伊利诺伊大学香槟分校计算机科学教授Grigore Roșu表示，他们的使命是彻底革新可验证计算，使其对所有语言和虚拟机都普遍适用，本质上正确，且速度极快。这将有许多应用，包括创建一个通用结算层（USL），使所有区块链、L1和L2都能通用、正确、互操作且高效。长期使命是将所有科学和知识都建立在USL之上。

Polychain Capital的合伙人Karthik Raju表示，Pi Squared的Proof of Proof技术将在Web3以及更广泛的领域产生变革性影响。Pi Squared的通用ZK电路将显著提高Web3对所有人，从构建者到最终用户的覆盖和适用性。

Pi Squared将使下一代可验证计算变得通用且可扩展，并具有最佳的最小信任基础。首个由Pi Squared支持的产品是通用结算层（USL），这是一种用于模块化区块链的架构，它支持以下特性：

- 应用模块和网络之间的互操作性。

- 确定性和可重复性：验证是可重复的，并且任何外部实体都可以独立验证。

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

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电路为所有语言和VM提供了可验证计算的正确性保证，无需任何翻译到一个共同语言、VM或ISA。Pi Squared由UIUC教授Grigore Rosu领导，他是K框架和Runtime Verification的创始人，团队成员包括形式化方法、区块链和AI/ML领域的成功项目的研和创始人。

要与Pi Squared的CEO和团队预订会议，与会者可以联系contact@pi2.network。要了解更多关于Pi Squared的愿景和Proof of Proof，请访问pi2.network，并在社交媒体上关注Pi Squared。

联系人：

市场部主管 Chris Hazelton

Pi Squared Inc.

media@pi2.network