我并不打算在这篇文章里详细叙述 ZK 和 Optimistic Rollups 的运作原理，如果我要花时间去解释 Rollups 的本质，那么这篇文章将会过于冗长。所以这篇文章是基于你已经对这些技术有一定的了解，当然你不需要是专家，但至少应该知道 ZK 和 Optimistic Rollups 是什么以及他们大概的运作机制。无论如何，请尽情享受阅读本文。
混合了 ZK 和 Optimistic Rollup 的系统最初是以 Optimism 的Bedrock 架构为蓝本的 Optimistic Rollup。Bedrock 被设计成与以太坊最大程度的兼容（「EVM 等效」），这是通过运行一个几乎与以太坊客户端完全相同的执行客户端来实现的。Bedrock 利用以太坊即将到来的共识/执行客户端分离模型，显著减小了与 EVM 的差异（当然这过程中总会有一些变化，但我们可以处理）。
和所有优秀的 Rollup 一样，Optimism 从以太坊中提取区块/交易数据，然后在共识客户端中以某种确定的方式对这些数据进行排序，并将这些数据馈送到 L2 执行客户端进行执行。这种架构解决了"理想的 Rollup"谜题的前半部分，并为我们提供了一个等效于 EVM 的 L2。
Binance、Coingecko、Coinbase 等入选 Cloudflare 《全球最受欢迎加密货币服务商 TOP10》:金色财经报道，云储存服务商 Cloudflare 在近日发布的《 2022 Year in Review》中公布了多项全球最受欢迎服务商榜单，其中 Binance、Coingecko、Coinbase、NiceHash、CoinMarketCap、OKX、Etherscan、Crypto.com、MEXC、Kucoin 入选 2022 年全球最受欢迎的加密货币服务商 TOP10；Binance 在 2022 年全球欢迎的金融服务商 TOP10 中位居第六。[2023/1/6 10:58:21]
当然，我们现在还需要解决的问题是：以可验证的方式将 Optimism 内部发生的事情告诉以太坊。如果这个问题没有解决，智能合约就无法根据 Optimism 的状态来做决定。这将意味着用户可以向 Optimism 存款，但无法提取他们的资产。虽然某些情况下单向 Rollup 是可以实现的，但在大部分情况下，双向 Rollup 更为有效。
通过提供对该状态的某种承诺，以及证明该承诺是正确的证据，我们就可以将所有 Rollup 的状态告知给以太坊。换句话说，我们正在证明「Rollup 程序」被正确执行。ZK 和 Optimistic Rollups 之间的唯一实质性区别就是这个证明的形式。在 ZK Rollup 中，你需要提供一个明确的零知识证明来证明程序的正确执行。而在 Optimistic Rollup 中，不提供明确的证据就可以对承诺做出声明，通过挑战和质疑你的声明，其他用户可以强制你参与一场来回推敲和挑战的「游戏」，以此确定最终谁是对的。
OpenSea推出web3市场协议Seaport:金色财经报道，OpenSea推出 \"用于安全和有效地购买和销售NFT的web3市场协议Seaport\"。该协议将允许更多样化，但也有具体的NFT交易体验，用户将能够发布包括ERC20、ERC721和ETH在内的NFT报价，而不仅仅是像 OpenSea 目前提供的 ETH 交易。
这意味着，用户将能够列出特定NFT的潜在交易，而不是为一定数量的ETH列出一个NFT。例如，用户可以使用Seaport创建一个报价，用Bored Ape换取包括CryptoPunk、Cryptoadz和Uniswap的UNI代币。[2022/5/25 3:39:16]
我并不打算详细讲述 Optimistic Rollup 的挑战部分。值得注意的是，这个环节的最新技术是将你的程序（在 Optimism 的情况下是 Geth EVM + 一些边缘的部分）编译成一些简单的机器架构，如MIPS。我们这样做是因为我们需要在链上建立一个程序的解释器，而建立一个 MIPS 解释器比建立一个 EVM 解释器要容易得多。EVM 也是一个不断变化的目标（我们有定期的升级分叉），而且且并不能完全包含我们想要证明的程序（里面也有一些非 EVM 的东西）。
P2E游戏Monstropoly与X21 Digital达成合作:1月2日消息，Play-to-Earn游戏Monstropoly与区块链咨询和投资机构X21 Digital达成合作，X21 Digital将担任其顾问。[2022/1/3 8:20:53]
一旦你为你的简单机器架构构建了一个链上的解释器，并且创建了一些离线工具，你就应该有一个完全功能的 Optimistic Rollup。
总的来说，我坚信 Optimistic Rollups 将在接下来的几年中占据主导地位。有人认为 ZK Rollups 最终会超越 Optimistic Rollups，但我并不同意这种看法。我觉得 Optimistic Rollups 当前的相对简单性和灵活性意味着它们可以逐渐转变为 ZK Rollups。如果我们能找到一种模式来实现这种转变，那么就没必要费力去建立一个更不灵活、更脆弱的 ZK 生态系统，我们可以简单地部署到一个已经存在的 Optimistic Rollup 生态系统中。
因此，我的目标是创建一种架构和迁移路径，使现有的现代 OP 生态系统（比如 Bedrock）能够无缝地转变为 ZK 生态系统。我相信这不仅是可行的，而且是一种超越当前 zkEVM 方法的方式。
The Block分析师：投资者需警惕NBA Top Shot无明确提款政策:2月1日，区块链媒体The Block研究分析师Ryan Todd发推质疑NBA Top Shot项目，他询问其背后开发团队@Dapper Labs是否有明确的提款政策。Ryan Todd表示之前NBA Top Shot提款需要8-9个星期时间才“被允许提款”，然后一度又允许6-8个星期。在过去的一个月中，NBA Top Shot销售额高达4000万美元，但这笔巨款可能需要耗费几个月时间才能被提取，投资者需警惕相关风险。[2021/2/1 18:34:44]
我们首先从我前文中描述的 Bedrock 架构开始。请注意，我已经（简短地）解释过，Bedrock 设有一个挑战游戏，可以验证 L2 程序（运行 EVM + 一些额外内容的 MIPS 程序）某些执行的有效性。这种方法的一个主要缺点是，我们需要预留一段时间，让用户有机会检测到并成功挑战一个错误的程序结果提案。这会在资产提取过程中增加相当多的时间（在当前的 Optimism 主网上是 7 天）。
然而，我们的 L2 只不过是一个在简单机器（比如 MIPS）上运行的程序。我们完全有可能为这种简单的机制构建一个 ZK 电路。然后，我们可以利用这个电路来明确地证明 L2 程序的正确执行。在不对当前的 Bedrock 代码库做任何修改的情况下，你就可以开始为 Optimism 发布有效性证明了。实际操作起来就是这么简单。
OpenBazaar A轮融资募得500万美元 今年或推出新的去中心化交易平台:去中心化的在线市场OpenBazaar背后的开发公司OB1的A轮融资已经募得500万美元。据新闻稿称，此轮融资的投资者包括中国比特币矿业巨头比特大陆和加拿大风险投资公司OMERS Ventures等。该平台今天还宣布，将于本周晚些时候推出经过验证的调解程序。他们今年的计划还包括发布应用的网页版本和移动设备版本，并为用户提供新的交易方式，例如提出请求，购买和出售加密货币。[2018/3/13]
简单澄清一下：虽然在这一部分，我提到了"zkMIPS"，但实际上我是把它作为代表所有通用且简化的零知识证明虚拟机（zkVM）的术语。
构建一个 zkMIPS（或其他任何类型的 zk 虚拟机）相比 zkEVM 有一个重大优势：目标机器的架构简单且静态。EVM 经常发生变化，Gas 价格会调整，操作码也会改变，一些元素会被添加或移除。而 MIPS-V 自 1996 年以来就没有改变过。将焦点集中在 zkMIPS 上，你就在处理一个固定的问题空间。每当 EVM 更新时，你都无需更改甚至重新审核你的电路。
另一个关键观点是，zkMIPS 比 zkEVM 更具灵活性。通过 zkMIPS，你可以随心所欲地更改客户端代码，执行各种优化，或者改进用户体验，而无需对应的电路更新。你甚至可以创建一个核心组件，将任何区块链变为 ZK Rollup，而不仅仅是以太坊。
零知识证明的时间沿着两个轴度进行扩展：约束的数量和电路的大小。通过专注于像 MIPS 这样的简单机器的电路（而不是像 EVM 这样的更复杂的机器），我们能够显著减少电路的大小和复杂度。然而，约束的数量取决于执行的机器指令的数量。每个 EVM 操作码都被分解成多个 MIPS 操作码，这意味着约束的数量显著增加，你的总体证明时间也显著增加。
然而，减少证明时间也是一个深植于 Web2 领域的问题。考虑到 MIPS 机器架构短期内不太可能改变，我们可以高度优化电路和证明器，而不必考虑 EVM 的未来变化。我对雇佣一位资深硬件工程师来优化一个明确定义的问题感到非常自信，这样的工程师的数量可能是构建和审核一个不断变化的 zkEVM 目标的工程师数量的十倍甚至百倍。诸如 Netflix 这样的公司可能有大量的硬件工程师在优化转码芯片，他们很可能愿意用一堆风险投资基金来迎接这个有趣的 ZK 挑战。
像这样的电路的初始证明时间可能超过了 7 天的 Optimistic Rollup 提款期。随着时间的推移，这个证明时间只会减少。通过引入 ASIC 和 FPGA，我们可以显著加快证明时间。有了一个静态的目标，我们可以构建更优化的证明器。
最终，这个电路的证明时间会低于当前的 7 天 Optimism 提款期，我们可以开始考虑移除 Optimism 的挑战过程。运行一个证明器 7 天可能仍然过于昂贵，所以我们可能会希望再等一段时间，但是这一点是站得住脚的。你甚至可以同时运行两种证明系统，这样我们可以尽快开始使用 ZK 证明，并在证明器出于任何原因失败时回到 Optimism 证明。准备好的时候，可以以完全透明于应用程序的方式去除 Optimism 证明，于是，你的 Optimistic Rollup 就变成了 ZK Rollup。
运行一个区块链是一个复杂的问题，它不仅仅涉及到编写大量的后端代码。在 Optimism，我们的许多工作都集中在通过提供有用的客户端工具来提高用户和开发者的体验。我们也在「软性」问题上投入了大量的时间和精力：与项目进行对话，理解他们的痛点，设计激励机制。你在链软件上投入的时间越多，就越没有时间去处理这些其他事情。虽然你总可以试图雇佣更多的人，但组织并不是线性扩展的，每一个新的雇员都会增加内部的沟通成本。
由于零知识电路的工作可以直接应用在已经运行的链上，你可以同时进行核心平台的构建和证明软件的开发。由于客户端可以在不改变电路的情况下进行修改，你可以解耦你的客户端和证明团队。采用这种方式的 Optimistic Rollup 可能在实际链上的活动方面比零知识竞争者领先多年。
非常坦白地说，我认为 zkMIPS 证明器没有任何明显的不足，除非它不能随着时间大幅优化。我认为对应用的唯一真正影响是，可能需要调整不同操作码的 gas 成本，以反映这些操作码增加的证明时间。如果真的无法将此证明器优化到合理的水平，那么我承认我失败了。但如果真的可以优化这个证明器，那么 zkMIPS/zkVM 的方法可能会完全取代现在的 zkEVM 方法。这听起来可能是一种激进的说法，但不久前，单步乐观故障证明已经完全被多步证明所取代。
金色早8点
Odaily星球日报
金色财经
Block unicorn
DAOrayaki
曼昆区块链法律
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。