主题:
综述
划分轮次
判定名望
找到序位
综述
让每个成员知道每个事件还不够。还必须对事件的线形排序达成一致,还有事件中记录的事务们。大部分没有领袖的拜占庭容错协议靠成员互相发送投票,有些协议要求投票的回执也发送给每个人,这会进一步增加投票信息的发送数量。
这种纯投票的方式对网络有过高要求使得大量投票的网络不可实现。但它所达成共识具有最公平和安全的特性。哈希图孙风实现了投票并且达到了同样的公平和安全却非常快速实用。它通过虚拟投票达到了这些优点。
哈希图算法不要去任何投票在网络中发送来累计每个成员的投票。每个成员可以通过查看哈希图的本地备份和哈希图算法的虚拟投票来计算其它成员的投票。投票结果在本地由上层事件的方法计算。
虚拟投票有几个好处。除了节省带宽外,它也能确保成员总是通过统一规则计算投票。即使Bob本人是作弊者,他也不能通过操纵虚拟Bob的错误投票攻击Alice。
通过虚拟投票算法,拜占庭一致得到了保障。
虚拟投票分为三个步骤:
1. 划分轮次
2. 判定名望
3. 找到序位
划分轮次
要开始虚拟投票,我们必须首先定义轮次和见证。在哈希图历史记录中,某个会员节点的第一个事件就是这个节点的首个见证。首个见证就是这个节点首个轮次(r)的开始。所有的后续事件都是首个轮次的组成部分知道新的见证被发现。一个新见证是在一个节点创建了一个可以强看见当前轮次2/3见证的事件时被发现并作为下一轮次的见证。举例说明什么是强看见,事件w可以通过上层事件关系通过其它至少2/3成员节点的事件回溯到事件x,那我们就说w强看见x。这个新发型的见证是这个节点下一个轮次(r+1)的首个事件。每一个事件被加入到哈希图中的时候都会被赋予一个轮次值。
procedure divideRounds
for each event x
r <- max round of parents of x (or1ifnone exist)
if x can strongly see more than2n/3round r witnesses
x.round <- r+1
else
x.round <- r
x.witness <- (x has no self parent)
or(x.round > x.selfParent.round)
判定名望
下一步就是判断某个见证是否出名。“如果一个见证如果可以被下一轮的很多事件所看到,那么它是出名的。”如果事件B是事件A的上层事件,那么A能看到B。当判定事件A的名望时,我们必须查看下一轮次中的那些见证。如果下一轮的见证可以看到见证A,他们就被记为支持见证A名望的一票。同样,如果下一轮的见证不能看到见证A,就被记为见证A无名望的一票。如果A要被认为是出名的,那么它需要有下一轮中2/3见证的支持票。如果2/3的票认为见证A是无名望的,那么A就被判定为不出名的。
找到序位
现在我们已经计算出所有见证是否出名,我们可以在下一个出名的见证出现之前决定本轮事件的序位排序。这需要进行以下计算:
接收轮次,某个事件的已收到轮次是当前轮次所有出名见证都可以看见的第一个轮次。
每个事件的时间戳,这是通过收集某轮次著名见证的最早上层和下层事件,然后取这些事件时间戳的中位值。
事件的排序是按照:接收轮次,共识时间戳,白化签名
原文:https://dev.hashgraph.com/docs/hg101/virtual-voting/