「确定性小东西」 背后的想法操作了即将陈设在以太坊 2.0 上的权益证明共鸣协议 Casper 的属性，即_最终确定性_。以太坊 2.0 的阶段 0 打算就是陈设信标链，即分片后的以太坊系统的焦点主链。参加信标链共鸣的验证者在满意 Casper 算法的某些条件之后就能为生成的数据提供最终确定性。之所以称之为最终确定性，是因为一旦某个区块被确定下来，将会一直存在于正当的那条链上；经证明，要想变动链上的数据，必需燃烧 ETH 总质押量的 1/3 以上。假设系统中质押了一千万个 ETH ，一次乐成的进攻会导致约莫 330 万个 ETH 被罚没，在写本文时，其本钱已经高出了 6 亿美元。假如你想要相识更多细节，可以看看我写的另一篇有关最终确定性的 文章。

在信标链长举办的以太坊 1.0 数据块投票进程是否足以支持确定性小东西的高机能运作？

智能合约也可以操作最终确定性。预测市场就是一个例子，在确认一个事件的功效之前，期待某个高度实现最终确定性是有用的。实现这类长处好像也要通过一个分叉（大概跟淘汰刊行量的分叉同时举办）来陈设，也就是增加一组操纵码，以便以太坊虚拟机确定某个区块哈希或某个高度的区块是否已经获得最终确认。一个与此雷同（添加新的操纵码）的 EIP 案例是 EIP-145 （按位移动指令）。

跟着以太坊 2.0 的上线时间越来越近，你大概会对现行以太坊区块链的运气感想好奇。在「以太坊 1.x」这个大观念下，人们已经提出了大量方案，旨在在短期内实现对现有网络的扩容。这些尽力是为了确保现行区块链的一连平稳运行，从而促进当前生态系统成长的可一连性。

此刻让我们相识一下，在以太坊 2.0 的当前状态下，第一版确定性小东西（finality gadget）是如何运作的。留意，尽量我们信标链的最终类型即将完成，可是一些细节（出格是系统所用参数）仍在接头之中，并且大概会有所变革。

与确定性小东西同步举办的尚有开拓和上线信标链；我们在陈设确定性小东西之前先要通过信标链来对区块举办最终确定，这点无需多做表明。

确定性小东西旨在操作信标链中的这一流程来敲定（finalize）以太坊 1.0 的区块。假如我们可以将以太坊 1.0 的区块数据提供应 Casper 的 「确定性引擎」，那么我们就可以操作权益证明协议来加强现行事情量证明网络的安详性。安详性加强之后就可以实行一些改造方案，譬喻淘汰挖矿津贴（从而淘汰刊行量），以及将最终确定的区块数据提供赐与太坊虚拟机（EVM），从而建设稳健度更强的用户级应用。操作阶段 0 简直定性小东西意味着以太坊 2.0 一旦上线，，我们就能从中得到切实的好处，尽量以太坊 2.0 各个阶段的陈设估量还需要更多时间才气全部完成。

跟从间隔可以淘汰到什么水平？又该如何调解？是跟着时间的推移逐步缩短，照旧在陈设完确定性小东西后就缩短至最小值？

每个小方块代表的是验证者对付一个特定的以太坊 1.0 区块的投票。玄色实线上的刻度是用来分别时间段的（下面会具体先容），每个时间段城市开始一次新的投票。在信标链上只有前两个时间段完成了（对信标链区块的）最终确认，所以，只有这两个阶段所敲定的 1.0 区块（及其链）才获得了最终确认。很是感激 Alexey 的着色方案。

本文原题为 The Finality Gadget，直译即为 「确定性小东西」，这个名字来历于一种 Casper 算法的代号 Friendly Finality Gadget （即 Casper FFG）。在一开始的时候，Casper FFG 意在成为一种可以提供最终确定性的组件，可以陈设在任何 PoW 链上（所以叫「Friendly」）。

信标链上每生成一个区块，验证者都必需提交他们对付质押合约的状态记录。假如在指按时间段内被提交的记录大大都都吻合的话，那么以太坊 2.0 协议即可视为对以太坊 1.0 的数据告竣了共鸣，并将它记录在信标链的状态中。跟着信标链上的区块最终确定下来，则每个区块相对应的状态也随之确定；一旦以太坊 1.0 上的某区块数据被包括在最终状态里，我们就可以说相应的以太坊 1.0 区块被最终确定了。这就是确定性小东西的根基结构。

上图显示了对一个特定 PoW 区块的投票进程。每个区块都有一个独一的哈希；图中的颜色是用来标志哈希的。

郑重声明：本文版权归原作者所有，转载文章仅为传播更多信息之目的，如作者信息标记有误，请第一时间联系我们修改或删除，多谢。