文/David Hoffman,譯/金色財經xiaozou
之所以想去參加StarkWare大會,是因為我對StarkWare生態的了解不如其他以太坊生態。
多了解下應該是必要的,因為構成Stark世界的大部分內容都是定制化的,以取代其他照搬以太坊的L2。例如,Starknet擁有自己的自定義開發語言Cairo和自定義虛擬機Cairo-VM。
這將以太坊和Starknet開發者社區分割開來,與其他L2相比,這兩個網絡之間有了更大的鴻溝。
我想知道的是:
-
他們為什麼要這樣做?定制開發環境帶來了什麼益處?給開發者帶來了多大的阻力? Cairo帶來的好處是否超過了犧牲以太坊網絡效應的代價?
-
Starknnet怎麼樣?社區覺得對Starknet的所有權有多大?社區如何在Starknet治理中發聲(所有權)?
-
正在建設的項目是什麼?什麼樣的團隊正在Starknet上建設什麼樣的內容? Starknet吸引他們的是什麼?
我得到所有答案了嗎?
是的,而且收穫大大超過預期。
下面是一些簡單定義:
StarkWare:由Uri Kolodny和Eli Ben-Sasson創立的中心化商業實體,專注於開發STARK-proof技術(即,擴展)。
Starknet:由StarkWare和Starknet基金會創建的志向宏偉的去中心化網絡,使用STARKs技術及構成區塊鏈的其他組件。
我沒想到Starknet的社區文化如此強大。很明顯,我們正在見證一個網絡帝國在我們眼前生長開花,儘管它還非常非常年輕。
Starknet就像個嬰孩兒,它還在努力學習站立,更不用說走路了。但我從Starknet社區感受到的能量和所有權讓我樂觀地認為,未來的管理者將成長壯大,共同支持這個年輕的生態系統增長,而且我還感到自豪,這樣的事情在加密世界竟是可能的。
我在StarkWare大會上進行了9次採訪,採訪內容正在由Bankless Podcast團隊(PodSquad)處理,將在RSS feeds和YouTube上批量發布。
在Bankless,以一種有趣而易懂的形式為你帶來加密貨幣的前沿內容是我們的工作。我在世界各地飛,與很酷很有趣的人交談,並將這些對話內容帶回來,幫助Bankless Nation讀者跟上加密前沿的腳步。
如果你對我在StarkWare大會上的經歷還有什麼要問的,請隨時在Bankless Nation Discord上問我!這是作為Bankless Nation公民的眾多特權之一;你可以直接與我及其他團隊成員溝通。
話不多說,以下是我在StarkWare 會議上學到的五件事:
1、Starknet 工作狀態 ?
週六早上,我降落在以色列特拉維夫,放下行李之後,我走進了Hacker House,在活動前的幾天裡,數百名開發者在那裡住宿、吃飯,並通過無線網絡上網。
我看著開發人員向其他開發人員展示他們的小工具,這讓我有機會了解他們正在建設的項目。
我到達後不久,Starknet 基金會的兩名成員主持了一次“治理研討會”,也就是大家圍成一圈,然後介紹Starknet 社區治理的現狀。基金會“成員”這個標籤可能有些太強了,因為他們看起來更像社區志願者,他們決定承擔Starknet 開發人員和Starknet 基金會之間聯絡的挑戰。
聽完研討會,很明顯的感覺是,我們正處於Starknet 治理的早期階段。我們正在看著一個嬰兒出生,它正在學習如何發出聲音,它正在弄清楚如何站起來。很酷的是,Starknet 似乎有大量的開發人員,他們似乎參與其中並有興趣成為該過程的一部分。
目前看來,Starknet 治理組織主要是協議開發人員(也許是Starknet 的“核心開發人員”),而Cairo 開發人員社區擁有強大但少數的存在(目前)。
在與開發人員一起閒逛時,我感受到了一種“這是我們的網絡”的氛圍。我認為Starknet 的一些開發者正在慢慢意識到“我可以擁有我正在構建的東西”。樂觀情緒和興奮情緒都很豐富,但我也會有一些擔心。
Starknet 的最終目標是成為一個完全去中心化和社區運營的機器,然而Starknet 社區本身仍處於起步階段,有很多事情需要去做。
儘管如此,這個crypto 社區並沒有在挑戰面前退縮,而且解決方案並不需要同時出現。 Starknet 社區似乎準備好響應號召?
2. Starknet 很大程度上獨立於以太坊?♂️
如果你在以太坊生態有一段時間了,你可能已經註意到StarkWare 和更大的以太坊生態系統之間存在非常大的鴻溝。
從技術角度來看,這應該是有道理的。 Starknet 在很大程度上是獨立於以太坊的一項技術,它實際上只是將以太坊用作一個數據層(儘管Starknet 也可以與以太坊資產組合)。
從理論上講,你可以在任何L1 上部署Starknet,因為StarkWare 已經構建了一種自我優化的技術。
這以各種方式引發了一些ETH 最大主義者的不滿,我承認我過去曾有過這種想法:“你怎麼敢不使用EVM!?”,更不用說他們選擇了一些可能有問題的投資者(3AC、Alameda、Multicoin)。
我知道我有這種偏見,所以我想藉此機會參加這次活動,從StarkWare 的角度來看待這個問題。
甚至在來到特拉維夫之前,我就听到了StarkWare 與生態系統開發人員接觸的許多積極的事情——反饋的共同主題是,開發人員覺得StarkWare 聽到了關於Cairo 和Starknet 的開發選擇。
很明顯,選擇擺脫以太坊的網絡效應,並建立一個自下而上、自我優化的生態系統是正確的選擇。在詳細了解了Cairo 的選擇以及Uri 和Eli 開創的技術之後,所有的邏輯都匯集在一起了。
SNARKs 和STARKs 是非常棒的技術,它們各自最好的版本都值得被表達。 StarkWare 似乎在充分實現這些技術方面走得最遠。
我看著Eli 和Uri 在StarkWare 會議開始時做了開場白,之後有機會採訪了他們。這兩位數學和密碼學先驅已經成為了世界建設者。
你可以在這裡收聽我對Eli 和Uri 的採訪:
3. Cairo 的負擔可能沒有我想像中那麼重 ?
我知道自己作為一個EVM 最大主義者所具有的偏見,所以我想利用StarkWare 會議來檢查我對Cairo 開發者體驗的理解。
什麼是Cairo ? Cairo 是為StarkWare 生態系統定制的一種編程語言。
我注意到的一個主題是StarkWare 生態系統已針對自身進行了優化,而其他L2 則是針對以太坊進行了優化。 StarkWare 和Starknet 的精神是,Starknet 希望成為自己最好的版本,這包括從頭開始構建一種編碼語言,以最大限度地實現StarkWare 技術的最佳表達。
雖然這犧牲了獲取以太坊網絡效應的能力,但仍然很難反駁這種設計選擇,尤其是現在,很明顯,Cairo 自己的網絡效應已經達到了逃逸速度(很可能很久以前就已經達到了)。
此外,還有團隊在Solidity<>Cairo 這兩個系統之間構建了開發者中間件橋樑,比如Kakarot。
遺憾的是,我沒能採訪Kakarot 團隊(我不確定我在這裡會有多大用處?),但他們在活動上做了一個演示,上傳後你可以觀看。
4、智能合約錢包+ L2
智能合約錢包(SCW) 和“賬戶抽象(AA)”在很大程度上是同義詞。每個人都同意:賬戶抽像是crypto 中發現的眾多糟糕的名字之一,另一個糟糕的名字是“EOA:外部擁有賬戶”,後者也是智能合約錢包所沒有的錢包類型。
以太坊上的所有錢包都屬於這兩種類型之一:EOA 或智能合約錢包(SCW)。
而我們大部分人使用的是EOA 錢包,這包括Ledger、Metamask、Phantom、Coinbase 錢包……目前人們使用的crypto 錢包中,約有99% 是EOA 錢包。
那什麼是智能合約錢包?賬戶抽象的力量(使SCW 得以存在的力量)難以表達,它的潛力是無限的。 EOA 之於比特幣,就像SCW 之於以太坊。
你的Ledger、Metamask 或你可能使用的任何EOA 都是一個愚蠢的錢包,它只做一件事,那就是簽名信息。而智能合約錢包(SCW)是圖靈完備的錢包。就像以太坊如何讓我們將金錢和軟件結合起來一樣,賬戶抽像也讓我們將軟件注入我們的錢包。
智能合約錢包(SCW)將為crypto 帶來的用戶體驗升級,將消除很多使crypto 錢包變得困難和不直觀的因素。賬戶抽象解鎖了一個全新的設計景觀,這本身就是它自己的零到一的時刻。
在StarkWare 會議上,有兩隻主要的智能合約錢包(SCW) 團隊:
-
Argent X
-
Braavos
我是L1 Argent 應用的早期超級用戶,但當以太坊的低gas 費用模式在2019 年底結束後,L1 的智能合約錢包就無法正常工作了。
為什麼?想像一下,以太坊在2021 年最糟糕的情況——高昂的gas 費,失敗的鑄造,令人困惑的用戶體驗。
那是因為以太坊沒有在L1 啟用賬戶抽象。
Yoav Wiess 是以太坊基金會的一名安全研究員,他一直領導ERC-4337 背後的工作,該標準旨在將帳戶抽象引入以太坊L1。
為了了解賬戶抽像以及智能合約錢包(SCW),我鼓勵你觀看下面我對Yoav 的採訪!
與此同時,長期以來智能合約錢包(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 生成生產級測試網。你可以在此處閱讀有關此現象的更多信息。
如果你想听Braavos 的創始人兼首席執行官談論Starknet 上的智能合約錢包(SCW),請查看下面我對他的採訪。
5、ZK-Rollups 並沒有使用零知識證明 ?
是的。
我記得很久以前學過這個知識點,但後來在crypto 的混亂中忘記了這個有趣的事實。
ZKP 專門用於隱藏知識,任何ZKP 也是一種有效性證明,但ZKP 也會在整個過程中隱藏信息。
而大多數“zk-rollups” 實際上是有效性Rollups ¯\_(ツ)_/¯