作者:JamesonLopp翻译&校对:闵敏&阿剑
人们在讨论不同密码学货币的共识机制时经常会产生争议，主要是因为他们对这些密码学货币用来保护账本历史数据的安全模型缺乏了解。虽然所有共识模型都是在防范各种理论上的攻击，但是了解这些模型的目的非常重要。安全模型可以分为两个部分：假设和保证。如果用作输入的假设成立，则安全模型输出的保证也应成立。让我们来深入探索比特币为其全节点运营者提供的安全模型。求真
“用户间信任需求最小化是比特币的优势之一。我个人甚至认为这是比特币最大的优势。”——PieterWuille分布式账本旨在提供有序的事件记录，因为在分布式系统中你不能单纯地信任时间戳。新的参与者刚加入一个区块链网络时，会从软件硬编码的创世块开始下载所有可获得的区块，然后鉴别整条区块链的有效性。比特币安全模型最重要的假设之一是绝大多数矿工都是诚实的——他们在努力保护区块链的安全性，而不是试图破坏它。实际上，纵观比特币的发展史，得益于有效的矿工激励机制，这个假设至今未被打破，虽然已经有人怀疑它能否长期保持。有了这个假设作为前提，全节点运营者完全可以确信：除矿工之外没人能增发比特币，而且比特币的供应量会严格按照发行计划表增加。没有私钥就无法花费对应的比特币。没有人可以重复花费同一笔比特币。在比特币区块链强有力的保证下，全节点运营者还可以确信以下两点：任何比特币区块都是在其时间戳的大约两小时内创建的。他们正在同步的是“真实的”区块链历史。从技术层面来讲，比特币区块需要经过大量检查：所有区块都遵守共识规则：每个区块都与其父块相连每个区块都达到目标难度值，并且有充足的工作量证明区块时间戳位于与上一最新区块之间的时间窗口内默克尔根与区块所记载的交易相匹配区块大小不超过上限每个区块的第一笔交易是coinbase交易Coinbase输出不超过区块奖励区块内包含的签名操作不超过许可范围所有交易都遵守共识规则：输入值和输出值都是合理的交易只花费还未被花费过的输出所有即将花费的输入都有有效签名coinbase交易创建后的100个区块内，该coinbase交易的输出无法花费当某笔交易仍处在区块确认的窗口期，其输出就不能花费篇幅有限，其余规则不作赘述热力学安全性
Upbit母公司Dunamu Q1财报：营业利润达1.6亿美元，同比减少逾26%:5月30日消息，Upbit 母公司 Dunamu 在 2023 年第一季度的合并营业收入（销售额）为 3048 亿韩元（约合 2.31 亿美元），比去年同期减少 28.6%；营业利润为 2119 亿韩元（约合 1.6 亿美元），比上年同期（2878 亿韩元）减少 26.3%；净利润为 3263 亿韩元（2.47 亿美元），同比增加 54.9%。[2023/5/30 11:48:15]
区块内的交易一经确认无法回滚，除非有人花费大量能源重写这条链。只要没有攻击者拥有全网50%以上的算力，且诚实的节点可以快速通信，发生交易回滚的概率就会随着交易确认次数呈指数级下降。其它类型的攻击虽然没有这么高的能耗需求，但是实施起来很难。
-来源：YonatanSompolinsky1和AvivZohar撰写的Bitcoin’sSecurityModelRevisited-从比特币矿工当前的累积工作量来看，攻击者需要计算出将近10^26个哈希值，才能从创世块开始构建出一条累积工作量证明更多的链。全节点会将这条链视为“合法”的链。
欧盟或因电力危机停止加密挖矿 打算开发加密能效标签:金色财经报道，根据周二发布的欧盟能源系统数字化行动计划，欧盟委员会宣布，再电力系统需要减负荷的情况下，加密挖矿可能会被迫停止，欧盟成员国必须为此做好准备。欧洲能源供应压力加剧，该委员会希望各国准备降低加密货币矿工的耗电量，在被迫减少用电负荷的地区，加密采矿作业可能会被命令完全停止。从长远来看，欧盟委员会还希望欧盟成员国考虑终止目前对提供工作量证明的矿工的税收减免和补贴。欧盟委员会还宣布了根据欧盟内部环境影响为加密货币引入评级系统的提议，将在国际上与不同的标准化机构合作，开发能效标签。
昨日报道，欧盟委员会表示，欧盟国家要做好停止加密货币挖矿的准备。[2022/10/19 17:32:14]
-来源：http://bitcoin.sipa.be-我们来计算一下51%攻击的成本：一台蚂蚁矿机S9的功耗是0.1J/GH。10^26hash*0.1J/10^9hash=10^15J10^15J=2,777,777,778kw/h*$0.10kw/h=$277,777,778撰写本文时，一个区块必须达到253,618,246,641的目标难度值，这大约需要：253,618,246,641*2^48/65535=1.09*10^21hash1.09*10^21hash*0.1J/10^9hash=1.09*10^11J1.09*10^11J=30,278kw/h*$0.10kw/h=$3,028因此，我们可以说比特币具有热力学安全性。你可以调整上述计算中的一些变量来降低成本，但我们可以肯定的是，仅重写整条区块链就需要价值数百万美元的电力。然而，在最坏的情况下，拥有如此强大算力的攻击者能够将交易回滚至2014年——我们很快就会深入探究其原因。另外请注意，购买和运行矿机所需的成本并未考虑在内。抗女巫攻击
Nexo将约137万枚USDC转入FTX:金色财经报道，PeckShield监测显示，被标记为Nexo的地址（0xb60c61dbb7456f024f9338c739b02be68e3f545c）将约137万枚USDC（约137万美元）转入FTX。[2022/7/14 2:13:16]
由于比特币协议认为累积工作量证明最多的链才是合法的链，新加入网络的对等节点只需与另一个诚实的对等节点建立连接，就可以找到合法的链。这也被称为抗女巫攻击，这意味着攻击者无法通过运行多个不诚实的对等节点来向某个对等节点提供虚假信息。
上图显示了一个近乎最糟糕的情况：你的节点遭受了大规模女巫攻击，但是依然与一个诚实的节点保持连接，就可以通过这个节点连接至真正的区块链。只要有一个诚实的对等节点将真实的区块链数据传输给你的全节点，你的节点就会识破那些试图你的女巫攻击者，然后将它们忽略。实时共识
当你的节点同步至区块链顶端时，你就会发现比特币协议通过其它一些有趣的属性来维护全网共识。《比特币和其它密码学货币的研究视角及挑战》的作者指出，以下特性对密码学货币的稳定性来说至关重要：最终共识。在任何时候，所有遵守规则的节点都要就最终的“合法”区块链的最新一个区块达成共识。指数级收敛。深度为n的分叉的概率是O(2?n)。这使得用户坚信他们的交易可以在“k次确认”后得到永久结算。活性。新区块会不断生成，支付适当交易费的有效交易会在合理时间内被打包上链。正确性。在累积工作量证明最多的链上，所有区块内包含的交易都是有效的。公平性。拥有全网总算力X%的矿工可以挖出大约X%的区块。论文作者指出，比特币看起来具备上述特性，至少是在假设大部分矿工都保持诚实的前提下。这就是区块奖励和工作量证明机制想要达到的目的。还有许多其它算法可以用来维护分布式系统中的共识，例如：权益证明币龄证明质押证明燃烧证明活动量证明耗时证明联合共识实用型拜占庭容错上述算法创建了不同的安全模型——与工作量证明最明显的区别在于，基于这些算法的系统都是以消耗内部资源而非外部资源来达成共识的。受其影响，这些系统对网络中验证者的激励措施和信任需求各不相同，极大地改变了安全模型。安全模型误区
BIS报告：MEV对新DeFi应用构成威胁，未来还可能加剧:6月17日消息，根据国际清算银行（BIS）一份关注加密挖矿行业常见不当行为的新报告，自2020年以来，以太坊区块链上的矿工已经从其他投资者那里“提取”了约6亿美元。该报告得出了三个关键结论：
1. 基于以太坊的DeFi协议和ETH“依赖于验证器或‘矿工’作为中介来验证交易和更新分类账。
2. MEV类似于传统市场中券商的抢先交易，但与这种做法不同，它本身并不违法。
3. MEV是伪匿名区块链的一个内在缺陷，因此没有简单的方法来摆脱它。根据BIS的说法，这对一系列新的DeFi应用构成了威胁，并可能在未来加剧，使其不可避免。
尽管如此，该报告也推荐了一种解决MEV的方法，即基于身份公开的可信中介网络的许可分布式账本技术，但这也意味着放弃区块链匿名的核心价值。（Cointelegraph）[2022/6/17 4:35:53]
一个常见的误区是，比特币有一个明确定义的安全模型。事实上，无论是过去还是现在，比特币协议都没有一个正式定义的规范或安全模型。我们能做的最好的事情就是研究系统参与者的动机和行为，以便更好地理解和描述比特币的安全模型。尽管如此，经常有人误解了比特币协议的一些特性。一些区块链存在很严重的隐患，因为开发者在节点软件中增加了专断设定的已签名检查点，表示“开发人员已经确认区块X位于正确的那条链上”。这是一个极端中心化的单点问题。值得一提的是，比特币有13个被硬编码的检查点，但是这些检查点并没有像被专断设定的检查点那样改变安全模型。最后一个检查点被添加到了BitcoinCore0.9.3内，区块高度是295000。这个区块的难度值是6,119,726,089，所需电力成本约为：6,119,726,089*2^48/65535=2.62*10^19hash2.62*10^19hash*0.1J/10^9hash=2.62*10^9J2.62*10^9J=728kw/h*$0.10kw/h=$73因此，如果女巫攻击者将一个新加入的节点围住，几乎不需要任何成本就可以在较低的区块高度创建较短的区块链，但是不能超过检查点。如果女巫攻击者将一个节点从同步超过区块高度295,000的网络分离出来，就能以每个区块73美元的成本开始提供虚假区块，至少是在发生难度调整之前。但是，受害节点同步的区块链越长，攻击者创建一条累积工作量证明更多的链所需的成本越高。GregMaxwell和PieterWuille都表示，他们希望某天能完全移除检查点。BitcoinCore的维护负责人WladimirvanderLaan指出，对于那些想要了解比特币安全模型的人来说，检查点经常使人感到困惑。可以说，位于区块高度295,000的检查点意味着，全节点“相信”BitcoinCore开发者所说的2014年4月9日之前的区块都是有效的。但是，全节点依然会检查每个区块头里的默克尔哈希值，也就是说，交易历史的有效性依然受到工作量证明的保护。首次同步历史区块链时，这些旧的检查点可以改善性能，尽管libsecp256k1的引入让性能差异变得不那么明显。检查点存在的目的主要有三个：防止节点的内存被有效但低工作量证明的区块头占满。跳过早期区块内的签名。估量同步进度。在撰写这篇文章时，GregMaxwell提出使用累积工作量证明检查来代替检查点。一旦节点成功同步了某条包含超过5.4*10^24次哈希计算工作量的链，累积工作量证明较少的那条链就会被拒绝。这恰好与2014年9月创建的区块320,000的工作量大致相符，这时单个区块的难度值约为27,000,000,000。
美联储FOMC经济预期：2022年底联邦基金利率预期中值3.4% GDP增速预期中值1.7%:6月16日消息，美联储FOMC经济预期显示，2022、2023、2024年底联邦基金利率预期中值分别为3.4%，3.8%，3.4%；2022、2023、2024年底PCE通胀预期中值分别为5.2%，2.6%，2.2%；更长期联邦基金利率预期中值为2.5%，3月预期为2.4%；2022、2023、2024年底GDP增速预期中值分别为1.7%，1.7%，1.9%。（财联社）[2022/6/16 4:30:05]
-来源：Blockchain.info-当难度值为27,000,000,000时，挖矿需要计算大约27,000,000,000*2^48/65535=1.16*10^20次哈希函数。1.16*10^20hash*0.1J/10^9hash=1.16*10^10J1.16*10^10J=3,222kw/h*$0.10kw/h=$322因此，根据提议进行修改后，如果女巫攻击者将一个需要从头开始同步的全新节点完全包围起来，就可以从任一区块开始向这个节点发送虚假的区块数据，而且几乎不需要成本。如果女巫攻击者将一个已经同步超过区块320,000的节点完全包围起来，那么从区块320,000开始向该节点发送每个虚假区块的成本是322美元。简而言之，如果一个实体可以完全控制你的节点的网络连接，无论是采用哪种方式对节点的初始同步进行检查，攻击成本都相对较低；如果你的节点的网络连接不受任何实体的控制，就可以轻而易举地忽略来自攻击者的区块。原地址:https://blog.lopp.net/bitcoins-security-model-a-deep-dive/
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。