今天的消息有点密，这条必须单独说说！
👉 以太坊基金会：Verity 形式化验证 EIP-8282
$ETH 能不能借势？