BTCBTC
💲79793.77
-
1.47%
ETHETH
💲2460.27
-
1.39%
SOLSOL
💲101.96
-
2.46%
ZECZEC
💲993.56
+
8.28%
USDCUSDC
💲0.9998
-
0%
XRPXRP
💲1.41
-
3.42%

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

複製鏈接

熱門閱讀