比特币:比特币安全吗?深入探索比特币的安全模型(下)

干货|深入探索比特币的安全模型

安全模型误区

另外,每个区块链系统都将创世块硬编码到了节点软件中。你可能会觉得,“共享历史”是一种社会契约——一旦某个区块的历史足够悠久,网络中的所有参与者之间都会达成共识,认为这个区块永远都不会被回滚。当开发者选定一个早期挖出的区块并用它来创建检查点时,更多是作为一种公认的完整性检查,而非对历史的客观描述。

除了检查点之外,节点如何实现自引导也是一个问题。目前,比特币节点的自引导流程是检查节点是否在本地存储了之前从对等节点那里了解到的数据。如果没有的话,节点将查询一组被硬编码到软件中的“DNS种子”。这些种子负责维护一个连接良好的比特币节点的列表,并将这个列表返回给你的节点。

正如我们可以从代码中看到的那样,BitcoinCore0.13目前使用由PieterWuille、MattCorallo、LukeDashjr、ChristianDecker、JeffGarzik和JonasSchnelli运行的DNS种子。任何人都可以使用PieterWuille的比特币种子生成器软件或?MattCorallo的软件来运行DNS种子。但是,他们必须说服某个全节点实现的开发者将他们的DNS种子主机添加至对方的软件。

比特币矿业公司Marathon从美国加密友好银行Silvergate获得1亿美元循环信贷额度:10月4日消息,比特币矿业公司 Marathon Digital Holdings 已从美国加密友好银行Silvergate获得1亿美元循环信贷额度,以比特币和美元为担保,这笔贷款将用于为公司的挖矿业务提供资金并购买新设备。它的有效期为一年,并且可以通过Silvergate银行和Marathon之间的协议每年续订。

此外,Marathon 公布了比特币生产和矿机安装更新,第三季度Marathon的比特币产量比上季度增加了91%,达到1252枚比特币,其持有的比特币总量增加到约7035枚比特币,公允市值约为3.363亿美元。Marathon称,目前为止已从比特大陆收到26960台顶级ASIC矿机,目前还有8459台ASIC矿机在运输途中,其目前的矿机数量为25272台活跃矿机,产量约为2.7EH/s。[2021/10/4 17:24:03]

新节点的引导过程仅仅依赖6个DNS种子,这看似又是一个极端中心化的单点问题。但是别忘了,比特币的安全模型只需要你连接到一个诚实的对等节点,就足以抵御女巫攻击。

因此,一个新的节点只需能够连接到一个没有遭受攻击的DNS种子即可,这个种子会返回诚实节点的IP地址。但是,为了防范所有DNS节点因某种原因全都无法访问的情况,还有一个备用方案——一个被硬编码到软件中的可靠节点IP地址的列表,会随着每个新版本发布而更新。

比特币矿企Stronghold筹资1.05亿美元,将废煤转化为加密挖矿电力:6月22日,总部位于宾夕法尼亚州的比特币矿企StrongholdDigitalMining宣布从两次私募中筹集了共1.05亿美元资金,将用于废煤清理设备的购置。

Stronghold使用煤炭废料发电,将比特币挖矿作为经济激励。在生产过程中,Stronghold清除了废煤中90%的有害物质,产生的煤灰可直接用作宾夕法尼亚州农业部批准的肥料。Stronghold使用废料再生产抵消碳排放,而其他比特币矿企多选择抵消碳排放,或者使用水力发电来提高可持续性。[2021/6/22 23:57:42]

在围绕这些初始化参数构建的安全模型下,全节点运营者不需要信任X个DNS种子或Y个BitcoinCore软件开发者会向他们提供真实的数据,只需要相信有1/X的DNS节点没有遭受攻击,或1/Y的BitcoinCore软件开发者会诚实地审查被硬编码的对等节点更改的有效性即可。

没有绝对安全性

从更深层次来看,你在运行一个全节点时,会在一定程度上信任你正在运行的硬件和软件。

