原文作者：Linea 原文来源：mirror
我们将为所有读者解析 zkEVMs 的基础知识，无论他们对 web3 的熟悉程度如何。
零知识以太坊虚拟机（zkEVMs）被视为以太坊实现无限扩展性计划的关键组成部分。它们大大简化了开发人员的构建过程，并提供了一个低成本且安全的创新环境。
然而，要完全理解 zkEVM 是什么以及它在以太坊下一阶段发展中的重要性往往很困难。在这里，我们将以易于理解的方式为你解析 zkEVMs 的基础知识，无论你对 web3 的熟悉程度如何。
我们将从 zkEVMs 的高级概述开始，了解支撑这项新兴、令人兴奋的技术的各个组成部分。然后我们将讨论为什么 zkEVMs 对于扩展 web3 和推动其采用至关重要。最后，我们将把 Linea 与以太坊生态系统中的其他 zkEVM 项目进行比较。
zkEVM 是一个虚拟机，它执行智能合约并使用零知识证明（也称为“有效性证明”）证明执行的正确性。zkEVMs 重现了以太坊设计的一些方面，因此为开发人员和用户提供了“类以太坊”的体验。当与 rollup 技术结合时，zkEVM 为去中心化应用程序（dapps）及其用户提供了无与伦比的安全性和可扩展性。
我们在这里不会深入解释零知识证明，但你可以阅读《零知识证明：STARKs vs SNARKs》以获取全面的介绍。虽然有不同类型的有效性证明，但它们都有一个共同的特性：你可以证明对某些信息（例如，“我拥有5个ETH”）的了解，而无需揭示底层信息（例如，显示你的钱包余额）。
摩根溪创始人：没人知道美联储何时印钞 但我们知道比特币会做什么:摩根溪创始人Anthony?Pompliano发推称，没人知道美联储是下周、下个月还是今年晚些时候印更多的美元。不过，我们知道比特币到底会做什么。[2020/7/21]
最初，零知识证明主要用于增强 web3 应用程序的隐私性——例如 ZCash（私人支付）、MACI（匿名链上投票）和 Aztec（私人智能合约）。但研究人员很快找到了有效性证明的更有吸引力的用例：可验证的计算。
可验证计算方案使“弱”计算机能够将计算外包给功能更强大的、尽管不受信任的客户端计算机，并验证结果的正确性。在这里，客户端返回结果以及用于确认正确执行计算的证明。重要的是，验证证明所需的努力应该小于从头开始执行计算。
ZkEVMs 使用零知识证明来证明程序正确执行，将可验证计算带入公共区块链领域。在这种情况下，可验证计算对于提高区块链的安全性和可扩展性非常有用。
可以将 zkEVM 视为一台可以执行任意操作的计算机，例如将两个整数相加（“func(a + b = c)”）。用户将输入传递给程序（例如，“a = 3”和“b = 2”），全节点在 zkEVM 中使用这些输入执行程序以产生输出（“c = 5”）。
与此同时，程序的执行跟踪被编译成用于证明的“算术电路”（即，翻译成一系列数学陈述）。这允许全节点生成一个零知识证明，以确认程序正确执行。在这种情况下，证明电路验证有关程序执行的详细信息，例如：
谁调用了程序的函数？
调用者是否向程序传递了正确的输入？
执行是否使用了正确的程序？
最终的输出是否是使用提供的输入正确执行程序的结果？
声音 | John McAfee：什么会刺激比特币上涨，用它:杀软件之父John McAfee在Twitter发文表示：“什么会刺激比特币上涨？用它！”[2019/9/28]
由于证明电路验证了执行的计算完整性，网络上的其他节点不需要重新执行程序以验证建议的输出。节点只需要检查零知识证明以确认 zkEVM 的新状态（执行程序后）是正确的。
在一个“不信任，验证”系统中，验证者可能要求向证明电路提供公开的输入，包括程序的初始和最终状态以及传递给函数的参数（或对这些值的加密承诺）。这确保了 SNARK 证明所验证的计算使用正确的输入值进行，并得出了正确的输出。
但这主要是为了冗余：电路逻辑的约束防止了证明者创建假证明（除非证明电路被破坏）。实际上，validiums 是将所有数据离链发布同时保持高安全保障的 zkEVM 链。
这个系统的关键好处是什么？验证程序执行的 SNARK（简洁的非交互式知识论证）证明消耗的资源显著少于原始计算。ZkEVM 节点不必重新执行每个交易以确认其有效性，极大地提高了网络以更快的速度处理更多交易的能力。
我们也可以将可验证计算扩展到另一个区块链的交易吞吐量扩展。在这种情况下，“资源受限”的区块链可以将计算卸载到一个次级的、高吞吐量的网络，同时保留验证交易是否正确执行的能力。零知识 rollups，一个用于以太坊（使用 zkEVM 作为运行时环境）的扩展解决方案，就基于这个想法。
Zk-rollups 通过在一个单独的环境（描述为第2层）中执行交易，从而减轻了以太坊的计算负载。在一定的时间间隔内，rollup 的操作员会将许多用户交易聚合成一批，并提交给以太坊上的智能合约。它还提交一个有效性证明，确认链下交易正确执行，新的状态是正确的。
声音 | 郎咸平发文：没搞清楚比特币，有什么资格活埋李笑来？:郎咸平于5日在微信公众号“功夫财经”上发布标题为《没搞清楚就瞎投，有什么资格“活埋”李笑来?》的原创文章，评论日前发生的李笑来录音泄露事件。
日前，一段疑似“中国比特币首富”李笑来内部讲话的录音在社交媒体上广泛传播。在这段长达50分钟的录音中，李笑来对以太坊、瑞波、小蚁等多个区块链项目和老猫、罗振宇、赵长鹏等多位区块链领域名人进行了吐槽和评价，全程脏话连篇，不断自曝，引起轩然大波。
郎咸平在文中评论此事件，称自己很早之前就揭露过比特币真相，比特币有“三宗罪”：操纵价格，沦为，区块链没有解决问题。由于这三宗罪的存在，郎咸平十分不建议老百姓当下投资比特币，他在文中谈到：“现在的比特币或者各种区块链Token就是中世纪时期的银行业，放长远来看，可能二十年后这里面谁特别牛，谁从里面捞了第一桶金，毕竟这么多聪明人，群雄逐鹿，你方唱罢我登场，肯定有枭雄。但是，你一个老百姓，我非常不建议你参与这个可能99%都注定肉包子打狗有去无回的游戏。”[2018/7/5]
但我们为什么需要扩展以太坊呢？
正如你所知，以太坊虚拟机（EVM）是一个分布式计算环境（又名“世界计算机”），它支持 dapps。EVM 提供了许多好处，如安全性和去中心化，但在过程中牺牲了可扩展性。简而言之，EVM 是一个非常安全的计算机，但它的速度很慢，使用成本很高。
多年来，“EVM兼容”的侧链和rollup已成为解决以太坊可扩展性问题的最受欢迎的解决方案。这些区块链实现了以太坊执行层（EVM）的分叉版本，但对其进行了优化，以实现更快的执行和更低的每笔交易成本。
区块链风口，BAT都做了什么？:\t凤凰网网科技消息，在各种3点钟群遍布世界各地，商业BP里充斥着发行代币，作为巨头，BAT却在此番风口中显得低调了许多。事实上，BAT早就已经开始布局区块链，而且主要还是基于区块链技术层面的布局，与现在大热的虚拟货币、ICO无关。由于区块链的技术和场景探索尚处于早期，还未迎来真正爆发时机。
无论是马化腾、马云还是李彦宏，都认可了区块链技术革新，并在这个战场开始投入精力。虽然战火还未燃起，不过在这短兵交接的前夜，三大巨头做了哪些军备竞赛？马化腾近期在两会上发表了自己对于区块链的看法，“区块链是一个好的技术，但还处在发展的早期，需要建立有效的应用模式，腾讯也在积极探索区块链在各个场景中的应用。”相比腾讯和百度两家集中在金融领域，阿里对于区块链技术的应用场景要更广泛，尤其是在商品供应链和物流方面。由于金融和电商领域的先天优势，阿里在区块链技术上相比百度和腾讯也更加突出。百度在AI上All in了资源，在区块链的布局上，似乎比AT要慢了一些，目前主要集中在了金融领域。[2018/3/17]
有人会说这些解决方案并没有直接扩展以太坊，但它们确实使开发者能够在可扩展的链下层运行以太坊dapp，并允许用户以少量以太坊成本使用这些应用。以太坊也会（间接地）受益于用户转移到其他区块链，减轻底层拥堵并降低现有用户的Gas价格。
这并不意味着所有扩展解决方案都同样优秀。例如，侧链不受以太坊保护，因此用户资金的安全取决于侧链验证者的诚实。在最坏的情况下，一个腐败的验证者集合可以轻易地窃取存放在桥上的资金，或者阻止用户提取资金（通过审查交易）。
Rollup 在以太坊上结算交易，继承了其安全性和去中心化特性；尽管如此，不同的 rollup 构造有不同程度的安全性。“乐观 rollup”假设提交到以太坊L1的交易批次是有效的，并依赖激励的一方（“观察者”）通过欺诈证明质疑无效的执行。然而，这种方法存在一些问题：
蔡文胜：我为什么看好区块链？:今日凌晨，知名投资人隆领资本蔡文胜在“三点钟无眠区块链”社群内分享观点，整理如下：1.区块链是一场大变革，目前只有小部分人先知先觉。 2.区块链是人类有史以来最大的泡沫，但泡沫刚刚开始，同时也能助推技术革命。 3.现在进场比特币仍是先行者，最后观望者进场才是韭菜。 4.区块链代表未来，投资区块链就是投资价值。 5.目前政策是鼓励区块链技术发展的。 6.区块链技术的发展一日千里，一天不学习就会落后。 7.未来会继续分叉，但最终只会留存几个主链，形成基础货币；但应用数字货币不会比基础货币价值低。 8.区块链不是互联网的升级版本，不单是技术的创新，更是商业逻辑的改革。 9.区块链可参考互联网的发展路线，从基础设施、工具软件，到最后和传统行业结合。[2018/2/19]
相比之下，运行 zkEVM 的通用 zk-rollups 被认为是 "扩展的圣杯"，因为它们提供了你期望的以太坊扩展解决方案的好处，而不牺牲安全性或引入信任假设。我们在下面更详细地讨论了 zkEVM 的好处：
ZkEVMs 完全兼容用于在以太坊虚拟机中运行的智能合约。此外，像 Linea 这样的二型 zkEVM 与 EVM 基础设施（包括开发者工具，区块浏览器和钱包）无缝集成。这意味着什么？Web3 开发者可以在不产生切换成本的情况下将现有的以太坊应用迁移到 L2。更好的是，你可以使用熟悉的开发堆栈从头开始构建新的应用——例如，zkEVMs 可以执行用 Solidity 编写的智能合约。
zkEVM 的安全保证很简单：零知识证明保证区块生产者不能执行无效的状态转换。也就是说，只要关于底层证明电路的加密假设——比如伪造假证明的不可能性——成立。简而言之，zkEVM 让你 "信任数学，而不是验证者"。
现在，有效性证明确保了安全性，但并不保证活性和数据可用性——这就是为什么 zkEVM 区块链依赖以太坊来强制这些安全性质。我们不会在这里深入技术细节，但这种安排提供了以下保证：
用户总是可以通过向以太坊上的 L2 合约发送退出交易，从 zk-rollup 中提取资金。
恶意的 rollup 操作员不能冻结 rollup 或隐藏区块链的状态；只有当数据在链上发布时，以太坊网络才会确认 L2 区块。这确保了用户始终能够访问状态数据，并且诚实的节点可以重构 L2 的最后状态并产生新的区块。
ZkEVM 设计为具有高度可扩展性。虽然 EVM 要求每个网络参与者在达成共识之前重新执行交易，但 zkEVM 使用的是非交互式证明。这提高了吞吐量，减少了延迟，因为验证 L2 区块的证明比重新执行新提议的区块中的每个交易更快。
但等等，还有更多！通过使用“递归证明”，ZkEVM 可以进一步提高吞吐量。递归证明是通过合并多个有效性证明生成的，这样，验证单个证明也就验证了所有底层证明的有效性。
当提交给以太坊 L1 上的证明验证合约时，一个递归证明允许同时确定几个 L2 区块。这显著减少了 L2 顺序器在提交证明到 L1 的基础上逐块生成区块的时间。
在加密货币的世界中，当一个交易或区块被区块链网络中的大多数人接受并且不能被逆转（除非花费大量资源）时，它被“确定”了。确定性是比较 rollup 解决方案的一个好的启示方法，因为它决定了用户必须等待多久才能提取存入 rollup 的资金。
你会经常听到 zkEVM 有“快速确定性”。这只是意味着以太坊在 zkEVM rollup 上进行的交易（包括提现操作）比在普通的乐观 rollup 上完成的时间更短。这有重大的影响，如在去中心化金融（DeFi）行业的投资者可以享受更好的流动性。
ZkEVM rollup 可以选择只在以太坊 L1 上发布对其最终状态的承诺，从而减少链上存储成本。由于有效性证明保证了 zkEVM 新状态的正确性，因此顺序器不必发布所有数据（包括未压缩的交易输入）以重新执行状态转换更改。相比之下，乐观 rollup 必须在 L1 上发布原始交易数据，以便诚实的观察者可以独立计算 L2 的新状态，并可能质疑无效的转换。
DeFi：由于从 zkEVM rollup 提现的延迟较低，交易员和投资者将享受更好的资本效率和更多的流动性获取途径。而且，由于不需要支付流动性提供商更快出可扩展性的成本节省将呈指数级增长。
NFT：凭借极低的燃气费和高TPS（每秒交易量），zkEVM链是大规模铸造和交易NFT的理想选择。此外，当将NFT转移到以太坊L1时，您将获得更好的用户体验，因为提款将立即得到最终确定（一旦链上验证器合约接受提交的证明）。
游戏：对于处理大量交易的链上游戏应用程序，zkEVM是理想的选择。除了前面描述的可扩展性优势之外，链上玩家每笔交易的成本更低——这归功于zkEVM的数据压缩能力。
企业应用：企业可以利用zkEVM对通用计算的支持，为用户开发可扩展的应用程序。我们还应该注意，zkEVM Rollup很适合引导高度安全的“第3层”区块链。有了L3基础设施，机构可以构建可定制以提供独特功能的应用特定区块链。一个好的例子是一个validium，它将有效性证明发布到zkEVM区块链（最终在以太坊L1上进行验证），但将数据存储在链下，以保护用户的隐私。
支付：zkEVM优化了规模（也就是说，这个去中心化的计算机非常快速，使用成本极低），因此非常适合进行点对点支付和进行机构结算。您还拥有强大的交易最终确定性保证，这是由以太坊的高度分散网络（50万+验证器并且还在增加）直接执行的。
Linea是一个等同于EVM的zk-rollup，其执行引擎是Type 2 zkEVM。Linea由在证明和可扩展性技术方面有深厚经验的团队开发，旨在以一部分成本将以太坊体验带给开发者和用户。
作为一个Type 2 zkEVM，Linea优先考虑与所有以太坊应用程序和基础设施的兼容性。分析不同的zkEVM设计超出了我们的讨论范围（Vitalk的zkEVM类型更详细地讨论了这个话题）；
然而，您可以期望从使用Linea zkEVM获得以下好处：
与EVM钱包（MetaMask），开发者工具（Truffle，Remix，Brownie，Foundry，Hardhat等）以及像节点提供商（Infura）和执行客户端（Besu）这样的关键基础设施无缝集成
与以太坊的体验几乎完全相同——例如，Linea使用ETH进行燃气费支付
具备以太坊扩展解决方案的所有优点（低费用，近乎即时确认，高TPS）而没有竞争项目固有的任何缺点（最终确定性延迟，高成本和糟糕的安全性）
为您提供等同于EVM的基础设施，以便解锁新的用例和构建新颖的应用程序，同时受益于以太坊的安全性，去中心化和开发者体验
Linea的公共测试网已经上线，自最初公告以来，我们已经记录了令人难以置信的参与水平。现在，您也可以加入其他人，共同构建Linea的未来：
您是一位希望与Linea一起构建下一代可扩展dapps的开发者吗？通过参与Linea Voyage并帮助我们对网络进行压力测试来开始您的旅程。您还可以查看开发者快速入门，文档和教程。
您是一位对试用Linea感兴趣的用户吗？从Goerli水龙头获取一些ETH，将资金桥接到L2，然后开始在Linea测试网上使用dapps。为了让事情变得更容易，Linea是MetaMask的默认网络，所以您不必手动导入新网络。
MarsBit
媒体专栏
阅读更多
金色荐读
金色财经 善欧巴
迪新财讯
Chainlink预言机
区块律动BlockBeats
白话区块链
金色早8点
Odaily星球日报
Arcane Labs
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。