📢 据 PANews 援引 CryptoBriefing 报道，以太坊基金会研究员Justin Drake于11月3日宣布，leanVM已实现端到端形式化验证。
$ETH 可以盯一盯。
真正决定价格的是资金，不是新闻本身。评论区说说你的观点。

只是记录和分享，并非操作指导。