從 StarkWare 會議中獲得的5個見解

我一直希望能參加 StarkWare 會議,因爲我對這個生態系統的理解還不夠深入。這是可以理解的,因爲 Stark 世界的許多組成部分都是定制的,比如 Starknet 有自己的開發語言 Cairo 和虛擬機 CairoVM。這在以太坊和 Starknet 開發者社區之間造成了一定的隔閡,比其他 L2 更明顯。

以下是我此行的主要收獲:

1. Starknet 的發展狀況

抵達特拉維夫後,我參觀了開發者聚集的 Hacker House。在那裏我看到開發者們相互展示項目,這讓我對他們正在構建的內容有了初步了解。

隨後我參加了一個治理研討會,了解到 Starknet 治理還處於早期階段。盡管如此,已經有大量熱情的開發者參與其中。目前 Starknet 的治理主要由協議開發者主導,Cairo 開發者社區雖然影響力強但人數相對較少。

與開發者交流時,我感受到一種"這是我們的網路"的氛圍。雖然 Starknet 的最終目標是完全去中心化,但社區目前仍處於起步階段,還有很長的路要走。不過,開發者們似乎已經準備好迎接這些挑戰。

2. Starknet 與以太坊的獨立性

StarkWare 和以太坊生態系統之間確實存在明顯的隔閡。從技術角度來看這是可以理解的,因爲 Starknet 在很大程度上獨立於以太坊,只是將其作爲數據層使用。

理論上,Starknet 可以部署在任何 L1 上,因爲 StarkWare 構建了一種自我優化的技術。這引發了一些 ETH 最大主義者的不滿,我承認我過去也有過類似想法。

但經過此次會議,我對 StarkWare 的選擇有了新的認識。顯然,建立一個自下而上、自我優化的生態系統是正確的選擇。SNARKs 和 STARKs 都是出色的技術,值得被充分發揮。StarkWare 似乎在這方面走得最遠。

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

作爲一個 EVM 擁護者,我想借此機會重新審視對 Cairo 開發體驗的理解。Cairo 是爲 StarkWare 生態系統定制的編程語言。

Starknet 希望成爲最好的版本,這包括從頭構建一種編碼語言,以最大限度地發揮 StarkWare 技術的潛力。雖然這犧牲了以太坊的網路效應,但 Cairo 自身的網路效應似乎已經達到了臨界規模。

此外,還有團隊在 Solidity 和 Cairo 之間構建開發者中間件橋梁,比如 Kakarot。這有助於降低開發者的遷移成本。

4. 智能合約錢包與 L2 的結合

智能合約錢包(SCW)和"帳戶抽象(AA)"在很大程度上是同義詞。目前大多數人使用的是外部擁有帳戶(EOA)錢包,如 Ledger、Metamask 等。

而智能合約錢包具有圖靈完備的特性,可以將軟件注入錢包中。這將爲加密貨幣帶來巨大的用戶體驗升級,消除許多使用困難。

ZK Rollups 似乎是智能合約錢包創新的前沿。這是因爲像 Optimism 和 Arbitrum 這樣的樂觀 Rollups 試圖完全模仿以太坊,而以太坊目前還沒有啓用帳戶抽象。

長遠來看,智能合約錢包的普及可能會按照 ZK-Rollups → 樂觀 Rollups → 以太坊 L1 的路徑發展。L2 可以比 L1 更快地適應和創新,爲帳戶抽象等新特性提供生產級測試網。

5. ZK-Rollups 實際上並不使用零知識證明

這是一個容易被忽視的有趣事實。ZKP 專門用於隱藏信息,而大多數"zk-rollups"實際上只是有效性 Rollups,並不隱藏信息。

ZKP 既是一種有效性證明,也可以隱藏信息。但大多數 ZK Rollups 只使用了其中的有效性證明部分,而沒有利用隱私保護功能。這是一個值得注意的細微差別。