Ethereum Research Daily
EIP-8333 合并为 Draft：epoch N 的 FFG checkpoint 从 N 第一个 slot 的区块改为 N 之前的最后一个区块，消除迟到区块分裂首个委员会投票的竞态，并修正“epoch N 最终确定其实还多一个区块”的差一问题。kassandraETH 改进 kohaku-cli，现在可在一个 UserOp 中解除多个 Tornado 票据的屏蔽。gakonst 发布 Solidus 形式化验证 EVM 编译器的挑战。
（wemeetagain）合并为 Draft，即 EIP-8333。checkpoint 所在 epoch 不变，只是根改变，通过新的 `get_checkpoint_root` 用于 attestation 处理、justification、fork choice 和验证者指南。目前 target 区块与首个委员会投票在同一 slot，迟到的区块会分裂投票，每个 epoch 都有可测的损失；边界区块在 epoch 开始前已知，竞态随之消失。
18:07，可在一个 UserOp 中解除多个 Tornado 票据的屏蔽，Tornado 提款同步尾调用的 gas 估算明显改善，并在写实用的用户指南 wiki。
00:12；据 Ethereal news #33，Solidus 是用 Lean 写的 Solidity 编译器，处于 pre-alpha。
（Arhemius）提交，据 Ethereal news #33 编号 ERC-8349。
（gcolvin）提交并合并。
21:26。
16:28。