BTCBTC
💲65916.09
+
3.19%
ETHETH
💲1935.12
+
4.66%
SOLSOL
💲78.64
+
3.92%
USDCUSDC
💲1.00
-
0%
XAUXAU
💲4080.68
+
1.81%
BANKBANK
💲0.2627
+
6.57%

Hudson Jameson
Hudson Jameson|2026年07月20日 16:50
上周，@CertiK 完成并交付了他们与以太坊基金会（Ethereum Foundation）相关的第二个关于 zkVM 形式化验证的资助项目。这次，CertiK FV 团队在 Verus 中尝试了 zkVM 电路正确性证明！ 更多详情
+4
曾提及
分享至：

脉络

07月21日 05:25Fluidstack完成8.3亿美元A轮融资
07月21日 03:18蚂蚁国际完成约12亿美元A轮融资
07月20日 21:09白宫官员推动《比特币透明法案》通过
07月20日 20:47KRX招标研究高频交易对市场影响
07月20日 16:20推出ZKsync数字资产咨询服务
07月20日 15:30俄罗斯即将完成加密货币法律框架
07月20日 14:33TownSquare宣布正式开放Sonar打新
07月20日 14:09特朗普将签署《比特币清晰法案》
07月20日 13:22AI安全公司Neo完成1亿美元融资
07月20日 13:00资助19个基于Celo扩展的项目

热门快讯

APP下载

X

Telegram

Facebook

Reddit

复制链接

热门阅读