以太坊2.0权益证明核心术语解析，以太坊网络运行基础概念说明
以太坊向权益证明体系演进过程中围绕验证者、信标链、分片与共识机制形成了一整套新的概念体系，这些术语共同构成了以太坊新架构的基础认知框架，下面就对相关术语进行整理说明。
共识与验证相关概念
Attestation证明
证明是指“验证者发起的投票行为”，通过签名聚合完成，用于确认区块的有效性，投票权重与验证者质押余额相关联，证明数据会被广播并记录在链上。
Attester证明者
在信标链中，验证者可以承担不同职责，其中证明者负责对区块进行投票确认，保证了区块符合共识规则。
Block Proposer区块提议者
区块提议者由信标链通过随机机制选出，在对应的时隙内负责生成新区块，每个时隙仅存在一名提议者。
Validator验证者
验证者是权益证明体系中的核心参与者，通过质押以太币参与区块提议与投票工作，其行为直接影响网络安全与共识稳定。
信标链与链上结构
Beacon Chain信标链
信标链是以太坊权益证明体系的协调中枢，负责管理验证者、分配职责、生成随机数，并对链状态进行最终确认，同时承担分片间的数据连接功能。
主要职能
为验证者分配任务。
对检查点进行确认。
执行协议层随机数生成。
对链头进行投票。
协调分片链的数据引用。
Chain Head链头
链头指当前被共识规则选定的最新区块，验证者会通过投票不断更新链头状态，作为分叉选择的依据。
Checkpoint检查点
检查点位于每个周期的起始时隙，用于标记阶段性状态，多个周期可能共用同一个检查点区块。
Epoch时段
时段由固定数量的时隙组成，用于组织验证者轮换、投票与最终确认流程，是共识节奏的重要单位。
Slots时隙
时隙是区块产生与投票的最小时间单位，在一个时隙内可能产生区块，也可能为空，每个时隙都会分配验证者执行对应任务。
投票、分叉与最终性机制
Casper FFG
Casper FFG是一种基于权益证明的最终确认机制，通过独立于区块生成流程的投票系统，对区块状态进行确认，提高网络安全性并降低回滚风险。
Justification证明
当足够数量的验证者对连续检查点达成一致，这些检查点会被标记为已证明状态，为后续最终确认奠定基础。
Finalization最终确定
最终确定指区块状态达到经济不可逆的程度，一旦完成，冲突区块将无法同时成立，违规验证者会受到经济惩罚。
Fork Choice Rule分叉选择规则
以太坊采用基于投票权重的分叉选择方式，通过统计最新证明信息，选出票数最高的分支作为规范链。
LMD GHOST
LMD GHOST是一种基于最新消息驱动的分叉选择算法，通过验证者投票而非单纯链长判断链头位置，提高网络在复杂环境下的稳定性。
验证者行为与安全约束
Committees委员会
委员会由随机分配的验证者组成，负责在特定时隙内对区块进行投票，随机分组机制用于降低集中风险。
Shuffling混洗机制
混洗用于周期性打乱验证者分布，使验证者不断轮换所在分片，提高整体安全性，降低协同攻击概率。
Double Proposal双重提议
指区块提议者在同一时隙内生成多个区块，这种行为会被视为违规。
Double Vote双重投票
验证者针对同一目标检查点却使用不同来源检查点发起多次投票，这类行为会触发惩罚机制。
Surround Vote环绕投票
指一次投票在时间范围上包围另一笔投票，破坏共识顺序，这类行为同样被认定为违规。
Slashing罚没
当验证者被发现存在严重违规行为，其部分或全部质押资产会被销毁，同时被强制退出验证者集合，罚没力度与同时违规人数相关联。
质押与账户结构
Deposit Contract存款合约
存款合约部署在原有链上，用于记录验证者质押行为，质押资产会被锁定并作为参与权益证明的前提条件。
Current Balance与Effective Balance
现存余额指账户中实际持有的数量，有效余额用于计算奖励与惩罚区间，有效余额存在上限与调整阈值，用于平滑奖励变化。
分片与扩展设计
Sharding分片
分片是一种横向扩展方式，将网络负载分散到多个子链中并行处理，每条分片由不同验证者集合维护，通过信标链实现状态协调。
Phase 0阶段0
阶段0主要用于启动信标链，引入权益证明体系，不涉及交易执行与智能合约调用。
Phase 1阶段1
阶段1引入数据分片，用于提升网络吞吐能力，使数据处理更加并行化。
Phase 1.5阶段1.5
该阶段用于整合原有链与新架构，使原系统功能平滑迁移至权益证明环境。
Phase 2阶段2
阶段2的设计方向集中在执行环境与应用扩展，为构建可扩展应用提供基础能力。
验证者生命周期概览
验证者从质押开始进入等待队列，随后被激活参与网络运作，在运行期间需要持续履行提议与投票职责，当余额过低、自愿退出或触发罚没条件时，其验证者身份将被终止。
