信标链

什么是 Gasper？如何能形式化地验证其属性？这种形式化验证有何意义？

使协议的描述能更准确、更完整。让 “终局化（finalization）” 获得了更通用的形式。因为演绎论证保证没有未经指明的假设。

本文为研究员 Aditya Asgaonkar 在 EthCC 大会上的演讲幻灯片，据其自述，是为了向智能合约开发者说明 Eth2 的设计方案，以及开发者的开发体验会有什么样的变化。

创造历史吧

想不想对信标链（Beacon Chain）也有这么透彻的理解？

以太坊phase 0的核心是信标链，它负责协调以太坊网络。