专业解读：Pi Squared完成1250万美元种子轮融资，Polychain Capital领投打造普适ZK电路（2024年7月2日）

2024年7月2日，美国伊利诺伊州香槟市，Chainwire报道，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）。

公司首席执行官Grigore Roșu表示，他们的使命是革新可验证计算，使其对所有语言和虚拟机都通用、正确且快速。长期目标是将所有科学和知识都建立在通用结算层（USL）上。

Polychain Capital的合伙人Karthik Raju认为，Pi Squared的技术将对Web3和更广泛的领域产生变革性影响，其通用的ZK电路将极大扩展Web3的应用范围，惠及从开发者到最终用户的所有人。

Pi Squared的首款产品是通用结算层（USL），这是一种模块化区块链架构，具有以下特点：

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

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

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

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

5. 确定性和可重现性：验证是可重现且可由任何外部实体独立验证的。

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

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

Pi Squared公司的愿景是实现ZK证明的数学证明，采用正确性构建和独特的方式利用ZK技术。他们的小型ZK电路为所有语言和VM提供可验证的计算正确性保证，无需转换到通用语言、VM或ISA。公司由伊利诺伊大学香槟分校教授Grigore Rosu领导，他是K框架和Runtime Verification的创始人，团队成员包括来自形式化方法、区块链和人工智能/机器学习领域的专家和项目创始人。

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