Hedera技术见解:DLT的脆弱性

2019-01-14 14:41 栏目:经验之谈 来源: 查看()
一些共识算法是脆弱的,节点的成员资格或这些节点对共识的影响非常脆弱,因为它们无法适应变化。结果,这些变化导致共识被阻止或破坏。对于某些类型的分布式分类帐,这可能是一个问题,但对于Hedera则不然。

本文证明了Hedera基于堆栈的哈希图一致性算法的实现是异步拜占庭容错(ABFT),计算机验证是用Coq证明进行的。此外,面对节点成员的变化和这些节点的利益,它具有弹性,因此不易受到攻击。节点将加入和退出。这些节点占据共识的hbar数量将发生变化。其他帐户将代表这些节点的hbars数量将会增加和减少,但协商一致意见的决心将适应这种动态,因此它不会受到攻击。 。为了确定事务的共识顺序,节点只需要知道帐户中hbar的余额 - 这与加密货币的要求完全相同。重要的是节点不需要知道网络中的节点数来确定共识。

漏洞

所有分布式分类帐技术(dlt)都要求节点对网络的其余部分有一定程度的了解,以便:

1.向这些节点发送消息
2.验证来自这些节点的消息
有些dlt还要求节点为:
3.评估其他节点对达成共识的相对影响

如果共识节点的共识集的变化或其对共识的影响可能导致预防或破坏共识,那么我们可以说DLT易受攻击。

例如,如果另一个节点在一个节点关闭时冻结,那么系统显然会受到攻击。类似地,如果节点在节点改变其利益时未能正确地确定这种变化对共识共识的影响,那么影响也是脆弱的。

Hedera

Hedera的共识模型假设节点知道其他节点的影响,并且这种影响会随着时间的推移而改变。虽然网络将在许可阶段启动,但任何节点都可以以特殊方式参与——以加入和退出一段时间。此外,节点的影响将与其份额成比例,这些份额在使用和接收hbar时会波动,或者从其他帐户中丢失并获得代理共享。

如果节点的影响力不一致,因为节点的成员资格或赌注变化,例如Alice和Bob以不同的方式计算Carol的影响,那么Hedera将是脆弱的。

但是,与任何为交易提供一般订单的股权关系打样分类帐一样,Hedera允许节点一致地调整其影响计算,以考虑节点成员资格和其他动态的变化,以确保它能够适应这些动态。

哈希图虚拟投票算法允许节点检查其本地哈希图并在逻辑上为其他节点投票。对于Hedera,这些投票根据节点的股权关系加权。因此,所有节点必须能够计算所有其他节点对共识的影响。

计算节点的相对影响由以下几点确定::

1.节点控制的hbars数量和Du共识接近共识
2.其他参与者代表节点达成共识的hbars数量
总数3.hbar

具体来说,我们使用权益来衡量以下方式的影响:

1.对于特定事件,我们说时间戳将是社区活跃成员收到它的加权中位数。该组的成员首先知道事件的不同时间最早排列到最近的顺序,并且第50百分位时间将是共识共识的时间戳

2.我们通过让节点投票决定给定事件是否“着名”来确定“活动”——这些投票由每个节点的权益关系加权。创建这些着名事件的节点被认为是活跃的

3.当事件的Y(或N)的声誉计数超过总赌注的2/3时,选举结束并且决定是最终的。

请注意,没有使用节点总数——进行计算,因为此值与Hedera的哈希图实现中的共识意见无关。哈希图算法本身允许其他标签模型,例如为每个节点精确指定标签单元。这个简单的标记模型需要知道节点的数量。但是Hedera并没有这样做。 Hedera使用完整的哈希图算法,其中不同的节点可以具有不同的下注。因此,它需要跟踪的是总权益关系,而不是节点的总数。

因此,在给定的时间点,为了计算影响(和共识),所有节点都需要知道

1.杜注意所有节点
2.总股份

Hedera的总股份固定在500亿hbar。

给定Hedera节点的Du音符是:

1.节点的hbar令牌帐户
2.代理节点帐户中的hbar

由于Hedera中没有绑定,因此当节点从帐户花费hbar或从帐户接收hbar(来自节点支付和无关交易)时,数字1将发生变化。
同样,当hbar进入和退出代理标记的帐户时,或者添加新的代理帐户时,或者现有的代理帐户决定切换到另一个节点时,会发生2次更改。

最后,节点的影响将取决于其权益关系,这取决于一组加密货币账户中的hbars数量。因此,计算共识Hedera节点的负担是,在任何时候,重要的是要知道所有标记帐户中有多少个hbar(未标记的帐户是不相关的)。

当然,这对加密货币来说是完全相同的负担。任何加密货币(包括hbar)的基本价值主张是防止某人花费他们不拥有的令牌,例如当帐户中只有5个hbar时,10 hbar。为了确保这一点,Hedera确保所有节点始终同意每个帐户中有多少个hbar。任何不保证这一点的DLT都不是可行的加密货币。

哈希图提供事务的一般顺序(即,所有节点同意所有事务的顺序)的事实允许节点在给定时间点就所有节点的确切权益关系达成一致。——弹性。因此,即使改变节点份额的交易不会阻止社群就该份额达成一致,也可以达成共识。例如,如果节点Alice在其帐户中有10个hbars,但其中2个用于购买,则网络将授予她10 hbar的影响,直到记录购买交易,然后授予她8 hbar的影响。 。由于所有节点将就其相对于所有其他交易的2 hbar交易的订单达成一致,因此他们将就其新股的数量以及生效时间以及她对这些交易的一致计算的影响达成一致。在将来。实际上,作为优化,Hedera节点将每24小时拍摄一次hbar-flat快照,并在接下来的24小时内使用这些值。但对于节点,不断调整权益计算以反映实时账户余额流量也是灵活的。

结论

Hedera对哈希图的使用类似于其他证明书籍的投注,除了通过约束缺乏流动性损失或大多数其他系统中典型的投注损失风险。在Hedera的哈希图部署中,所有节点必须能够计算所有其他节点的影响。为此,它们只需要任何特定节点(拥有和表示)拥有的共享总数和已发布的hbar总数。第一个可以从相关的加密货币余额中获得,第二个是一个众所周知的固定值。任何计算都不受其他节点加入或退出的影响,因此权益关系计算(以及一致性算法本身)对任何此类流量都具有弹性。

微信二维码
售前客服二维码

文章均源于网络收集编辑侵删

提示:仅接受技术开发咨询!

郑重申明:资讯文章为网络收集整理,官方公告以外的资讯内容与本站无关!
NFT开发,NFT交易所开发,DAPP开发 Keywords: NFT开发 NFT交易所开发 DAPP开发