无利害关系问题:理解权益证明面临的最大挑战
无利害关系问题揭示了权益证明系统的一项根本挑战。
New to Nervos? Start here.
Explore the guide
与工作量证明(Proof-of-Work,PoW)等较早的机制相比,权益证明(Proof-of-Stake,PoS)承诺提高能源效率、加快交易处理,并让更多人参与共识。但在这些吸引人的特性之下,隐藏着一个微妙而严峻的挑战,即权益无关,也称无利害关系(Nothing-at-Stake)问题。
无利害关系问题描述的是这样一种情形:验证者可以同时支持区块链的多个竞争版本,而无需为此承担实质性成本。简单来说,当链发生分叉时,验证者可能理性地选择验证所有可能的分支,而不是只支持其中一个。从个体角度看,这种行为能够在尽量降低风险的同时,使奖励最大化。
这个问题之所以重要,是因为区块链依赖集体共识。共识不只是技术过程,也是一种社会和经济协调机制。如果参与者受到的激励促使他们采取削弱一致性的行动,整个系统就会变得脆弱。
理解区块链共识
区块链共识回答了一个看似简单、影响却很深远的问题:所有人应该接受哪个账本版本作为规范版本?
在传统系统中,这一决定由中央权威作出,它负责解决冲突,并确立唯一可信的记录。区块链则有意去除这一权威,转而要求数千名彼此独立、互不信任的参与者就共同历史进行协调。共识机制提供了使这一过程成为可能的规则,定义谁可以提议新区块、如何验证区块,以及参与者意见不一致时系统如何应对。
比特币等早期区块链依靠工作量证明(PoW)。在 PoW 中,矿工通过消耗电力、专用硬件和时间等现实资源来竞争出块。这种消耗并非缺陷,也不是应当被优化掉的低效,而是一项核心安全特征。PoW 让出块具有成本,从而确保不诚实行为也具有成本。攻击网络需要持续投入外部资源,这种投入无法轻易伪造或撤销。
权益证明(PoS)从另一方向处理同一协调问题。验证者不消耗能源,而是锁定区块链原生资产作为质押。这笔质押既是安全保证金,也是影响力的来源。系统根据验证者所质押的数量,随机选择其提议区块并对区块作出证明。
从概念上看,PoS 依赖激励的一致性。验证者被期待诚实行事,因为其财富与网络的健康和可信度直接相关。如果系统失败或失去信任,其质押资产的价值就会下降。理论上,这种共同承担的经济风险能约束参与者。
但去除物理成本,也意味着去除了自然约束。在 PoW 中,每增加一单位工作量,都有真实且无法避免的成本;而在 PoS 中,额外生成或验证区块几乎可以免费。这种不对称从根本上改变了验证者行为,并引出无利害关系问题:参与者可以同时支持多个竞争历史,而不承担实质性惩罚。
认识无利害关系问题
无利害关系问题可以归结为一个问题:如果支持所有可能结果实际上没有成本,为什么不这样做?
在权益证明系统中,验证者可能遇到多个相互竞争的区块链版本,通常称为分叉。这些分叉可能自然产生于网络延迟,也可能是有人有意尝试改写历史的结果。在多个分叉上验证区块,往往只需用私钥额外签署一些消息。如果这种行为没有实质性成本或惩罚,验证者就有动机同时下注。
假设一个 PoS 网络暂时分裂为两条分叉。只支持一条分叉的验证者,如果该分叉获胜就获得奖励,失败则一无所获;同时支持两条分叉的验证者,无论结果如何都能获得奖励。这种策略对个体而言是理性的,却会损害整体。它体现了典型的激励错配:协议依赖验证者作出排他性选择,而理性的验证者却追求预期收益最大化。
关键在于,这个问题并不要求参与者有恶意。当这种行为变得普遍时,即使诚实、善意的验证者也会被推向同样的做法。如果一些验证者在多个分叉上签名,另一些只支持一个,后者的收入就会系统性地低于前者。久而久之,系统筛选出来的行为会削弱收敛,而非强化收敛。
如果验证所有分叉成为主导策略,网络就会逐渐失去就一条权威链达成一致的能力。共识减弱,分叉持续更久,攻击者也获得更多可利用的空间。最初只是对激励的理性反应,最终却威胁到协议的核心安全保障。
为什么 PoW 没有这个问题
比较权益证明与工作量证明,可以看出为什么无利害关系问题主要出现在 PoS 系统中。
在工作量证明中,同时在多个分叉上挖矿天然昂贵。每次哈希计算都会消耗电力,挖矿硬件一次只能处理一条链。矿工若将资源分散到不同分叉,就会降低自己在每条分叉上成功的概率。
这种物理限制形成了约束。矿工必须选择将资源分配到哪里,选错会产生机会成本。在失败的分叉上挖矿,意味着浪费能源并失去奖励。
在权益证明中,验证是一种数字操作。单个验证者能够以极小的额外成本,在许多分叉上为许多区块签名。如果没有额外规则,协议就无法区分审慎地选择支持对象与不加区分地同时下注。自然成本的缺失,正是无利害关系问题得以产生的根源。
无利害关系问题带来的安全风险
无利害关系问题引入了几种具体的安全风险。首先,它使某些攻击更容易实施。如果验证者经常在多个分叉上签名,攻击者就有机会利用不一致。恶意参与者可以创建分叉,在一条链上花费资金,之后再推动一个没有这些交易的替代历史。同时为两条链签名的验证者,会无意中协助这类攻击。
另一个被广泛讨论的攻击是长程攻击(long-range attack)。在这类攻击中,对手获取已不再活跃的验证者的旧私钥。由于验证旧区块没有成本,攻击者可以从很久以前开始重建替代链,改写大段历史。如果当前验证者可以在多条链上签名而不受惩罚,真实历史就会变得难以辨别。新节点或离线节点可能将攻击者的版本视为有效,破坏区块链所承诺的不可篡改性。
区块链的价值取决于它能否收敛到单一历史。如果验证者经常支持多个分叉,收敛就会减慢,甚至完全失败。网络可能在竞争链之间来回摇摆,削弱人们对交易最终性(finality)的信心。最终性意味着区块一旦确认,就无法回退。在易受无利害关系问题影响的系统中,最终性较弱,区块在很长时间内理论上仍可逆转。这种不确定性会抑制高价值交易和机构采用。
这些风险不意味着系统必然失败,但会增加建立信任的成本。用户必须依赖协议之外的假设,例如社会共识或可信检查点。这使系统偏离尽量减少信任依赖的理想。
无利害关系问题的解决方案
罚没
罚没(slashing)是应对无利害关系问题最直接、应用最广泛的方法。它对不当行为引入明确且由协议强制执行的惩罚。验证者一旦被证明签署了相互冲突的区块,或违反了共识规则,就会被销毁部分质押资产,严重时甚至全部销毁。
这从根本上改变了激励格局。在多个分叉上验证不再没有成本,而会带来明确、即时的财务风险。因此,理性验证者被迫作出排他性选择,类似于工作量证明系统对矿工施加的经济约束。
除了激励,罚没还发挥重要的信号作用。它表明,协议将安全违规视为客观过错,而非社会争议,并自动、可信地执行相应后果。这降低了对临时协调的依赖,增强了对系统安全保障的信心。
但罚没也存在挑战。对不当行为的检测必须精确且无歧义。诚实验证者不应因网络延迟、软件缺陷或无法控制的边界情况而受罚。设计严格又公平的罚没条件,需要谨慎的规范、大量测试和稳妥推出。
尽管存在这些取舍,罚没已经成为现代权益证明设计的基础组成部分。例如,以太坊高度依赖罚没,威慑双签(equivocation)行为,并抑制不诚实行为。
最终性组件与检查点
最终性组件(finality gadgets)引入额外的共识层,使验证者能够就不可逆检查点达成一致。区块一旦最终确定,若没有广泛协调并承担严厉惩罚,要回退它就会昂贵到无法承受,或实际上不可能。试图支持相互冲突的已最终确定历史的验证者,可以受到严厉罚没。
这一机制大幅限制了无利害关系行为的长期影响。验证者虽然仍可能在早期、尚未最终确定的阶段同时下注,但最终性会在明确定义的节点迫使网络收敛。随着时间推移,由此形成的链稳定、可预测,并能抵御深度重组。
检查点也提高了新节点或恢复运行节点的安全性。通过将同步锚定到近期已最终确定的区块,节点能够免受长程攻击和历史改写。虽然这引入了有限的信任假设,但这些假设明确、有边界,且在运行中可以管理。
社会共识与治理
即使具备强有力的密码经济机制,社会共识仍是最后一道保障。在灾难性程序缺陷、协同攻击或治理失败等极端情况下,社区可以集体拒绝恶意分叉、升级协议规则,或通过治理程序施加惩罚。
这一社会层经常被批评为主观或中心化,但它反映了不可回避的现实:区块链是社会与技术相结合的系统。代码执行规则,而人类定义、解释、维护并最终改变代码。治理并不替代技术安全,而是强化它。
清晰的规则、透明的惩罚和开放的协调,可以减少验证者面临的不确定性。当参与者既理解协议层面的后果,也理解社区的期待时,行为就能更可靠地趋于一致。
目标不是用社会防御替代技术防御,而是让两者一致。当密码经济激励与社会规范相互契合,系统的韧性就会显著提高。
结语
无利害关系问题揭示了权益证明系统的一项根本挑战。当验证成本低廉时,必须精心设计激励,以确保诚实行为。没有这样的机制,共识会减弱,最终性变得不确定,安全性也会下降。
现代权益证明系统已经取得巨大进步。罚没、最终性组件和改进后的激励设计,已解决许多最初的担忧。验证者还面临声誉风险、运营成本和社会压力,进一步抑制鲁莽行为。实际上,在规模大、关注度高的网络中,验证者很少为相互冲突的链签名。
More from CKB
长程攻击详解:攻击者可能如何改写区块链历史
长程攻击挑战了人们对区块链系统最根深蒂固的认识之一:历史不可篡改。

什么是区块链重组?
链重组既是区块链达成共识的自然产物,也可能成为攻击手段。

区块链中的区块构建者是什么?
区块链运行的核心能力,是维护一本安全、不可篡改且透明的交易账本。