你可以采用多种方法将你的二进制文件的签名与?vanderLaan的进行核对,以此验证软件是否可靠,但是很少会有人愿意惹这个麻烦。至于如何验证硬件的可靠性,这是个棘手的问题。如果你需要一个安全的硬件解决方案,最接近的选择是?ORWL。如果有人试图篡改ORWL,会触发它的“自毁”机制。

比特币价格下跌的六个原因:据bitcoinist分析,比特币本周的暴跌可能有以下六个原因:1.周二韩国加密货币交易所Bithumb被黑,导致大约3100万美元的加密货币被盗;2.EOS超级节点直接冻结了7个被控持有赃款的账户,这给EOS招致了更多的批评;3.印度加密货币交易所Zebpay周四宣布,由于印度储备银行 4月份发出通知,该交易所的银行账户可能受到影响;4.韩国《朝鲜日报》发表的一篇文章称,该国可能对加密货币的收入征10%的税;5.NANO发推提醒移动钱包用户安卓版钱包的潜在风险;6.日本最大的加密货币交易所BitFlyer宣布,根据日本金融服务管理局的行政令,它将立即停止新账户的注册。[2018/6/24]

但是,由于CPU、RAM等重要硬件通常都是专有的,你永远也无法100%确定它们不会遭到入侵。

比特币的分权制衡

当你开始研究比特币系统中不同参与者之间的关系时,会发现自己如坠五里雾中。

破解比特币谜题图片可奖励1比特币:据bitcoin.com消息,5月19日,一个名为u/cryptogreetings的用户在Reddit发布了一个含有比特币谜题的图画,来供人们破解,奖励是一个比特币。该谜题的创作者表示,如果一周内没有人能破解,就会发布一些提示。[2018/5/21]

运行全节点的目的是保护你的金融主权。这就意味着,一旦你安装并运行了特定版本的软件,即表明你与该软件以及其他所有网络参与者都达成了一项协议——不仅你会遵守该软件的规则,而且其他网络参与者也必须遵守这些规则。

因此,如果人们想要对软件的规则做出无法向后兼容的更改,你必须运行新版本的软件来表示你明确同意这些规则更改。另一方面,如果是向后兼容的规则更改,即使你不同意,也可以在网络中实行。

有人高度概括了比特币内部的分权制衡:

比特币治理的三大权力部门:

全节点

平安夜比特币现金跌幅达26% 现价格回升至2800美元以上位置:根据火币pro数据显示,24日零点比特币现金(BCH)从3168美元的高位开始呈现下跌态势,到了晚间8点半的时候价格最低跌至2337美元,跌幅达26%。随后价格波动回升,今日早间8点半价格最高回升至2818美元。[2017/12/25]

矿工

开发者

需要注意的是,全节点软件不会自动更新,这是设计使然。自动更新会导致权力的天平向开发者倾斜,让开发者可以在未经节点和矿工许可的情况下强制更改规则。

可惜的是,虽然规则更改在技术层面上有可能是向后兼容的,但是多年来的经验告诉我们足够有创意的软分叉也是可以实现违背旧版本规则的更改的。例如,VitalikButerin曾经提过这样一个设想:通过软分叉将比特币的区块时间从10分钟缩短到2分钟,这必然会加快比特币的发行速度。

面对不喜欢的软分叉,全节点有一张王牌:利用硬分叉与其他支持软分叉的矿工划清界限。这执行起来很难,而且引发了关于如何衡量共识和找到经济比重高的节点等诸多问题。

从技术上来说,这种硬分叉可以通过将挖矿算法从双SHA256改成另一种哈希函数来实现。一旦成功,所有SHA256ASIC矿机将无法用来挖比特币。因此,节点运营者应该时刻警惕比特币生态中发生的变化,并提醒矿工越权会有被取代的风险。

许多博弈论都会讨论矿工操作及其对比特币安全性的威胁,我在之前的文章中推测了挖矿生态可能会发生怎样的变化。虽然比特币挖矿的中心化程度不尽如人意,但是迄今为止依然运作良好。这是因为比特币矿工投入了大量资金,他们不会冒着巨大的损失在一个受到所有人监视的系统中作恶。

SPV安全性

