從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。