当前位置:首页 行业动态 正文

为什么说“分解”是区块链优化的第一原则?

2025-01-25

作者:toddz

在过去两周的时间中,我花了很多时间了解最新的链级创新,而在我看来,“分解(disaggregation)”是指导这些创新的第一原则。

什么是分解?

这个词来自‘模块化区块链’(我最新的一篇文章,解释了为什么是分解而不是模块化区块链),分解和模块化还是有一些区别的:

  • 模块化更多的是指堆栈中的一层,它将区块链的三个属性‘执行、结算和数据可用性’中的至少一个属性从操作区块链中外包出来。

  • 即使在一个层中也可以进行分解。它可以按照交易的类型分类来执行,即使它们仍然在一层。

它背后的逻辑非常容易理解。通过使每个单元能够执行最简单的操作,从而可以最大限度的提高每个单元的效率

最新链级创新中的分解现象

以太坊——Danksharding

在 8 号以太坊基金会研究的 AMA 中,Justin 表示‘以太坊正在变得越来越模块化 ':

Justin 在 Reddit 上的解释截图

Justin 在 Reddit 上的解释截图

降低复杂性的战略方法是模块化。(见这篇关于封装性与系统性复杂性的文章)。好消息是以太坊正在变得越来越模块化。
共识与执行:共识层在很大程度上是封装的。Peter 只意味着执行工作(以前属于执行团队的职权范围)被外包给了更广泛的 rollup 社区。
数据与执行:数据(danksharding)和执行(rollups)的分离意味着执行工作(以前属于执行团队的职权范围)被外包给了更广泛的 rollup 社区。
密码学与非密码学:复杂的低级别的 BLS12-381 密码学被封装在库中,例如 Peter 在处理 Verkle 树时可以与 BLST 应用程序接口进行交互。
提议者与构建者:提议者 - 构建者分离(PBS)允许非共识关键的构建者逻辑与共识关键的建议者逻辑相分离。我希望看到两种类型的执行客户端的出现:用于验证者的提议者客户端和 MEV(矿工可提取价值)行业的构建者客户端。
检验者与验证者:在 enshrined zkEVM(零知识证明以太坊虚拟机)的背景下,非共识关键(non-consensus-critical)的检验者逻辑可以与共识关键(consensus-critical)的 SNARK 验证逻辑分离出来。同样,我希望客户端能够在 enshrined zkEVM 中进一步规范化和模块化。

但是你应该注意到,Justin 的‘模块化’已经远远超过了目前大多数人讨论的‘模块化区块链’的范畴:

  • ‘提议者者与构建者’不在除 Danksharding 以外的任何项目的规划中;

  • ‘证明者与验证者’也不在除 Danksharding 以外的任何项目的规划中,而这种设计对其他项目来说更容易整合。

以上两点完全符合‘分解’的定义。

Aptos,Sui

并行计算是 Aptos 和 Sui 背后的扩展创新的核心论点。

并行计算是一种已经被 Web2 证明的扩展技术,但该技术的实施也有一些前提条件,并且并行技术与目前主流的单体区块链自然不匹配。被并行处理的交易之间不能有任何关联,但一个区块内的交易之间却存在着太多的关联性。

虽然 Aptos 和 Sui 计划做一些预处理来弄清这种不匹配:

由软件事务性内存(STM)库开创的一种学术方法是对内存访问进行检测和管理冲突。具有 optimistic 并发控制的 STM 库在执行过程中记录内存访问,在执行后验证每个事务,当验证出现冲突时,中止并重新执行事务。

而且我发现,预处理非常符合‘分解’的概念:

  • 对 P2 P 网络中的所有交易进行分类,使每个单元(在