这个派的平方, 到底什么来头?
撰文:深潮 TechFlow
行情不像牛市,
融资
又不像熊市。
在这几天 BTC 跌跌不休的同时,一级市场不断透出大手笔融资信息。
除了 8500 万美金融资的 AI 巨兽 Sentiment 外,本周另一个值得关注的融资项目,则是与 ZK 相关的
Pi Squared
。
7 月 2 日, Pi
Square
d 宣布其获得了由
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 年底进入测试网,目前来看还在预热和宣发期,也没有任何可以参与的活动和任务。
我们会对项目持续保持关注,无论如何高喊互不接盘,总有值得参与的机会。
标签
ABCDE
Bloccelerate
Generative Ventures
Pi Squared
Polychain Capital
Robot Ventures
Samsung Next
Square
安全
比特币
虚拟机
融资
来源链接:
https://www.techflowpost.com/article/detail_18853.html
说明:比推所有文章只代表作者观点,不构成投资建议
原文链接:https://www.bitpush.news/articles/6917325
相关新闻
洗盘,4万刀还是10万刀?
利息是一把锋利的镰刀
比特小鹿 6 月矿业资讯:Northern Data 计划 160 亿上市、SEALMINER 发布矿机技术路线图、矿…
专访 Zama CEO:四年打造 4 亿美元市值,FHE「造浪者」如何炼成?
6万刀,“矿工底”? —— 十年之约#26(ROI 50%)
