免信任型计算的扩容模型，Part-2

边 2 ：区块生产中心化（EOS、Cardano、NEO 等）

委任权益证实（DPoS）方案是接受中心化的，由于它认为挖矿的规模经济效益会天然形成 PoW 方案中的中心化。鉴于这个事实，Dan Larimer 发明了 DPoS 。DPoS 接受区块链会天然中心化的事实，并利用这一点来实现可扩展性。

例如，Larimer 最近又构建了 EOS，公开宣称该系统一次仅限 21 位区块生产者。预计 最后只有数据中心才有能力运转 EOS 节点。

经过限制区块生产者的人数，能够推测出每位区块生产者拥有更多资源。此外，拜占庭容错（BFT）算法一般须要 n² 次通讯达成共识，而减小区块生产者的人数会下降网络延迟。下降区块生产的去中心化程度显然会提升可扩展性。

基于 DPoS 的区块链不只可以带来可扩展性，还会缩短 TTF ， 进而下降延迟性。EOS 明确提出了要将出块时间控制在 0.5 秒，这是其它共识方案根本实现不了的目标。这就是 DPoS 的一大优势。许多应用都须要下降延迟性并提升吞吐量。

以去中心化交易所为例。随着 0x 生态系统在以太坊上日趋成熟，上述需求愈加明显。现在，0x 最大的一个问题是订单冲突现象愈来愈多，直接缘由在于以太坊的出块时间长，并且延迟性高。0x 团队已经提出了解决方案。考虑到底层以太坊区块链的内在限制，这些解决方案的效果如何还没有可知。不过这根本不成问题，毕竟 DPoS 系统具备出块时间短、生产量高和延迟性低这几大优势。

总的来讲，把宝押在 DPoS 上就是在赌两件事：

1. 中性 数据库上的某些应用要求高吞吐量和低延迟性。

2. 并不是全部分布式系统都要具有抵抗中央机构的能力。

在三难困境中，DPoS 系统会侧重于三角形的底边。请注意：前两幅三角形图解反映的是 TTF 较长的系统的状况，而 DPoS 系统的 TTF 较短，所以用暗色表示。

边 3：多条链合集（Cosmos、AION、ICON、Ark）

Cosmos、AION、ICON 和 Ark 团队相信将来会产生数以百计、数以千计甚至数以百万计的区块链。这些团队不会构建像以太坊和 EOS 这样庞大的区块链，而是基于三角边 3 的权衡关系构建系统。他们相信不一样的应用不必定要共享一组验证者。相反，它们应该有本身的验证者集。

在可扩展性的三难困境下，基于边 3 构建的系统中的每条链包含的价值较少。不管是 PoW 仍是 PoS 方案，安全性都会随着价值的增长而上升。不过，以提升风险为代价换来的是每条链都能得到主权（或许没有这个必要或价值）、可扩展性和较短的 TTF 。

主权有什么价值？经过一些例子来理解再简单不过。若是一些国家为行政目的使用区块链，它们会想建立本身的验证者集，贯彻本身的社会价值观，而非其余国家或全球社区的价值观。例如，以太坊和 Ethereum Classic 就不能共享验证者。

显然，以太坊自己与主权概念背道而驰。2013 年，Vitalik 着手建立了以太坊，由于他发现全部加密领域的应用开发者都须要应对相同的挖矿和共识算法挑战。他慧眼识良机，用底层平台解决这些复杂难题，以便开发者专一于应用层。

对比云计算的发展史，咱们会发现一些有趣的类似之处。在 21 世纪早期，许多网站主机都将多个网站搭建在一台服务器上。只要一个站点的流量过大，服务器就会奔溃，累及其它站点。

以太坊在不少方面都相似早期的网络主机。它将太多东西捆绑在了一块儿，创造出了一个整体不稳定的系统。只要有一个应用破坏了系统，整个系统都会奔溃。

