编者按：本文来自以太坊爱好者，作者：VitalikButerin，翻译&校对:闵敏&阿剑，Odaily星球日报经授权转载。
区块链圈子里有一种常见的观点是这样的：区块链应该尽可能简单，因为它们是基础设施的一部分，难以变更，而且一旦出了问题就会导致巨大的损失；更复杂的功能应该以Layer-2协议的形式，如状态通道、Plasma、rollup，等等，建立在基础层之上。也就是说，想创新，就应该在Layer-2上做文章，而Layer-1应该尽可能稳定，以维护为主，除非事态紧急，不应引入大的变更。这种分层构想很妙，从长远角度来看，我表示强烈支持。然而，这一构想忽视了很重要的一点：Layer-1不能过于强大，否则会增强复杂性和脆弱性，但是Layer-1又必须强大到足以支持人们在其基础上搭建Layer-2协议。一旦Layer-1协议实现了一定程度上的功能性——我称之为“功能性逃逸速度”，那么你就能在不改变基础层的情况下随心所欲地搭建任何东西。但如果Layer-1不够强大的话，你再怎么设想用Layer-2系统来弥补，你都不得不引入一系列信任假设，这就与Layer-1一直以来都在追求的免信任性冲突了。在本文中，我会谈一谈构成“功能性逃逸速度”的最低限度功能性是哪些。一种编程语言
V神：基于以太坊2.0的Rollup或使TPS达到十几万:据zkTube消息，zkTube作为EEA（企业以太坊联盟）成员参与了EEA以太坊六周年庆典，在EEA内部成员与V神（Vitalik）的问答环节中，zkTube-CEO Daniel与V神交流了Cross-Rollup技术，这是zkTube技术路线图中重要的一部分，对Layer2意义重大。同时，Daniel还向V神请教了对于zkTube跨链工作的经验与建议。对于Rollup技术，V神表示，以太坊2.0有可能TPS会达到20000左右，但是基于2.0的Rollup会达到十几万。[2021/7/31 1:25:40]
必须要能够在链上执行用户自定义的脚本。这种编程语言可以是很简单的，实际上也不需要很高的性能，但是至少要具备一定程度的功能性，能够满足任意数据的验证需求。这一点非常重要，因为搭建在Layer-1之上的Layer-2协议需要具备某种验证逻辑，而且这种验证逻辑必须能由区块链执行。你可能听说过图灵完备性。用大白话来解释就是，如果某种编程语言是图灵完备的，就可以通过它来让计算机执行理论上可以执行的一切操作。任何使用图灵完备的语言编写的程序都可以被翻译成使用其他任意一种图灵完备的语言编写的相同程序。不过，事实证明，我们只需要稍微轻便一些的解决方案：哪怕只能写出没有循环的程序，或者写出的程序在一定步骤之内必定会终止，都是没问题的。RichStatefulness
V神：虽然Uniswap比传统订单簿交易效率要低 但其更成功:2月17日消息，V神Vitalik在采访中表示，将美国、欧洲、亚洲的加密项目相比较，加密空间的范围很广，从关于去中心化世界事物的理想主义到“嘿，让我们交易，和赚钱”的思维模式。在“交易和赚钱”部分占主导地位的地方不是美国。
Uniswap是一个完全自动化的非常简单的结构。虽然它比传统订单簿交易效率要低很多，但Uniswap更成功。因此，在一种理想化的金融模式中，效率绝对不是唯一重要的东西。2021年真正酷的事情是相信狗狗币。[2021/2/17 17:24:03]
除了要有编程语言之外，如何将这种编程语言集成到区块链中也很重要。一种局限性较大的集成方法是，将这种编程语言用于纯粹的交易验证：当你要把密码学货币发到某个地址上时，该地址就化身成一个计算机程序P，该程序日后将被用于验证从那个地址发出的交易。也就是说，如果你发送了一个哈希值为h的交易，然后提供一个签名S，区块链就会运行程序P(h,S)，如果输出为TRUE，该交易即为有效的。通常来说，P是密码学签名方案的验证程序，但它可以执行更为复杂的操作。特别要注意的是，在这种模式中P无法访问交易的目标地址。但是，这种“纯函数”解决方案还不够。这是因为这种基于纯函数的解决方案还不够强大，无法实现人们想要的多种Layer-2协议。它可以实现状态通道，但是无法实现更强大的扩容技术，也不能用来引导具有更复杂的状态概念的系统，等等。下面举一个简单的例子来解释纯函数范式的局限性。想象一个储蓄账户，还有一个可以发起提款的密钥k。如果发起了提款，可以在24小时之内使用同一个密钥k取消提款。如果在24小时内仍未取消提款的话，任何人都可以“poke”一下账户来完成提款。其目的是，如果密钥被偷了，账户持有者可以防止小偷提取钱包内的资金。小偷当然可以阻止账户所有者提取资金，但是这种攻击是无利可图的，因此小偷不会自找麻烦。遗憾的是，这个技术无法仅通过纯函数来实现。问题在于：需要某种办法将密码学货币从“常规”状态转换到“等待提款”状态。但是，程序P无法访问目标地址！因此，凡是可以授权将这些币转换到“等待提款”状态的交易也可以授权盗取这些密码学货币。P无法分辨其中的差异。对于包括Layer-2协议在内的许多应用程序来说，重要的是要能够改变密码学货币的状态，但又不会彻底释放这些密码学货币。Plasma本身就符合这种“授权、最终确定、取消”范式，必须得到许可才能从Plasma上退出，而且还会开启7天的挑战期。在挑战期内，只要提供了正确的证据，就可以取消退出。Rollup也需要这一功能：Rollup内的资金必须由一个持续追踪状态根R的程序来控制，如果某个验证程序P(R,R',data)返回“TRUE”，这个状态根就会从R更改为R’——仅在这种情况下，状态才会改为R’，并且不会完全释放这些资金。能够在不完全释放账户内资金的情况下授权状态变更就是我所说的“富状态性”。富状态性可以通过多种方式实现，其中一些方式是基于UTXO的。但是，如果不具备富状态性的话，区块链必须引入信任假设，否则无法支持大多数Layer-2协议的实现。注：我知道如果P可以访问h的话，你就可以将目标地址作为一部分包括在S里，并对照h进行检查，从而限制状态变更。但是有可能出现一些问题，即，编程语言在资源或者其他因素上太过受限，以至于无法做到这一点。令人惊讶的是，区块链脚本语言经常会出现这些情况。充分数据可扩展性及低时延
V神：很高兴黑客攻击推特只是为了比特币:7月16日消息，V神在推特表示，很高兴这是一个由比特币利润驱动的黑客，而不是那些目标与金钱没有多大关系，而且远不只是窃取加密货币的人。
因为他们本可以操纵股市，操纵即将举行的美国总统大选，将私人数据泄露给黑网，甚至发动战争。[2020/7/16]
已然清楚的是，像Plasma、状态通道或者其他完全放在链下的Layer-2协议，都有一些根本性的弱点，这使得它们无法完全取代Layer-2的功能。我在这篇文章里细究过其中的缘由；总的来说，问题在于，当恶意参与方没能拿出他们承诺要提供的数据时，协议必须有能力评断是非，但是，因为数据公开的行为并不是全局可验证的，所以这些挑战游戏是没有博弈理论均衡的。状态通道和Plasma都通过加入额外的安全假设来解决这个问题，尤其是假设：对于任一部分状态，皆有某个与之有利益相关的行动者保存有未被非法修改的状态，因此我们可以相信他们会为了自己的利益站出来。但是，这个假设并不是普遍为真的；举个例子，像Uniswap这样的应用就包含一个很大的、不属于任何人的“中心化”合约，既然它不属于任何人，这种诉诸自利的模式也就没法起到保护作用。有一种办法可以解决这个问题，就是利用Layer-2协议仅在链上发布极少量数据，但是把计算完全放到链下。只要能保证数据是可以用的，那么把计算放到链下就没问题，因为评断谁有没有做出正确计算的挑战游戏在博弈理论上是存在均衡的）。这就是ZKrollup和optimisticrollup背后的理念。只要一条区块链支持发布合理大小的数据，并能保证其可用性，那么即便其计算能力很有限，该区块链一样能支持这些Layer-2协议，并实现高可扩展性和功能性。那么区块链到底需要处理和保护多大的数据量呢？这取决于你想要系统表现出多高的性能。使用Rollup技术，你可以将绝大多数活动的交易数据压缩到约10～20字节/笔，所以1kb/秒的数据吞吐量可以实现50～100TPS，而1MB/秒的数据吞吐量就是5万至10万TPS，以此类推。好消息是，互联网的带宽增长得越来越快，而且似乎没有像计算领域的摩尔定律一样减慢速度，所以提升数据吞吐量同时不改变计算负担，极有可能是区块链可以采取的一条路径！同样值得注意的是，不仅数据的容量很重要，数据的时延也很重要。像Rollup这样的Layer-2协议，只是给出了数据将会发布到链上的安全性保证；因此，Alice和Bob的支付体验，就取决于Alice发出交易、Bob确信自己已经收到钱两个事件之间的间隔，就等于数据被可靠地打包到链上所花去的时间。基础层的出块时间决定了任何基于数据上链来确认的事项的时延。此外，虽然可以通过链上安全保证金来缓解这种问题，但代价就是低下的资金流转效率，而且因为恶意者可以通过牺牲一份保证金来蒙无数人，所以这种办法也是有内在缺陷的。结论
V神：以太坊游戏项目绝对应该为短期扩容考虑rollup:金色财经报道，以太坊创始人V神在推特表示，以太坊游戏项目今天绝对应该为短期扩容考虑rollup。 他们确实需要便宜的交易，并且使用高实验性的技术更加安全，因为质押的价值要低得多。[2020/6/25]
在区块链可扩展性和功能性问题上，“保证Layer-1简洁可用，在Layer-2充实功能”并不是一条普遍真理，因为它没有考虑到，仅当Layer-1自身具备充分的可扩展性及功能性时，“在Layer-1基础上开发”才会在实际上成为可能。不过，越过某个界限之后，所有的Layer-1功能都可以替换为在Layer-2上执行，而且大多数情况下，用这种办法来提供可升级性都不失为一个好主意。因此，短期内我们要双管齐下，而在长期中着重开发Layer-2。注：原地址：VitalikButerin'swebsite
声音 | V神：以太坊2.0的无状态模型可以增强安全性:据AMBcrypto消息，以太坊创始人V神表示，以太坊2.0的无状态模型将增强安全性并减少时间消耗，同时将整体状态和与此相关的其他问题最小化。此外，V神还介绍了无状态模型目前面临的问题，即在进行交易时，必须提交个人帐户状态的证明。在最新模型的提议下，将出现由谁提供证明或数据库的难题。据此前消息，V神曾表示，将智能合约的存在方式更改为无状态模型是以太坊区块链扩容解决方案之一。[2019/11/25]
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。