概述

信标链是以太网2.0系统的核心。之所以叫这个名字，是因为这个链条充当了随机性的灯塔，但也可以叫“系统链”或“脊柱链”等等。这个链也是验证者所在的链，也就是验证者的责任会在这个链中分配，验证者会在这个共识环境中运行协议层的随机数生成器，验证者也在这个链中。为链顶端的块投票，形成确定性检查点；这也是验证者引用片段链的交联、作为片段链的根并协助跨片段通信的地方。信标链不仅是系统运行背后的大脑，也是后续碎片化系统的框架。

因为状态是技术规范的核心对象。信标状态涵盖了所有相关信息：验证者是谁，他们处于什么状态，这个状态属于块树中的哪个链，以及对Eth1链的哈希值引用。

从创建状态开始，只要一个块能够满足状态转移函数设置的所有条件，该块的已处理状态就被认为是有效状态。这样，一个块的前提条件可以递归地定义为通过对前一个块(及其状态)运行状态转移函数而获得的有效后条件，从而一直追溯到创建状态。

分叉选择规则

分叉选择规则的含义是，给定一个分块树，总是可以根据这样的规则和来自验证者的最近消息来选择单个链(即规范链、主链)和最终状态。分支选择规则接受块树和来自验证集的相应最新证明，然后返回一个块作为当前链顶部块。Eth2.0中使用的分叉选择规则LMD GHOST(最新消息驱动GHOST算法)只考虑每个验证者的最新证明(“见证”或“证明”)所指向的块，并递归地计算树中每个块所附的见证总数。也就是说，块树中节点(即“块”)的“权重”是将最新见证指向该块或其后代的所有验证者的总和。GHOST算法从块树的底部开始，在每个节点选择最重的子链，直到到达叶节点(即块树末端的块)。这个叶子是链的顶端，递归定义整个主链。

具体来说，在一个时期的每个指定时隙中，验证者有机会生成证明。Submitting考勤. data.beacon _ block _ root就是分叉选择意义上的投票。当计算分叉选择结果时，该算法将考虑来自最近活动的验证者的所有投票

定局

分叉选择规则允许我们从一个块树中选择一个主链，而“确定性”给了我们一个保证，某些块将一直保留在主链上。信标链使用卡斯帕FFG的改进版本来实现确定性。Casper提供了“可问责的安全性”，除非一定比例的验证者烧掉他们锁定的资本，否则某些块将始终保留在主链中。这是密码经济学意义上的“安全”，不同于传统共识算法中对“安全”的传统定义。

具体而言，验证者生成证明的机会基于时隙，并且只有在分配的时隙中，他们才有机会生成证明。提交证明。数据。源将作为FFG的源对，而提交证明。数据。目标将作为FFG的目标对。前者在《结合GHOST和Casper》中有更深入的论述。

交联

交联(“交联”)是对保存在信标链上的片段链的最近状态/块的引用。这些引用不仅是进行分叉选择时拆分链的根，也是拆分链之间异步通信的工具。在正常情况下，每个片段可以在每个周期内与信标链交叉链接一次(如果验证器的数量很少，有时每n个周期一次)。

虽然我们在阶段1之前不会加入片段链，但是在阶段0，系统会给交联委员会分配一个片段，并尝试每次生成一个交联。在Pahse 0中，交联中的数据根只是存根0x 000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000

验证员职责

有关验证者在第0阶段的责任的更详细的讨论，请参见此处。

验证者的两个主要职责是：(1)在每个周期发送见证消息；(2)当被选择时，偶尔生成信标链块。每一次，验证者将被分成不同的“交联委员会”。每个委员会将被分配一个时间段和一个部分。在给定的时隙中，验证器对信标链顶部块进行验证