BTCBTC
💲79533.30
-
1.78%
ETHETH
💲2447.53
-
2.03%
SOLSOL
💲101.58
-
3.09%
ZECZEC
💲975.29
+
6.53%
USDCUSDC
💲0.9998
-
0.01%
XRPXRP
💲1.40
-
3.45%

trent.eth
trent.eth|2026年09月04日 12:24
以太坊核心开发中关于形式化验证的三点看法： 1. 当前确实有一些工作面临风险 2. 形式化验证不是万能的解决方案 3. 你仍然需要付钱给人来管理这个过渡，并对哪些功能进行形式化验证做出选择
+4
曾提及
分享至：

脉络

09月04日 15:16推荐以太坊开发资源
09月04日 15:05开发网络升级激活是否应成为硬性前提
09月03日 18:40以太坊核心技术属性人为制造
09月03日 18:28BuilderNet团队支持以太坊上的更快插槽
09月02日 20:36新的白皮书上线了
09月02日 13:24区块链设计是一个光谱
09月02日 09:42BIP-110分叉失败，Glamsterdam进入公开测试
09月02日 05:18守护者自动处理冒充账号
09月02日 03:45以太坊L2 Robinhood推出新玩法
09月02日 00:44比特币和以太坊仅需三个实体达到控制阈值

热门快讯

APP下载

X

Telegram

Facebook

Reddit

复制链接

热门阅读