这个派的平方， 到底什么来头？

撰文：深潮 TechFlow

行情不像牛市，融资又不像熊市。

在这几天 BTC 跌跌不休的同时，一级市场不断透出大手笔融资信息。

除了 8500 万美金融资的 AI 巨兽 Sentiment 外，本周另一个值得关注的融资项目，则是与 ZK 相关的 Pi Squared。

7 月 2 日， Pi Squared 宣布其获得了由 Polychain Capital 领投的种子轮 1200 万 美金融资，ABCDE、Bloccelerate、Generative Ventures、Robot Ventures 和 Samsung Next 等机构参投；

而天使投资人则包括以太坊基金会的 Justin Drake 和 EigenLayer 创始人 Sreeram Kanaan。

从公开信息来看，Pi Squared 的名字（派的平方）颇有高深的数学意味，无限循环的圆周率再加个平方，营造出一种硬核又神秘的技术栖息；

而项目本身则专注于构建「通用 ZK 电路」和「通用结算层」，又是那种看简介「所有字你都认识但就是看不懂」的感觉。

还是高深的基建，还是自带高估值的 ZK，再加上一众大 VC 和知名人物充当天使投资人...

虽然高举反高大上项目大旗并不能保证不亏麻，但直接忽视融资充足的新项目也不是明智之举。

这个派的平方， 到底什么来头？

派的平方，由名校学术大佬带头

你在黑板上画个派的平方，当然让人摸不着头脑；但学术大佬画个同样的，效果却大不相同。

Pi Squared 实际上由伊利诺伊大学厄巴纳 - 香槟分校计算机科学教授 Grigore Rosu 领导组建，他也是该项目的 CEO。

2014 年 Grigore Rosu 已是该校正教授，并且主攻形式验证和运行时验证等领域；如果说的通俗一点，前者就是研究利用数学方法来证明软件和硬件系统的正确性，确保其在各种情况下都能正常运行，后者则是实时监控系统行为，提升系统稳定性和安全性。

维基百科显示，Grigore Rosu 教授的多篇相关论文，也获得了美国计算机协会和国际自动软件工程协会的顶级论文奖项。

不过这和加密项目有啥关系？

如果查看 Pi Squared 的主要业务介绍，可以发现其就是使用零知识证明（ZK）技术来验证任何程序的执行正确性，无需依赖于特定的编程语言（PL）或虚拟机（VM），并提供一种通用且高效的验证方法，旨在实现区块链、语言和应用程序的无缝互操作性。

这正好和上述 Grigore Rosu 教授有关验证的研究方向专业对口，也是学术大佬技术发挥的用武之地。

学术大佬带队搞强技术背景的项目，可信度自然会更高。

此外， Pi Squared 的 CTO ，Xiaohong Chen 博士，本科毕业于北京大学，而后成为美国伊利诺伊大学香槟分校的博士生，同样学术背景深厚，并与 Grigore Rosu 教授同校且研究方向类似，很有可能是师生或同事关系。

而项目另一位联创兼 COO，Patrick MacKay，也毕业于伊利诺伊大学香槟分校，并且也是 Grigore Rosu 创办的前一家创业公司 Runtime Verification 的 COO，可谓是老同事老职位的平滑迁移；而这家 Runtime Verification 业务，也包括公链上的虚拟机和智能合约进行安全审计。

学术大佬带队，老同事与校友平滑迁移，一个学术和行业背景浓厚的 Pi Squared 项目，也难怪能受到 VC 们的青睐。

USL，促进系统交易结算

我们可以再来看看 Pi Squared 主要想做的这个「通用结算层」到底是什么。

首先要明确的是， Pi Squared 并不直接面向用户，而是为各类加密和开发者提供产品。

Pi Squared 的目标是创建一个通用结算层 (USL)，以简化区块链 / 语言 / 应用程序的互操作性，并完全消除对传统的、通常容易出错的语言实现（例如编译器、转译器或解释器）的需求。

如果要简单理解，你可以把它当成一个超级翻译器，让不同的区块链、编程语言和应用程序无缝地互相操作。开发者可以更轻松地创建跨链和跨语言的应用程序。

Pi Squared 官网的这张示意图很好的说明了这个超级翻译器的作用：

1. 发起交易：用户（例如 Alice）发起一个交易请求，例如将 1 WETH 转移给 Bob，WETH 是符合 ERC20 标准的代币；
2. 通用结算：交易请求被提交到一个支持任意虚拟机和任意编程语言的环境中，比如 EVM 或 Python 。这也就是所谓的通用结算层 --- 只要这个环境中存在针对该特定语言或 VM 的正式规范，计算就可以用任何语言或 VM 来表达。说白了就是不挑虚拟机和编程语言。
3. 生成证明：针对步骤 2，生成一个数学证明，用来证明交易的正确性。这个数学证明非常精确，但可能非常庞大；
4. 证明检查：再使用 ZK-ED（零知识 - 匹配逻辑）证明检查器来验证上面这个「大证明」。这个检查器体积小，并且可以大规模并行处理。
5. ZK 压缩：最终生成一个零知识证明，用于证明前面交易的正确性。这个零知识证明体积小，可以高效地传输和验证。

因此，以上流程展示了如何从一个简单的交易请求开始，通过生成和验证数学证明，最终生成一个更小的零知识证明来确保交易的正确性和隐私性。

整个过程支持多种编程语言和执行环境，具有高效、无需信任的特点，适用于跨链连接和其他需要高度安全和隐私保护的应用场景。

从项目所处的生态位来看，Pi Squared 处在技术栈的中间位置。上方是计算层和排序服务，下方是共识和数据可用性层。

可以把 Pi Squared 的 USL 看成一层乐观汇总，解释和验证计算交易的正确性，连接上层的计算和下层的共识。

同时，Pi Squared 也提到了会有自己的网络，有运行共识协议的节点，推测可能会有基于质押的经济系统，也就直接会关联到项目的代币上。

不过目前项目文档中并未透露代币的任何信息，只能说网络设计给了代币合理的存在空间，至于后续怎么玩还要看进一步信息的放出。

Pi Squared 仍处于概念验证阶段。Rosu 教授表示该项目将于 2024 年底进入测试网，目前来看还在预热和宣发期，也没有任何可以参与的活动和任务。

我们会对项目持续保持关注，无论如何高喊互不接盘，总有值得参与的机会。