目录
资源
概览
分叉选择规则
Finality
Crosslink
验证者职责
数据结构
注意
信标链操作
资源
Phase0技术规范
信标链状态转换
分叉选择
验证者指南
设计哲学
学术论文
CasperFFG
在PoS链上使用LMDGHOST来形式化FFG的相关论文正在协作中，即将发布
概览
信标链是居于以太坊2.0系统核心的一条链。叫这个名字是因为这条链会充当随机性的信标，但也可以就叫做“系统链”或者“脊柱链”，等等。这条链也是验证者“所在”的链，也就是说，验证者的?
责任?会在这条链上得到分配、验证者会在这个共识环境中运行协议层的随机数生成器、验证者也在这条链上为链顶端的区块投票并?
形成确定性检查点；这里也是验证者引用分片链状态、用作诸分片链的根并协助跨分片通信的地方。信标链既是系统运作背后的大脑，也是后续分片系统据以搭建的框架。
信标链的状态乃是技术规范所围绕的核心对象。?BeaconState?涵盖了所有有关的信息：验证者有那些人、他们分别处在什么状态中、这个状态属于区块树上的哪条链，以及对Eth1链的哈希值引用。
动态 | Libra技术指导委员会将于2020年第一季度发布技术治理框架:Facebook 领导的稳定币项目 Libra 发布最新公告宣布，其技术指导委员会 TSC 将在 2020 年第一季度发布技术治理框架及其相关文件，包括开源社区针对网络的技术升级如何进行提案的流程，以及评估这些提案的一系列透明流程。Libra 技术指导委员会 TSC 于 2019 年 12 月 16 日由 Libra 协会理事会投票决定成立，包括五名成员，分别是加密货币托管服务 Anchorage 联合创始人兼总裁 Diogo Monica、Calibra 核心产品负责人 George Cabrera III、Bison Trails 首席执行官兼创始人 Joe Lallouz、联合广场风投合伙人 Nick Grossman 和慈善组织 Mercy Corps 新兴技术总监 Ric Shreves。[2020/1/17]
从创世状态开始，每当有一个区块能够满足状态转换函数所设的所有条件，该块处理完成后的状态就被认为是有效状态。这样依赖，一个区块的前提条件就可以被递归地定义为在前一个区块上运行状态转换函数所得的有效后置条件，这样一路回溯到创世状态。
分叉选择规则
分叉选择规则的含义是：给定一棵区块树，总是能够根据这样的规则以及近期来自验证者形而消息，选出单一一条链以及终局状态。分叉选择规则接受该区块树以及相应的来自验证者集合的最新attestation，然后返回一个区块作为当前的链顶端区块。LMDGHOST，Eth2.0所用的分叉选择规则，仅考虑每一个验证者最新的attestation所指向的区块，并以此来计算递归地附加在树上每一区块的总见证数量。也就是说，区块树上的一个节点的“重量”，乃是将最新见证指向该区块或该区块的子孙区块的所有验证者的数量总和。GHOST算法会从区块树的底部开始，每到一个节点便选择子链中最重的，直至到达叶子节点。该叶子便是链的顶端，并递归地定义出了整条主链。
声音 | Rekt Capital：重要技术指标显示，数种山寨币或迎来强势逆转行情:加密货币交易员Rekt Capital发推称，尽管我并不特别看好山寨币，但我发现，目前有少数几种山寨币在200指数移动均线（200 EMA）下方徘徊。200 EMA是投资者情绪的一个长期指标，这意味着一些山寨币可能处于强势逆转的边缘。注：200 EMA是很好的衡量投资者对某种资产的情绪指标。因此，如果一种资产价格高于该指数移动，可能意味着牛市已经开始。（BeInCrypto）[2019/11/3]
具体而言，在一个时段中的每一个被指定的时隙中，验证者都有机会产生一个?attestation。提交?attestation.data.beacon_block_root?就是一次分叉选择意义上的投票了。在计算分叉选择结果时，算法会将来自近期活跃验证者所有投票都考虑在内
Finality
分叉选择规则让我们可以在一棵区块树中选出一条主梁，而“Finality”则给了我们一种保证：特定的一些区块会一直保持在主链上。信标链使用改进版的CasperFFG来实现确定性。Casper提供了“可审计的安全性”，特定的一些区块会一直保持在主链上，除非一定比例的验证者烧掉他们锁定的资本。这就是我们认为有别于传统共识算法中的传统“安全性”定义的、“密码经济学”意义上的“安全性”。
具体而言，在一个时段中的每一个被指定的时隙中，验证者都有机会产生一个?attestation。提交?attestation.data.source?会作为FFG的sourcepair，而提交?attestation.data.target?则会作为FFG的targetpair，前者在“CombiningGHOSTandCasper”处有更深入的讨论。
声音 | 彭博社：BTC处于超卖区域，GTI关键技术指标自2018年末以来首次发出买入信号:据彭博社报道，GTI全球强度指标显示，BTC目前处于超卖区域。该指标自2018年12月末以来，首次发出买入（看涨）信号。并且，BTC若能稳在8000美元以上，这是另一个展示其价格强势的迹象。彭博资讯分析师Mike McGlone表示，“比特币的成熟过程将在年底加速，因为其处在一个更温和的价格升值过程中，波动性将下降。”（dailyhodl）[2019/10/6]
Crosslink
Crosslink即是在信标链上保存的、对分片链近期状态/区块的引用。这些引用既是分片链在做分叉选择时候的树根，也是分片链之间异步通信的工具。在正常情况下，每一个分片每一个时段都可以交联到信标链一次。
虽然在Phase1之前我们不会加入分片链，但Phase0中系统还是会给交联委员会分配一个分片并尝试每个时段生成一个交联。在Pahse0中，交联中的数据根会简单地存根为?0x00。
验证者职责
关于Phase0中的验证者职责，更详细的讨论可以看
此处。
验证者的两种主要职责是：每个时段给信标链做见证；偶尔在被选中时产生信标链区块。每一个时段，验证者都会被分成不同的“交联委员会”。每一个委员会都会被分配到一个时隙和一个分片。在给定时隙中，验证者为信标链顶端区块做attestation。每一个时隙都会从被安排到该时隙的委员会中选出一个信标链区块提议者。
只要定期给信标链主链和分片链做见证，验证者就可以得到奖励；反之，如果不能完成职责，他们也会被惩罚。如果一个验证者违反了CasperFFG规则，或者他们在同一时段中创造了两个信标链区块，他们就会被?罚没。更多关于罚没条件的细节请看此处。
分析 | 彭博：GTI VERA技术指标在近两个月内首次出现卖出信号:据彭博消息，，随着比特币价格逼近5000美元，彭博对比特币的价格走势发出了新的警告。GTI VERA收敛发散技术指标自3月中旬以来出现了首个卖出信号。这一转变可能表明，未来价格可能还会进一步下跌。总部位于伦敦的区块链投资公司KR1 Plc首席执行官George McDonaugh称，比特币下跌是很自然的。“当比特币在几周前大幅上涨时，交易量足以突破主要阻力位进入一个新交易区间。目前的走势是在交易区间内的自然市场周期，只是市场在寻找下限，有关竞争产品的消息（Bitfinex事件）在市场上引发了一些戏剧性事件和不确定性。”[2019/4/30]
数据结构
注意
信标链内的数据街哦股以及数据结构的哈希值都被编码为?
SimpleSerialiZe(SSZ)?对象。使用SSZ哈希方法的一个好处是：在给底层数据生成默克尔树时，树的深度可以是不均匀的。这一点以及SSZ其余聪明设计的结果就是：一个SSZ对象，无论该对象的子对象是完整表现的还是仅由部分默克尔根值来表现的，该SSZ对象的哈希树根值都是一样的。
信标链操作
信标链操作就是一个区块提议者可以加入?BeaconBlock?的数据结构，也是与系统层验证/构建相关的多种消息的合并方式。这些操作本质上都是验证者层级的信标链状态机事务。每一种操作在一个区块中都有数量上限，由?
maxoperationsperblock?定义为常量。
ProposerSlashing
动态 | 比特币的长期技术指标预示牛市可能到来:彭博社发文称，从比特币定向运动指数(DMI)的长期趋势来看，它进入了一个新的牛市阶段。此外，价格趋势突破了VERA band的上限，这被普遍认为是一个令人鼓舞的迹象。随着年底的临近，这一比特币可能会出现上涨。[2018/11/7]
如果一个信标链区块提议者在同一时段中提议了两个不同的信标链区块，TA可以被罚没。
这一数据结构包含了对可罚没事件已然发生的证明。
hash_tree_root(block)==hash_tree_root(block_header)?，因此，签名对所有数据结构来说都是有效的。?BeaconBlockHeader?因此可以用作证明来降低消息的大小。
字段
proposer_index?——即提议要惩罚的验证者的?ValidatorIndex
header_1?——两个需罚没信标链区块中第一个的区块头
header_2?——两个可罚没信标链区块中第二个的区块头
AttesterSlashing
如果一个信标链见证者签署了两个相互冲突的见证
字段
attestation_1?——两个需罚没attestation中的第一个，注意这个字段的形式也是索引形式的
attestation_2?——两个需罚没attestation中的第二个，注意这个字段的形式也是索引形式的
Attestation
验证者为共识过程创建的最基本的消息形式。虽然每个时隙只有一个验证者可以创建信标链区块，但每个时段中所有验证者都有一次创建一个attestation的机会。正常情况下，所有在线的验证者每逢一个时段都能创建一个attestation，并且都有一个attestation被纳入区块中。
AttestationData?就是验证者签署的主要部分。
外部的数据结构包含了聚合后的签名以及为了验证签名所必须的参与者字段。
字段
aggregation_bits?为委员会的成员存储一个bit，委员会会为每个参与该聚合签名的验证者赋值为?1。注意，这是按委员会的顺序来排列的。
data?就是该验证者或者验证者委员会签名的?AttestationData?。
beacon_block_root?——在被指定的时隙处，被视为链顶端的信标链区块的区块根
source?——在被指定的时隙处，最近在?BeaconState?中被确定的检查点
target?——试图敲定的检查点
crosslink?——试图为指定分片构建的交联
custody_bitfield?表示每一个委员会成员的“保管证明”bit。在Phase0阶段，该值必然为0。。
signature?就是相关数据的BLS聚合签名。
AttestationDataAndCustodyBit?是验证者签署的实际消息。给定?Attestation?，验证者可能签署的消息有两种——带有0或1的custodybit的?AttestationDataAndCustodyBit?。根据?custody_bitfield，我们可以从每个参与的验证者处，恢复出需要的被签过名的消息。在Phase0中，所有的custodybit都是0。
Deposit
表示从Eth1链的保证金合约中即将到来的验证者保证金。
字段
proof?——对?BeaconState?中的当前?eth1_data.root?的默克尔证据。注意向量长度的?+1?是因为SSZ长度混合到了根中。
data?——?DepositData?提交给保证金合约，以便被验证，验证时使用depositroot的证明。
pubkey?——验证者用以对消息签名的BLS12-381公钥
withdrawal_credentials?——用于取出质押资金的离线公钥的哈希值。该密钥不会主动用于验证，可以保存在冷钱包中。
amount?——存储的Gwei数量
signature?——使用?pubkey?对应的?privkey?对?DepositData?的签名数据。这一数据也被用作一次性的“proofofcustody”，以保证安全地使用BLS秘钥。
VoluntaryExit
消息类型，验证者可借发送此类消息而主动解除验证者职责
字段
epoch?——本次退出行动上链处理所需的最小时段数。这一字段可以防止在链重组/分叉时对本功能
validator_index?——验证者退出活动的索引
signature?——相关验证者用公钥对?VoluntaryExit?的签名。
Transfer
让验证者可以转移余额。
基本上就是为了让Eth2在Phase0和Phase1阶段也能具有货币流动性。
余额转移必须包括在准确指定的?slot?中，以避免重放攻击。
正在承担职责的验证者不能转移余额，除非TA的余额高于?MAX_EFFECTIVE_BALANCE
MAX_TRANSFERS?在Phase0启动阶段预计会被设置为0，只有在Phase0看起来已经稳定可用之后才会提高
字段
sender?——发送资金的验证者的索引
recipient?——接收资金的验证者的索引
amount?——发送的Gwei数量
fee?——用Gwei为单位计算的、交给区块提议者的手续费
slot?——这笔签名的?Transfer?可以上链的特定时隙。防止重放攻击
pubkey?——?sender?取出的?pubkey?。该公钥的?hash?必须匹配?sender?的withdrawal_credentials。
signature?——对该?Transfer?的签名，来自?transfer.pubkey
(未完)
原文链接:?https://notes.ethereum.org/jDcuUp3-T8CeFTv0YpAsHw?view#Beacon-state作者:?DannyRyan翻译:?阿剑
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。