程序猿日记S01E06-共识机制

"Be yourself."

评分

《黑镜》从第一季第一集开始，就是能看出是一个脑洞特大的剧集。每一集都是独立的剧情，涵盖了当前一些热门的人类行为和科技理念。比如社交网络、虚拟现实、记忆读取、人工智能。因为剧情脑洞很大，所以看起来比较怪诞哈。最近一位好朋友推荐看看第三季的第一季《急转直下》，因为里面提到的一个社交评分理念比较有意思。“故事讲述的是在未来世界里，科技的发展改变了人们的社交方式，当一个人和另外一个人接触之后，可以马上通过手机给对方打分，满分五分。每个人身上都贴着一个写着分数的标签，它代表了等级、阶层和地位。分数为4.2的女主角戴着厚厚的面具，永远对别人笑脸相迎，希望以此能获得别人的认可和高分。有一天她看上了一处房子，而想要租下它，分数至少要4.5。就在女主角为了提高分数而绞尽脑汁时，童年时的闺蜜正好准备结婚，看到生活在上流社会的发小分数为4.8，女主角认为这是个接触高分人群，提高自己分数的好机会，于是女主角联系上闺蜜，并打算在婚礼上担任伴娘。但是出师不利，女主角在出发去女闺蜜婚礼的路上发生了意外，分数跌落到3.1。而当闺蜜知道女主角分数如此之低时，竟然在电话里翻脸，毫不犹豫地粉碎掉多年的友情，让她不要再担任伴娘。最后女主角历尽重重困难，满身泥泞的来到了充满了穿着锦衣华服的上流社会人士的婚礼现场，在婚礼现场，她撕掉了自己所有的面具，大声斥喝着新娘的虚伪和自私，而她自己的分数也急转直下，最后变成零分，她也因此进了监狱“。看完之后觉得作者调了一个”信用“相关的量化指标来表达”信用“的荒谬。网上也有很多人拿芝麻信用来做对标，有点像而已吧。剧情里面提到的通过建立和高分人群的社交关系来提高分值，或者被人恶评降低分值，导致主角很多时候都要看社交对象的脸色行事，自己必须带上虚伪的面具。也许这是本剧集的主导思想吧，那么我用另外一个支线思想来理解下剧情，”共识机制“。

共识机制

剧情里面略微夸张的放大了评分的计算规则，点对点的一次评分会直接把主角的分值”急转直下“，有点类似现在贷款或者信用卡逾期，在银行的信用体系里面基本上就是污点了。银行为什么有能力来影响一个人的社会信用？因为现在的社会，大家都比较相信银行，所以它给出的评分体系其他机构和个人会认可。回到剧情，为什么社交评分系统给出的评分其他机构和个人会认可？而且任何一个人对你的差评，都会导致你的分值”急转直下“？作者最后解释了大家的疑虑，”F**k it and be yourself“。确实，这个系统有点烂，所以作者也不认可这个系统给出的评分。那么问题来了，除了银行这样传统的金融机构给出的评级能够得到广大社会机构和个人的认可，还有其他什么平民级别的机制能够替代这种方案？如果把每个参与到社会评分体系的人，看成一个个的网络节点，每个网络节点的评分，该怎么决定呢？这个问题早就有人想过了，而且提出了一些可行的算法，其中一个核心的要点就是”共识机制“，提出了如何通过群体投票来确定某个节点的状态。

拜占庭将军问题

拜占庭位于如今的土耳其的伊斯坦布尔，是东罗马帝国的首都。由于当时拜占庭罗马帝国国土辽阔，为了防御目的，因此每个军队都分隔很远，将军与将军之间只能靠信差传消息。 在战争的时候，拜占庭军队内所有将军和副官必需达成一致的共识，决定是否有赢的机会才去攻打敌人的阵营。但是，在军队内有可能存有叛徒和敌军的间谍，左右将军们的决定又扰乱整体军队的秩序。在进行共识时，结果并不代表大多数人的意见。这时候，在已知有成员谋反的情况下，其余忠诚的将军在不受叛徒的影响下如何达成一致的协议，拜占庭问题就此形成。拜占庭将军问题是一个协议问题，拜占庭帝国军队的将军们必须全体一致的决定是否攻击某一支敌军。问题是这些将军在地理上是分隔开来的，并且将军中存在叛徒。叛徒可以任意行动以达到以下目标：欺骗某些将军采取进攻行动；促成一个不是所有将军都同意的决定，如当将军们不希望进攻时促成进攻行动；或者迷惑某些将军，使他们无法做出决定。如果叛徒达到了这些目的之一，则任何攻击行动的结果都是注定要失败的，只有完全达成一致的努力才能获得胜利。这是Lamport在研究分布式系统容错性的时候编出的一个故事。”拜占廷将军问题就是要让爱国的将军达成一致，而不是找叛国的将军“。所以，评分也是一样，我们找出错误的评分，并从一个评分体系里面排除掉，就能够更为精确的反映出一个人的真实分值。

Paxos

Lamport编完第一个拜占庭将军问题之后，顿悟了，继续开始编Paxos的故事，而且用在了他的论文里面，审稿的人当然不爽了，拒绝发表。Lamport多牛逼啊，再怎么也是分布式系统祖师爷级别的人物，你不然评审通过我就没办法了吗。所以他把文章发表到自己的网站，没过多久，各种论文和系统实现都是引用他丫的Paxos故事和算法，审稿的人也只能认了，Lamport的论文得以发表（1990年到1998年，推迟了8年），牛逼的人耍起流氓来真是拿他没办法。Paxos算法的其中一块就是说明如何通过多数派投票来让分布式系统达成一致认知的问题，就是我们说的共识机制（Consensus）问题，算法细节可以去google search一下。

摘下面具

回到《急转直下》这个故事，在我看来这个故事说的不是社交评分本身的合理与不合理（就像前面提到的银行信用合理性），而是使用的评分计算规则，是否能够反映出每个人的真实评分。如果不能，我们应该使用一种什么样的共识机制，让社会这个大的群体意识，能够往正确的方向发展。社会必然会进步的，Paxos之后，有人提出了Raft。