今天是八一建军节，中国人民解放军建军93周年。军人替我们守卫着祖国，当人民军队迎来93岁生日，厚重的史书翻开了新的一页。大部分的近现代英雄和将军，大家可能都有所耳闻。我们在铭记那些勇于奉献、不怕牺牲、保卫国家的将士们的同时，也不妨了解一下历史上那些同样有勇有谋的名将们。
那些并非如此广为人知的传奇将军，也许有的你叫不上名字，也许有的在不同人的眼里有着不同的定位。但是无疑他们都在历史上刻画下了自己浓重的笔墨。他们背后的故事，你又是否好奇？
说不定这些名将的名字中，还有你不认识的字。没准它们的“小名”你都知道，但是一般人叫不上来的全名可能会进入历史考试的试卷也说不定。学习语文历史之余，也许最后一位更能给你惊喜。
“本非将种，又非豪家，觖望风云，以至于此。可深思奇略，善克令终。开硃门而待宾，扬声名于竹帛，岂非大丈夫哉！”百度百科对于陈庆之的形容是：“出身寒门，少为梁武帝萧衍随从，颇受信任。梁普通年间，任武威将军、宣猛将军等职，带兵有方，善抚军士。”陈庆之非军伍出身，没有豪家背景。身体文弱，拉不开普通弓弩，更不擅骑马射箭。究竟发生了什么，能让他突然一跃成为了广受赞誉的大将？凡事没有一蹴而就。实际上，庆之同学一直不甘于做一个小小的随从和文员，凭借萧衍的喜爱，他一步步的尝试带兵。在他41岁那年，他以名义上的将军实则为军方使者的角色出现，后逐渐接手战事，未尝一败。大通二年是陈庆之军史的巅峰时刻。后人对其的评价更是将其推至神坛：“六朝征伐之功，未有若是之快者也。”“北地胡骑数千随贼攻郡，皆夙怀燮恩，共于城外叩头，求送燮归乡里”意思就是，羌胡进攻边城汉阳郡，连日以来，攻势凶猛城池摇摇欲坠，忽然胡骑下马，于城外哭泣叩头，请傅燮离开保全自身。甚至说，如果傅燮同意，他们立刻离开叛军，护送他安全归乡。寥寥几语，一个鲜活的形象跃然纸上。连叛军都如此尊重及爱戴的一名将军，必然重情重义，威望极高。傅燮就是这样的一位身怀大义的传奇英雄，出身将门世家，满腔热血同时具备相当的政治及军事才能。然而其一生因太过正直，险受奸臣陷害。成吉思汗也许大家都是通过“只识弯弓射大雕”认识的，不过全名你知道吗？成吉思汗虽是戎马一生，但说他是一位将领可能有些降低了他的级别。他在历史上是一位争议极大的人物，但并不影响他一代天骄的名讳。成立蒙古汗国后，成吉思汗军队在欧洲共进行了三次战役，在此期间横跨亚欧大陆，奠定的领土成为世界的焦点。《全球通史》中记载：历史上的唯一的一次，一个政权横跨两个大陆。根据不完全统计，成吉思汗征服七百多个民族，统治了6亿多人口。仔细看上图，不仅整个亚欧大陆被占据，而在非严格意义上，当时的蒙古版图是苏联，中国，伊朗，土耳其的总和！据说当时，蒙古铁骑一度打到了西欧，这在当时震惊了世界。看了我们大华夏的传奇将帅后，再来看看海外的那些英勇将领们吧！
这个名字也许让大部分人毫无印象，当你读到姓氏恐怕已经把名字给忘了。但是如果说，他曾击败过拿破仑，是不是以后就会对他产生深刻的印象了。这位名字很占地方的将军，来自于“以揍熊为乐”的战斗民族俄罗斯。他不仅创下了曾击败拿破仑的辉煌战绩，更是创造了医学界的一次奇迹。库图佐夫曾两次被子弹击中头部，称得上是“脑洞大开”，然而这两次的极度危险并未夺去他的生命。他这一生戎马倥偬，不仅是一位军功卓越的将领，更是一位卓越的军事理论家。1812年，决定俄国命运的抗法卫国战争爆发了。形势万分危急，俄国军队迫切需要一位天才统帅来指挥。库图佐夫为了维护俄国的民族独立，他再一次受任于危难之际，担任了俄军总司令。战争伊始，踌躇满志的拿破仑自信自己是不可战胜的，然而偏偏是库图佐夫令人难以理解的疯狂与魄力，使得他在与拿破仑的大战中，以退为进成功夺回了莫斯科，赢得了战争的胜利。
罗马帝国后期，国家被分为东罗马（拜占庭）以及西罗马。连绵战火之下，西罗马逐渐分崩离析，在战火之中毁灭。而东罗马，不仅在抵抗中强大，甚至一度西征，收复故土。地中海再次成为了罗马的“内湖”。贝利萨留是拜占庭的军神，与当时的查士丁尼大帝英雄相惜，被称为拜占庭的“帝国双壁”。他的一生，充满着成功与神奇，对拜占庭帝国的繁荣昌盛做出了极大的贡献。除了贝利萨留之外，本文在此隆重推出今天最后一位要介绍的将军，这个将军的名字也和贝利萨留有着一些渊源。与其说是一名“将军”，更不如说这是一个著名问题。如果你早就在阅读贝利萨留的段落猜到了我们可能要讲到拜占庭将军，那么恭喜你，至少说明你是半个内行。但要说你是不是个真行家，恐怕要看你是否真的懂得这位“将军”了。在很久很久以前，拜占庭是东罗马帝国的首都。那个时候罗马帝国国土辽阔，为了防御目的，因此每个军队都分隔很远，将军与将军之间只能靠信使传递消息。
在打仗的时候，拜占庭军队内所有将军必须达成一致的共识（比如进攻还是撤退），才能赢得胜利。举个最简单的例子。在下图这种情况下，每个将军都能执行两种决定，共存在六种不同的场景。通过投票，以多胜少，最终三个将军都将达成一致的行动计划。但是保不齐其中一些将军可能是间谍，试图阻止真正的将军们达成一致的行动。 而负责消息传递的信使也可能是叛徒，一旦消息被篡改伪造，计划就有可能失败。
拜占庭将军的问题最初是由数学家莱斯利·兰伯特（Leslie Lamport），马歇尔·皮斯（Marshall Pease）和罗伯特·西斯塔塔克（Robert Shostak）于1982年在论文中提出的。通过这个比喻，表达了计算机网络中所存在的共识问题。
这个“将军”思想实验背后的核心思想是：如何在可能存在不可靠节点和不可靠通信的情况下交换信息，达成共识。也就是说，若存在某些恶意节点，那么如何确保没有中心权限的分布式网络中大家最后可以做出一致的正确决定？
2008年中本聪(Satoshi Nakamoto)提出比特币。而如今我们提到的拜占庭将军问题，也多数涉及区块链领域。其同时确保一致性与准确性，是这个问题的难点。而原因主要是因为：
所有人的信息若不加密，很容易被伪造
恶意节点来打破共识的成本很低
解决方法：
简单来说，非对称加密以及公钥和私钥的诞生，可以让签名不可被伪造篡改，并且可以让大众确认发布者身份。而增加恶意节点的成本指的就是工作量证明：如果一个人想干坏事，那么需要做很多很多数学题，而这个题量做的要比所有好人加起来做的量都多，才有机会打破共识。
好了，知道大家要去过周末就不再深入了。如果看文字太艰难不妨看个视频放松一下（练习英语听力）吧！
正值八一建军节，在此为大家分享了古时为国家保卫护航的伟大将领们，同时也科了一些外国的传奇名将。只不过是有人替你负重前行
在这个神圣的节日里，CertiK在此对保家卫国的军人及将士们致以最崇高的敬意，同时也十分感激他们奋斗在一线为人民的安全保驾护航却又因此远离了自己的家乡和亲人。他们守护着万家灯火，守护和平与安宁，成为了人民最坚实的后盾。
CertiK作为区块链生态系统的守卫者，会不断学习今天被大家祝福和敬仰的军人的坚韧与刚强品质，在不断加强自身实力的同时努力守护区块链生态系统的安全。
形式化验证这样强大的武器，为区块链生态建立了最坚固的防线。在为保卫区块链安全的道路上，我们一直在努力前行！