写在前面：原文作者是LibraCalibra数字货币钱包项目的首席研究员DahliaMalkhi，在这篇文章中，她介绍了Calibra团队最新研发的Twins拜占庭容错系统检测方法，以用于检测LibraBFT算法的相关安全及活性漏洞。
以下是译文：
使用拜占庭容错算法设计分布式协议并非是一件易事。
BFT模型是一个分布式系统，其中故障节点可以任意的、完全无约束的方式运行。然而，当拜占庭节点的偏离行为不可检测时，它们很可能成功地破坏了BFT协议。也就是说，最强大的拜占庭攻击实际是来自内部：攻击者发送具有正确格式的消息，并且它们与其他节点的交互似乎也遵循了协议。
澳大利亚支付提供商Cuscal通过其合作伙伴Zepto对加密交易所实施新限制:6月20日消息，根据澳大利亚行业机构Blockchain Australia的一份批评声明，支付提供商Cuscal通过其合作伙伴Zepto对澳大利亚的加密货币交易所实施了新的银行限制。上个月，Cuscal切断了对币安澳大利亚的支付服务。当时币安澳大利亚表示，它将不再能够使用PayID为澳元银行转账提供便利，并指责了Cuscal，但没有点名。
Zepto合规性调查相关文件显示，“我们的银行合作伙伴Cuscal已经更新了其商户指南，其中包含了对Cuscal支持的所有数字货币交易所的新要求，我们考虑在合理的时间内实施新规。请注意，如果您不能遵守这些要求，Zepto和Cuscal将无法继续为您提供支持。”Zepto的“调查”表示，这些要求是为了对服务用户实施适当的控制，防止欺诈，并要求交易所在6月21日之前做出回应。[2023/6/20 21:50:21]
实际上，在对BFT协议的几种已知攻击中中，拜占庭节点以简单的方式偏离了正确的行为：它们表现为模棱两可、省略消息，以及删除内部状态变量等。
知情人士：高尔夫品牌Callaway成为LinksDAO股权投资者以及战略合作伙伴:5月26日消息，两名知情人士表示，高尔夫品牌Callaway正在与NFT项目LinksDAO建立合作关系，其中包括对后者正在进行的股权投资。
LinksDAO的一名代表拒绝就此置评。Callaway同样拒绝就此次融资置评，但表示：“这次营销合作是我们合作关系的开始。”
此前1月消息，LinksDAO宣布售罄其首个NFT系列，共计9090个，共募资1050万美元用于众筹高尔夫球场。据悉，LinksDAO的使命是“创建现代高尔夫和休闲俱乐部”和“重新构想乡村俱乐部”，在蓬勃发展的DAO生态系统中提供以体育为中心的实验。该项目计划最早于2022年推出治理代币LINKS。（CoinDesk）[2022/5/26 3:42:58]
Calibra的Twins解决方案
利用这种洞察力，Calibra开发了Twins，一种用于BFT测试的“重要”方法。
以太坊客户端将添加新共识规则，Calaveras将被用来测试新变化:官方消息，以太坊核心开发者日前进行电话会议，做出的决定包括客户端同意添加共识规则，关于共识级别和内存池级别的上限；一个新的开发者网络Calaveras将被用来测试新的变化；再次确认测试网成功进行伦敦分叉后，再确定主网客户端升级区块；一旦测试网上的分叉完成，压力测试将继续。
此前消息，5月14日，以太坊核心开发者进行电话会议，会议讨论了测试网进行伦敦升级的时间，Ropsten定于区块高度10399301（6月9日），Goerli定于区块高度4979794（6月16日），Rinkeby定于区块高度8813188（6月23日），主网仍定于7月14日进行升级，在第一个测试网成功分叉后，再确定主网客户端升级区块。[2021/6/7 23:17:48]
Twins系统地生成有趣的拜占庭行为，这些行为可以被有效地枚举和测试，它放弃了对协议的无趣偏离，例如发送格式错误的消息或发送不合理的消息，而诚实的接收者很容易拒绝这些消息。
BitMEX与人权基金会向比特币开发者CalvinKim提供共15万美元资助:BitMEX宣布延长比特币开发者CalvinKim的开发补助金至2022年6月，共10万美元。同时，人权基金会（HumanRightsFoundation）将向CalvinKim提供5万美元的一次性补助。CalvinKim主要从事Utreexo项目的开发，该项目研发出可将比特币未花费的交易输出数据大小缩小至1KB以内。[2021/6/1 23:01:47]
最重要的是，没必要去开发攻击逻辑来使用Twins测试。节点执行未经修改的正确代码来攻击系统。Twins测试人员只是通过部署攻击节点的两个实例，而不是一个实例来“错误配置”系统。两个实例使用相同的标识，因此，对于系统的其余部分节点而言，“孪生”节点显示为单个“行为不正常”的节点。
关于有趣的拜占庭行为
为了演示如何覆盖有趣的拜占庭行为，让我们设计一个简单的服务：一个只有一个条目的键-值存储。我们希望键-值存储能够容忍n=3f+1台服务器中的f台拜占庭式服务器，这与解决共识所需的数量相同。
Ripple首任CTO Jed McCaleb已售出1.11亿XRP，获利4.42亿美元:据Bithomp数据显示，在过去7天中，Ripple第一任首席技术官JedMcCaleb已从个人加密钱包中释放1.11亿个XRP，获利4.42亿美元。基于这些数据，区块链分析师LeonidasHadjiloizou表示，杰德平均每天要卖出1500万个XRP，McCaleb个人XRP储藏量将于今年9月用尽，并完全退出XRP。[2021/5/3 21:20:11]
为了简化任务，我们将让客户端在请求更新存储值时签署更新。因此，拜占庭服务器将无法编造非法值，因为它无法伪造客户端的签名，但它可能会用过时的值响应查询，或者它根本不会响应。
存储协议：客户端更新存储值的协议有两个阶段：第一阶段，客户端为获取最新version在3f+1台服务器中查询2f+1台服务器。在第二阶段，客户端请求3f+1服务器中的2f+1台服务器，将存储值更新至versionv+1。
让我们看一个例子。假设有四台服务器{A，B，C，D}，其中C是拜占庭式的。第一个客户端连接到网络，向{A，B，C}查询当前version(为0)。客户端存储version=1的第一个值，并从{A，B，C}接收确认。第二个客户端查询{B，C，D}以获得当前version。我们说C是拜占庭式的，它可能说谎并返回version0，隐藏version1。这样就是没问题的，因为B服务器会返回version1。
查询协议：现在我们需要处理服务器的查询问题。问题是，当客户端查询服务器时，它可能会捕获未完成的更新。例如，假设到目前为止，version2只写到{A，C}。查询{A，C，D}的客户端将从C获得包含version2的响应。但是，如果客户端查询{B，C，D}，由于C是拜占庭式的，并且它可能会隐藏version2，则仅返回version1。更糟糕的是，C可能会来回切换，使用version2来响应某些客户端，而对其他客户端则保持隐藏状态。
为了解决这个问题，我们将在查询协议中使用两个阶段：第一阶段，客户端为当前version查询2f+1台服务器，第二阶段将最高的version写回给2f+1台服务器。这样，假设客户端查询{A,C,D}，并返回version2。那它就将version2写回给2f+1台服务器，比如{A,C,D}，从而保证version2的更新已经完成。
注：由于解决键-值存储一直不是我们的重点，我们掩盖了上面的某些细节。另外，作为补充说明，在n=3f+1的情况下，解决键-值存储问题不需要客户端签名，请参阅此处的示例解决方案。
有趣场景的系统生成
注意我们在设计键-值存储时所做的一些事情：
我们创建了一些简单的场景，每个场景都有少量的服务器和少量的交换步骤；
在每个交换步骤中，我们选择f台服务器来进行排除：第一个客户端从阶段1和阶段2中排除{D}，第二个客户端从阶段1中排除{A}，依此类推；
我们允许拜占庭服务器C返回到旧状态并用旧值响应；
将上述内容放入一个结构化的场景中，我们通过拜占庭式服务器创建了以下一系列的交换，分区和“内部状态遗忘”：
Exchange1:client-1phase-1with{A,B,C};
Exchange2:client-1phase-2with{A,B,C};
Exchange3:client-2phase-1with{B,C,D};
Exchange4(partial):client-2phase-2with{A,C}(andcrash);
Exchange5:client-3with{B,C,D},Chasitsinternalstateerased.
Twins系统地生成类似上面的场景，并通过拜占庭节点的孪生实例模拟遗忘等行为。重要的是，对于相当小的场景，Twins可以有效地枚举上述场景，以暴露协议漏洞。
总结
使用拜占庭容错算法设计分布式协议并不容易。数十年来，研究人员一直在努力应对令人担忧的安全与活性漏洞，在某些情况下，这些漏洞需要花上数十年的时间才能够被人发现。
Twins是一种新的BFT测试方法，它覆盖了很多拜占庭式攻击，关于该方案的具体设计，读者可以看原论文。
Twins:White-GloveApproachforBFTTesting：https://arxiv.org/pdf/2004.10617.pdf
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。