LOADING...
LOADING...
LOADING...
当前位置: 玩币族首页 > 币圈百科 > 解读 Pi Squared:名校学术大佬带队,融资 1200万美金的 ZK 通用结算层

解读 Pi Squared:名校学术大佬带队,融资 1200万美金的 ZK 通用结算层

2024-07-07 techflow深潮 来源:区块链网络

这个派的平方, 到底什么来头?

撰文:深潮 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 年底进入测试网,目前来看还在预热和宣发期,也没有任何可以参与的活动和任务。

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

—-

编译者/作者:techflow深潮

玩币族申明:玩币族作为开放的资讯翻译/分享平台,所提供的所有资讯仅代表作者个人观点,与玩币族平台立场无关,且不构成任何投资理财建议。文章版权归原作者所有。

知识
LOADING...
LOADING...