很多比特币用户使用轻量级客户端而非全节点访问网络,因为前者需要消耗的资源要少得多,但依然能够提供很强的安全性。

使用简易支付验证的客户端会下载整条链上所有区块的区块头的完整副本。这就意味着,自比特币诞生以来,下载和存储需求会随时间的推移呈线性增长。详情见比特币白皮书的第8节。

中本聪在白皮书中写道,SPV客户端“无法自行验证交易,但是通过把交易与区块链关联起来,它可以看到网络中的节点已经接受了该交易,随着越来越多区块上链,则进一步证实网络已经接受了该交易”。SPV假设经过X个区块确认后的交易伪造成本极高。

SPV看似具备堪比全节点的安全性,但是它引入了额外的假设:只要一个区块的区块头和工作量证明有效,它包含的所有交易也都是有效的。因为SPV客户端不会验证本文第1节中提到的所有共识规则,所以它们假设响应交易查询请求的节点已经验证过了共识规则。

另一个较小的安全性差异在于对等节点有可能向你隐瞒信息。如果你运行了一个全节点,对等节点可以向你隐瞒未确认的交易和区块。但是,一旦你从对等节点那里获得了一个区块,就没人可以向你隐瞒这个区块中的任何交易。另一方面,如果你运行的是SPV客户端,对等节点有可能向你提供区块头,然后隐瞒对应区块中的交易信息。

SPV客户端可以查询某个地址的相关交易。尽管对等节点使用虚假交易来SPV客户端会付出很高的代价,但是它们可以谎称SPV客户端用来查询交易的布隆过滤器没有结果。另外还要注意的一点是,由于布隆过滤器的缺陷,SPV在隐私性上遭受了严重破坏。

BitcoinJ在一篇文章中很好地阐述了SPV的安全性模型。关于未确认交易,他们指出:

在SPV模式下,只要你所连接的节点将某个交易转发给你,你就只能相信这个交易是有效的。如果攻击者能够确保你所连接的节点都是他的,就可以向你发送一个完全无效的交易,而你会认可这个交易是有效的。

对于普通用户来说,SPV的安全性已经“足够高”了。尽管如此,我们还可以利用SPV欺诈证明对其进行改进。虽然人们已经就欺诈证明进行了一些讨论,但是关于如何将它们构建到比特币协议内的提案尚未实现。

比特币网络没有127.0.0.1

如果你没有运行全节点,那你至少要在一定程度上信任第三方,这会导致安全性模型产生差异。请注意,这不需要所有用户和企业直接在BitcoinCore的RPCAPI上构建他们的软件。

一些替代基础设施配置包括但不限于:

1)使用安卓版比特币钱包、GreenAddress?或?Stash?等移动钱包配置仅查询你自己的全节点的钱包。

2)在SPV节点库上构建应用并将这些应用设置成仅连接你自己的全节点。在BitcoinJ中,这可以通过定义你自己的?SeedPeer?并在初始化过程中将其传递给你的?PeerGroup?来实现。通过libbitcoin,你可以使用该示例定义与特定节点的网络连接。

3)构建一个兼容BitcoinCore的JSON-RPCAPI的代理服务器。这个API不仅会向第三方服务发送一些调用,也会通过调用本地全节点自动验证第三方服务返回的数据。BitGo的BitGoD软件就是一个例子。这种混合模型可以达到两全其美的效果:你可以使用第三方提供的高级功能,同时保留自己的金融主权。

全节点:为自由故

显然,运行自己的全节点是最安全的方案,需要的假设也最少。构建一台能够运行可靠全节点的计算机只需几百美元。你不妨算一下这笔账,再决定是否值得付出这些来保护自己的金融主权。

感谢KristovAtlas、EricMartindale、AndrewMiller和KiaraRoble对本文的审阅和反馈。

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

地球链

非小号AVE:管理风险的 DeFi 协议更难以分叉

证明DeFi代币价值捕获的最佳方式是系统中存在某种需要管理的风险。这篇文章是《Layers1和Layer2的价值捕》的续作。它也建立在《分叉DeFi协议》的一些想法之上.

[0:31ms0-0:986ms