原文作者:@francescoglt,由 DeFi 之道编译。
Arbitrum、Optimism 和 L2 的交易成本即将降低 10 倍。 如何?EIP4844能够做到。
EIP4844 是以太坊分片设计的第一次迭代。
分片是以太坊让更多数据通过网络的一种方式,最早在 2016 年的以太坊可扩展更新中被提到。
随着过去几年的发展,以太坊开发人员已经将分片方案从完全执行分片转变为仅数据分片,V 神将此描述为“增加实用主义”。
事实上,以太坊网络上的数据可用性问题是主要的扩展瓶颈之一。
数据可用性可以定义为“证明特定哈希背后的基础数据实际上已经发布到这个公共板,如果人们需要,他们可以在那里获取并验证它”。
EIP4844 试图在不破坏 L1 上的可组合性和执行层的情况下,在以太坊上增加数据可用性容量。
为什么选择 EIP4844?
这是为了给 L2 解决方案创造一个费用廉价的场所,以在以太坊上发布数据并减少用户在 L2 上支付的总体交易费用。
问题所在:
L2 产生越来越多的数据。如果有一种以廉价方式发布的方法,它将立即减少网络向用户收取的交易费用。
解决方案:
“携带 blob 的交易”的新交易格式。它包含大量“EVM 执行无法访问,但可以访问其承诺”的数据。
不是将全部内容嵌入正文,而是将 blob 的内容单独传播,作为一种“边车”(sidecar)。
EIP 4844 可能是用户最感兴趣的 EIP 之一,因为他们将直接受益,他们将在他们最喜欢的 L2 上支付更少的费用。
这是以太坊上更简单的分片实现,也是以太坊“以 rollup 为中心的路线图”向前迈出的又一步。
EIP4844 介绍:
分片区块将只包含“数据块”,而不是包含在以太坊区块中执行的交易,并且 L2 有责任使用该数据空间,以便为其用户创建安全且更具可扩展性的体验。
BLOB 是什么?
一种附加到交易的不透明、原始的字节字符串。
“sidecar”中的附加内容具有额外的生命周期:
blob 交易支付费用并承诺充分证明某些数据的存在——但数据本身是分离的。
费用支付和引用由以太坊处理,而承诺和 blob 存储在其他地方直到被修剪:以太坊 EVM 中没有直接的 blob 内容,它们持久存在于信标节点中,而不是在执行层中。
・以太坊:不可扩展的计算、可扩展的数据(执行引擎);
・L2:将不可扩展的数据和不可扩展的计算转换为可扩展的计算(数据可用性 + 执行检查)。
这种设计选择具有战略意义,可确保未来的分片工作只需要更改信标节点,使执行层能够并行处理其他计划。
下面是 EIP 4844 中涉及的信标节点更改:
为什么 L2 费用会更低?
交易计算和存储的单独费用:L2 将使用不同的功能向以太坊提交“blob”。
他们不会使用永久存储数据的“CALLDATA”,而是使用在预定义的时间段后被修剪的 blob。
blob 数据不必永远可用,而是在一定时期内(例如 1-3 个月),这个时间足够长,使 L2 确保至少 1 个诚实的参与者重建状态并挑战或更换坏的排序器。
然后数据被修剪。
EIP4844 通过允许它们最初扩展到每个插槽 0.25 MB,为 rollups 提供了显着的扩展缓解,并为 blobs 提供了一个单独的费用市场,允许费用非常低。交易会便宜很多,差不多一个数量级。
L2 将如何使用 Blob?
将数据放入 blob 中可以保证数据可用性,同时成本更低。
L2 使用 KZG 积分来验证 blob 的有效性。
这又是什么?KZG 积分“表明该积分的特定值等于声明的值”。
・Optimistic Rollups 将在提交欺诈证明时提供基础数据。欺诈证明可以验证有效性,“通过调用数据一次最多加载 blob 的几个值”。
>对于每个值,它将提供一个 KZG 证明,并使用点评估预编译来根据之前提交的版本化哈希验证该值。
・ZK Rollups 需要提供 2 个承诺:blob 中的 KZG 和一些使用 ZK 证明系统的承诺。
然后他们需要证明:
>KZG(协议确保指向可用数据)和 ZK rollup 自己的承诺引用相同的数据。
老实说,我不知道我是否很好地解释了 EIP4844 背后的复杂性。它涉及以太坊的几个技术方面,很难将它们全部浓缩在 EIP4844 的全面介绍中,而不必经常……介绍和解释新概念。
EIP4844 的重要之处在于它的价值将渗透到用户手中,因为我们都将能够从较低的 L2 费用中受益。
该提议背后的原因与以太坊以 rollup 为中心的路线图一致,并进一步提高了 L2 的可扩展性,同时与未来的分片向前兼容。
未来 EVM 执行分片的大门仍然敞开,但这只是务实的第一步。
EIP4844 预计将在 2023 年下半年的某个时间实施。