本文源自錄音內容整理,由 a16z crypto 與 Solana Labs 共同創辦人、執行長 Anatoly Yakovenko 對話,談談為什麼 Solana 沒有成為 EVM 公鏈,本文源自 Podcast 《
Debating Blockchain Architectures (with Solana)
》,由
ChainCatcher
編譯、整理。
(前情提要:
MetaMask錢包推出Snaps:可兼容非EVM區塊鏈 Solana、Cosmos、Starknet..
)
(背景補充:
Visa正通過Solana進行USDC支付,推動信用卡加密貨幣付款
)
本文目錄
概要
去中心化計算的終極目標
Solana 的構建理念
Solana 與以太坊
區塊空間與未來
區塊鏈的未來採用
社群與開發
生態系統與人才招募
去中心化計算的終極目標
Solana 背後的理念
Solana 與以太坊的異同
區塊鏈的未來發展
Web3 社群與開發
Web3 初創公司人才招募
a16z crypto :首先,我想知道你如何看待去去中心化計算的終極目標?如何看待區塊鏈架構?
Anatoly Yakovenko :我的立場比較極端。我認為,結算將變得越來越不重要,就像在傳統金融中一樣。你仍然需要有人提供擔保,但這些擔保可以通過許多不同的方式實現。我認為對世界真正有價值的,是擁有全球分佈、全球同步的同步狀態,這也是真正的難點。你可以把它想像成 Google Spanner 對Google的作用,或者納斯達克對金融市場的作用。
從巨集觀看,區塊鏈系統無需許可權、可程式設計、高度開放,但是在堆疊的後背仍舊是某種市場。對所有這些市場來說,儘可能以接近光速的速度實現全球完全同步是非常有價值的,因為這樣每個人都可以以此為參考。你仍然可以經營本地市場,但是,如果能有快速同步全球價格,那麼全球金融都會變得更有效率。我認為這就是區塊鏈的終極目標,以光速同步儘可能多的狀態。
a16z crypto :假如加密貨幣與區塊鏈獲得主流採用,到那時,區塊鏈上活動的最大驅動力會是什麼?
Anatoly Yakovenko :我認為形態還是會和 Web2 十分類似,但是會更加透明,實現了長尾分佈的願景 —— 網際網路上會有各種各樣規模較小的公司,它們能夠掌控自己的資料,而不是像現在一樣,幾家獨大(雖然這些大型公司做的事情也很偉大)我認為,從長遠來看,創作者應該擁有更多的控制權、更多的自主出版權,能夠實現真正意義的網際網路,擁有廣泛的分部和市場。
a16z crypto :另一種思考或者提出這個問題的角度其實是如何進行權衡。你說你認為結算在未來會變得不那麼重要。我很好奇,Solana 作為大量全球商業、特別是金融活動的發生地,對於你剛才所談到的最終目標上,能夠如何加速實現這一目標者或對此進行補充呢?
Anatoly Yakovenko :Solana 系統不是作為價值儲存設計的,它實際上對網路故障的容忍度是很低的,它是在儘可能快地使用網際網路上的所有可用資源。實際上,它依賴的是世界上大部分自由的跨境通訊和金融。它和可以用來緊急避難的代幣(bunker coin)不一樣,當然我認為,世界上也需要當地緣政治衝突發生時,仍能夠生存下去的 bunker coin。
不過樂觀來看,世界上的事物之間的聯絡越來越緊密。我認為我們會看到我們之間的萬兆連線。在那個世界裡,你將擁有一個完全互聯的世界。我認為,這種全球同步的狀態機可以吸收很多執行方面的內容。
從經驗看,結算在會很多地方都可以發生,因為結算很容易保證。再次強調,我採取這一立場是為了討論。自 2017 年以來,我們見證了數以百計各類的隱私網路,比如從設計來看就有許多不同的例項。我們基本上看到是沒有投票演算法(Quorum)故障的,因為結算是比較容易實現的,一旦你在 21 個去中心化的參與方之間建立了複雜的拜占庭容錯機制,你就不會看到結算失敗。其他的延伸問題我們其實也都解決了。從經驗看,Tendermint 十分可行,儘管前期我們經歷了 Luna 大崩盤,但是出現的問題地方也不是投票演算法機制。
我認為,在安全、資源和工程方面,我們在結算方面的支出過高,而在研究和執行方面的支出卻遠遠不夠,而這正是大部分金融業盈利的地方。我個人認為, 如果這些技術要真正影響和觸及全球範圍,就必須在價格、公平性、速度等方面優於傳統金融。這就是我們需要集中精力進行研發和競爭的地方。
a16z crypto :你認為結算是你選擇優化區塊鏈的方面之一。人們可能會為了結算而過度優化區塊鏈,而忽視其他方面,比如說吞吐量、延遲、可組合型,但它們往往與結算的安全性相對立,能否談一談 Solana 的架構?
Anatoly Yakovenko :Solana 架構的任務是以最快的速度將世界各地的資訊同時傳送給網路中的所有參與者。所以不需要分片,沒有複雜的共識協議。我們其實是想把事情做得很簡單。或者說,我們很幸運地解決了一個電腦科學難題,這就是盒子同步(box synchronization,在網路中使用可驗證延遲函式作為時間源)。你可以把它想像成兩個無線電發射塔在相同的時間或相同的頻率下發射訊號,就會產生噪音。人們在開始建設蜂窩網路時想到的第一個協議是,給每個塔配備一個時鐘,讓它們按時間交替發射訊號。
一個比喻是,聯邦通訊委員會就像一輛裝滿惡棍的卡車,如果你的訊號塔不在開放的許可列表網路中同步,他們會開到你的訊號塔前把它關掉。Solana 受啟發使用可驗證的延遲功能來安排區塊生產者,這樣就不會發生碰撞。比如,在比特幣這樣的網路中,如果有兩個區塊生產者同時生產一個區塊,就會產生分叉,這和蜂窩網路中的噪音是一樣的。如果我們能強制所有區塊生產者按時間交替生產,你就能得到一個很好的分時(time division)協議,每個區塊生產者都能按計劃輪流生產,而且他們永遠不會碰撞。因此,分叉永遠不會發生,網路也永遠不會進入嘈雜狀態。
在此之後,我們所做的一切就作業系統和資料庫的操作優化,我們像位元洪流一樣在全球範圍內傳輸資料塊,將編碼塊(ratio coding)傳輸到不同的機器上,實際上,它們最終看起來與資料可用性取樣(data availability sampling)非常相似,並且具有相同的效果。然後它們互相轉發位元,重建區塊,然後進行投票,就這樣不斷地進行著。Solana 的主要設計思路是,我們努力確保網路或程式碼庫的每一個流程在設計時,都只需要更新核心就可以進行拓展。
如果在兩年內,我們每花一美元就能獲得兩倍的核心,我們就可以從對其進行調整,這樣一樣我們現在每個區塊的執行緒(thread)數量是原來的兩倍,或每個區塊的計算量是原來的兩倍。因此,網路就是可以實現兩倍的事情。這一切都會自然而然地發生,無需對架構進行任何改動。
這就是我們真正想要實現的主要目標,這是以我的經驗為基礎的。從 2003 年到 2014 年,我一直在高通工作。我們每年都能看到移動終端硬體和架構的改進。如果你在編寫軟體時沒有考慮到下一年可以在不需重新書寫的情況下對軟體進行拓展,那麼作為一名工程師,你是很不合格的。因為你的裝置在規模上會快速擴張,為了利用這個優勢,你不得不重寫程式碼。
所以,如果你真的需要提前思考,你所構建的一切只會發展越來越快。在我的工程師生涯中,最大的學習經歷就是,你可以選擇精心設計的演算法,但它可能是錯誤的,因為隨著硬體規模的擴大,使用這種演算法的好處變得微乎其微,現在實現它的複雜性就像是在浪費時間。所以,如果你能只做非常簡單的事情,並且只需要拓展核心,那麼你實際上可能已經能實現 95% 的事情。
a16z crypto :將歷史證明(proof of history)作為一種跨驗證者同步時間的方式,是非常具有開創性的想法,這也是為什麼 Solana 為什麼和其他共識協議不一樣。
Anatoly Yakovenko :這是阿姆達爾定律中的一個部分,這就是為什麼人們很難在無帳戶、延遲和吞吐量方面複製 Solana ,這是因為經典的共識實現方式都是基於階躍函式的。一整個網路,比如 Tendermint,都必須就當前區塊的內容達成一致,然後才能進入下一個區塊。
蜂窩訊號塔使用一個時間表,你只需傳送訊號就可以了。因為沒有必要使用階躍函式,所以可以快速執行網路,我覺得這就像是一種同步,但我不知道這個詞是否恰當。他們不斷傳輸,永遠不會停止去等待共識執行。我們之所以能做到這一點,是因為我們對時間有嚴格的理解。老實說,我們可以針對冗餘建立一些時鐘同步協議,只是過程可能會非常難。這是個龐大的工程,需要可靠的時鐘同步。
這就是 Solana 的理念。在我開始建立 Solana 之前,我喜歡交易,做經紀人等等,雖然沒有賺到錢。當時 「flash boy」 在傳統金融業盛行。每當我認為我的演算法已經很好時,我的訂單就會晚一點,該訂單需要更長的時間才能進入市場,資料也會來得慢一些。
我認為,如果我們想顛覆金融業,這些開放式商業系統的基本目標就是讓這種情況永遠不可能發生。這個系統是開放的,任何人都可以參與其中。每個人都清楚的知道如何獲得訪問權,如何獲得權利,比如優先權或公平權等。
在物理學允許的範圍內,在工程師們能實現的範圍內,以最快的速度實現這一切,我認為這才是根本問題。如果區塊鏈能夠解決這個問題,就會對世界其他地方產生非常大的影響,全球很多人都會受益。這可能會成為一個基石,然後你就可以用它來顛覆網路上的廣告交易和貨幣化模式等等。
a16z crypto :我認為純粹的延遲和惡意活動之間有一個重要的區別,尤其是在單個狀態機中。也許你可以詳細說明一下你認為哪個更重要以及為什麼。
Anatoly Yakovenko :不可能將整個狀態原子化,因為這意味著整個狀態只有一個正確的全域性鎖(global right lock)而意味著一個非常慢的排序系統。因此,你需要對狀態進行原子訪問,而且需要保證這一點。如果你不知道它對你的计算会带来什么副作用?很难构建能够操作非原子状态的远程状态的软件。因此,这种想法就像提交一个事务,要么全部执行,要么完全失败,没有任何副作用。这正是这些电脑必须具备的特性之一。否则,我认为不可能为它们编写可靠的软件。你根本无法构建任何可靠的逻辑或者财务上可靠的逻辑。
你也许能构建出能保持一致的系统,但我认为,那是另一种软件。所以,在维持系统原子态和效能之间,总是存在着一种紧张关系。因为如果你保证了这一点,最终就意味着你在任何时刻都要在全球范围内选择一个特定的写入者来处理状态的特定部分。而要解决这个问题,就需要你有一个单一的序列器,并对这些事件进行线性化处理。这就创造了可以提取价值和提高系统公平性的点。我认为,要解决这些问题确实很难,不仅Solana面临这些难题,以太坊、闪电机器人也面临这些问题。
A16z crypto: 其中一个经常被争论的问题,尤其是在以太坊社群,就是执行的可验证性,对于用户来说非常重要,因为他们没有非常强大的机器来验证网络中的活动,你是怎么看的?
Anatoly Yakovenko: 我认为这两个系统的最终目标非常相似。如果你看一下以太坊路线图的目标,你就会发现,它的理念是,整体网络带宽大于任何单个节点,该网络已经在计算或处理比任何单个单独节点都要多的事件。你必须考虑到这样一个系统的安全因素。也有释出欺诈证明的协议、抽样方案等等,所有这些实际上也适用于Solana。
所以,如果你退后一步看,其实并没有什么不同。你有一个像黑盒一样的系统,它创造了如此多的带宽,对一个随机使用者来说不太实用。因此,他们需要依靠取样技术来保证数据的真实性。就像非常强大的流言网络一样,能向所有客户端传播欺诈证明等。Solana和以太坊之间保证的事情是一样的。我认为,两者的主要区别在于,以太坊在很大程度上受制于自己是全球货币的叙事,尤其是与比特币作为储值货币进行竞争的叙事。
我认为,让用户可以拥有非常小的节点是有一定道理的。即使他们只是部分参与网络,而不是让网络全部由专业人员执行。老实说,我认为这是一个公平的优化方案,比如,如果你不关心执行,只关心结算,为什么不把节点要求降到最低,让人们部分参与网络活动呢?我不认为这样做能为世界上绝大多数的用户提供服务,但对于一小部分用户来说是有价值的。人創造一個信任最小化或絕對安全的系統,人們仍然要依靠資料可用性取樣和欺詐證明。而使用者要驗證區塊鏈是否做了錯事,只需要執行鏈條上大多數人的簽名即可。
在 Solana 上,單個事務描述了所有接觸過交易的人的行動狀態片段,它執行在任何裝置上,如手機中的瀏覽器,都可以輕鬆執行多數人簽名的單個事務,因為 Solana 上的一切都已提前指定,所以在 Solana 上構建實際上更加容易。像 EVM 或任何智慧合約都可以接觸任何狀態,並在執行過程中在它們之間隨機跳轉。在某種程度上,這幾乎更簡單。但我認為,從很高的層面來看,使用者最終還是要依靠 das 以及欺詐證明。在這一點上,所有的設計都是一樣的。
a16z crypto :我覺得兩者不同之處在於零知識證明和有效性證明,尤其是欺詐證明。你似乎認為 zkEVM 幾乎不可能被審計,而且它們在幾年內都不會發展起來。我想問你,為什麼 Solana 沒有像以太坊一樣優先考慮零知識證明和有效性證明?
延伸閱讀:
Layer2蓄勢待發,裡面有什麼類型的zkEVM?
Anatoly Yakovenko :我認為這裡有兩個挑戰,一個是我們對它們進行優先排序的方式,因為有一家名為 「white protocol」 的公司正在構建針對應用程式的零知識證明。證明時間很快。使用者在與鏈的互動過程中不會注意到它們。
實際上,你可以將它們組合起來。你可以讓一個交易 Solana 呼叫五個不同的 zk 程式。因此,這種環境可以為使用者節省計算資源或為使用者創造隱私,但這並沒有真正驗證整個鏈。我之所以認為很難驗證整條鏈,是因為零知識系統無法很好地處理大量的順序狀態依賴關係,最典型的例子就是 vdf (可驗證延遲函式)。當你試圖證明一個順序 SHA、遞迴 SHA 為 56 時,你就會發現它崩潰了,這是因為執行過程中的排序狀態依賴性極大地增加了系統必須具備的約束條件。而驗證需要很長時間,我不知道這是否是業內最好的結果,我在 twitter 上看到的最新結果是,256 位元組的 SHA 大約需要 60 毫秒。這對一個單擊指令來說是很長的時間。
所以排序計算、經典計算是必要的。而在一個為執行而設計的環境中,有大量的市場,你實際上有很多順序依賴關係(sequential dependencies)。市場非常火爆。每個人都會直接向一對交易提交資料,而圍繞這一對交易的每件事情都取決於這一對交易。因此,像執行一樣,這種順序依賴實際上非常多,這將導致非常漫長的證明系統。
Solana 並不禁止有人用遞迴光的方式執行零知識求證器來求證整個計算,如果可行的話,這也沒問題。但使用者需要的是,在交易時,我的資訊快速被寫入鏈中,而且是微秒或毫秒級的寫入,並且我需要快速獲得狀態和對狀態的一些保證。這才是獲得收益的關鍵。
因此,我認為我們需要解決這個問題,這需要傳統金融的實際競爭力。如果可以實現這一點,那麼你就可以開始研究零知識,並找出我們如何為那些不想驗證鏈條、不想依賴這些事件的使用者提供這些保證,但也許我們至少可以每 24 小時做一次或類似的事情。我認為有兩個不同的用例,首先,我們必須真正解決市場機制問題,然後是其他長尾使用者來說。
a16z crypto :聽起來你的意思是,有效性證明、ZK 證明在結算方面非常出色,但在執行方面並沒有什麼幫助,因為延遲時間太長,而且它們的效能也有待提高。
Anatoly Yakovenko: 到目前為止都是真的。這是我的直覺,原因很簡單,因為鏈越活躍,狀態依賴的熱點就越多。它們不是完全可並行,永遠不會互相對話。只是這是一堆質量很差的程式碼。
a16z crypto :另一個反駁理由可能是,零知識證明在經歷指數級進步的,因為現在這方面的投入很大。也許 5 年後,10 年後,開銷可能會從現在的 1000 倍,降低到更可行的水平。你是硬體工程專業出身,我很想聽聽你的看法讓一個節點進行計算並生成證明,然後將證明分發給其他人,可能比讓每個節點自己進行計算更有效率,你如何看待這一觀點?
Anatoly Yakovenko :這種趨勢對優化程式的零知識系統很有幫助。鏈上發生的事情越來越多。制約因素的數量會越來越多,速度遠超比你增加硬體的速度,然後你就繼續增加硬體了。這是我的直覺。我的感覺是,隨著需求量越來越大,比如鏈上的計算量越來越多,零知識系統要想以低延遲方式跟上就會越來越難。我甚至不確定它是否會百分之百否可行。我認為你很有可能構建出能夠處理超大遞迴批次的系統,但你仍然必須執行經典執行,每秒進行快照。然後,在一個大型並行場(parallel farm)投入一個小時的計算時間,在每個快照之間進行驗證,從這裡開始重新計算,但這需要時間,我認為這是一個挑戰。
我不清楚 ZK 是否能趕上,除非需求趨於平穩,但我認為最終需求會被拉平。假設硬體不斷改進,到某個時候,加密貨幣的需求就會飽和,就像Google每秒的搜尋量在目前可能已經飽和一樣。然後,你就會開始看到這種情況的發生。我認為我們離那個目標還很遠。
a16z crypto :這兩種模式之間的另一大差異就是以太坊以 Rollup 為中心的世界觀,它本質上是一種計算分片、資料可用性分片、頻寬和網路活動分片的模式。因此,可以想像,最終可以實現更大的吞吐量,因為你可以在單個 Rollup 的基礎上幾乎無限地增加 Rollup,但是這意味著在延遲性上妥協。那麼,究竟什麼更重要呢?是線路的整體吞吐量還是訪問延遲?可能兩者都很重要?
Anatoly Yakovenko :我認為最主要的問題是,你有 Rollup 和排序器,人們會從排序器和 Rollup 的構建中榨取價值,在這個系統中,你或多或少都會有一些共同的排序器。他們的操作和 Citadel、Jump、經紀人、交易員等沒有區別,都是路由訂單。這些系統已經存在。這種設計實際上並沒有打破整個壟斷。我認為最好的辦法是,建立一個完全無許可權的商業系統,讓那些中間商無法真正參與其中,並開始攫取全球同步狀態機的價值。
很有可能,它的實際使用成本會更低,因為這就像是建立了一堆不同的小通道(pipe)。
一般來說,任何給定通道的定價都是基於該管道的剩餘容量,而不是基於整體網路容量。很難建立一個完全共享網路頻寬的系統,你可以嘗試像 Rollup 設計那樣,把區塊放到任何可用的地方,但它們都會參與競爭和競價。它不是一個巨大的管道那麼簡單,價格是基於這條鏈式管道的剩餘容量。因為它是一個頻寬聚合源,它的定價會更低,但最終的速度和效能會更高。
a16z crypto :我曾經聽你說過,你並不認為對區塊空間的需求是無限的。你認為當 web3 獲得主流採用時,區塊鏈對區塊空間的需求是否會達到一個平衡點?
Anatoly Yakovenko :試想一下, 如果高通公司的工程師們被告知人們對蜂窩頻寬的需求是無限的,程式碼就是為無限而設計的,這是很荒謬的。
其實是會設計一個目標,能針對這種需求進行設計,比如思考需要多少硬體?我是否需要啟動?最簡單的實現是什麼?部署的價格是多少?等等。我的直覺是,99 .999% 最有價值的交易可能都是都只需要 100,000 TPS 以內,這是我的直覺猜測。而實現 100,000 TPS 的系統實際上是相當可行的,目前的硬體可以實現,Solana 硬體就能做到這一點。我認為 100,000 TPS 的速度就對可能是未來 20 年的區塊鏈空間。
a16z crypto: 會不會是因為區塊空間是如此實惠,人們想用它來做各種各樣的事情,所以對它的需求才會飆升?
Anatoly Yakovenko :但還是存在底價。價格購買必須涵蓋每個驗證器的頻寬成本。就像出口(egress)成本會主導驗證成本一樣。如果你有 1 萬個節點,你大概需要將網路的每位元組使用量定價為正常出口成本的 1 萬倍,但這聽起來很貴。
a16z crypto :所以我想這是個問題,你是否認為在某一時刻,Solana 會達到極限,還是說你認為單體架構已經足夠?
Anatoly Yakovenko :到目前為止,人們之所以做分片,是因為他們建立了比 Solana 寬頻要低得多的系統,因此,他們遇到了容量限制,開始為獲得頻寬而進行競標,這已經大大超出出口成本。以一萬個節點的出口成本為例,我上次看價格對 Solana 的驗證者來說每兆位元組出口成本應該為 1 美元,這是一個底價,你不能用它來播放視訊。但它的價格很低,你可以用它來搜尋,你基本上可以讓每一次搜尋都放到鏈上,然後從你的搜尋引擎得到結果。
a16z crypto :我認為這其實是一個有趣的觀點,因為我們在Podcast開始時就提出了 「區塊鏈拓展的終極目標是什麼 」 的問題,這意味著區塊鏈的擴容性是最重要的問題。
Chris 以前也用過這樣的比喻,過去十年中人工智慧的進步很大程度上歸功於更好的硬體,這才是真正的關鍵。所在我認為,我們談論區塊鏈的擴容性,也是出於同樣的目的,如果我們能像實現 TPS 的大幅度增長,一切就都能正常運行了。但一個有趣的反對觀點是, 以太坊每秒可以完成 12 次交易, 而一個以太坊本身的吞吐量仍然比任何一個單獨的 L 2 大,收取比較高昂的手續費。在 Solana 上,很多簡單的轉帳交易費用很低。當我們談論這個問題時,通常會得出這樣的結論,如果我們的吞吐量達到下一個數量級,就會出現很多我們現在無法推理或思考的新應用。在某種程度上,過去幾年中,Solana 一直是構建應用的地方,很多東西都和以太坊為基礎上構建的事物十分類似。
你認為,更高的吞吐量或更低的延遲會釋放出眾多全新應用?還是未來 10 年內區塊鏈上構建的大多數東西都會與我們已經提出的設計非常相似?
Anatoly Yakovenko :實際上,我認為大多數應用都會很相似。最難破解的是,如何建立商業模式,比如如何應用這些新工具?我認為我們已經發現了這些工具。
以太坊交易之所以如此昂貴,是因為它的狀態非常有價值,當你有了這個狀態,任何人都可以寫入它,他們就會建立起經濟上的機會成本,讓他們成為第一個寫入這個狀態的人,而這一切都有效地激增了費用。這就是在以太坊上產生有價值的交易費用的原因。 為了實現這一點,很多應用都需要建立這種有價值的狀態,讓人們願意不斷寫入,讓人們開始競相擡高費用.
a16z crypto :我在這裡提出一個反駁意見。我認為,我們很容易低估整個領域開發者和企業家的創造力。實際上,如果你回顧歷史,比如從上世紀 90 年代開始的第一波網路和網際網路浪潮,我們花了很長時間才真正開發出有趣應用的主要驅動力。而以加密貨幣為例,從 2014 年左右的以太坊開始,我們才真正有了可程式設計的區塊鏈,像 Solana 這樣的東西才真正存在了 4 年左右,人們探索設計的時間其實並不長。
事實是,這個領域的開發者數量仍然極少。比如,知道如何編寫智慧合約、真正理解區塊鏈作為電腦的前景的開發者,我們大概有幾萬人。因此,我覺得在區塊鏈上開發有趣的想法還為時尚早。它所創造的設計空間是如此廣闊,以至於我猜想我們會對人們未來創造出的東西而大吃一驚。它們可能不僅僅是與交易、市場或金融有關的東西。它們可能會以共享資料結構的形式出現,這些資料結構非常有價值,但扮演的角色本質上與金融無關。
去中心化的社交網路就是一個很好的例子,在這個網路中,社交圖譜作為一種公共產品被放在鏈上,這使得其他各種企業家和技術開發人員可以在此基礎上進行開發。由於社交圖譜位於區塊鏈上,而且是開放的,所有開發者都可以訪問,因此社交圖譜成為區塊鏈維護的非常有價值的狀態。你可以想像人們出於各種原因想要釋出大量的交易,比如即時更新這個資料結構。如果這些交易足夠便宜,我想開發人員一定會想出辦法來利用它們。
從歷史上看,每當電腦速度變快時。開發者們就會想辦法利用額外的計算能力來改進他們的應用。我們的計算能力從來都不夠用。人們總是想要更多算力,我認為區塊鏈電腦也會出現同樣的情況。而且不會有上限,也許上限並非無限,但我認為對區塊空間需求的上限一定比我們想像的要高得多。
Anatoly Yakovenko :但反過來說,網際網路的用例其實很早就被發現了,比如搜尋、社交圖譜和電子商務也很早就被發現了,應該是在 90 年代。
a16z crypto :有一些事情很難預測。比如說,共享單車是很難預測的。實際上,搜尋最終所採取的形式也是很難預測的,我在社交網路中廣泛使用流媒體視訊之類的東西,在一開始也是不可想像的。
我想,就像在這裡一樣,我們可以想到人們可能會在區塊鏈上構建的一些應用。但鑑於目前的限制和基礎設施的限制,其中一些應用感覺是不可能想像出來的。一旦這些限制被解除,一旦有更多的人進入這個領域進行構建,我們就可以進行暢想,未來就可能會出現很多重量級應用。因此,如果我們讓其自由發展,我們可能會驚訝於它會變得如此之強大。
Anatoly Yakovenko :有一個有趣的紙牌遊戲叫 「點炸彈」(dot bomb),遊戲的目的是儘可能慢地輸錢,你實際上贏不了錢,也賺不到錢。你經營的是一群不同的初創公司,使用 90 年代的網際網路創意。無一例外的是,每一個所謂的糟糕點子,比如線上雜貨配送和線上寵物店,都在 2010 年之後的某個時候成為了至少 10 億美元的生意。因此,我認為很多想法一開始可能很糟糕,或者在最初的實施過程中失敗了,但最終都會在未來得到很好的採用。
a16z crypto :那麼問題來了,你認為區塊鏈從目前的應用到成為網際網路主流的關鍵是什麼?如果不是可擴充套件性,那就是其他阻礙因素,比如文化對區塊鏈的接受度問題?是隱私問題?是使用者體驗?
Anatoly Yakovenko :這讓我想起網際網路上的發展歷史,我還記得整個體驗是如何轉變的,在我上大學之後,我有了電子郵件地址,每個工作的人都有了電子郵件地址,我開始收到一些連結,包含各種內容,然後網路使用者體驗變得更好了,比如,Hotmail 出世,Facebook 也發展起來。
正因為如此,人們的思維發生了轉變,他們明白了什麼是網路。最初,人們甚至很難理解什麼是 url,點選某個東西意味著什麼?進入伺服器是什麼意思?我們在自監管方面也有同樣的問題,需要讓人們真正理解這些概念,比如助記詞是什麼意思?錢包和交易是什麼意思?人們的思想需要轉變,而這種轉變正在慢慢發生。我認為,每個最終購買加密貨幣並存入自己自監管錢包的使用者,一旦有了這種經歷,他們就會明白這一點。不過到目前為止,不是很多人都有這樣的經歷。
a16z crypto : 你們造了一部手機。或許你們可以告訴我們,製造手機的靈感來自哪裡,以及你們認為目前的推廣情況如何?
延伸閱讀:
Solana手機Saga六折出清!原價1,000美元沒買氣:599拿走
Anatoly Yakovenko :我在高通的經歷讓我意識到,這是一個存在侷限的問題,我們可以解決它,而且它不會讓整個公司轉向手機業務。 所以這對我們來說這是一個邊際成本很低的機會,可能會改變加密貨幣或移動行業。
這是一件值得做的事。我們與一家公司合作製造了一款裝置,當我們與他們合作推出加密貨幣的特定功能時,我們從人們和開發者那裡得到了非常棒的評價,認為它就像應用商店的替代品一樣。不過一切都是未知數,比如巨集觀條件下加密貨幣的應用是否如此引人注目,以至於人們願意從 iOS 轉向安卓?有些人願意,但還不是很多。推出一款裝置非常困難。基本上,在三星、蘋果之外推出的每款裝置都以失敗告終,究其原因,是因為三星和蘋果的生產流水線已經得到了很好的優化,任何一家新創公司在硬體上與這些巨頭公司相比都是非常落後的。
所以, 你需要有一些像 「宗教」 一樣的理由讓人們轉變, 也許加密貨幣就是那個理由。我們還沒有證明這一點,但也沒有推翻這一點。就像我們還沒有看到一個突破性的使用案例,在這個案例中,自監管就像是人們需要的關鍵功能,他們願意改變自己的行為。
a16z crypto :你是為數不多的既能構建硬體又能構建去中心化網路的創辦人之一。去中心化協議或網路通常被比作構建硬體,因為它非常複雜,你認為這個比喻成立嗎?
Anatoly Yakovenko :像我之前在高通工作一樣。硬體出問題的話,會帶來很多的問題,比如,如果一盤磁帶壞了,公司每天要花費數千萬美元進行修復,這可能是災難性的。而在軟體公司,你仍然可以快速地發現問題,你可以對軟體進行 24 小時更新,這就會更容易些。
a16z crypto :Solana 在建立自己的社群方面做得非常出色,擁有一個非常強大的社群。我很好奇,你們在建立公司、建立生態系統時,採取了哪些方法?
Anatoly Yakovenko: 可以說,這裡面有一點運氣的成分。我們從 2018 年開始仍是 Solana Lab,當時正值上一個週期的尾聲。而我們的很多競爭對手實際上比我們多籌了好幾倍的資金。當時我們的團隊很小。我們沒有足夠的資金去構建和優化 cdm,我們構建了一個執行時間(runtime),我們認為可以展示這一關鍵功能 —— 即擴容且不受限制的區塊鏈,不會受到節點數量、嚴重延遲的影響。我們真的很想在這三個方面都有所突破。
當時我們只專注於構建這個快速的網路 ,而沒有管太多其他的方面。其實當網路推出時,我們只有非常簡陋的資源管理器和命令列錢包,但網路速度非常快。這也是吸引開發者的關鍵所在,因為當時沒有任何其他快速、廉價的網路可以作為取代,也沒有任何可程式設計的網路可以提供這樣的速度、延遲和吞吐量。
這其實也是為什麼開發人員能夠發展起來的原因。因為當時很多人無法複製和貼上 solidity 程式碼,所以這就是一切從頭開始。從零開始的構建過程實際上就是工程師的入門過程。比如,如果你能在堆疊 a 和堆疊 b 中構建你所習慣的基元,你就能從頭到尾地學習堆疊 b。如果你可以接受一定的取捨,你就可能成為它的擁護者。
如果我們有更多的資金,我們當時可能會犯一個錯誤,那就是試圖構建 EVM 相容性,但事實上,我們工程時間有限,這就迫使我們只優先考慮最重要的事情,那就是這臺狀態機的效能。
我的直覺是,如果我們能解除對開發者的限制,給他們一個非常大、非常快、成本低的網路,他們就能解除對自己的束縛。而這確實已經發生了,令人驚訝和讚歎。我不確定如果時機不對,比如當時巨集觀環境不對,我們是否還會取得成功。我們是在 3 月 12 日宣佈的,然後 3 月 16 日股市和加密貨幣市場都崩盤了 70%。我想那 3 天的時機可能救了我們。
a16z crypto :這裡的另一個重要因素是如何贏得開發人員?
Anatoly Yakovenko :這有點違反直覺,你必須先用咬碎玻璃來構建你的第一個程式,這需要人們真正投入時間,我們稱之為 「嚼玻璃」(chew glass)。
不是所有的人都會這麼做,但一旦有足夠多的人這樣做了,他們就會建立庫和工具,使下一個開發者更容易地進行開發。對於開發者來說,這樣做實際上是一種令人自豪的事情,自然而然庫會建立起來,軟體自然會擴充套件。我認為這是我們真正想讓開發者社群去構建和咀嚼的東西,因為這真正讓那些人擁有它,真正讓他們感覺他們擁有生態系統的真正所有權。我們嘗試解決他們無法解決的問題,比如長期協議問題。
我認為這就是這種精神的來源,你願意嚼玻璃,因為你從中得到了回報,你獲得了生態系統的所有權。我們能夠專注於使協議更便宜、更快速、更可靠的網路。
a16z crypto :你對開發者的體驗有什麼看法,以及程式語言在該領域獲得更多主流應用後將扮演什麼角色。要融入這個領域、學習如何使用這些工具、學習如何思考是相當困難的。
在新模式下,程式語言可能會在這方面發揮重要作用,因為智慧合約的安全性已成為該領域工程師必須完成的重要工作。這其中的風險非常大。在理想情況下,我們最終會看到這樣一個世界:程式語言通過工具為你提供的幫助比現在要多得多,比如形式驗證(formal verification)、編譯器、自動化工具,這些工具能讓你確定你的程式碼是否正確。
Anatoly Yakovenko :我認為,形式驗證對所有 Defi 應用都是必要的。很多創新都是在這裡發生的,比如建立新的市場,這些都是駭客威脅最大的地方,這些才是真正需要形式驗證和類似工具的地方。
我認為,還有很多其他應用都在快速向單一節點實現靠攏,並在效果上變得可信。一旦你能為某類問題建立一個單一的標準,這比一個新創公司建立一個新的 Defi 協議要容易得多,因為之前沒有人編過這種程式碼,所以必須要去承受大量的實施風險,然後讓人們相信它,並把錢放在這個協議裡冒險。這就是你需要所有工具的地方。形式化驗證、編譯器、 move 語言等等。
a16z crypto :程式設計世界正在以一種非常有趣的方式發生變化,因為過去大多數程式設計都是傳統的指令式程式設計,類似於 javascript。而且當你編寫一些程式碼時,它很可能是不正確的,而且會被破壞,然後你再修復它。
但是,越來越多的應用程式是對任務很關鍵的,對於這些應用程式,你需要一種截然不同的程式設計方式,這種模式能更好地保證你編寫的程式碼正確。另一方面,還有另一種程式設計正在興起,那就是機器學習,比如使用資料來合成程式。而這兩件事都在吞食著指令式程式設計的原始形式。世界上普通的 javascript 程式碼會越來越少。機器學習演算法根據資料編寫的程式碼會越來越多。會有更多的程式碼是通過更正規的技術編寫的,這些技術看起來更像數學和形式驗證。
Anatoly Yakovenko :是的,我甚至可以想像,在某些時候,證明者(verifier)優化智慧合約語言,然後告訴 LLM 把它翻譯成 solidity 或其他 Solana 錨(anchor)。兩年前,人們可能還不會相信,但在 Gpt 4 上,已經出現了非常多的階躍功能。
a16z crypto :我喜歡這個想法。你可以用一個 LLM 來生成滿足某些形式化驗證工具要求的程式規範。然後,你可以要求同一 LLM 生成程式本身。然後,你就可以在程式中執行形式驗證工具,看看它是否真的滿足規範要求。如果不符合,它就會給你一個錯誤,你可以把這個錯誤回饋給其他 LLM,讓它再試一次。你可以不斷這樣做,最後生成一個可驗證的、經過形式化驗證的程式。
a16z crypto :我們正在討論如何建立一個強大的生態系統。很多區塊鏈在推出後幾乎立即去中心化,以至於核心團隊不再參與論壇討論,也不再試圖幫助其他合作伙伴參與。而你們似乎從網路啟動、進入市場開始都非常認。我認為這可能是建立 Solana 生態系統的一大優勢。
Anatoly Yakovenko :引用一句話,去中心化不是沒有領導,而是多元的領導。我還記得,在高通這樣的大公司裡,要想認真對待 Linux 系統有多難,甚至連提出在移動裝置上執行 Linux 系統的想法都顯得可笑。我剛加入的時候,整個社群都在努力說服大家,開源是有意義的,我認為這也是我們需要做的,網路需要去中心化。
但這並不意味著沒有領導。實際上,你需要大量專家,不斷告訴人們使用這種特定網路及其架構的好處,不斷讓更多人加入進來,並培養出更多能夠在全世界範圍內傳道授業解惑的領導者。但這並不意味著所有事情都在一個屋檐下發生。如果網路和程式碼是開放的,任何人都可以貢獻並執行它。自然而然地,它實際上就是去中心化的。你自然會看到領導力從你意想不到的地方湧現出來。
我們的目標是讓周圍的一切都發展起來,讓我們的聲音成為眾多聲音中的一個,而不是不讓別人發聲。我們大量關注駭客松粉絲等等,試圖將他們相互連線起來,讓他們參與到這個迴圈中來。這就像飛輪一樣。我們試圖讓人們與世界各地的開發者建立聯絡,儘可能多地與他們一對一交流,然後讓他們都加入駭客松,參與競爭,促使他們去打造他們的第一個或第二個產品。
延伸閱讀:
動區直擊》Solana Hacker House盛大開幕!洞悉Web3趨勢,亮點活動一次看
在加密貨幣的使用者中,只有極少數產品可以進入市場、獲得風險投資、擁有可擴充套件的使用者數量。在我看來,這意味著我們沒有足夠的創意。我們沒有足夠多的創辦人去瞄準目標,找出真正可以擴充套件到數百萬使用者的商業模式。因此,我們需要大量的公司進行競爭,看看能否想出絕妙的點子,這才是最大的挑戰。
a16z crypto :與此相關的一個問題是,如何讓社群參與開發核心協議本身的部分內容?對於任何區塊鏈生態系統來說,這都是最棘手的平衡問題之一。一方面,你可以讓社群積極參與,但另一方面,你的靈活性可能會降低。而且治理過程涉及到更多的人,協調起來很困難。另一方面,你也可以用一種更自上而下的方式來控制事情,並因此發展得更快。但在社群參與方面,你又會受到一定的影響,你是如何取得平衡的?
Anatoly Yakovenko :一般來說,當我在基金會工作的時候,我們看到人們積極地為他們想做的事情做貢獻。然後,他們要經提案過程,然後會有一筆贈款或其他附帶的東西。這和面試過程很相似,比如我在實驗室僱人的時候,可能是企業文化與這個人不匹配,也可能是其他什麼原因,但這並不意味著這個人不好,只是有些東西沒有發揮作用。同樣的道理,你會發現工程師們已經在提交程式碼,為程式碼庫做出貢獻。他們已經知道如何從文化上讓程式碼合併,以及如何處理開源方向的問題。當你找到那些能夠自己解決問題的人時,你就可以給資助,這些資助非常重要,確保你可以找到真正優秀的人,他們可以提交程式碼並願意長期為此工作。
a16z crypto :你認為當今執行去中心化治理協議的最佳方式是什麼?
Anatoly Yakovenko :就像 L1 一樣,我們採取的方法似乎很有效,就像 linux 那樣,不斷向前,儘可能避免來自任何參與者的否決。 它走的是一條最少否決的道路 。老實說,有很多參與者都可以否決任何改變,他們會覺得這個改動不好,或者不要改動。但是我們必須讓系統更快、更可靠、用更少的記憶體,沒人會反對這些改變。
理想情況下,我們有一個相關流程,你釋出設計,大家花三個月討論。因此,在合併之前,每個人都有很多機會去看看這段程式碼,並決定它是好是壞。這個過程看起來有點久,但實際上並不。如果你曾在一家大公司工作過,基本上與Google或高通公司工作時,你就知道你得和很多人交談,你得推動它,確保所有的關鍵合作伙伴,比如接觸程式碼庫的關鍵人物都能接受它,然後慢慢地把它完成。進行大刀闊斧的改革比較困難。因為很多聰明人都在看同樣的東西,他們可能會真正發現一些錯誤,然後最後會決定。
a16z crypto :在人才招募方面你是如何考慮的?
Anatoly Yakovenko :工程方面,我們的要求往往很高,至少我們會聘用相當資深的人員。我的招聘方式是,初期我會在某件事情上下功夫,這樣我就知道這件事該怎麼做,然後我會告訴新員工,我是這麼做的。我不指望他們能在 90 天內完成,或者超過我。我可以在面試時評估他們,告訴他們這就是我正在解決的問題。我需要有人接手,這樣我才能去做未知的事情。在初創公司裡,如果你是 ceo,最好不要給別人一個未知的問題,因為你不知道他們能否解決這些問題。
生態系統發展到一定程度時,就需要 PM。當時我花了太多時間回答問題,直到凌晨 2 點還在回答問題。我當時就想,應該讓別人來做這件事,我現在知道這份工作到底是做什麼的。
a16z crypto :你認為隱私在未來對區塊鏈有多重要?
Anatoly Yakovenko :我認為整個行業會存在轉變。首先,一些有遠見的人會關注隱私,然後突然間,我大型支付公司或其他公司會採用這種技術,它將成為標準。我認為它需要成為一個功能 —— 如果你沒有這個功能,你就無法競爭。我們還沒有達到市場成熟的程度,但我想我們會達到的。一旦有許多人使用區塊鏈,世界上的每個商家都需要鋼琴隱私。這只是最起碼的要求。
a16z crypto :Solana 架構對 MEV 有什麼影響?是否領導者(leader)擁有太大的許可權能夠對交易進行重新排序?
Anatoly Yakovenko :我們最初的設想是,每個槽(slot)安排超過 1 位領導者。如果我們儘可能接近光速,也就是大約 120 毫秒,然後,你就可以在全球範圍內每隔 120 毫秒進行一次離散批量時間拍賣。使用者可以從所有可用的區塊生產者中選擇最近或者回扣最大的一位。從理論上講,這可能是金融執行最有效的方式,要麼我選擇延遲,然後傳送給最近的區塊生產者;要麼我選擇最高的回扣,做延遲美元交易。這是一個理論,我們還沒有測試過每個槽有多個領導者,但我們正在接近這個目標,我認為這可能是可行的,也許明年就能實現。
我認為,一旦我們實現這種方案,我們就能獲得非常強大的系統,基本上可以迫使競爭,實現 MEV 最小化。
a16z crypto :在 Solana 架構中,你最喜歡的系統優化是什麼?
Anatoly Yakovenko :我最喜歡我們傳播區塊的方式,這是我們早期的想法,也是我們真正需要做的事情之一。我們可以在網路中擴容系統中的節點數量非常多,我們可以傳輸大量資料,但每個節點必須共享的出口量,也就是它必須承擔的出口負載量是固定、有上限的。
如果你從高層次來考慮,每個領導者在建立區塊時,都會將其切碎片(thread),併為這些碎塊建立編碼。然後,它們將碎片傳輸到一個節點,然後該節點再將其傳送給網路的其他節點。因為所有資料都與編碼混合在一起,所以只要有人接收這些資料,那麼資料的可靠性就非常高,因為傳播資料的節點數量非常大,除非 50% 的節點都出現故障,而這種概率微乎其微。所以這是一個非常酷的優化,而且它的開銷非常低,效能非常高。
a16z crypto :你如何看待加密貨幣在未來的應用發展?未來這些並不瞭解區塊鏈的使用者會如何採用區塊鏈?
Anatoly Yakovenko :我認為我們存在一些些突破性的應用和支付方式,因為使用加密貨幣進行支付與傳統系統相比有著明顯的優勢。我認為一旦監管到位,國會通過幾項法案,支付就會成為一個突破性的用例。一旦我們有了支付手段,我認為它的另一方面也會發展起來,比如社交應用,可以是訊息應用、社交圖譜應用。這些應用目前正在緩慢增長。我覺得它們正處於起飛的黃金時期,並將達到真正可觀的數位。
一旦到達主流採用產品就有可能進行迭代,瞭解人們到底想要什麼,並給他們提供這些產品。人們應當是為了產品的效用使用產品,而不是為了代幣。
a16z crypto :你對該領域的建設者或該領域之外的建設者有什麼建議?或者對那些對加密貨幣和 Web3 者感到好奇的人有什麼建議?
Anatoly Yakovenko :我想說的是,現在是最好的時機。現在的市場在巨集觀上相對低迷,沒有太多的噪音,你可以專注於產品與市場的契合度。當市場扭轉時,這些發現將大大加速你的發展。如果你想在人工智慧領域工作,你人們不應該害怕現在就去創辦人工智慧公司或加密貨幣公司或其他公司,你應該去嘗試並建立這些想法。
但我想說的是,人們應該嘗試創造更偉大的想法,而不是重複已有的東西。我聽過的最好的比喻是,當人們發現水泥時,每個人都專注於用水泥砌磚,然後有一個人想到,也許我可以建摩天大樓。他們想出了一個辦法,把鋼筋和建築結合在了一起,這是誰也想不到的。新工具就是水泥,你只需要搞清楚摩天大廈是什麼,然後去建造大廈。
相關報導
Solana要重拾往日光環?數個復甦跡象出現..
背叛以太坊?MakerDAO新鏈擬用Solana,創辦人忙解釋:ETH很棒啦
Solana兼容EVM,是熊市團結開發者的唯一解出路?
Tags:
a16z
EVM
Podcast
Solana
人物專訪