IMI:Optimism 的未来:Bedrock 升级 Rollup 去中心化以及融合 ZK 方案

注:原文作者是Optimism核心开发者KelvinFichter。

以下是关于Optimism未来的帖子,包括即将到来的Bedrock升级,Rollup的去中心化以及关于ZK的部分。Bedrock是一个Rollup客户端,而不是一个OptimisticRollup客户端。

我最近发表了一次题为《何时?》的探索Optimism未来的主题演讲,由于Optimism做的所有东西都是开放的,因此这次演讲里面有很多alpha信息。

我想谈谈我在那次演讲中提出的一些最重要的观点,因为它们对于理解“为什么Optimism会以这种方式做事”是至关重要的。让我们来谈谈Bedrock、去中心化以及ZK的未来。

固定利率借贷协议Pledge Finance将集成Polygon:金色财经报道,据官方Medium消息,固定利率借贷协议Pledge Finance将集成Polygon,旨在为以太坊生态系统中的加密资产交易者消除市场风险。[2021/10/12 20:21:41]

Bedrock架构

Optimism即将推出的Bedrock设计是有史以来最先进的rollup架构。这不是什么比赛,Bedrock在各个方面都接近理论上的最优值,包括最优的交易费用、最优网络以及最优区块生产。

Bedrock之所以如此先进,是因为它非常模块化并且是极简的,它的设计理念是把以太坊现有的代码变成Rollup代码,并且我们成功了。我们的客户端差异是500行代码。

动态 | 5000枚BTC转至Poloniex交易所:据Whale Alert数据,5000枚BTC从3DQaHB开头钱包转至Poloniex交易所,价值约3982万美元,交易哈希值为:436571d38d1452344035976e7da4ac4370969aeb8b9ae367cd1030fb0dea5393。[2019/10/19]

Bedrock有一个新的L2派生管道,使其成为了一个独一无二的rollup架构,在将tx数据发布到以太坊时挤出每一点节省的gas。Bedrock也是当前唯一使用以太坊引擎API实现共识/执行客户端分离的rollup设计。

那这些为什么很重要呢?

因为Bedrock是使得Optimism成为第一个真正去中心化的EVMRollup的基石。

动态 | 加密货币交易Poloniex成第一家提供BCH分叉交易的交易所:从周三晚开始,Poloniex将成为第一家向客户提供比特币现金ABC和比特币现金SV(BCHSV)的交易所。[2018/11/8]

为了使一个rollup真正安全与去中心化,它需要有一种证明机制,而无需任何类型的升级密钥,可以在不长时间延迟的情况下更新证明。

这就是rollup肮脏的真相,如果你有快速升级,即使你有故障证明,你的区块链安全性仍然取决于你的升级密钥。而在解决该问题之前,你根本无法获得真正的rollup级安全性。

目前,只有一种方法可以一劳永逸地解决这个问题:客户端多样性以及证明多样性。

就像以太坊需要客户端多样性一样,rollup也需要客户端多样性。有了客户端的多样性,一个漏洞就变成了一次链分裂,并且可以得到解决。而如果没有客户端多样性,一个漏洞就有可能成为关键的安全事件。

以太坊扩容方案Optimism计划在1月15日主网软启动:据官方消息,以太坊Optimistic Rollup扩容方案Optimism团队在发布的年度总结报告中表示,Optimism已经在两周前冻结代码,以便为Synthetix的主网试运行做准备,然后预计在1月15日在主网软启动,3月15日发布社区版本。Optimism称尽管进行了广泛的测试,但是预计会出现错误,所以将保留升级密钥至少6个月的时间,以确保用户资金安全。[2021/1/1 16:14:03]

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个做出决定;

来源:金色财经

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

链链资讯

[0:0ms0-9:261ms