我在StarkWare Sessions上學到的5件事

我一直很想參加StarkWare會議,因爲我對StarkWare生態系統的了解不如以太坊的其他部分那麼深入。這是可以理解的,因爲Stark世界的許多組成部分都是定制的,比如Starknet有自己的開發語言Cairo和虛擬機CairoVM。這在以太坊和Starknet開發者社區之間造成了分割,與其他L2相比形成了更大的鴻溝。

以下是我想了解的一些問題:

• 爲什麼要採用定制的開發環境?能帶來什麼好處?這會給開發人員帶來多大的摩擦?Cairo的優勢是否超過了失去以太坊網路效應的代價?

• Starknet的社區所有權如何?社區如何在Starknet治理中發聲?

• 在Starknet上正在構建什麼?有哪些團隊在開發什麼項目?Starknet將他們帶到了哪裏?

我的所有問題都得到了解答,而且還了解到了更多。

令我意外的是,Starknet社區的文化如此強大。顯然,我們正在親眼目睹Starknet網路狀態的蓬勃發展,盡管它還很年輕。Starknet仍處於起步階段,正在努力學會站起來,更不用說行走了。但是,從Starknet社區感受到的能量和主人翁精神,讓我對這個年輕的生態系統感到樂觀。

以下是我在StarkWare會議上學到的五件事:

1. Starknet的工作狀態

周六早上抵達特拉維夫後,我來到了Hacker House,那裏有數百名開發者在活動前幾天住宿和工作。我看到開發人員互相展示他們的項目,這讓我有機會了解他們正在構建的內容。

不久後,Starknet基金會的兩名成員主持了一次"治理研討會",介紹了Starknet社區治理的現狀。他們更像是社區志願者,承擔起開發者和基金會之間聯絡的角色。

很明顯,Starknet的治理還處於早期階段。我們正在見證一個新生事物的誕生,它正在學習如何發聲、如何站立。令人興奮的是,Starknet似乎擁有大量熱衷參與這個過程的開發者。

目前,Starknet治理組織主要由協議開發者(可能是"核心開發者")組成,Cairo開發者社區雖然影響力強但人數較少。

與開發者交流時,我感受到了一種"這是我們的網路"的氛圍。一些Starknet開發者似乎正在意識到"我可以擁有我正在構建的東西"。樂觀和興奮的情緒都很充沛,但我也有一些擔憂。

Starknet的最終目標是成爲一個完全去中心化和社區運營的系統,但Starknet社區本身仍處於起步階段,有很多工作要做。盡管如此,這個crypto社區並沒有退縮,而且解決方案不需要同時出現。Starknet社區似乎已準備好迎接挑戰。

2. Starknet在很大程度上獨立於以太坊

如果你在以太坊生態系統中待了一段時間,你可能已經注意到StarkWare與更大的以太坊生態系統之間存在很大的鴻溝。

從技術角度來看,這是可以理解的。Starknet在很大程度上獨立於以太坊,它實際上只是將以太坊用作數據層(盡管Starknet也可以與以太坊資產組合)。

理論上,你可以在任何L1上部署Starknet,因爲StarkWare已經構建了一種自我優化的技術。

這引發了一些ETH最大主義者的不滿,我承認我過去也有過這種想法:"你怎麼敢不使用EVM!?"。

我意識到自己的偏見,所以我想借此機會從StarkWare的角度來看待這個問題。

甚至在來到特拉維夫之前,我就聽說了StarkWare與生態系統開發者互動的許多積極反饋。普遍的看法是,開發者感覺StarkWare聽取了關於Cairo和Starknet開發選擇的意見。

顯然,選擇擺脫以太坊的網路效應,並建立一個自下而上、自我優化的生態系統是正確的。在深入了解Cairo的選擇以及Uri和Eli開創的技術後,所有的邏輯都串聯起來了。

SNARKs和STARKs都是非常棒的技術,它們各自最好的版本都值得被充分實現。StarkWare似乎在這方面走得最遠。

3. Cairo的負擔可能沒有我想象中那麼重

我知道自己作爲EVM最大主義者的偏見,所以我想利用這次會議來檢驗我對Cairo開發者體驗的理解。

Cairo是爲StarkWare生態系統定制的編程語言。我注意到的一個主題是,StarkWare生態系統針對自身進行了優化,而其他L2則是針對以太坊優化的。StarkWare和Starknet的理念是,Starknet希望成爲自己最好的版本,這包括從頭開始構建一種編碼語言,以最大化實現StarkWare技術的最佳表達。

雖然這犧牲了獲取以太坊網路效應的能力,但很難反駁這種設計選擇,尤其是現在Cairo自己的網路效應已經達到了臨界點(很可能很久以前就已經達到了)。

此外,還有團隊在Solidity和Cairo之間構建了開發者中間件橋梁,比如Kakarot。

4. 智能合約錢包 + L2

智能合約錢包(SCW)和"帳戶抽象(AA)"在很大程度上是同義詞。每個人都同意:帳戶抽象是crypto中最糟糕的命名之一,另一個糟糕的名字是"EOA:外部擁有帳戶",後者是與智能合約錢包相對的錢包類型。

以太坊上的所有錢包都屬於這兩種類型之一:EOA或智能合約錢包(SCW)。

我們大多數人使用的是EOA錢包,包括Ledger、Metamask、Phantom、Coinbase錢包等。目前人們使用的crypto錢包中,約99%是EOA錢包。

智能合約錢包的潛力是無限的。EOA之於比特幣,就像SCW之於以太坊。

EOA只能籤名消息,而SCW是圖靈完備的錢包。就像以太坊將金錢和軟件結合一樣,帳戶抽象讓我們將軟件注入錢包。

SCW將爲crypto帶來用戶體驗的巨大提升,消除許多使crypto錢包變得困難和不直觀的因素。帳戶抽象開啓了全新的設計空間,這本身就是一個革命性的突破。

在StarkWare會議上,有兩個主要的SCW團隊:Argent X和Braavos。

我是L1 Argent應用的早期超級用戶,但當以太坊的低gas費時代在2019年底結束後,L1上的智能合約錢包就難以正常運作了。

爲什麼?想想2021年以太坊最糟糕的情況:高昂的gas費、失敗的鑄造、令人困惑的用戶體驗。那是因爲以太坊沒有在L1啓用帳戶抽象。

長期以來,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並沒有使用零知識證明

是的,這是事實。

我記得很久以前學過這一點,但後來在crypto的混亂中忘記了這個有趣的事實。

ZKP專門用於隱藏知識,任何ZKP也是一種有效性證明,但ZKP會在整個過程中隱藏信息。

而大多數"zk-rollups"實際上是有效性Rollups。