“真理”不可能三角。区块链中流传着一个令许多人津津乐道的“真理”:不可能三角。很多项目方打着“打破不可能三角”、“突破不可能三角”的旗号也不绝于耳。人们始终认为,不可能三角问题就是区块链当前面临最大的问题,“打破它”是意件极具意义的事情。但是这很矛盾。科学意义上的“不可能”就是指无论如何也不可能,那它怎么可能“被打破”、“被突破”呢?
这不是一篇要盖棺定论的文章,它的出发点是为了探讨,探讨区块链领域一个几乎人人都知晓的概念:不可能三角。
我们要探讨它是一个真概念,还是一个伪概念。因为只有当我们分辨出真伪,不再聚焦、不再利用、不再浪费开发能力在伪上,才有可能去探索区块链中真正需要被关注、被解决的问题。
本文分为三个部分,分别是:不可能三角的演变史;对不可能三角的质疑;分布式系统CAP定理是真正的不可能三角。
“以讹传讹”的不可能三角演变史
区块链不可能三角是指一个区块链系统不可能同时满足三个角,它必须以部分的牺牲某个角为代价,换取另外角的指标的提升。
1.长铗版本
在中国,最早提出不可能三角理论的是长铗。他在2014年发表了一篇名为《不可能三角形:安全,环保,去中心化》的文章,并引起了广泛的讨论。
不过,这篇文章讨论的是加密货币的不可能三角,结论是“环保型密码学货币”是不存在的。这与我们如今谈论的不可能三角的适用领域完全不同。长铗是这么描述不可能三角的:
声音 | Libra联合创始人:创建Libra不是为与法币竞争,而是为补充现有货币:据AMBCrypto消息,Libra项目联合创始人、Calibra首席经济学家Christian Catalini近日在接受采访时表示,在全球转账的同时,汇款费用可能会高达30%。Libra解决了这个问题,以低价服务于没有银行账户和存款不足的人。Catalini称,每一项新的创新最初都受到了一些阻力,Libra已经预料到了这种监管阻力。Christian Catalini澄清说,Libra的发展不是为了与美元这样的法定货币竞争,但它是为了补充现有货币而创建的。他说,Libra专注于在央行发行的货币上启用新的功能。他补充道:“天秤座是作为一个转移价值的支付网络而创建的,而不是与中央银行或其他货币政策竞争。货币政策是中央银行的职责,而天秤座无意干涉任何这类事情。天秤座背后的资产是由中央银行创造、维持和控制的。[2019/11/26]
在此,我提出一个三元悖论:去中心化、安全、环保构成一个不可能三角形。
设计一个既环保又安全的密码学货币,它必然是中心化的,比如PPcoin、Nextcoin、Ripple,它们要么本身就是中心化的架构,要么其去中心化的架构不可维持,它们本质上仍是和PayPal、网银一样的中心化验证机制。
设计一个既环保又去中心化的密码学货币,它必然是不安全的,比如IP投票制的P2P货币,中本聪起初就已排除了这种可能,他认为“如果决定大多数的方式是基于IP地址的,一IP地址一票,那么如果有人拥有分配大量IP地址的权力,比如僵尸网络,就有可能主宰比特币网络”。
声音 | 扎克伯格:Calibra不会与Facebook共享用户账户信息或财务数据:Facebook CEO扎克伯格将于周三在美国众议院金融服务委员会针对Libra作证。扎克伯格在其准备的证词中提及,“我们将Calibra设为受监管的子公司,将Facebook社交数据和Calibra财务数据明确分离。除非是为了防止欺诈或犯罪活动,或者当用户明确选择共享数据,亦或当我们有法律义务这么做时(才会共享),否则Calibra不会与Facebook共享用户账户信息或财务数据。”(jp.cointelegraph)[2019/10/23]
设计一个安全的去中心化货币,它必然是以付出能源与计算力为代价。工作量证明是以去中心化形式构建安全产权认证系统的第一个解决方案,也可能是唯一解决方案。
长铗提出的“去中心化”和“安全”在用词上与现今的流行版本一模一样,但它们所代表的意义却截然不同,长铗版本中指的是货币的机制和货币的安全。
2.VitalikButerin版本
流行版本的不可能三角理论来自“Vitalik”,是指一个区块链系统无法同时兼顾去中心化、可扩展性、安全性,这个三角被广泛地引用进了各种演讲、报告、文章,甚至白皮书中。
但它真的是由Vitalik提出来的吗?
该不可能三角发源于GitHub以太坊目录下的一篇文章,名为《Onshardingblockchains》,文中首次提出了这个三元悖论。
声音 | 希腊前财长:IMF应该考虑发行类似Libra的加密货币:希腊前财政部长Yanis Varoufakis近日发文评论Libra。其文章称Visa、PayPal等大公司退出Libra协会是好事,如果Facebook被允许使用Libra将国际支付系统私有化,那么人类将会遭受损失。但现在试图扼杀Libra的各国政府应该展望未来,用它做一些创新、有用和有远见的事情:将Libra或者它的核心概念交给国际货币基金组织(IMF),以便其可以用来减少全球贸易失衡和重新平衡资金流动。事实上,类似Libra的加密货币可以帮助IMF实现其最初的目标。诀窍在于委托IMF代表其成员国实施这一想法,以期重塑国际货币体系。文章提出,IMF可以发行一种基于区块链、类似Libra的加密货币(可以称之为Kosmos),其汇率与本国货币自由浮动。人们继续使用本国货币,但所有跨境贸易和资本转移都以Kosmos计价,并通过其央行在IMF的账户进行。所有国际交易将变得无摩擦并且完全透明。(The Jordan Times)[2019/10/20]
这篇文章隶属于以太坊的《ShardingFAQs》系列,由一位名叫JamesRay的团队成员创建并维护。这个系列用来做什么?用来回答大家关于分片的种种问题。
也就是说,所谓的Vitalik提出的理论,其实只是以太坊团队成员在一篇回答社区问题的文章中提及,不仅与Vitalik无关,不仅不是论文,它连主题性文章都算不上。但真相还不止于此。
金色晨讯 | V神:以太坊应该与Facebook进行合作 Libra代表人周一将与26家央行官员会面:1.V神:以太坊应该与Facebook进行合作。
2.德意志银行加入由摩根大通牵头的区块链网络IIN。
3.Calibra首席运营官:Facebook与Libra代币的初步交易无关。
4.德国将批准区块链战略草案,将阻止Libra项目。
5.Libra代表人将于周一在瑞士与26家央行的官员会面。
6.乌拉圭批准规范众筹平台的法案,可适用于一些ICO。
7.V神:有50%的矿工现在投票支持提高GAS上限。
8.怀俄明州区块链特别工作组将召开会议讨论潜在的立法问题。[2019/9/16]
为清晰起见,逐条说明关于“Vitalik”版不可能三角的一些事实。
1.原文用的是“Thissoundslikethere’ssomekindofscalabilitytrilemmaatplay”,再结合上下文,会发现不可能三角这一理论的提出是没有经过任何逻辑的、系统的论证,作者只是列举了一些问题后就提出了这个观点。而且作者在文中用的就是不确定的表达,却在后来被人们当作了无疑的真理。
2.原文的上下文都在讨论“scalability”,甚至作者也称其为“scalabilitytrilemma”,也就是说,这个三角本是针对“区块链可扩展性”的,但却被扩大到“区块链”,从ScalabilityTrilemma演变成了BlockchainTrilemma。
动态 | 近期出现Facebook Calibra的山寨官网:据thenextweb报道,近期有者意图通过冒充Facebook Calibra的官方网站(Calibra.com)来牟利。山寨网站(Calìbra.com)乍一看与官网十分相似,并有着与官网相同的营销材料、措辞和口号。除此之外,该假冒网站右上角有一个“预售Libra货币”的按钮。点击这个按钮,用户就会进入另一个声称提供25%预售奖金的网站,声称用户可用2枚ETH交换600枚Libra,或用20枚ETH交换8000枚Libra。目前尚不清楚是否有人受。[2019/6/25]
3.对于三个角:Decentralization、Scalability、Security,作者给出了明确的定义,比如安全是“beingsecureagainstattackerswithuptoO(n)resources”。也就是说,作者的三角是限定状态下,并基于这种限定状态进行讨论,但却被扩大到无限定条件的区块链。
不过,“Vitalik”不可能三角最大的问题还不是上述事实,而是提出这个观点的环境。它出现在用来介绍以太坊分片技术的文章中。
写过论文的人知道,为了证明自己的研究解决了问题,第一步就是提出问题;为了证明自己的研究厉害,第一步就是把问题描述的很重要、很难解决。《Onshardingblockchains》这篇文章的结构正是如此。
首先通过对现状的描述,给出“不可能三角”这个问题;接下来分析多种方法,指出别人无法解决这个问题;最后提出自己的方案,论证该方法可以如何完美地解决问题。
没错,如果耐心一些,把“Vitalik”提出不可能三角理论的文章看完,就会发现以太坊已经通过它的分片技术解决掉这个三角难题了。所谓的“不可能”,在它诞生的第一天就被论证为“可能”了。
JamesRay在文章中写下这个不可能三角,只是为了论证以太坊通过分片技术可以实现可扩展性,只是为了证明wecanbreakthroughscalabilitytrilemma。
关于这个三角,文中定义清晰、描述严谨,并无问题,只是在后来被多维度误解了。下图是以太坊在这个问题上能实现的解决程度。
立不住脚的不可能三角
不可能三角得到广泛的认可,除了与长铗或Vitalik的知名度有关,更多的是因为这个理论看上去是正确的。但它真的经得起推敲吗?
不妨重新思考三个问题:
什么叫去中心化?什么叫可扩展性?什么叫安全性?能确切的回答它们各自的含义吗?如果一个理论中的概念都无法准确定义,该理论有什么价值?
把三个角变成两个角,“不可能”的矛盾关系还存在吗?把三个角变成四个角,“不可能”的矛盾关系还存在吗?如果存在,提“不可能”三角的独特意义何在?
不可能三角对区块链项目的工程实现有什么实际的指导作用?
“可扩展性”在少数版本中被替换成了“性能”,但即使没被替换,人们在语义上也是用“可扩展性”来指“性能”。但这两个概念是不具备等价性的,扩展性只是提高性能的方法之一,性能只是扩展性实现的功能之一。下图是常见的不可能三角的版本。
EOS的21个节点常被用来证明不可能三角的正确性,人们认为它是牺牲了“去中心化”,换来了“性能”,但当我们担心EOS的“去中心化”时,担心的是什么?担心的是EOS因为中心化而不够“安全”,去中心化与安全是紧密相关的。
“去中心化”和“性能”是不可能两角的说法反而比不可能三角更为精准,仅仅两角就能说明区块链现阶段的状况。
另一个角度,牺牲去中心化和可扩展性就能保证区块链系统的安全吗?显然不是。安全很大一部分是纯技术的解决方案。那么不可能三角中的安全指的是什么?提这种局限的安全的意义又何在?
除了用于“吹牛”,不可能三角似乎对区块链项目的工程实现没有任何实际的指导作用。我们无法想象一个项目的负责人对团队成员说,“为了提高性能,我们可以对系统的安全性做一些牺牲”,也无法想象负责人会说“为了去中心化,这个系统不要求高性能”。
事实也正是如此。从来没有一个项目说自己为了提高不可能三角的某个指标,而牺牲了其他的指标,他们说的是自己“突破了不可能三角”。
如果说不可能三角是真概念,那么它最大的意义恰恰就是告诉项目方,系统必须要在这三个指标间做出取舍,而不是“突破”,可以突破的都不叫“不可能”。
分布式系统CAP定理是真正的不可能三角
追究不可能三角的真伪,一方面是因为伪概念给了伪项目生存的土壤,这很糟糕;另一方面是希望人们能把焦点集中到真正的问题上。
在区块链,有价值的不可能三角是分布式系统CAP定理。它是指分布式系统无法同时确保一致性、可用性和分区容忍性。
EricBrewer在ACMPODC会议上首次提出了CAP猜想,之后,麻省理工学院的SethGilbert和NancyLynch从理论上证明了该猜想,使之成为一个定理。
CAP定理是分布式系统领域最重要的原理之一,深刻影响着分布式计算与系统设计的发展。
CAP定理一致性、可用性和分区容忍性的具体含义如下:
一致性:如果系统对一个写操作返回成功,那么之后的读请求都必须读到这个新数据;如果返回失败,那么所有读操作都不能读到这个数据,对调用者而言数据具有强一致性。
可用性:所有读写请求在一定时间内可以得到响应,不会一直等待。
分区容忍性:系统中的网络可能发生分区故障,即节点之间的通信无法保障,但这不影响系统正常服务。
CAP定理认为分布式系统最多只能同时实现上述三个要素中的两个。在某时刻如果满足AP,即分隔的节点对外服务,但不能相互通信,这将导致状态不一致,不能满足C;如果满足CP,那么在网络分区的情况下为达成C,请求只能一直等待,这将无法满足A;如果满足CA,即在一定时间内要达到节点状态一致,则要求不能出现网络分区,这将不能满足P。
这一结论告诉设计者不要浪费时间去研究如何兼顾这三要素,因为根本不可能,在进行分布式架构设计时,必须根据具体系统的需求做出取舍。
不可能三角并不是限制,它反而是在正确的道路上开拓了设计师的思路,让他们在多样化的取舍方案下设计出了多样化的系统。
过去十几年里涌现出不计其数的分布式的新系统,正是基于数据一致性和可用性的相对关系产生的——对于分布式系统,分区容忍性必须满足,否则该系统就毫无意义,因此,其实是在一致性和可用性之间做选择。
区块链系统的设计也正是如此。
在区块链中,C(一致性)是保证各个链的各个节点读出来的数据都一样,A(可用性)是保证各个链的各个节点可以在不同步完全的情况下实现交易,而因为节点是分布的,P(分区容错性)是必须要保证的。基于这三个要素和对三个要素的取舍,有了BFT类共识、PoW类共识和其他共识算法。
小结
就像没有一个通用的分布式系统,也没有通用的共识算法。CAP定理指导着区块链共识和治理的设计,决定着其分布式系统的功能和实现。
不可能三角的迷人之处在于:科学告诉我们什么是不可能的,而工程告诉我们可以付出一些代价,把它变成可行。CAP定理具有这种带张力的美感,反观流行版本的不可能三角,似乎并不具备。
本文观点仅代表个人,仅限交流学习,所有内容不构成任何投资建议。想及时了解更多行情信息,请添加官方微信进群:jiamibaoluo.
彭博社7月8日晚报道,加密货币交易平台Matrixport今日上线Beta版。其背后是比特大陆联合创始人吴忌寒及数十位比特大陆前员工组成的团队.
据俄罗斯新闻媒体塔斯社报道,该国议会国家杜马可能会推迟到秋季会议时才通过该国主要的加密法案《数字金融资产法案》.
尊敬的用户, SEE联合BiKi.com举办“SEE买入奖励”活动,详情如下:活动时间:7月4日00:00至7月11日00:00(GMT8) 活动规则: 1、活动期间,净买入大于等于50SEE.
亲爱的LOEX用户: LOEX国际站近期将上线CXO,敬请期待。CargoX的物聯網,銀行和金融合作夥伴關係將很快通過Smart信用證實現增值服務,如貨物跟踪,保險,質量控制和銀行託管服務.
据报道,巴西的第五大银行将利用Tezos公链来发行价值10亿美元的STO。那么,问题来了,为什么不是在以太坊上发行STO?资产发行曾经是以太坊最首要的应用,ETH也成为融资的基础资产.