从 StarkWare 会议中获得的5个见解

我一直希望能参加 StarkWare 会议,因为我对这个生态系统的理解还不够深入。这是可以理解的,因为 Stark 世界的许多组成部分都是定制的,比如 Starknet 有自己的开发语言 Cairo 和虚拟机 CairoVM。这在以太坊和 Starknet 开发者社区之间造成了一定的隔阂,比其他 L2 更明显。

以下是我此行的主要收获:

1. Starknet 的发展状况

抵达特拉维夫后,我参观了开发者聚集的 Hacker House。在那里我看到开发者们相互展示项目,这让我对他们正在构建的内容有了初步了解。

随后我参加了一个治理研讨会,了解到 Starknet 治理还处于早期阶段。尽管如此,已经有大量热情的开发者参与其中。目前 Starknet 的治理主要由协议开发者主导,Cairo 开发者社区虽然影响力强但人数相对较少。

与开发者交流时,我感受到一种"这是我们的网络"的氛围。虽然 Starknet 的最终目标是完全去中心化,但社区目前仍处于起步阶段,还有很长的路要走。不过,开发者们似乎已经准备好迎接这些挑战。

2. Starknet 与以太坊的独立性

StarkWare 和以太坊生态系统之间确实存在明显的隔阂。从技术角度来看这是可以理解的,因为 Starknet 在很大程度上独立于以太坊,只是将其作为数据层使用。

理论上,Starknet 可以部署在任何 L1 上,因为 StarkWare 构建了一种自我优化的技术。这引发了一些 ETH 最大主义者的不满,我承认我过去也有过类似想法。

但经过此次会议,我对 StarkWare 的选择有了新的认识。显然,建立一个自下而上、自我优化的生态系统是正确的选择。SNARKs 和 STARKs 都是出色的技术,值得被充分发挥。StarkWare 似乎在这方面走得最远。

3. Cairo 的开发负担可能没有想象中那么重

作为一个 EVM 拥护者,我想借此机会重新审视对 Cairo 开发体验的理解。Cairo 是为 StarkWare 生态系统定制的编程语言。

Starknet 希望成为最好的版本,这包括从头构建一种编码语言,以最大限度地发挥 StarkWare 技术的潜力。虽然这牺牲了以太坊的网络效应,但 Cairo 自身的网络效应似乎已经达到了临界规模。

此外,还有团队在 Solidity 和 Cairo 之间构建开发者中间件桥梁,比如 Kakarot。这有助于降低开发者的迁移成本。

4. 智能合约钱包与 L2 的结合

智能合约钱包(SCW)和"账户抽象(AA)"在很大程度上是同义词。目前大多数人使用的是外部拥有账户(EOA)钱包,如 Ledger、Metamask 等。

而智能合约钱包具有图灵完备的特性,可以将软件注入钱包中。这将为加密货币带来巨大的用户体验升级,消除许多使用困难。

ZK Rollups 似乎是智能合约钱包创新的前沿。这是因为像 Optimism 和 Arbitrum 这样的乐观 Rollups 试图完全模仿以太坊,而以太坊目前还没有启用账户抽象。

长远来看,智能合约钱包的普及可能会按照 ZK-Rollups → 乐观 Rollups → 以太坊 L1 的路径发展。L2 可以比 L1 更快地适应和创新,为账户抽象等新特性提供生产级测试网。

5. ZK-Rollups 实际上并不使用零知识证明

这是一个容易被忽视的有趣事实。ZKP 专门用于隐藏信息,而大多数"zk-rollups"实际上只是有效性 Rollups,并不隐藏信息。

ZKP 既是一种有效性证明,也可以隐藏信息。但大多数 ZK Rollups 只使用了其中的有效性证明部分,而没有利用隐私保护功能。这是一个值得注意的细微差别。