從StarkWare會議中學到的5件事

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

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

1. Starknet的發展狀況

Starknet目前還處於早期階段,正在學習如何發展和治理。雖然還很年輕,但Starknet社區卻展現出強大的文化和主人翁精神,這讓人對這個生態系統感到樂觀。

目前Starknet的治理主要由協議開發者和Cairo開發者社區組成。開發者們似乎對參與治理過程很感興趣,但整體治理結構還在起步階段。Starknet的最終目標是成爲一個完全去中心化和社區運營的網路,雖然還有很長的路要走,但社區似乎已經準備好迎接挑戰。

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

從技術角度來看,Starknet在很大程度上獨立於以太坊,只是將以太坊用作數據層。理論上Starknet可以部署在任何L1上,因爲StarkWare已經構建了一種自我優化的技術。

選擇擺脫以太坊的網路效應,建立一個自下而上、自我優化的生態系統是正確的選擇。SNARKs和STARKs都是出色的技術,StarkWare似乎在充分實現這些技術方面走得最遠。

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

Cairo是爲StarkWare生態系統定制的編程語言。雖然這犧牲了獲取以太坊網路效應的能力,但很難否認這種設計選擇的合理性,特別是現在Cairo自己的網路效應已經達到了臨界點。

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

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

智能合約錢包(SCW)和帳戶抽象(AA)在很大程度上是同義詞。SCW將爲加密貨幣帶來巨大的用戶體驗升級,消除很多使加密錢包變得困難和不直觀的因素。

長期以來,SCW創新的前沿一直在L2上,特別是ZK Rollups。與Optimistic Rollups相比,ZK Rollups更容易實現帳戶抽象。總的來說,SCW的普及將沿着ZK-Rollups、Optimistic Rollups、以太坊L1的方向推進。

5. ZK-Rollups並沒有使用零知識證明

這是一個有趣的事實 - 大多數所謂的"zk-rollups"實際上是有效性Rollups。ZKP專門用於隱藏知識,而有效性證明則不隱藏信息。這種區別對於理解不同類型的L2擴展解決方案很重要。