作者:DeribitMarketResearch
翻译:子铭
来源:加密谷
编者注:原标题为《区块链安全性的洋葱模型》
根据经验来看公链是安全的,在其大部分历史上,它们已成功的达到其设计目的,即以没有任何差错的情形下处理交易。这确实是我们观察到的事实,但要想出一个理论来解释为什么会这样就比较困难了。
个人一般会用他们最了解和最看重的事物来解释他们的钟意项目的安全性。人们认为一个公链是通过经济激励、全球分布式的Hash算力、全球性的节点或者狂热的社区来保证其安全性。这种看法可以理解,根据工具定律,我们过度依赖那些我们已经熟悉的工具。也就是说如果你唯一的工具是一把锤子,那么你就倾向于把一切都当作钉子来对待。
我不认为以上任何一个因素可以能单独解释这个现象。尽管在某一特定领域有完美的防护措施,但对其实施攻击也不是一件难事。例如,在一个所有用户都运行一个完整的节点的网络中,矿工仍然可以用一个备用的区块链代替整个区块链。因此必须是不同组合的相互作用才能维护一个免许可数字货币系统在相对安全的程度。
区块链安全性的洋葱模型
我提出的模型希望将安全性的各个元素形成一个连贯的组合。其目标是能够更全面地看待公链以发现其优势和缺陷,并允许对不同区块链进行比较。
区块链公司ConsenSys以32亿美元估值融资2亿美元:金色财经报道,区块链技术公司ConsenSys周三表示,已经以32亿美元的估值从汇丰银行和美国对冲基金Third Point等投资者处筹集了2亿美元。其他投资者包括Marshall Wace、Think Investments、Dragonfly Capital、Electric Capital、Spartan Group、Coinbase Ventures、DeFiance Capital和Animoca Brands等。ConsenSys计划招募多达400名新员工。ConsenSys首席战略官Simon Morris表示:“人才争夺战正在进行中,将确保我们能够壮大我们的团队,收购并聘请一些团队”。[2021/11/18 21:58:59]
公链的安全性类似于洋葱,每一层都增加了额外的安全性:
要永久地破坏一个公链,就必须破坏用户对其账本状态的信任,以及破坏未来可靠地更新该状态的能力。所有更上层的服务都是为了防止这种情况的发生。
Yusuf:区块链赋予游戏玩家以数字资产所有权:4月1日 21:00,Animoca Brands 集团首席技术官Yusuf Goolamabbas集团首席技术官做客抹茶社区分享观点。
Yusuf 表示:“拥有绝大多数虚拟商品仅仅是一种幻觉,无论投入多少钱,它都可能在瞬间消失。这是因为虚拟商品通常是作为许可服务提供的,并且必须遵守发行商为使用这些资产而指定的服务条款(例如,这些资产仍然是发行商的财产,不允许你在提供这些资产的游戏之外使用它们)。实际上,游戏产业是在向玩家出租虚拟商品。显然玩家没有所有权。区块链技术实现了游戏内资产的真正数字所有权,赋予游戏玩家真正的产权——包括资产使用权(不仅仅是在他们的原生游戏中)和资产售卖权(例如,将资产出售给第三方)。”[2021/4/2 19:39:43]
攻击要经过这些防御层的“漏斗”才能触及核心。现在我们来逐一讨论这几层。
加密保障
最外层的防御是由密码学来保障的。密码学给出了最可靠的保障形式,所以我们希望它能承担起重任,从一开始就能防止大多数攻击。除此之外,还需要保障以下几点:
动态 | 零售巨头Overstock的区块链子公司宣布在其加密应用程序中添加RVN支持:据Businesswire消息,零售巨头Overstock区块链子公司tZero宣布将Ravencoin(RVN)添加到其加密应用程序中,成为继BTC和ETH之后该应用程序支持的第三种加密货币。tZERO加密应用程序于2019年6月27日推出,允许投资者直接在手机上买卖和持有数字货币,而不是通过第三方交易所进行托管。tZERO母公司Overstock.com的首席执行官Patrick M. Byrne表示,Ravencoin不仅是增长最快的加密货币之一,而且在理念上与tZERO保持一致,这使资产易于数字化,并可自由交易。[2019/8/20]
不凭空创造数字货币。所有的区块都必须有足够的工作证量依附在上面。
不得花费他人的数字货币。数字签名必须确保数字货币的有效拥有者才能花费。
不能追溯性地改变旧区块的内容。哈希指针确保攻击者必须改变建立在任何他想改变的旧区块之后的所有区块。
所有针对以上几点的攻击都会被“漏斗”的第一层所阻挡。
动态 | 法国金融市场管理局将与以色列证券管理局讨论区块链、加密资产等的监管问题:据financemagnates报道,法国金融市场管理局(AMF)宣布,与以色列证券管理局(ISA)签署了一项合作协议。两国金融监管机构同意在数项关键领域密切合作。该协议在悉尼国际证监会组织(IOSCO)年会上签署。法国AMF和以色列ISA将就各自市场的金融科技趋势交换信息,并讨论与区块链、加密资产、人工智能或数据使用以及自动化金融咨询开发相关的监管问题。[2019/5/15]
虽然密码学非常强大,但它也有其他一些无法提供的保障。例如,它不能决定两个同样长的区块链中的哪一个是“正确的”区块链。它也不能强迫矿工们在特定区块上挖矿,也不能让他们一旦发现区块就发布区块,甚至不能确保它们包含特定的交易。
共识保障
一些通过第一层的攻击会在共识保障中被阻止。在中本聪设置的共识中,节点会不断观察网络,并自动切换到最长的链上。矿工只有当他们的区块最终成为那条最长的链的一部分时才会获得报酬,所以他们需要与其他矿工汇合。因此,对矿工来说,他们会更倾向于在区块链的顶端挖矿,因为他们的区块在那里最有可能被其他矿工认可。
如果一个恶意矿工想在之前的区块上挖矿,他就会和其他继续在区块链顶端挖矿的矿工进入竞争状态。只有当他找到几个区块的速度比其他人的总和快,他才能追得上整条链且把他挖出的区块及之后的链拉到最长。但根据他所占的Hash算力份额,就算是很短的分叉,他也很难成功。
动态 | 新加坡区块链加速器Tribe Accelerator宣布其首批重点支持项目:据Irish Tech News消息,新加坡政府支持的区块链加速器Tribe Accelerator已宣布10家初创公司将成为该加速器首批产品开发重点支持项目。10家公司有一半于当地成立,分别名为sgCarMart、TADA、WhatsHalal、MightyJaxx、Limestone Network、Digix、Chorus Mobility、TEMCO、Halo、Accrue。[2019/4/7]
为了使攻击可靠地发挥作用,攻击者需要首先获得对共识层的控制权。这意味着要控制PoW中大于50%的哈希率,或者控制了基于BFT的股权证明中大于33%的股权,或者控制了基于最长链的PoS中大于50%的股权。
这其中的操作难度往往被低估。例如,大型组织通常被认为是公链的最大威胁。然而,如果他们想在一级市场上购买必要的硬件,他们很快就会发现,、中国和韩国的芯片代工厂的年产量是有上限的。而且他们的产能还被澳大利亚的稀土开采、亚洲和非洲的晶圆生产等进一步限制,即每年的产能是有限的。即使是对积极性很高的买家来说也是如此。以这种方式获得必要的硬件至少需要2-3年的时间,而且在这期间不可能不会引起相关的关注。
经济保障
我认为由于有了经济保障,即便单一实体控制了共识层,区块链也不会立即崩溃。通过设置正确的激励机制,区块链可以将现实世界的成本与错误行为联系起来。主要原因来自于原生代币,它引入了数字稀缺性并惩罚坏的行为。
这些激励措施的大小会随着行为者对共识层的控制程度的高低而变化。一个控制了大量Hash算力的矿工,其破坏系统的损失也会成比例地增加。因此,攻击者会因为受到经济上的惩罚而使他望而却步。
不是所有的经济激励都是平等的。相对于网络价值而言,区块奖励更大的作用是使网络更安全,因为它迫使矿工们在挖矿中的防御性更强。这就是为什么区块奖励的下降会给BTC的安全带来风险)。
当Hash运算需要专门的硬件且这些硬件并不能在其他领域利用时,矿工们在游戏中的防御性也会更强。迄今为止,所有的挖矿攻击都发生在较小的网络上,这不是巧合,因为这些网络接受了一种叫做抵制ASIC的错误观点,在这种情况下攻击者是很容易占据上风的。
社会保障
之前我们说过,要永久摧毁一个公链就必须摧毁用户对账本状态的信任,以及未来可靠地更新该状态的能力。
这一点是非常必要的,因为区块链并不是目的本身,也就是说没有理由因为链的某些部分暂时失败,就否定这条链。区块链仅仅是一个在其参与者之间建立社会共识的自动化过程的手段,是一个维护和更新共享数据库的工具。该数据库的状态对参与者来说是有价值的,当系统出现故障时,他们有强烈的动力去恢复系统。
例如,如果加密的Hash函数出现问题,社会层可以达成人为共识来替换出现问题的部分。
同样,如果一个共识攻击绕过了经济保障,社会保障仍然可以将其阻挡。如果一个拥有多数Hash算力的攻击者在完全接受了自己的经济损失的情况下,开始通过挖空区块对网络进行DOS攻击,那么矿工们可以投票决定改变PoW算法,从而移除该挖矿者的控制权。
我们可以看到,要想永远摧毁一个区块链,唯一的办法就是要么让用户对账本状态本身失去兴趣,要么就是对系统的破坏达到不可能修复的程度。
当攻击能够击穿所有的层数,并最终消磨掉系统的社会核心,直到无法造成更深层次且无法治愈的伤害,那这种攻击就相当危险了。
为了让自我修复和人工干预都能发挥作用,每个项目的社区都需要围绕着项目的主要属性形成强大的社区共识。就BTC而言,这些核心属性是交易的不可逆性、抗审查能力、不向后兼容的变化、21M代币上限等。当社会干预变得有必要时,它们可以作为社会干预的行动蓝图,这些核心属性围绕着什么需要修复,什么不需要修复创造了谢林点。
一个项目的这些核心属性是永远都会被反复不断协商改进的,并不是所有用户会对所有属性都达成一致。但是,围绕着某个特定属性的共识越强,就越能在困难时期坚持下去。将社会层视为任何区块链的底层,我们可以认识到对于社会层攻击是一个很大的威胁。如果恶意开发者可以在没有监督的情况下偷偷地进行有害的代码修改,更高的层就会变得更加脆弱。
总结
我认为洋葱模型很有用,它可以帮我们看到区块链的各层如何组合创造一个安全的整体。在某些方面,它建立在我之前关于比特币的社交合约的文章基础上:任何公链都是从核心的一组共识开始的,这是一个系统希望实现的蓝图。
这套共识必须被转化为人际行为规则,然后我们自动执行这些规则,创造出不同类型的保障:经济保障、共识保障和加密保障。通过对参与者的行为的约束,系统变得具有社会可扩展性,从而在低信任环境中实现合作,共同创造财富。
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。