网络主机问题的解决方案是虚拟机（VM）。用独立的虚拟机将每一个应用都隔离开来以后，一台服务器就能够运行多个应用，既能实现硬件利用率的最大化，又能在保持完整性的状况降低低成本。若是流量涌入的话，只会形成一台虚拟机的奔溃，而非服务器上的全部虚拟机。虚拟机能够在物理服务器之间移植，进一步提升冗余度和安全性。与可以实现巨大的水平可扩展性的系统相结合，虚拟机成为了云计算的一大关键部分。虽然最近 Docker Container 代替了虚拟机，但这不过是新瓶装旧酒。

同理，若是分布式应用必须搭建在独立的区块链上，基于边 3 构建的系统将迎来巨大的机遇。

要想实现这种愿景，基于边 3 的系统须要极大下降建立新链以及链际互操做的难度。Cosmos 正经过 Ethermint 将这一愿景变为现实。Ethermint 是百分之百开源免费的。 它是一种基于 Tendermint 运行以太坊虚拟机（EVM）的空模板链。Tendermint 是 Cosmos 团队开发的一种吞吐量高、TTF 短的半中心化共识算法。经过极大下降开发者建立新链的难度，Cosmos 但愿开发者能专一于开发应用。AION、ICON 和 Ark 都拥有相同的愿景，正致力于为开发者提供模板化的方式，帮助他们轻松高效地建立新链。（请注意，虽然 Wanchain 一般被认为是一种能够实现链际互操做性的解决方案，与这一节中提到的其它方案差异很大，提供的功能也不同。）

请注意，这些系统能实现较短的 TTF 。这是由于每条链都是相对中心化的，使低延迟性能得以产生。尽管如此，整个系统的去中心化程度仍是很高的，由于不少链都有独立的验证者集，每一个验证者集均可以使用新的共识机制。

在三难困境中，许多具备互操做性的小型链的可视化效果图以下：

分片（Ethereum 2.0、Polkadot）

Vitalik 和 Gavin Wood 多年前就已开始公开讨论以太坊分片了（详情参见 这里 和 这里）。

每一个分片从根本上来讲都是一条独立的链。虽然 Cosmos 生态系统中的链也是独立的，可是区别在于 Cosmos 上的每条链必须管理本身的共识（以此确保安全性），以太坊分片则否则。就以太坊分片而言，全部分片的共识及其带来的安全性汇聚到了一块儿，并由主分片中的验证者管理合约（Validator Manager Contract）进行管理。在大部分状况下，将安全性集中起来比将安全性分散在多条链上更好。

目前尚未人将分片区块链投入生产（Zilliqa 虽然号称实现了分片，但不是完整状态的分片）。

分片可以解决可扩展性的三难困境，尽管是以牺牲链的主权为代价的。此外，跨片通讯是有延迟的。从根本上来讲，延迟是每一个分片上共识算法的一个功能。

以太坊打算使用 Casper 最终肯定每一个分片。尽管尚未设置具体的参数，但 Casper 颇有可能产生以分钟计量的 TTF ，让分片后的以太坊变成一个高延迟系统。

Dfinity 和 Algorand 使用一种名为门限中继（threshold relay）的新型共识算法，旨在实现区块生产去中心化、安全性、比以太坊单个分片更好的可扩展性（尽管远远比不上 DPoS 提供的可扩展性），以及较短的 TTF 。若是门限中继在实际运做过程当中能像在测试环境中同样顺利，咱们就有望看到 Dfinity 和 Alogrand 对它们的链进行分片，利用较短的 TTF 和低延迟性提供高效的跨片通讯。

