从StarkWare会议中学到的5件事

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

以下是我想学习的内容:

• 为什么要定制开发环境?好处是什么?会给开发人员带来多大阻力?Cairo的优势是否超过了失去以太坊网络效应的成本?
• Starknet社区的所有权如何?社区如何参与Starknet治理?
• 目前在Starknet上构建了什么?有哪些团队在做什么项目?Starknet给他们带来了什么?

我的问题都得到了解答,而且收获更多。我没想到Starknet社区的文化会如此强大,显然我们正亲眼目睹Starknet网络状态的蓬勃发展,尽管它还很年轻。Starknet还在学步阶段,但社区的能量和主人翁精神让我对这个年轻生态系统感到乐观。

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

1. Starknet的工作状态

周六早上抵达特拉维夫后,我来到了Hacker House,在那里数百名开发者住宿并工作。我看到开发人员互相展示项目,这让我了解到他们正在构建什么。

不久后,Starknet基金会的两名成员主持了一场"治理研讨会",介绍了Starknet社区治理的现状。他们更像是社区志愿者,担任开发者和基金会之间的联络人。

很明显,Starknet治理还处于早期阶段。我们正看着一个婴儿诞生,它正在学习如何发声和站立。令人兴奋的是,Starknet似乎有大量开发人员参与其中。

目前Starknet治理组织主要由协议开发人员组成,Cairo开发者社区虽然影响力强但人数较少。与开发者交流时,我感受到了一种"这是我们的网络"的氛围。一些开发者正意识到"我可以拥有我正在构建的东西"。

乐观和兴奋情绪很浓厚,但我也有一些担忧。Starknet的最终目标是成为一个完全去中心化和社区运营的系统,然而Starknet社区本身仍在起步阶段,有很多工作要做。尽管如此,这个社区似乎已准备好迎接挑战。

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

如果你在以太坊生态圈有一段时间了,可能已经注意到StarkWare和更大的以太坊生态系统之间存在明显的隔阂。

从技术角度来看,这是有道理的。Starknet在很大程度上独立于以太坊,实际上只是将以太坊用作数据层(尽管Starknet也可以与以太坊资产组合)。理论上,你可以在任何L1上部署Starknet,因为StarkWare已经构建了一种自我优化的技术。

这引发了一些以太坊最大主义者的不满,我承认我过去也有过这种想法:"你怎么敢不使用EVM!?"更不用说他们选择了一些可能有争议的投资者。

我意识到自己的这种偏见,所以想借此机会从StarkWare的角度来看待这个问题。甚至在来到特拉维夫之前,我就听说StarkWare与生态系统开发人员互动的许多积极反馈,普遍认为StarkWare听取了关于Cairo和Starknet的开发建议。

很明显,选择摆脱以太坊的网络效应,并建立一个自下而上、自我优化的生态系统是正确的。在详细了解Cairo的选择以及Uri和Eli开创的技术之后,所有的逻辑都清晰了。

SNARKs和STARKs都是非常棒的技术,它们各自最佳版本都值得被充分实现。StarkWare似乎在这方面走得最远。

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

我意识到自己作为EVM最大主义者的偏见,所以想利用这次会议来检验我对Cairo开发者体验的理解。

Cairo是为StarkWare生态系统定制的编程语言。我注意到StarkWare生态系统针对自身进行了优化,而其他L2则针对以太坊进行了优化。StarkWare和Starknet希望成为自己最好的版本,这包括从头开始构建一种编码语言,以最大限度地实现StarkWare技术的最佳表达。

虽然这牺牲了获取以太坊网络效应的能力,但很难反驳这种设计选择,尤其是现在Cairo自己的网络效应已经达到了临界点(很可能很久以前就已经达到了)。

此外,还有团队在Solidity和Cairo之间构建了开发者中间件桥梁,比如Kakarot。遗憾的是,我没能采访Kakarot团队,但他们在活动上做了演示。

4. 智能合约钱包 + L2

智能合约钱包(SCW)和"账户抽象(AA)"在很大程度上是同义词。大家都同意:账户抽象是加密领域最糟糕的命名之一,另一个糟糕的名字是"EOA:外部拥有账户",后者是智能合约钱包所没有的钱包类型。

以太坊上的所有钱包都属于这两种类型之一:EOA或智能合约钱包(SCW)。目前我们大多数人使用的是EOA钱包,包括Ledger、Metamask、Phantom、Coinbase钱包等,约99%的加密钱包是EOA钱包。

智能合约钱包的潜力是无限的。EOA之于比特币,就像SCW之于以太坊。EOA是一个简单的钱包,只能签名信息。而SCW是图灵完备的钱包,可以将软件注入钱包中。

SCW将为加密带来巨大的用户体验升级,消除许多使加密钱包变得困难和不直观的因素。账户抽象开启了全新的设计空间,这本身就是一个革命性的突破。

在StarkWare会议上,有两个主要的SCW团队:Argent X和Braavos。

长期以来,SCW创新的前沿一直在L2上,特别是ZK L2。为什么是ZK Rollups,而不是Optimistic Rollups(ORUs)?像Optimism和Arbitrum这样的ORU试图成为以太坊的等效物,由于以太坊没有启用账户抽象,目前的ORU也没有。

最终,99%的钱包将是SCW。总的来说,SCW的普及将沿着这个方向发展:ZK-Rollups → ORU → 以太坊L1。L2可以比L1更快地适应和创新,例如为账户抽象等EIP生成生产级测试网。

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

是的,这是一个有趣的事实。ZKP专门用于隐藏知识,任何ZKP也是一种有效性证明,但ZKP还会在整个过程中隐藏信息。

而大多数"zk-rollups"实际上是有效性Rollups。