撰文：深潮 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 年底进入测试网，目前来看还在预热和宣发期，也没有任何可以参与的活动和任务。
我们会对项目持续保持关注，无论如何高喊互不接盘，总有值得参与的机会。