Polkadot 将使用 TBA BFT 共识算法建立一个分片网络，以牺牲 DBP 为代价减小 TTF （与 Tendermint 遵循的权衡关系类似 ）。然而，Polkadot 极可能比以太坊或 Dfinity 更早启动分片网络。不一样于以太坊和 Dfinity ，Polkadot 不要求分片使用特定的状态机，例如以太坊虚拟机（EVM）或 WebAssembly（WASM）。相反，Polkadot 容许每条链定义各自的状态机。也就是说，能够经过一些协议将本身的共识系统转移到 Polkadot 上，例如经过 Stellar 能够在不具有智能合约功能的状况下发行任意的数字资产，或是经过 Zcash 能够利用高度优化的状态机来处理 SNARK 证实。

综上：

协议	共识算法	（每一个分片的）虚拟机	公开分片计划
Ethereum	Casper	EVM → eWASM	已定义，推动中
Dfinity	门限中继	WASM	未定义
Polkadot	TBA	未定义	已定义

完整状态分片是一个未解决的计算机科学难题。尚未人可以将其投入大规模的生产环境之中。然而，若是有可能的话，这或许是解决可扩展性三难困境的最佳解决方案，同时又能提供较短的 TTF 和低延迟性。

在三难困境中，分片式 PoS 的可视化效果图以下：

可验证的链下计算

若是不经过下降效率的手段来实现免信任性，用户能够只要求一台计算机执行一个计算来实现这点吗？除了让数十或数百台计算机执行相同的计算以外，还有其余方法可以证实这台计算机进行的计算是正确的吗？咱们能够不经过在根本上效率低下的区块链技术来保证准确性吗？

Truebit 正在试图经过一个验证游戏（Prover-verifier Game）来解决这一问题。这个游戏将经过证实者-反馈（Prover-response）的交互式协议来实现。在计算结果没有遭受质疑的预期状况下，每一个计算都在本地完成， 只需一个解题者（solver）和几个验证者（verifier），没有网络成本。在罕见的遭受质疑的状况下，解题者和验证者须要从新运行一个基于 WASM 的计算密集型虚拟机来肯定谁是做恶者。

交互式验证协议将透明性、安全性和底层链的不可篡改性与链下计算的高效率结合在一块儿。Truebit 是在交互过程当中运行的，并且具备几率性，所以在须要低 TTF 的环境中效果不佳。Truebit 运行在第一个“全体一致”的共识体制上，每一个任务最少须要一位合理的验证者才能确保安全性。

未来，Truebit 或是它的竞争者可能会使用 SNARKs 和 STARKs 经过非交互证实而非交互证实来验证任意计算的准确性。果然如此的话，Truebit 将缩短 TTF ，增长免信任型链下计算的设计空间。然而，将 SNARKs 和 STARKs 用于通用计算时，任意计算的零知识证实在很大程度上依然是不肯定的，尚待证明，并且技术效率低下，最终可能没法发挥潜力。

开源、复制和政治

从长远来看，主流链可能从小众链那里吸取最好的技术。例如，以太坊正在部署 zkSNARKs ，这是可以让 Zcash 实现私密交易的主要技术。并且，Vitalik 已经宣布他想要将以太坊移植到 WASM 上，在此以前 EOS 和 Dfinity 已经采用了这种技术。以太坊神教者提出用 Plasma 来解决以太坊的全部缺陷，由于它容许在以太坊生态下选择替代型共识算法和状态机。

考虑到上述问题和智能合约的网络效应谬论，链与链之间如何区分？

Politics, ideology, beliefs。

假设没人能在毫无妥协的状况下解决可扩展性的三难问题，不一样的人和企业须要的是适合手头任务的特殊的链。

最后，媒体会将这渲染成一场宗教辩论。区块链将变成宗教，由于它们的信徒具备传教士的特征，乐于传播福音，吸引更多教众。

用户会选择那些去中心化程度最高、防审查性最强的链吗？哪怕是要以牺牲性能和高昂的网络费用为代价？或者，他们会接受下降防审查性的门槛吗？若是接受的话，这个门槛在哪里？

数字黄金

基于本文提出的框架，咱们能够客观评估数字黄金和可编程货币在可预见的将来可能实现独立的方式和缘由。

