ETH 这次对手是 ETH 的老师们在 BTC 上的组合拳。

撰文：Xiang

编辑：Evelyn

主流媒体认为 ETH 未来定将超越 BTC，ETH 的社区强大的无法被击败的观点是作者不能认可的。

指的不是那些所谓的新公链可以替代 ETH，很多同学还是有疑问，尝试用大白话把其中的结构理清楚，毋庸置疑的 ETH 本身是非常非常好的项目。

但 ETH 这次对手是 ETH 的老师们在 BTC 上的组合拳，下面具体说说。

链的老师：BTC

V 神早期也是想在比特币链上实现智能合约，btc core 并不认可这个方案才有了 ETH，ETH 的区块结构，共识早期也都借鉴了 BTC。

但链上去做智能合约的计算真的是好的方向吗？

链要跑共识机制，计算能力有限，所以 ETH 也转移了方向，改方向为区块生成是中心化的（链下计算），验证是去信任的和高度去中心化的，这点 V 神在 「Endgame」中也提到了。（W3 译文版：「Endgame」）

模块化的老师：Celestia、Rollkit

ETH 的升级路线其实是很曲折的，V 神也并不是真的神，也有很多错的地方，早期 V 神还认为 Plasma 是未来方向，ETH 要支持分片链让 ETH 实现百万级的 TPS 等说法都被 V 神自身抛弃，最终 ETH 的选择是模块化的路线，去年的 ETH 升级其实就是共识层与执行层分离，未来的 EIP-4844 升级就是实现以太坊的数据可用性层都是这个方向的升级。

其实这是借鉴的 Celestia 的创始人 Mustafa Al-Bassam 提出数据可用性，模块化区块链的方案，附上 Mustafa Al-Bassam 和 V 神在 18-19 年间写的论文：「Fraud and Data Availability Proofs: Maximising Light Client Security and Scaling Blockchains with Dishonest Majorities」

Mustafa Al-Bassam 现在做了自己模块化区块链项目，专门用来做数据可用性层的 celestia，Celestia 团队同时也为 btc 做了数据可用性这个项目就是 Rollkit。

Celestia 团队为对 Rollkit 的介绍文档：「Introducing Rollkit: a modular rollup framework」

关于模块化区块链的介绍，这里也再普及一次

主要分 4 层：

• 执行层：交易的执行，以及状态的更改将在这里发送，交易的排序也由执行层负责。（现有所有 Layer2 本身就是执行层）
• 数据可用性层：将验证状态迁移所需的交易数据发布，存储。数据可用性的确认，验证状态迁移所需的交易数据的确认，从而初步确认排序。（ETH 的 danksharding，Celestia，EigenLayer，Rollkit 目前都是做这一块）
• 结算层：验证最终执行结果以及解决争议。（ETH 本身链上的验证合约）
• 共识层：就状态转换，交易的有效性达成共识，从而提供状态的最终确定性。（ETH 的 POS，BTC 的 POW 共识等）

想深入学习模块化区块链和数据可用性可以研究我们团队翻译的 Celestia 白皮书和合并后 ETH 信标链的文章。

zk 证明、Layer2、Layer3 的老师：Starkware

以太坊未来的另一大主要方向就 zk 化，其实更精准应该是说有效证明，因为 zk 这个词更被大家所接受，就还是用 zk，这里的 zk 并不一定要零知识性，参考 ETH 最新的路线图，数据可用性采样，以太坊的数据结构 Verkle 树，Rollup 通通都在 zk 化。

Starkware 有诸多产品，比如 Starkex，Starknet，创始人 Eli 本身也是 zk 证明系统 Stark 的发明者，ETH 的 zk 化，Layer3 的布局，很大程度是借鉴了 Starkware 团队的思想。Starkware 团队开发的 Cairo 语言也在扎根 web3 世界，Cairo 语言不仅仅可以做为智能合约，Cairo 更是第一个为通用计算创建可证明的图灵完备的语言，切入的市场和 ETH 的 Solidity 并不相同。Stark 本身比较复杂，也是最近研究较多的部分，后续会独立围绕这一块输出更具体的干货。

比特币的闪电网络 Lightning Labs 团队也尝试用 Stark 和 Cairo 这一套体系去改进 BTC，参考之前推文。

相关产品有 @ZeroSync_，https://github.com/lucidLuckylee/zerosync

附上 Layer3 与 Stark 的参考资料：

V 神对 L3 看法的文章：「What kind of layer 3s make sense?」

如何实现 Stark 证明的文章：「stark 证明实操 python 实现 01」

还有一点值得提的 ETH 虽然也是模块化，但是 ETH 是啥都做，而且还想要实现兼容性，所以未来 ETH 升级的技术债务其实会比 BTC 这一套更多，例如 EVM 本身不适合 zk，部分 L2 还得牺牲效率去实现 zkEVM，抽象账户的升级等等，类似的技术债务还非常多，参考分析 ETH 升级路线以及 ETH 存在问题的分析的推文。

为何 BTC 技术债务更少

BTC 的共识不需要改，ETH 还得大改； BTC 的数据可用性由 Rollkit 团队负责； BTC + Stark 化由 Lightning Labs 团队搭建； BTC 本身可以计算, 是不支持通用性计算，BTC 作为结算层改进只需要添加支持可验证有效证明脚本就可, 不需要像 ETH 一样要支持通用性计算；

BTC 执行层链下的计算不限制用 EVM，语言和框架也会多样化起来。类似抽象账户、EOF、zk 友好性等功能，新的执行层在一开始就可以设计好这些。

引用社区朋友的一句话：

由于主流媒体和各种自媒体的长期宣传，大部分人眼中的 BTC 已经固化了。一方面大家认为 BTC 只能干财富存储，电子黄金这样的事。形成了习惯性思维。另一方面，你会发现几乎没有币圈媒体大量报道基于 BTC 的技术发展，这可能是因为推广 BTC 没有利益可言。这可能也是一个机会。

总的来说 ETH 的老师们在 BTC 上的组合，能掀起什么样火花，是挺值得关注的，当然这一套的运行也是像 ETH 升级一样需要几年的时间去一步步迭代。

实现后未来的 L2，L3 们有两个大选择，选择共识更强，安全更高，组合性强的 BTC，还是选择社区更大，周边工具成熟，生态丰富，也在不断优化进步的 ETH。web3 的用户也是一样，你相信 BTC 还是 ETH 呢？

终于 ETH 有了足够强大的对手。