今日运势评分

-6

本月运势

癸未月

震荡偏多

乙克戊,酉金生水
甲不开仓财物耗散
申不安床鬼祟入房

嫁娶,祭祀,祈福,求嗣,开光,出火,拆卸,修造,动土,进人口,开市,交易,立券,挂匾,入宅,移徙,栽种,纳畜,入殓,启钻,除服,成服

月相

更待

底部反弹

日冲

Powered by RitMEX

TRUMP9.43 -2.82%

SUI3.88 11.58%

TON3.03 1.60%

TRX0.30 -1.02%

DOGE0.20 0.30%

XRP2.96 4.79%

SOL164.60 1.93%

BNB693.24 0.46%

ETH3018.62 1.14%

BTC120160.14 1.24%

ETH Gas4.14 Gwei

贪婪
74

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

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

撰文:深潮 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 官网的这张示意图很好的说明了这个超级翻译器的作用:

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

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

欢迎加入深潮TechFlow官方社群

Telegram订阅群:https://t.me/TechFlowDaily
Twitter官方账号:https://x.com/TechFlowPost
Twitter英文账号:https://x.com/BlockFlow_News
作者深潮 TechFlow深潮TechFlow
相关文章
2025.07.14 - 6 小时前
$PENGU 暴涨背后,小企鹅要成为 Face of Finance
Pudgy Penguins NFT地板价一周上涨近35%,$PENGU 价格自底部上涨近10倍。
2025.07.14 - 9 小时前
FTX 赔付疑云:中国债权人遭遇歧视?
这套拒绝赔付的依据究竟是否站得住脚?
FTX
2025.07.14 - 10 小时前
5 亿美金 12 分钟卖光,PUMP 预售到底是谁的游戏?
或许是少数人的狂欢。
2025.07.12 - 前天
靠 Bitget GetAgent 抄底 BTC,朋友说我出手像投行
Bitget的AI交易助手GetAgent通过整合多维度信息和自然语言交互,有效简化了加密交易决策流程,为不同层级用户提供了从信息获取到交易执行的全流程支持,在测试中展现出实际收益价值和工具平权的重要意义。
2025.07.12 - 前天
波场TRON生态新升级:NFT、PePe、SUNDOG登陆Binance Alpha,无缝接入Binance钱包激活生态循环
7月11日,波场TRON正式登陆Binance Alpha专区,首发NFT、PePe、SUNDOG三款代币,用户可一键直接交易。
2025.07.12 - 前天
特朗普关税政策2.0-加密破历史新高|Hotcoin Research 市场洞察:2025年7月7日-7月11日
加密货币市场周报:比特币创118,003美元历史新高,美国"加密货币周"将审议三大法案
2025.07.12 - 3 天前
区块链巨头IOTA主办2025年马来西亚区块链周
IOTA成为2025年马来西亚区块链周冠名赞助商,该活动将于7月21-22日在吉隆坡国际贸易中心举办,汇集了众多国内外区块链领军企业和机构,旨在推动马来西亚区块链生态系统走向全球舞台。
2025.07.11 - 3 天前
从 P2P 爆雷、比特币矿企到以太坊战略:Bit Digital 的绝地求生之路
Bit Digital 为何 All in 以太坊财库战略?
2025.07.11 - 3 天前
一文读懂 Hyperion:Aptos 统一流动性引擎与链上金融新基建
Hyperion 已经用数据与产品,证明了自己是 Aptos 上最具韧性与生命力的金融基础设施构建者。
2025.07.11 - 4 天前
Layer3 年收入突破 2,000 万美元,跻身 Web3 最具商业化潜力平台之列
Layer3 已不仅是任务平台,而是已经用数据与现金流证明自身是 Web3 成长引擎的关键角色。