比特币核心团队不惜一切代价将 DBP 最大化和交易验证做为首要任务，哪怕要牺牲可扩展性和其它形式的实用性。下降比特币的效率可以增长它的弹性。比特币核心团队彷佛没有受到限制说必定要牺牲技术效率来换取社会可扩展性。

你能够反驳说，即便是有信仰的比特币核心团队也受到了误导。例如，PoS 倡导者认为 PoS 的安全性比 PoW 更高，由于一旦肯定了一个恶意攻击者，就能够当即将她踢走。相反，在 PoW 方案中，做恶者永远均可以继续攻击网络。

从长远来看，咱们不知道 PoS 方案是否比 PoW 方案更能抵抗政府干扰。这两个方案各有千秋。然而，咱们知道 PoW 确实是久经考验的。鉴于比特币核心团队的首要任务是实现最高的防审查性，根据咱们的经验，比特币核心开发者作出了正确的决定。

有一些观点认为比特币核心团队的观点太极端了，为实现多余的防审查性让比特币牺牲实用性，进而会致使比特币丧失意义。

目前的问题是，DBP 要到达什么程度才够？若是你认为设计门槛要低于“可以抵挡来自××、××和×××的正面联合攻击”的话，免信任型计算的设计空间会更加宽广。

在 90 年代，许多人认为互联网最终会成为民主化力量，经过史无前例的方式将人们联系在一块儿，瓦解传统的媒体公司和专制政府。事实证实，主要是大型公司和政府利用互联网汇聚权力和控制力。

由于全部免信任型计算系统都是无需许可的，这意味着政府能够从中牟利。除了正面攻击以外，政府也许会经过没法预见的新方式来利用加密行业加强而非放松对社会的控制。

免信任型计算模型大杂烩?

在可预见的将来，加密生态经历了相似寒武纪时期的实验大爆发以后，上述免信任型计算扩容模型都将迎来繁荣期。

要实现稳定的将来状态势必要经历一段波折的道路。事物在实现同质化以前不免要经历复杂交织的大杂烩阶段。

例如，开发人员或许会在 Polkadot 上建立新链，结果却发现 Polkadot 上的一条中继链达到了极限。这条链或许与其它中继链相连，然后者又经过 Cosmos Hub 与 EOS、以太坊和 Kadena 上的链相连。每条链均可能被切分。各类以太坊分片可能包含使用 DPoS 和权威证实（PoA）共识保障安全性的 Plasma 链。

将来，这些主要系统中的合约都能调用 Truebit 进行链下计算，这就使得上述的不肯定性加强了。有多少工做能够交由 Truebit 处理？Truebit 又将如何集成主链和侧脸？

目前还不清楚这些系统的价值在哪里以及如何积累。有观点认为，若是 Cosmos 的 ATOM 代币不遵循门格尔的边际效用论，像 Cosmos 这样具有互操做性的链不会累积这么多价值（多是数十亿和数万亿的差异）。Polkadot 的 DOT 代币也面临相同的风险。

我但愿将来能看到实质性的融合，哪怕不是完全的融合。考虑到主权对某些链的基本价值（例如，那些由政府控制的链），我认为 Cosmos 这样的系统即便成不了最大赢家，也总会有一席之地。

鹿死谁手还没有可知，天下英雄皆可逐之。

感谢 Trent McConaghy (Ocean)、Peter Czaban (Web3/Polkadot)、Jesse Walden (a16z)、Will Martino (Kadena)、Matt Luongo (Keep)、James Prestwich (Integral)、Robbie Bent (Truebit)、and Zaki Manian (Cosmos) 对本文的贡献。

注：完成本文的初稿以后，我发现 Trent McConaghy 早在 20 个月以前提出了相似的框架。特此感谢 Trent 对本文的贡献。

原文连接: medium.com/multicoin-c…

做者: Kyle Samani

翻译&校对: 闵敏 & 阿剑

稿源:以太坊爱好者（ethfans.org/posts/model…）