注：原文作者是Optimism核心开发者KelvinFichter。
以下是关于Optimism未来的帖子，包括即将到来的Bedrock升级，Rollup的去中心化以及关于ZK的部分。Bedrock是一个Rollup客户端，而不是一个OptimisticRollup客户端。
我最近发表了一次题为《何时？》的探索Optimism未来的主题演讲，由于Optimism做的所有东西都是开放的，因此这次演讲里面有很多alpha信息。
我想谈谈我在那次演讲中提出的一些最重要的观点，因为它们对于理解“为什么Optimism会以这种方式做事”是至关重要的。让我们来谈谈Bedrock、去中心化以及ZK的未来。
何一：来自传统金融界的从业者认为使用客户资金是正常的，但Crypto不是银行:11月12日消息，币安联合创始人兼Binance Labs负责人何一发推称，来自传统金融（TradFi）背景的人认为使用客户资金是正常的，但Crypto不是银行。简单地将Crypto视为货币或股票可能会导致风险管理出现问题——类似于将您的种子短语放入保险库并希望这能保证安全。
（可悲的）现实是，大多数快速崛起和衰落的团队都是来自TradFi世界的“blue blood（蓝血贵族）”，属于极少数可能最能与监管机构沟通的人。这些人的衰落对处于起步阶段的Crypto行业造成了极其不公平的偏见。（更可悲的是）直到那些人倒下的那一刻，他们都不知道自己为什么会倒下，只是希望“如果牛市来了，我不会死”。[2022/11/12 12:54:41]
Bedrock架构
以太坊L2协议Optimism的交易量超过Arbitrum:金色财经报道，基于以太坊的L2协议Optimism和Arbitrum在交易活动方面存在显着差异。自12月中旬以来，Optimism在交易数量方面的表现优于Arbitrum。(TheBlock)[2023/1/18 11:17:51]
Optimism即将推出的Bedrock设计是有史以来最先进的rollup架构。这不是什么比赛，Bedrock在各个方面都接近理论上的最优值，包括最优的交易费用、最优网络以及最优区块生产。
Bedrock之所以如此先进，是因为它非常模块化并且是极简的，它的设计理念是把以太坊现有的代码变成Rollup代码，并且我们成功了。我们的客户端差异是500行代码。
Bedrock有一个新的L2派生管道，使其成为了一个独一无二的rollup架构，在将tx数据发布到以太坊时挤出每一点节省的gas。Bedrock也是当前唯一使用以太坊引擎API实现共识/执行客户端分离的rollup设计。
Aave V3在Optimism上的总市场规模突破12亿美元:8月5日消息，据官网数据显示，AaveV3在Optimism上的总市场规模突破12亿美元，总借款量近8.8亿美元，可借资金为3.65亿美元。
另据DefiLlama数据显示，Aave在Optimism上的TVL已超越Synthetix，位居首位。此前报道，Aave V3宣布已在Optimism上启动流动性挖矿。流动性挖矿将持续90天时间，共将发放500万枚OP代币奖励。[2022/8/5 12:03:52]
那这些为什么很重要呢？
因为Bedrock是使得Optimism成为第一个真正去中心化的EVMRollup的基石。
为了使一个rollup真正安全与去中心化，它需要有一种证明机制，而无需任何类型的升级密钥，可以在不长时间延迟的情况下更新证明。
以太坊扩容方案Optimism：下周将公布重大新闻:9月11日消息，以太坊扩容方案Optimism发推称，下周将公布重大新闻。不过官方未透露相关细节。[2021/9/11 23:18:15]
这就是rollup肮脏的真相，如果你有快速升级，即使你有故障证明，你的区块链安全性仍然取决于你的升级密钥。而在解决该问题之前，你根本无法获得真正的rollup级安全性。
目前，只有一种方法可以一劳永逸地解决这个问题：客户端多样性以及证明多样性。
就像以太坊需要客户端多样性一样，rollup也需要客户端多样性。有了客户端的多样性，一个漏洞就变成了一次链分裂，并且可以得到解决。而如果没有客户端多样性，一个漏洞就有可能成为关键的安全事件。
Bedrock的500行代码差异以及共识/执行分裂并非是偶然。这是一个深思熟虑的决定，旨在使rollup客户端多样化成为可能。我们已经有了OptimisticGeth，那你知道还会有OptimisticErigon吗？
我们最终还将通过故障证明的多种实现来证明多样性。最终结果是，我们可以使用多个客户端运行多个证明，这意味着我们可以通过查看任何证明结果是否不一致来检测关键的漏洞。
客户端和证明的多样性是未来，它将使我们能够安全地删除快速升级密钥。
但Bedrock也是其他东西的基础……
Bedrock非常灵活和模块化，我们的L2派生管道和我们的故障证明架构，意味着Bedrock可以轻松插入新的数据可用性层。这就是为什么OPLabs正在努力帮助交付EIP-4844("proto-danksharding")。
一旦以太坊交付EIP-4844，Optimism就可以无缝迁移到「datablobs」交易类型，用户将能够节省大量的gas费用。
并且，Bedrock是非常灵活的，它是一个Rollup客户端，而不是一个OptimisticRollup客户端。
Optimistic和ZK系统的无缝过渡
与其他设计不同，Bedrock与所使用的Rollup证明类型完全无关，它甚至不知道证明。现在，我们正在构建一个Optimistic证明……
但是Bedrock也可以使用一个ZK证明系统，我们认为OptimisticRollup目前相比ZK同类产品具有优势，而Bedrock旨在使Optimistic和ZK之间的无缝过渡成为可能。
Optimism是为未来做准备的，而Bedrock就是未来的基础。这并不是关于构建最好的OptimisticRollup或最好的ZKRollup，而是关于构建最好的Rollup。我们不只是这么说，我们是从头开始这么设计的。
如果你想了解更多信息，我强烈建议你看看《Wen?》这期演讲视频，它大约有1个小时的时间，并且要比这篇文章中提到的要更详细得多。
而关于这个帖子，以太坊联合创始人VitalikButerin也发表了他的看法：
“混合思路：optimistic+ZK，治理只用于判决两者之间的漏洞。
1、发布区块；
2、等待24小时时长的欺诈挑战期；
3如果没有挑战，则发布ZKSNARK，最终确认；
3如果出现了挑战，根据的3个选项中的2个做出决定；
来源：金色财经
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。