原文:《 5 Things I Learned at StarkWare Sessions 》by David Hoffman

編譯:DeFi之道

我一直想去參加StarkWare 會議,因為我對StarkWare 生態系統的理解不如對以太坊的其他部分那麼深。

這應該是有道理的,因為構成Stark 世界的許多組成部分都是定制的, 例如,Starknet 有自己的自定義開發者語言Cairo ,以及自己的自定義虛擬機CairoVM。

這將以太坊和Starknet 開發者社區分割開來,與其他L2 相比,這兩個網絡之間形成了更大的鴻溝。

BanklessDAO創始人:分享我在Starknet上學到的5件事以下是我想學習的內容:

  • 他們為什麼要這麼做?定制的開發環境能帶來什麼好處?這會給開發人員帶來多大的摩擦? Cairo 帶來的好處,是否超過了失去以太坊網絡效應的成本?
  • Starknet 呢?社區對Starknet 有多少所有權?社區如何在Starknet 治理中發出自己的聲音?
  • 正在建造什麼?什麼樣的團隊在Starknet 上構建什麼樣的東西? Starknet 把他們帶到了哪裡?

我所有的問題都得到回答了嗎?

是的,還有更多。

我沒想到Starknet 社區的文化會如此強大,很明顯,我們正在親眼目睹Starknet 網絡狀態的蓬勃發展,儘管它還很年輕。

Starknet 是一個嬰兒,它仍在努力學會站起來,更不用說走路了。但是,我從Starknet 社區感受到的能量以及主人翁精神,讓我對這個年輕的生態系統感到樂觀。

我在StarkWare 會議上進行的9 次訪談,正在由Bankless 播客團隊(PodSquard✊)處理,並將在RSS 和YouTube 上批量發布。

本文直接引用並嵌入了一些採訪! ?

話不多說,以下是我在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 的混亂中忘記了這個有趣的事實。

BanklessDAO創始人:分享我在Starknet上學到的5件事 ZKP 專門用於隱藏知識,任何ZKP 也是一種有效性證明,但ZKP 也會在整個過程中隱藏信息。

而大多數“zk-rollups” 實際上是有效性Rollups ¯\_(ツ)_/¯