Dolev-Strong Protocol证明
ref https://youtu.be/ay023xOPXqE
Validity
由于签名不可被复制 (ideal signature assumption) 只有honest sender发出的消息在传播,被echo最终output
Agreement
如果convinced at f+1说明是最后一个被convinced,至少一个honest node在f+1之前签名且有充足时间通知其他honest nodes
ref https://youtu.be/ay023xOPXqE
由于签名不可被复制 (ideal signature assumption) 只有honest sender发出的消息在传播,被echo最终output
如果convinced at f+1说明是最后一个被convinced,至少一个honest node在f+1之前签名且有充足时间通知其他honest nodes