以太坊通过解耦共识协议更接近更快的最终确定

[ETH] Researchers from the Ethereum Foundation’s Consensus team have formally verified a new protocol model that decouples finality from block production an