从StarkWare大会中学到的5件事

我一直希望参加StarkWare大会,因为我对StarkWare生态系统的了解不如以太坊的其他部分那么深入。

这是可以理解的,因为构成Stark世界的许多组成部分都是定制的。例如,Starknet有自己的自定义开发语言Cairo,以及自己的自定义虚拟机CairoVM。

这使得以太坊和Starknet开发者社区之间形成了一定的隔阂,与其他L2相比,两个网络之间的差距更大。

以下是我此行想要了解的几个方面:

• 他们为什么要采用这种定制方式?定制的开发环境能带来哪些优势?这会给开发人员带来多大的障碍?Cairo带来的好处是否超过了失去以太坊网络效应的代价?

• Starknet的情况如何?社区对Starknet的归属感如何?社区如何在Starknet治理中发出自己的声音?

• 目前正在构建什么?有哪些团队在Starknet上开发什么类型的项目?Starknet给他们带来了什么机遇?

我所有的问题都得到了解答,而且收获远超预期。

我没想到Starknet社区的文化会如此强大。显然,我们正在亲眼见证Starknet网络蓬勃发展的早期阶段,尽管它还很年轻。

Starknet仍处于起步阶段,正在努力学会站立,更不用说行走了。但是,我从Starknet社区感受到的能量和主人翁精神,让我对这个新兴生态系统充满信心。

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

1. Starknet正处于起步阶段

抵达特拉维夫后,我来到了Hacker House,这里聚集了数百名开发者。我有机会了解到他们正在开发的各种项目。

Starknet基金会的两名代表主持了一场"治理研讨会",介绍了Starknet社区治理的现状。很明显,Starknet的治理仍处于早期阶段。我们正在见证一个新生事物的诞生,它正在学习如何发声、如何站立。令人兴奋的是,Starknet似乎吸引了大量开发者,他们积极参与并希望成为这一进程的一部分。

目前,Starknet治理组织主要由协议开发人员组成,Cairo开发者社区虽然影响力强,但人数相对较少。

与开发者交流时,我感受到了一种"这是我们的网络"的氛围。一些Starknet开发者似乎正在意识到"我可以拥有我正在构建的东西"。乐观和兴奋情绪充满整个社区,但我也感受到一些担忧。

Starknet的最终目标是成为一个完全去中心化和社区运营的系统,但Starknet社区本身仍处于起步阶段,有很多工作要做。

尽管如此,这个加密社区并没有在挑战面前退缩,而且解决方案并不需要同时出现。Starknet社区似乎已经准备好迎接挑战。

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

如果你在以太坊生态系统中待了一段时间,你可能已经注意到StarkWare与更大的以太坊生态系统之间存在明显的差距。

从技术角度来看,这是可以理解的。Starknet在很大程度上是独立于以太坊的技术,它实际上只是将以太坊用作数据层(尽管Starknet也可以与以太坊资产互操作)。

理论上,你可以在任何L1上部署Starknet,因为StarkWare已经构建了一种自我优化的技术。

这在某些方面引发了一些以太坊最大主义者的不满,我承认我过去也有过这种想法:"你怎么敢不使用EVM!?"

我意识到自己有这种偏见,所以我想借此机会参加这次活动,从StarkWare的角度来看待这个问题。

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

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

3. Cairo的学习成本可能没有我想象中那么高

我知道自己作为一个EVM最大主义者所具有的偏见,所以我想利用这次StarkWare大会来重新审视我对Cairo开发者体验的理解。

Cairo是为StarkWare生态系统定制的编程语言。

我注意到的一个主题是StarkWare生态系统已针对自身进行了优化,而其他L2则是针对以太坊进行了优化。StarkWare和Starknet的理念是,Starknet希望成为最好的自己,这包括从头开始构建一种编程语言,以最大限度地发挥StarkWare技术的潜力。

虽然这牺牲了获取以太坊网络效应的机会,但很难否认这种设计选择的合理性,尤其是现在Cairo自身的网络效应已经达到了临界点(很可能早就达到了)。

此外,还有团队在Solidity和Cairo之间构建了开发者中间件桥梁,比如Kakarot。

4. 智能合约钱包 + L2

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

以太坊上的所有钱包都属于这两种类型之一:EOA或智能合约钱包(SCW)。

我们大多数人使用的是EOA钱包,包括Ledger、Metamask、Phantom、Coinbase钱包等。目前人们使用的加密钱包中,约99%是EOA钱包。

智能合约钱包的潜力是无限的。EOA之于比特币,就像SCW之于以太坊。

你的Ledger、Metamask或其他EOA钱包只能做一件事,那就是签名。而智能合约钱包(SCW)是图灵完备的钱包。就像以太坊将金钱和软件结合一样,账户抽象也让我们将软件注入钱包。

智能合约钱包(SCW)将为加密带来用户体验的巨大升级,消除许多使加密钱包变得困难和不直观的因素。账户抽象开启了一个全新的设计领域,这本身就是一个从0到1的突破。

在StarkWare大会上,有两个主要的智能合约钱包(SCW)团队:Argent X和Braavos。

长期以来,智能合约钱包(SCW)创新的前沿一直在L2上,特别是ZK L2。

为什么是ZK Rollups,而不是Optimistic Rollups(ORUs)?

像Optimism和Arbitrum这样的ORU试图成为以太坊的等效物,由于以太坊没有启用账户抽象,我们当前的ORU也没有。

目前,99%的钱包都是EOA钱包。但最终,99%的钱包将是智能合约钱包(SCW)。

总的来说,智能合约钱包(SCW)的普及将沿着这个方向发展:ZK-Rollups → ORU → 以太坊L1。

L2可以比L1更快地适应和创新,例如L2为像账户抽象这样的EIP生成生产级测试网。

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

是的,这是一个有趣的事实。

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

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