昨日刘教链发布原创文章《论比特币和以太坊的“宕机”》之后，引发了一些对区块链工作原理感兴趣的朋友的热烈讨论。其中，魔笛手社区群主Claire提了一个好问题：为什么中本聪不给比特币设计最终性呢？或者说，为什么中本聪设计的比特币没有显式最终性呢？
透彻地了解这个问题，需要对计算机科学的一个重要分支——分布式系统——的发展历史和关键问题作一个全面了解和深入思考。在刘教链所著《上帝掷骰子：比特币史话》一书第七章“拜占庭将军”用了6个小节的篇幅对这段往事做了较为全面的铺陈。接下来，笔者试着用简单的篇幅和精炼的逻辑，来对上述问题做一个较为通俗易懂的解答。
中本聪发明比特币，克服了什么关键困难，或者说解决了什么关键问题？去中心化共识问题，或者叫做分布式一致性问题。特别的，比特币要解决的，是如何在有人可能会掉链子、有人可能会作恶的不确定环境中，不借助于一个中心权威或者说中央统治者，就能自动达成共识或者一致的问题。这个问题，就是由计算机科学家LeslieLamport在1982年的著名论文《拜占庭将军问题》中所指出和命名的“拜占庭将军问题”。
最早意识到此问题的人，并非LeslieLamport，而是他的同事RobertShostak。那是1978年。从1978年到中本聪发表比特币白皮书的2008年，整整30年，整个人类计算机科学界，没有人真正解决这个问题。
a16z开源AI Town代码，开发者可创建个人AI虚拟世界:8月16日消息，风险投资公司Andreessen Horowitz (a16z) 发布了AI Town的代码，这是一个开源项目，可让开发人员创建自己的人工智能驱动的虚拟世界。通过人工智能代理民主化构建您自己的模拟环境。
在幕后，AI Town依赖于强大的技术堆栈，包括用于后端无服务器框架的Convex、用于矢量存储的Pinecone、用于身份验证的Clerk、用于自然语言文本生成的OpenAI以及用于部署的Fly。
该平台本质上是人工智能角色的一个充满活力的缩影，每个角色都有其独特的角色。这些人工智能角色能够以令人信服的类人方式相互交互，从而在虚拟环境中创造出有趣的社交动态。
城镇中的每个人工智能角色都会收到一个起始提示，该提示会塑造其角色并作为其交互和行为的基础。当人工智能角色彼此互动时，他们会保留对话的记忆，从而保证互动的连续性。这种记住过去交流的能力为每个人工智能角色带来了独特的叙述，进一步增强了虚拟环境的真实性和复杂性。[2023/8/17 18:04:21]
为什么这个问题如此难以解决？也许有学过分布式系统的朋友会说，当年Lamport就已经给出了解决方法了呀！就是拜占庭容错算法。后来1999年的时候还有人继续改进该算法，提出了实用拜占庭容错等新算法。
Kanpai Pandas宣布推出动态稀有度系统:金色财经报道，NFT项目Kanpai Pandas在社交媒体宣布推出动态稀有度系统（Dynamic Rarity System），用户可以使用“熊猫积分”来购买新特征以提升或降低排名，但1 of 1 NFT（总共 15 个）和 Infinity Pandas（总共 247 个）不能改变特性，只能保持原样。上月底该NFT系列宣布成立Panda Lab并设置了六种不同的特征稀有度等级，每一种都会以不同的方式影响NFT稀有度，具有不同的成本、数量限制和稀有度分数。[2023/4/16 14:06:35]
事实上，Lamport的解题思路走向了一个错误的方向。所有BFT类的算法，都必须隐含一个假设，节点时钟同步性假设。否则，就无法形成共识、达成一致。而这个隐含假设，恰恰是自相矛盾的：想作恶的人，当然可以篡改他所控制的节点的时钟，使之不同步。要想满足这个假设，就要取消拜占庭环境的设定，那么，拜占庭容错算法只能在非拜占庭环境中工作，这解决方案是解了个寂寞！而如果作了非拜占庭环境设定，我们显然可以换用效率高出成百上千倍的算法来达成分布式一致性，比如谷歌Spanner和微信后台所用的Paxos算法。
你永远叫不醒一个装睡的人。直到今天，还有宣称去中心化的公链系统采用BFT、PBFT以及其他变体作为共识算法，在错误道路上执迷不悟。事实上，到了1985年，三个计算机科学家——耶鲁的MichaelFisher、MIT的NancyLinch和华威大学的MikePaterson——联合发表了一篇名为《有一个错误进程即不可能达成分布式共识》的著名论文，提出了著名的“FLP不可能定理”。
MakerDAO架构师Nikolai Muchgian身亡，3天前曾表示遭遇威胁:11月1日消息，MakerDAO前技术合作伙伴、DAI架构师、Balancer联合创始人Nikolai Muchgian在波多黎各康达多海滩(Condado beach)被发现溺水身亡，年仅29岁。
Nikolai于今年4月重返社交媒体，并在去世前三天在社交媒体发布有关美执法部门的部分信息，并表示遭遇威胁。Tether创始人Craig Sellars、21stParadigm联创Dylan Leclair已在推特证实此消息并表示悼念。
Nikolai是DappHub的CEO，也是著名的安全研究员。参与过多个区块链项目，包括基于DSProxy委托调用的动态原子组合、DSNote通用日志记录实用程序、DSAuth灵活授权模式等dappsys实践。他还参与了最初的Maker/Dai合约系统的架构设计，并创建了Balancer AMM。曾经防止MakerDAO发生类似The DAO同样的攻击。(Trustnodes)[2022/11/1 12:04:29]
FLP定理给了BFT类算法当头棒喝：只要取消掉时钟同步性假设，别说有人作恶了，即便只是有人掉链子，分分钟就把整个系统的共识搞崩溃。
路被堵死了。Lamport知耻后勇。你以为他奋发图强，一举克服了时钟同步性依赖了吗？不。他好汉不吃眼前亏、韩信能受跨下辱，借坡下驴、顺势躺平，乖乖接受了这个五雷轰顶的现实。1990-1998年，他提出了在非拜占庭环境下的高效共识算法Paxos。为啥花了这么久？在《史话》第27话“美丽的小岛”有记述这段离奇而曲折的故事，篇幅过长，不再展开。
RAI Finance因ChainSwap合约漏洞被盗290万枚RAI代币:7月4日消息，基于Polkadot区块链的跨链交易协议RAI Finance发文称，因ChainSwap智能合约漏洞，与其连接的RAI访问和支付权限地址也被黑客攻击和盗用，帐户中被盗RAI总额达290万枚。RAIFinance表示，已经第一时间联系所有中心化交易平台并暂停RAI的充值，目前Huobi及Bithumb已经暂停了RAI的资产充值业务，待问题得到妥善解决后再解除限制。
此前消息，跨链资产桥ChainSwap合约遭到攻击，目前合约已修复，跨链桥暂停使用。[2021/7/4 0:25:58]
这一下子就过去了十年。
老天爷似乎总爱给越挫越勇的人更多的挫折和挑战，“增益其所不能”。就在Lamport关于Paxos算法的论文发表的同一年，伯克利大学教授EricBrewer提出了一个理论假说：分布式系统，无论如何，都不可能同时做到这3点：一致性，可用性，分区容忍。
看起来好像一个不可能三角形。但是由于第三点不得不接受，因为网络不可能100%可靠，那么本质上就是二选一了：你要一致性呢，还是要可用性？鱼翅，我所欲也；熊掌，亦我所欲也。二者不可得兼，舍哪个而取哪个呢？
Paxos选得啥？Paxos选的是强一致性。那么就意味着，它必然、一定、不得不舍弃可用性。舍弃可用性不意味着一个采用Paxos算法的系统总是在宕机，但是它一定有机会宕机。宕机，就意味着要整体干预、协调和重启。也就意味着，对中心化控制的依赖。5秒钟思考一下，著名的“宕机链”Solana宕机之后怎么办？当然是项目方、基金会出面协调全网重启啦！它无法自我恢复。
马斯克收购Twitter案的审判定于10月进行:7月20日消息，特拉华州大法官Kathaleen St. J. McCormick周二裁定，马斯克收购Twitter案的审判应在10月进行。这意味着Twitter公司可以加快处理Elon Musk的诉讼。（彭博社）[2022/7/20 2:24:47]
同时，别忘记了，Paxos隐含的前提是始终同步性假设。高性能、强一致性的背后，是极其精准的时钟同步。谷歌Spanner系统甚至需要用原子钟来保证节点间分毫不差的计时。这种系统，是绝难推广到比特币所面临的拜占庭环境的。
EricBrewer的理论假说直到2002年才被MIT的SethGilbert和NancyLinch成功证明。自此成为人尽皆知的“CAP定理”。
90-'99年之间相继成立。面对拜占庭问题，互联网技术直接选择了“躺平”，向拜占庭将军问题举手投降，直接建立公司级防火墙，把坏人拒之门外，营造非拜占庭环境，用自己中心化控制的计算机组成分布式集群，对外提供高性能的互联网服务。
在拜占庭将军问题面前，产业界选择了投降。和Lamport当年看到FLP定理证明之后的选择一样。
逃得过拜占庭将军问题，却逃不过CAP问题。产业界的实践并不晚于学术界。只不过，Lamport又一次当了“反指”。互联网系统的经典技术路线，并不是像Paxos选择一致性，而是反其道而行之，选择可用性。
为什么？很容易理解。你可以接受互联网服务少量的数据不准确、不及时，但不能接受互联网停止服务和拒绝服务。而且，随着互联网用户规模和数据量的爆炸式增长，保持全网数据的强一致性十分困难。
既要又要是难如登天的。身段放软、适当妥协是智慧的。互联网界很自然地选择了向一致性开刀，在强一致性上做折衷，把强一致性弱化成经过一段时间之后达成一致，也就是所谓的“最终一致性”。
也即是说，互联网系统总是能够回应用户的访问请求，但是操作之后，不保证会立刻得到想要的结果。往往需要经过一小段时间t，数据才会同步更新到位。比如，笔者在刘教链公众号推送了这篇文章，并不是第一时间所有读者都能立刻收到，而是陆陆续续收到。但是最终而言，经过一段或长或短的时间，大家都会收到一模一样的文章内容。
这个最终到达全局一致性的状态，就叫做最终性，或者叫做“终局”。
最终一致性走了和Lamport不同的道路，为互联网大规模发展几十年铺平了道路。但是，它虽然解决了CAP问题，却仍然只能在中心化管控的非拜占庭环境下工作。
好了，现在让我们重新回到最初的问题，拜占庭将军问题。如果我们既要一致性，又要可用性，又是拜占庭环境，也无法假设时钟同步性，那么这样一个分布式共识系统，能被设计出来吗？
几乎所有人都会说不能。而且越是掌握专业知识的人，可能越笃信这样的系统是不可能存在的。因为见识过其中的困难，所以心中畏惧。当2008年10月31日中本聪初次披露比特币白皮书时，差不多每一个看到的人当时也都是这么想的。
中本聪给出的办法，就是放弃最终性。把最终一致性变成概率一致性，把最终性变成概率最终性，即有一定概率达成一致，有一定概率达到最终性，且这个概率随时间向前流淌而迅速提高，快速逼近于100%，但永远不会到达100%。从这个意义上讲，也可以说，中本聪把最终一致性里的“最终”二字所代表的一小段时间t推向了无穷远。
用数学的语言说，就是对于任意的t<无穷大，都有一致性的概率p<1，而当t->无穷大时，p->1。这就是中本聪共识。
如果我们允许一致性概率p=1，那么，显式最终性或者最终一致性就是概率最终性的特例：存在t<无穷大，一致性的概率p=1。
如果中本聪共识中的概率收敛速度足够快，那么不需要太久，p就会非常非常接近于1。在比特币白皮书第11小节“计算”一节里，中本聪计算过两个示例：恶意算力占比10%时，经过10个区块，一致性概率就会达到99.99988%；占比30%时，经过50个区块，概率就会达到99.99994%。
随着时间的不断向前，随着区块链的不断延长，一致性概率会从0.9、0.99、0.999迅速增长，不断逼近0.9循环小数，即1。
比特币不再定义“最终”，而把“最终”的定义留给用户、留给我们。这也意味着，比特币的最终性，也是主观的。中本聪在白皮书中，给出的乐观计算是一致性达到概率99.9%，只要错误或恶意算力占不高于10%，我们就只需要在交易进入区块后再延长5个区块也就是所谓的“6个区块确认”就可以视为已经到达最够好的最终性了。
6个区块，大约是1个小时。更乐观的人可以主观上视3个区块确认就足够好了。更悲观的人也可以默默等待更久的时间。
比特币系统通过放弃设定一个强迫所有人接受的显式最终性，转而仅提供一致性的概率计算，而把何时接受共识交给每个用户的主观，从而一举突破了CAP定理、FLP不可能定理，抛弃了对时钟同步性假设的依赖，真正解决了拜占庭将军问题，实现了真正去中心化的记账系统。
我们是否有可能继续攀登，即保持和比特币同等级别的去中心化程度，并解决拜占庭将军问题，同时不放弃显式最终性，通过确定性的算法和机制，实现显式最终性呢？对此笔者不太乐观。直觉上感觉不放弃显式最终性解决拜占庭将军问题可能是一个类似于“发明永动机”的问题，区别在于在计算机分布式系统领域，目前还不知道何为“热力学第二定律”。
更大的矛盾之处还在于：如果扬弃了中本聪引入的工作量证明——出于环保等任何正确的或其他方面的原因，比如改为PoS或其他什么算法；或者，扬弃了中本聪引入的链式区块账本，而是改用其他数据结构比如DAG，那么，都将不可避免地、必须、不得不实现显式最终性，否则，不需要消耗巨大外部能量和代价的数据就会被轻易推翻、颠覆和篡改。这样一来，在不得不实现的显式最终性和不得不克服的拜占庭将军问题二者之间，真的能兼得吗？如果实践和理论最终证明，要显式最终性，就无法克服拜占庭将军问题，如果要克服拜占庭将军问题，就必须舍弃显式最终性，那么，我们又将面临一个怎样的未来？是巨大的挫折，还是理论极限的再次突破？
行文至此，笔者心中不由地冒起冷汗，耳边仿佛回响起中本聪当年说过的话：
“很多人自动忽视电子货币，将其视为损失的原因，因为自20世纪90年代以来，所有的公司都倒闭了。很明显，仅仅是因为那些系统的中心化控制的本质让他们在劫难逃。我认为这是我们第一次尝试去中心化、基于非信任的系统。”
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。