寫在前面:對于以太坊1.0,還是未來的以太坊2.0,無狀態以太坊的概念都具有著頗為重要的意義,而要理解它,我們就需要了解Witness,以及關于Witness的規范,那它們到底是什么呢?在這篇文章中,來自以太坊基金會的開發者GriffinIchibaHotchkiss將用生動的比喻來對這兩個復雜的概念進行解釋。
有些東西看似可能會顯得枯燥,但是它對于無狀態以太坊而言卻是非常基礎和重要的:理解正式的Witness規范。
就像星際爭霸中的戰艦船長一樣,我們會慢慢來講這個話題。Witness規范不是一個特別復雜的概念,但它是非常深的,以至于這種深度有點讓人望而生畏,但它是非常值得探索的,也許它會喚起書呆子的興趣,它遠遠超出了區塊鏈,甚至超出了軟件的世界!
在這篇入門文章的結尾,您至少應該對理解正式的無狀態以太坊Witness規范,有了最低程度的信心。我也會盡量讓這篇文章顯得更有趣一些。
概述:關于狀態你需要知道的知識點
實際上,無狀態以太坊這個詞有點用詞不當,因為狀態才是整個工作的真正目的。具體來說,我們要找到一種方法,使得保留整個以太坊狀態的副本,成為一種可選的事情。如果你沒有關注過無狀態以太坊的文章,那么你可能有必要看看我之前寫的一些關于無狀態以太坊狀態的入門文章。在這篇文章當中,我先簡單地總結一下,如果你已經很好地掌握了這個話題,那你就可以隨便掃上一眼。
硬件錢包Ledger與Etana Custody合作推出加密貨幣托管服務:金色財經報道,硬件錢包 Ledger 與加密貨幣托管機構 Etana Custody 合作推出面向機構客戶的,受監管的加密貨幣托管服務。Etana 將在給定交易中充當交易對手方的結算方,使他們能夠交易數字資產且無需進行互相轉賬。[2023/4/19 14:13:58]
“以太坊的完整“狀態”描述了所有賬戶和余額的當前狀態,以及在EVM虛擬機中部署和運行的所有智能合約的集體記憶。鏈中每個最終確定的區塊,都有且只有一個狀態,這是由網絡中的所有參與者商定的。該狀態將隨添加到鏈中的每個新區塊而發生更改和更新。
”
以太坊狀態以一種稱為
Merkle-PatriciaTrie的哈希數據結構呈現的,它將每一條信息組織成一個龐大的連接單元,然后可以驗證其唯一性。
完整的狀態樹太大了,大到無法可視化,但是這里有一棵“玩具版”狀態樹,當我們接觸到Witness的概念時,這會很有幫助:
就像神奇的密碼學毛蟲一樣,智能合約的賬戶和代碼也存在于這棵樹的葉子和樹枝上,通過連續的哈希運算,最終得到一個根哈希。如果你想知道一棵狀態trie樹的兩個副本是相同的,你可以簡單地比較根哈希。在一個“規范”狀態上保持相對安全,且無可爭議的共識,是區塊鏈設計的本質。
為了提交要包含在下一個區塊中的交易,或驗證特定更改是否與上一個包含的區塊一致,以太坊節點必須保留狀態的完整副本,并重新計算根哈希。而無狀態以太坊是一組通過添加所謂的“witness”來消除此需求的更改。
數據:加密貨幣總市值在近5日累計蒸發1006億美元:9月17日消息,數據顯示,在最近5天里,加密貨幣總市值累計蒸發約1006億美元,跌幅達9.35%,當前總市值約為9763億美元。
其中,有超537億美元的市值是在9月13日蒸發的,當天晚間美國公布了超預期的8月CPI數據。[2022/9/17 7:03:21]
witness究竟是什么?
在我們深入討論witness規范之前,直觀地認識下witness是什么是有幫助的。同樣,上面鏈接的以太坊狀態文章當中有一個更徹底的解釋。
witness有點像一個健忘型學生的小抄,而這個小抄是通過其考試所需的最少信息量。這類學生并沒有閱讀整本教科書,而是要求朋友提供一張小抄來提交他們的答案。
在非常抽象的術語中,witness提供了一棵狀態trie樹中所有需要的哈希,并結合了一些關于這些哈希在trie樹中屬于何處的“結構”信息。這允許這類節點在其狀態中包含新交易,并在本地計算新的根哈希,而不需要它們下載狀態trie樹的整個副本。
讓我們脫離這種比喻式的想法,然后轉向更具體的實現方式。以下是witness的“真實”形象:
我建議您在新的標簽頁中打開此圖像,這樣就可以放大它并真正欣賞它。之所以選擇此witness,是因為它相對較小,且易于識別特征。這張圖片中的每個小正方形,代表了一個"nibble",即半字節,你可以通過計數你必須“通過”的正方形數量來驗證你自己,從根開始到一個以太幣余額。當我們在看這張圖片時,請注意其中一筆交易中必須包含的大量代碼來進行減少。
數據:二季度穩定幣供應量下降351億美元,創18.8%的歷史最大季度回撤:7月26日消息,據Arcane Research數據顯示,從2020年8月2日到2022年1月1日,流通穩定幣供應量增長了8.7倍,達到1650億美元。但截至7月1日全網穩定幣數量下降至1513億美元,其中二季度下降351億美元,達18.8%,是穩定幣歷史上最大的季度回撤。[2022/7/26 2:37:58]
一些繁瑣的事
以太坊作為協議的一個基本特征,是它獨立于特定的實現。這就是為什么以太坊不像比特幣那樣只有一個官方客戶端,而是有幾個完全不同的客戶端版本。而這些用各種編程語言編寫的客戶端,必須遵守《以太坊黃皮書》,該《黃皮書》用更正式的術語解釋了加入以太坊協議的任何客戶端該如何運行。這樣,為以太坊編寫客戶端的開發人員,就不必處理系統中的任何模糊問題。
而witness規范有一個確切的目標:為所有客戶端提供“witness是什么”的明確描述,這將使它在任何語言中的實現變得簡單。而當無狀態以太坊成“型”時,可以將witness規范作為附錄插入到《黃皮書》中。
這里我們所說的“明確”,它的意思是要比你在談話中所說的要強烈。這并不是說正式規范只是對“witness是什么”,以及“它的行為是什么”的真正詳細的描述。這是意味著,理想情況下,描述一個特定witness的方式只有一種。也就是說,如果你遵循了正式的規范,那么你為無狀態以太坊編寫的實現,它所生成的witness就不可能和遵循規則的任何其他實現不同。這是關鍵,因為witness將成為以太坊協議的新基石,它需要通過構造來糾正。
數字資產交易所BTSE推出一款新加密交易終端:金色財經報道,數字資產交易所BTSE推出了一款由德國Margin提供支持的新加密交易終端。交易終端提供五種不同的交易機器人,并允許用戶使用 Python 創建定制的機器人。BTSE 用戶只需下載終端即可免費使用。Margin的交易機器人功能將在不久的將來與BTSE平臺全面集成,提供無縫的交易體驗。[2022/7/19 2:23:16]
語義和語法問題
盡管“區塊鏈開發”通常意味著一些新的、令人興奮的東西,但必須要說的是,其中很多都是基于一些舊的、明智的計算機編程、密碼學和形式邏輯。為了理解Witness的規范是如何工作的,我們需要了解一些技術術語,而為了做到這一點,我們將不得不跨界進入語言學和形式語言理論。
大聲朗讀下列兩個句子,并特別注意你的語調和節奏:
furiouslysleepideasgreencolorless
colorlessgreenideassleepfuriously
我敢打賭,第一句有點機械化,每個單詞后面都有扁平的強調和停頓。相比之下,第二句可能感覺上自然一些,盡管它有點愚蠢。盡管這句話實際上沒有任何意義,但它是說的通的,但第一句話卻不行。這有點吸引人們注意語法和語義之間的區別。如果你是說英語的人,就可以理解這些單詞所代表的含義,但這與此處基本上無關。你注意到的是有效語法和無效語法之間的區別。
這個例句來自諾姆·喬姆斯基在1956年撰寫的論文,你可能會認出這個名字。盡管喬姆斯基現在被認為是一位有影響力的和社會思想家,但他作為一名學者的最初貢獻,是在邏輯學和語言學領域,在他的這篇論文中,他創造了一個最有用的正式語言分類系統。
安全團隊:ProjectX項目發生Rug Pull,合約部署者拋售代幣后獲利1.9萬美元:7月7日消息,安全團隊CertiK今日發推文稱,ProjectX項目發生Rug Pull,其PXT代幣下跌92%,合約部署者鑄造了100萬枚PXT且將其中的50萬枚發送至EOA外部賬戶并進行拋售,獲利1.9萬美元。該項目的Discord服務器也已被刪除。[2022/7/7 1:57:37]
喬姆斯基關注的是語法的數學描述,如何根據語法規則對語言進行分類,以及這些類別具有哪些屬性。與我們相關的一個性質是句法歧義。
模棱兩可的Buffalo
考慮語法正確的句子“BuffalobuffaloBuffalobuffalobuffalobuffaloBuffalobuffalo。”——這是一個典型的例子,說明了英語語法規則是多么的模糊。如果你知道的話,根據上下文,“buffalo”這個詞可以用作動詞、形容詞或名詞,你可以根據每個詞所屬的位置來分析句子。
我們也可以使用完全不同的詞和多個句子:
“YouknowthoseNYbisonthatotherNYbisonintimidate?Well,theyintimidate,too.TheyintimidateNYbison,tobeexact.”
“你知道被其他紐約野牛威嚇的那些紐約野牛嗎?好吧,它們也很嚇人。確切地說,它們會威脅紐約野牛。”
但是,如果我們想消除歧義,但仍然限制我們的詞只使用“buffalo”,并將其全部保留為一個句子,該怎么辦?是有可能的,但我們需要修改一下英語規則。我們的新“語言”會更精確一點。一種方法是標記每個單詞以表示其詞性,如下所示:
Buffalo{pn}buffalo{n}Buffalo{pn}buffalo{n}buffalo{v}buffalo{v}Buffalo{pn}buffalo{n}
也許這對讀者來說還不是很清楚。為了使它更精確,讓我們試著用一些替代品來幫助我們把這些“buffalo”分成組。紐約州布法羅市的任何野牛實際上只是我們稱之為“名詞短語”<NP>的一個特殊版本。當我們遇到字符串Buffalo{pn}buffalo{n}時,可以用<NP>代替句子。由于我們的格式越來越正式了,因此我們可決定通過以下方式為該規則和其他將來的替換規則使用簡寫形式:<NP>::=Buffalo{pn}buffalo{n}
其中::=表示“左側的內容可以替換為右側的內容”。重要的是,我們不希望這種關系發生變化。想象一下一頭博爾德的buffalo會變得多么瘋狂!
將我們的替代規則應用于整句話,它將改為:<NP><NP>buffalo{v}buffalo{v}<NP>
現在,這仍然有點令人困惑,因為在這個句子中有一個偷偷摸摸的關系從句,通過在我們的句子的第一部分插入單詞that,可以更清楚地看到它,即?<NP>*that*<NP>buffalo{v}...
因此,讓我們制定一個替換規則,將關系從句分組為<RC>,并說:<RC>::=<NP>buffalo{v}
另外,由于關系從句實際上只是對一個名詞短語作出澄清,所以這兩個從句合在一起就相當于另一個名詞短語:<NP>::=<NP><RC>
定義并應用這些規則,我們可以將句子寫成:<NP>buffalo{v}<NP>
這似乎很好,而且真的得到了這個愚蠢的句子表達的核心關系:一組特定的野牛在恐嚇另一組野牛。
我們已經走了這么遠,為什么不一直走下去呢?每當“buffalo”作為動詞出現在名詞之前時,我們都可以稱其為動詞短語或<VP>并定義一個規則:<VP>::=buffalo{v}<NP>
這樣,我們就有了一個完整的有效句子,我們可以稱之為S:S::=<NP><VP>
我們在此處所做的操作,通過視覺方式呈現便是:
這種結構看起來很熟悉,不是嗎?
buffalo的例子有點傻,也不夠嚴謹,但它足以證明“Witness規范”中的怪異數學語言是怎么回事,我在關于buffalo的咆哮中偷偷地介紹了這種語言。它被稱為巴科斯范式,在各種實際場景中,它經常用于類似這樣的形式化規范中。
我們為受限制的英語所定義的“替換規則”,有助于確保,給定一堆“buffalo”,我們可以構造出一個“有效”的句子,而無需知道“buffalo”這個詞在現實世界中的含義。在喬姆斯基首先闡明的分類中,一種有足夠精確的語法規則允許你這樣做的語言,被稱為上下文無關語言。
更重要的是,規則確保對于由單詞buffalo{np|n|v}組成的每一個可能的句子,都有一種且只有一種方法來構造上面樹圖中所示的數據結構。一點都不含糊不清!
繼續閱讀Witness規范
Witness的核心只是一個大對象,其被編碼為一個字節數組。從無狀態客戶端的角度來看,該字節數組可能看起來有點像長句子,它由看起來很相似的單詞組成。只要所有客戶端都遵循相同的規則集,則字節數組應該轉換為一個哈希數據結構,無論實現如何選擇在內存或磁盤中表示它。
與我們在玩具示例中使用的規則相比,規范第3.2節中寫出的實際規則要復雜一些,并且直觀性要差得多,但是其實質是相同的:為無狀態客戶端提供明確的指導,并確保他們正確執行。
我在這篇論述文章中已略過了很多細節,可以肯定的是,正式語言的兔子洞要深得多。我的目的是提供足夠的介紹和基礎來克服理解的第一道障礙。既然你已經跨過了這個障礙,現在是時候打開維基百科,自己解決剩下的問題了!
與往常一樣,如果你有反饋、問題或對主題的要求,請在twitter上@gichiba或@JHancock。
5月18日,螞蟻區塊鏈面向中小企業正式推出區塊鏈合同服務,全面開啟鏈簽約時代。即日起,中小企業可使用螞蟻區塊鏈進行簽約,實現數字化轉型升級,助推復工復產.
1900/1/1 0:00:00譯者:Masaka 來源:區塊印象 編者注:原標題為《比特幣減半的5種結局,哪個可能性最大?》即便我們已經歷過兩次BTC減半,在“第三次減半對價格的影響”這個問題上,依然存在很大分歧.
1900/1/1 0:00:00本文來源:區塊科技研究與監管2020年5月8日,韓國世宗市宣布建立基于區塊鏈的數字身份可信平臺,用于存儲和驗證自動駕駛車輛的數字身份.
1900/1/1 0:00:00一、央行DCEP 央行的DCEP即將推出,這應該是區塊鏈行業接下來最令人激動的事情之一。官方是這么介紹DCEP的:DCEP是全稱DigitalCurrencyElectronicPaymen的縮.
1900/1/1 0:00:00本文來源:經濟觀察報 作者:李紫宸 2020年5月,一宗鐵礦石貿易跨境結算引起了行業內外的關注:中國寶武鋼鐵集團宣布.
1900/1/1 0:00:00摘要 2019年10月24日召開的局集體學習會議將區塊鏈定位為“核心技術自主創新的重要突破口”,而公鏈是區塊鏈發展的基石,其發展動向可以看作區塊鏈產業的風向標.
1900/1/1 0:00:00