构建普适ZK电路：Pi Squared获Polychain Capital领投1250万美金支持

2024年7月2日，在美国伊利诺伊州的香槟市，一家名为Pi Squared的公司宣布完成了他们的首次资本募集。这次融资由Polychain Capital领投，包括ABCDE、Bloccelerate、Generative Ventures、Robot Ventures和Samsung Next在内的多家公司参与了此次投资。同时，一些天使投资者也参与了进来，如Shumo Chu、Harish Devarajan、Justin Drake等。

Pi Squared公司利用零知识（ZK）技术，以一种独特的、正确构造的方式，致力于实现无需信任的远程计算、人工智能和跨区块链或去中心化应用（dApp）的智能合约互操作性。他们创造了一种通用且极其精简的ZK电路，用于检查数学证明的完整性，这种电路能够为所有语言和虚拟机（VM）提供可验证的计算正确性保证，无需转换为共同的语言、VM或指令集架构（ISA）。

公司CEO Grigore Roșu表示，他们的使命是革新可验证计算，使其成为所有语言和VM的通用标准，既正确又快速。他们计划创建一个通用结算层（USL），使所有区块链、L1和L2都能实现通用、正确、互操作和高效。长远来看，他们的目标是将所有科学和知识都建立在USL之上。

1. Pi Squared的技术将对Web3及以外的领域产生变革性影响。他们开发的通用ZK电路将大大扩展Web3对所有人（从开发者到最终用户）的吸引力。

2. Pi Squared将推动新一代可验证计算，使其既通用又可扩展，同时保持最小的信任基础。公司的首个产品是通用结算层（USL），这是一种为模块化区块链设计的架构，它具有以下特点：

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

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

- 信任基础最小化：USL揭示上层计算中的信任假设，提高透明度和用户意识，并通过正确性证明最小化信任基础。

- 应用互操作性：USL支持不同应用模块和网络之间的互操作性。

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

3. Pi Squared的USL为通用计算提供了端到端的正确性保证，同时最小化计算底层的信任基础。USL促进了可验证计算作为标准分布式计算范式的发展，而不需要特定领域的语言、VM或执行环境，同时保持高效和可扩展。

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

关于Pi Squared

Pi Squared代表了对数学证明的ZK证明。公司以一种正确构造和根本独特的方式使用ZK技术。一个通用且小巧的ZK电路为所有语言和VM提供了可验证计算的正确性保证，无需转换为共同的语言、VM或ISA。Pi Squared由UIUC教授Grigore Rosu领导，他是K框架和Runtime Verification的创始人，团队成员包括来自形式方法、区块链和AI/ML领域的专家和成功项目的创始人。

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