两军问题和拜占庭将军问题的区块链解读(一)

说起区块链,有两个模型经常被提起,那就是两军问题和拜占庭将军问题。对于这两个模型,之前查看了一些资料,但个人理解得仍然不是很透。尽管如此,本篇尽量用通俗的语言解释一下这两个模型,不当之处请指正。

首先要明确,这两个模型仅仅是用讲故事的方式提出了问题,但是并没有提出解决问题的方法。让我们先来了解一下这两个问题的具体内容是什么。

本篇先说两军问题:

白军驻扎在沟渠里,蓝军和红军分别驻扎在沟渠两边。白军比蓝军和红军中任何一支军队都更为强大,但是蓝军和红军若能同时合力进攻则能够打败白军。蓝军和红军不能够越过沟渠远程地沟通,只能派遣通信兵穿过沟渠去通知对方协商进攻时间。

一天,蓝军派出通信兵向红军发出信息:我方三天后的下午一点半发起进攻,请红军方面一起同时进攻。

红军收到这样的消息后表示同意,于是又派出通信兵给蓝军发出信息:信息收到,我方同意。

蓝军收到信息后,为了让红方知道自己已经收到信息并放心进攻,于是又派出通信兵给红军发出信息:信息收到。

红军收到信息后,为了让蓝方知道自己已经收到信息并放心进攻,于是又派出通信兵给红军发出信息:信息收到。

……

为了让对方完全放心并派兵进攻,取得行动上的一致,总需要给对方一个回执,因此,这样的信息传递理论上会无限循环下去。

除此之外,由于通信兵可能在经过沟渠时被白军俘获,所以,信息还有被篡改的风险。

由此可见,经典情形下,两军问题是不可解的,即红军和蓝军是无法通过信息沟通达成行动上的一致。

在现实生活中,两军问题可以被抽象为,由于信道的不可靠,可能会造成信息的遗失、监听和篡改,从而造成两方无法达成共识。

虽然两军问题经典情形下不可解,但是这一问题至关重要,是现代通信系统中必须解决的问题。基于通信成本和技术成熟度的考虑,目前TCP协议被作为“解决”两军问题的主流方案。

TCP协议“解决”两军问题的原理如下:

TCP协议中,蓝军先向红军发出一个随机数x,红军收到x了以后,发给蓝军另一个随机数y以及x+1作为答复,这样蓝军就知道红军已经收到了,因为要破解随机数x可能性并不大;然后蓝军再发回y+1给红军,这样红军就知道蓝军已经收到了。这样,蓝军和红军之间就建立一个可靠的连接,彼此相信对方已经收到并确认了信息。

而事实上,红军并不会知道蓝军是否收到了y+1;并且,由于信道的不可靠性,x或者y都是可能被截获的,这些问题说明了即使是“三次握手”(可以理解为三次单方通信),也并不能够彻底解决两军问题,只是在现实成本可控的条件下,我们把TCP协议当作了两军问题的现实可解方法。

那么,区块链技术是怎样解决两军问题的呢?

区块链技术使用非对称加密算法对节点间的消息传递提供签名技术支持。每个节点(蓝方或红方)都有属于自己的密匙(公匙和私匙),唯一标识节点身份。使用非对称加密算法传递消息,能够保证消息传递的私密性,而且消息签名不可抵赖、不可篡改。

具体来讲,使用公匙加密的数据,使用公匙对应的私匙解密;使用私匙进行签名的消息,只需要使用私匙对应的公匙验证签名即可。比如,蓝军想要给红军发送消息,那么只需要使用红军的公匙加密消息,红军收到消息后使用自己的私匙解密消息即可。而如果蓝军想申明自己的身份,那么只需要将消息使用自己的私匙进行签名即可,红军收到消息后就可以使用蓝军的公匙验证消息的来源。

这样就在极大程度上杜绝了信息被篡改、被监听的可能性,但仍然无法完全杜绝。

这是因为,虽然破解非对称加密算法非常困难,但绝非完全没有可能。一旦量子计算机从实验阶段走上实用阶段,非对称加密算法的破解就会成为一件相对简单的事情。

因此,如何解决两军问题,是一个需要不断研究的课题。那么,有没有一个终极办法可以完全解决两军问题呢?

从目前的科研成果来看,量子通讯协议很有可能成为两军问题的终极解决方案。

量子通讯协议的基础是量子纠缠理论。这个理论由爱因斯坦提出,后被其他科学家证实。这个理论认为,处于量子纠缠态的两个粒子,无论相隔多远都能够彼此同步。

因此我们可以相信,至少理论上两军问题是可解的,即存在一种方法,即使利用了不可靠的信道,也能保证信息传递的可靠性。

以上为两军问题和拜占庭将军问题的区块链解读的第一部分,下篇会单独说一下拜占庭将军问题,希望对你有所帮助。

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 214,951评论 6 497
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 91,606评论 3 389
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 160,601评论 0 350
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 57,478评论 1 288
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,565评论 6 386
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,587评论 1 293
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,590评论 3 414
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 38,337评论 0 270
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,785评论 1 307
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 37,096评论 2 330
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 39,273评论 1 344
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,935评论 5 339
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,578评论 3 322
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 31,199评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,440评论 1 268
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 47,163评论 2 366
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 44,133评论 2 352

推荐阅读更多精彩内容

  • 提到区块链的共识机制,就来谈谈拜占庭将军问题。拜占庭将军问题也是一个共识问题,有兴趣的可以继续深究,解决方案也很多...
    smileroger阅读 789评论 0 0
  • 诞生过老约翰施特劳斯和爱因斯坦 也发生过打砸抢烧和中越海战 各从其类的年年今天 从朝夕相处到社燕秋鸿 谢谢你们一直...
    容我醉时眠1阅读 178评论 0 2
  • 不是所有的社群,都是一切按照规矩做事,不是所有的社群都可以尽心尽责,不是所有的社群都可以让你每天坚持输出力。 一直...
    严艺丹阅读 194评论 0 1
  • 最近参加了新生大学的刻意训练营,有一个任务就是写一篇此我自我介绍如下: 大家好,我叫宋宏坚自河北保定,1979年生...
    一棵树宋阅读 1,577评论 1 0
  • 我遇见了你,是幸运,亦或是悲伤 但,一切都是风飘柳絮荡 你,在伊甸园 不停息的奔跑 我,在独木桥 慵懒地做一个树懒...
    柠檬的大大阅读 212评论 2 1