玩币族移动版

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

撰文：深潮 TechFlow

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

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

除了 8500万美金融资的AI 巨兽 Sentiment外（详见：人脉值8500万？浅析Polygon联创带头的巨额融资AI项目Sentient），本周另一个值得关注的融资项目，则是与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 官网的这张示意图很好的说明了这个超级翻译器的作用：

发起交易：用户（例如 Alice）发起一个交易请求，例如将 1 WETH 转移给 Bob，WETH 是符合 ERC20 标准的代币；

通用结算：交易请求被提交到一个支持任意虚拟机和任意编程语言的环境中，比如 EVM或 Python 。这也就是所谓的通用结算层 ---只要这个环境中存在针对该特定语言或VM的正式规范，计算就可以用任何语言或 VM 来表达。说白了就是不挑虚拟机和编程语言。

生成证明：针对步骤2，生成一个数学证明，用来证明交易的正确性。这个数学证明非常精确，但可能非常庞大；

证明检查：再使用 ZK-ED（零知识 - 匹配逻辑）证明检查器来验证上面这个“大证明”。这个检查器体积小，并且可以大规模并行处理。

ZK压缩：最终生成一个零知识证明，用于证明前面交易的正确性。这个零知识证明体积小，可以高效地传输和验证。

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

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

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

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

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

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

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

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