从StarkWare会议中学到的5件事

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

以下是我在StarkWare会议上学到的五件事:

1. Starknet的发展状况

Starknet目前还处于早期阶段,正在学习如何发展和治理。虽然还很年轻,但Starknet社区却展现出强大的文化和主人翁精神,这让人对这个生态系统感到乐观。

目前Starknet的治理主要由协议开发者和Cairo开发者社区组成。开发者们似乎对参与治理过程很感兴趣,但整体治理结构还在起步阶段。Starknet的最终目标是成为一个完全去中心化和社区运营的网络,虽然还有很长的路要走,但社区似乎已经准备好迎接挑战。

2. Starknet在很大程度上独立于以太坊

从技术角度来看,Starknet在很大程度上独立于以太坊,只是将以太坊用作数据层。理论上Starknet可以部署在任何L1上,因为StarkWare已经构建了一种自我优化的技术。

选择摆脱以太坊的网络效应,建立一个自下而上、自我优化的生态系统是正确的选择。SNARKs和STARKs都是出色的技术,StarkWare似乎在充分实现这些技术方面走得最远。

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

Cairo是为StarkWare生态系统定制的编程语言。虽然这牺牲了获取以太坊网络效应的能力,但很难否认这种设计选择的合理性,特别是现在Cairo自己的网络效应已经达到了临界点。

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

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

智能合约钱包(SCW)和账户抽象(AA)在很大程度上是同义词。SCW将为加密货币带来巨大的用户体验升级,消除很多使加密钱包变得困难和不直观的因素。

长期以来,SCW创新的前沿一直在L2上,特别是ZK Rollups。与Optimistic Rollups相比,ZK Rollups更容易实现账户抽象。总的来说,SCW的普及将沿着ZK-Rollups、Optimistic Rollups、以太坊L1的方向推进。

5. ZK-Rollups并没有使用零知识证明

这是一个有趣的事实 - 大多数所谓的"zk-rollups"实际上是有效性Rollups。ZKP专门用于隐藏知识,而有效性证明则不隐藏信息。这种区别对于理解不同类型的L2扩展解决方案很重要。