中本聪福音-Ch。36 vers。 10
晚安,朋友们
在最后一节中,我们看到了“分布式安全高级”翻译的第九部分。今天第十
安全时间戳
安全时间戳是拥有机密文档的一方或两个或两个以上发送私密消息的一方彼此之间以及向第三方承诺不可原谅和不可否认的时间戳的一种方式。此时间戳由完整位置组成,该位置包括此消息,其他方的消息和时钟滴答。除非或直到它们受到第三方证据的挑战,否则无需各方公开这些消息的内容即可实现此承诺。 (即使如此,零知识的证据也使当事方能够证明其具有与时间戳相对应的文档,而不会泄露该文档。)
这些协议由用户通过将文档的加密货币哈希(也称为消息摘要)发送到时间戳服务器来工作。服务器按到达顺序链接消息和时钟滴答。复制的服务器可以通过协议(例如公平释放硬币以达成公平的总订单)按到达顺序打破歧义。
拜占庭将军问题
Lamport为分布式服务中的拜占庭将军问题创建了安全性和容错性的理论框架。这些将军可能是忠实的,服从命令并将其忠实地传递给他们,或者他们可能是叛徒。叛徒将军行为的最坏情况是通过发出矛盾命令的肮脏技巧来模仿的-例如,告诉将军该命令是行军,告诉另一将军该命令是撤退。
(兰波特想将拜占庭将军的故事表示为有趣的漫画插图,说明了恶意对手对腐败的容错理论,但这种问题确实发生在将军之间。拜占庭帝国的将军们不再倾向于背叛比您的任何敌人(例如波斯人或土耳其人)都要多。如果有人偏爱拜占庭人,那么您可以想到那里的伊拉克将军在当前的战争中-联盟将军希望一些伊拉克将军将离开并试图插入在他们的通讯网络上伪造的消息。他们希望一些将军被欺骗遵循这些虚幻的命令。)
有N名将军;其中之一是统帅或野战元帅。他们可以彼此发送和接收消息。拜占庭将军的问题是为命令将军向他的N-1下属发送消息制定协议,以便:
- 所有忠实的将军都遵守相同的命令,并且
- 如果元帅是忠诚的,则每个忠实的将军都遵守他发出的命令。
该协议必须甚至能够承受叛逆的将军。在完全确定性的协议的情况下(不允许随机或密码选择),我们能做的最好的事情是允许同步网络的T =下限(N / 3)-1。对于异步和确定性网络,不能容忍叛徒。 [FLP85]
但是,拜占庭将军的问题很容易通过非锁定的物理传输来解决。并非偶然地,解决不存在物理传输的网络上的逻辑传输问题与解决拜占庭将军问题非常相似,并且同样困难。
上面的悲观结果与确定性网络中的T有关-以及协议的低效率可能会为拜占庭将军的问题提供这些较弱的解决方案-直到最近才阻止研究人员和工程师寻找保证分布式服务的可行解决方案。但是,在仅略微较弱的假设(即密码学的假设,我们只需要非常高的概率来获得安全性)下,不仅拜占庭将军之间达成了协议 [Ben-Or] 有效地实现 [Cachin]。这些解决方案的基本见解是,我们需要以公正的方式随机分配兰伯特顺序的部分关系。
[FLP85] M.J. Fischer,N.A。Lynch和M.S. Peterson,“在一个错误的过程中实现分布式共识的可能性”,《 ACM杂志》,第32成交量,第11页。 374-382,1985年4月。
这是译文的第十部分,紧接在第11部分之后。