两条队列,两种命运
以太坊对验证者进出场都做限速:每个纪元允许离场的质押总量叫退出 churn,允许新旧验证者合并的上限叫合并 churn。限速的根源是弱主观性——同步信任锚点覆盖的历史窗口内,全网换手太快会威胁安全性,于是协议把两条通道各自划了预算。问题在需求错配:退出通道经常排长队(提案写作时退出队列已长期超过四十天),合并通道却常常闲置,大量合并额度每个纪元白白作废。
更微妙的是一个既成事实的逻辑漏洞:余额达到 2048 以太币上限的验证者,可以通过先合并再拆分的操作路径借合并通道离场,等于有钱人抄了近道、普通退出者继续排四十天的队。EIP-8080(2025年11月起草,草案状态)选择不是堵洞,而是把近道向所有人开放:当合并队列比退出队列短时,退出请求直接借用合并侧的 churn 额度。
3比2的折算从哪来
规格改动小得出奇:在 compute_exit_epoch_and_update_churn 开头加一个分支,若最早的退出纪元晚于最早的合并纪元,就把这笔退出转交 compute_consolidation_epoch_and_update_churn 处理——但要按 2/3 折算记账,因为从弱主观性视角看,一单位退出 churn 对安全预算的消耗相当于三分之二单位合并 churn。协议借额度的同时把安全账本算得一分不差:合并队列无论被合并还是被退出使用,对信任窗口造成的压力完全相同。
拿数字量一把收益。当前参数下退出 churn 封顶 256 以太币每纪元;以全网约 3570 万以太币质押计,合并侧剩余额度按 3/2 因子放大后补足差额,最大退出吞吐变为 256 加 (544-256) 乘 3/2 约等于 688 以太币每纪元,吞吐约提升至原来的 2.5 倍,且安全折损为零——借的本来就是协议自己划下的预算。
谁最受益
排长队最疼的是谁?提案点名独立质押者:没有流动性衍生品可发、没有储备流动性可垫,四十天的退出延迟就是四十天的资金锁死。质押服务商尚可靠内部头寸调度周转,散户的 ETH 只能干等。把闲置额度导流给退出,首先改善的就是这群人的流动性。对协议自身也有好处:市场剧变时验证者集结与解散的速度,就是网络重配置风险敞口的调节阀,排队越久,不利事件后修复拓扑越慢。
公平性上,提案的立场值得玩味:与其剥夺 2048 以太币大户已经享受的捷径——那只会制造新的不公——不如把捷径平民化,所有人按同一规则使用合并队列,谁也不必再研究特殊的拆分技巧。
一个排队的直觉
把两条队列想成机场的两条安检通道:主通道四十天一趟,副通道常年空转。与其给主通道加盖机位(动安全预算、改参数、惊动全部风控),不如在副通道没人时挂上退出的牌子。3/2 折算是过闸机时多刷一次卡的规矩:走副通道的人占用的安全预算折算更贵,于是额度消耗按比例计,封顶的总预算一根毫毛没动。这也解释了为何只在合并队列更短时才分流——两条队都挤时分流毫无意义,条件本身已经内置在实现里。
一段走队列的旅程
跟着一台三十二以太币的独立验证者走一遍。提交签名退出请求后,协议先看最早的退出纪元和最早的合并纪元哪个更近:合并通道畅通,请求就被折进合并队列的账本,按三比二折算消耗合并侧每纪元额度,退出纪元往往比排完整退出队列提前好几天;两通道都堵时,走回原逻辑按退出 churn 排队。全程不需要用户多做任何事,改变只发生在协议内部记账。反过来,一家想做合并的服务商若撞上退出处处借道的纪元,它的合并请求要等合并额度——借道规则以先到先得与队列长短为条件,两边需求在动态中互相挤占,这正是设计者想要的:让同一笔安全预算流出更多有效操作。
快速问答
问:合并需求本身暴增怎么办?分流条件是按队列长短动态判断的,合并侧一挤,退出自动回到原通道。问:这会推高进入侧的排队吗?不会,进入 churn 是另一本账。问:和 EIP-7922 什么关系?同一问题域的不同杠杆,7922 试图抬高退出限速本身,8080 只重新分配既有额度,阻力自然更小。
风险提示:本文仅解读协议草案,不构成投资建议;额度与算术以官方 EIP 文本为准。
发表评论
还没有评论,来说两句吧。
评论区为展示样式,提交不会被处理。