無狀態以太坊的根基：零門檻了解Witness規范_FAL:ffa幣價格

寫在前面：對于以太坊1.0，還是未來的以太坊2.0，無狀態以太坊的概念都具有著頗為重要的意義，而要理解它，我們就需要了解Witness，以及關于Witness的規范，那它們到底是什么呢？在這篇文章中，來自以太坊基金會的開發者GriffinIchibaHotchkiss將用生動的比喻來對這兩個復雜的概念進行解釋。

有些東西看似可能會顯得枯燥，但是它對于無狀態以太坊而言卻是非常基礎和重要的：理解正式的Witness規范。

就像星際爭霸中的戰艦船長一樣，我們會慢慢來講這個話題。Witness規范不是一個特別復雜的概念，但它是非常深的，以至于這種深度有點讓人望而生畏，但它是非常值得探索的，也許它會喚起書呆子的興趣，它遠遠超出了區塊鏈，甚至超出了軟件的世界！

在這篇入門文章的結尾，您至少應該對理解正式的無狀態以太坊Witness規范，有了最低程度的信心。我也會盡量讓這篇文章顯得更有趣一些。

概述：關于狀態你需要知道的知識點

實際上，無狀態以太坊這個詞有點用詞不當，因為狀態才是整個工作的真正目的。具體來說，我們要找到一種方法，使得保留整個以太坊狀態的副本，成為一種可選的事情。如果你沒有關注過無狀態以太坊的文章，那么你可能有必要看看我之前寫的一些關于無狀態以太坊狀態的入門文章。在這篇文章當中，我先簡單地總結一下，如果你已經很好地掌握了這個話題，那你就可以隨便掃上一眼。

Richard Teng：新角色甚至算不上晉升，只是擴大了幫助CZ審視某些事情的責任:金色財經報道，Binance新加坡首席執行官Richard Teng在接受采訪時回避了關于他被培養來接替CZ的想法。Teng表示，猜測這種事情為時過早。我只想強調，我們有一個非常強大的管理團隊，有許多強大的領導人在照顧不同的業務部分。我只是很高興能成為其中的一部分，并努力支持公司的議程和愿望。新角色甚至算不上晉升，只是擴大了幫助CZ審視某些事情的責任。

一位要求保持匿名的前Binance員工向CoinDesk表示，高級領導層和監管機構都在閉門討論后認為，Richard Teng 是唯一可以接替 CZ 并繼續按照他的愿景建設公司的領導者同時幫助彌合行業與監管機構之間的現有差距。

金色財經此前報道，彭博社援引知情人士報道，如果趙長鵬因監管困境離職，Richard Teng將會成為下一任幣安CEO。5月下旬，趙長鵬任命Richard Teng擔任美國以外所有區域市場的負責人。[2023/6/5 21:17:00]

“以太坊的完整“狀態”描述了所有賬戶和余額的當前狀態，以及在EVM虛擬機中部署和運行的所有智能合約的集體記憶。鏈中每個最終確定的區塊，都有且只有一個狀態，這是由網絡中的所有參與者商定的。該狀態將隨添加到鏈中的每個新區塊而發生更改和更新。

”

以太坊狀態以一種稱為

Merkle-PatriciaTrie的哈希數據結構呈現的，它將每一條信息組織成一個龐大的連接單元，然后可以驗證其唯一性。

完整的狀態樹太大了，大到無法可視化，但是這里有一棵“玩具版”狀態樹，當我們接觸到Witness的概念時，這會很有幫助：

報告：ASIC融資債務使比特幣礦工在2022年負債惡化:金色財經報道，根據Hashrate Index最近的一份報告，比特幣礦工在2022年面臨償還債務的困難，尤其是當他們有高息設備融資貸款時。報道稱，估計私人和公共礦工資產負債表上的ASIC融資債務價值在2-40億美元之間。據分析，2020年執行了6筆ASIC融資交易，價值4784萬美元，而2021年完成了26筆交易，價值66225萬美元。自2020年以來，越來越多的設備融資方進入市場，導致2022年的平均利率為10.46%，低于2020年的12.77%和2021年的12.82%。[2023/1/23 11:26:12]

就像神奇的密碼學毛蟲一樣，智能合約的賬戶和代碼也存在于這棵樹的葉子和樹枝上，通過連續的哈希運算，最終得到一個根哈希。如果你想知道一棵狀態trie樹的兩個副本是相同的，你可以簡單地比較根哈希。在一個“規范”狀態上保持相對安全，且無可爭議的共識，是區塊鏈設計的本質。

為了提交要包含在下一個區塊中的交易，或驗證特定更改是否與上一個包含的區塊一致，以太坊節點必須保留狀態的完整副本，并重新計算根哈希。而無狀態以太坊是一組通過添加所謂的“witness”來消除此需求的更改。

witness究竟是什么？

在我們深入討論witness規范之前，直觀地認識下witness是什么是有幫助的。同樣，上面鏈接的以太坊狀態文章當中有一個更徹底的解釋。

美國司法部扣押了與絲綢之路有關的33.6億美元的比特幣:金色財經報道，Watcher.Guru在社交媒體上稱，美國司法部扣押了與絲綢之路欺詐案有關的33.6億美元的比特幣，這是有史以來最大的加密貨幣扣押案。[2022/11/8 12:29:45]

witness有點像一個健忘型學生的小抄，而這個小抄是通過其考試所需的最少信息量。這類學生并沒有閱讀整本教科書，而是要求朋友提供一張小抄來提交他們的答案。

在非常抽象的術語中，witness提供了一棵狀態trie樹中所有需要的哈希，并結合了一些關于這些哈希在trie樹中屬于何處的“結構”信息。這允許這類節點在其狀態中包含新交易，并在本地計算新的根哈希，而不需要它們下載狀態trie樹的整個副本。

讓我們脫離這種比喻式的想法，然后轉向更具體的實現方式。以下是witness的“真實”形象：

我建議您在新的標簽頁中打開此圖像，這樣就可以放大它并真正欣賞它。之所以選擇此witness，是因為它相對較小，且易于識別特征。這張圖片中的每個小正方形，代表了一個"nibble"，即半字節，你可以通過計數你必須“通過”的正方形數量來驗證你自己，從根開始到一個以太幣余額。當我們在看這張圖片時，請注意其中一筆交易中必須包含的大量代碼來進行減少。

一些繁瑣的事

以太坊作為協議的一個基本特征，是它獨立于特定的實現。這就是為什么以太坊不像比特幣那樣只有一個官方客戶端，而是有幾個完全不同的客戶端版本。而這些用各種編程語言編寫的客戶端，必須遵守《以太坊黃皮書》，該《黃皮書》用更正式的術語解釋了加入以太坊協議的任何客戶端該如何運行。這樣，為以太坊編寫客戶端的開發人員，就不必處理系統中的任何模糊問題。

Yuga Labs聯創否認將推出新NFT系列“Mecha Apes”:9月16日消息，Yuga Labs聯合創始人Greg Solano在社交媒體上否認了關于“Yuga Labs計劃在今年年底前推出一個名為Mecha Apes的新NFT項目”的消息，稱這是一條假新聞。

此前據protos報道，Yuga Labs計劃在今年年底之前推出一個全新NFT系列“MechaApes”并通過該項目募資5000萬美元。[2022/9/16 7:00:42]

而witness規范有一個確切的目標：為所有客戶端提供“witness是什么”的明確描述，這將使它在任何語言中的實現變得簡單。而當無狀態以太坊成“型”時，可以將witness規范作為附錄插入到《黃皮書》中。

這里我們所說的“明確”，它的意思是要比你在談話中所說的要強烈。這并不是說正式規范只是對“witness是什么”，以及“它的行為是什么”的真正詳細的描述。這是意味著，理想情況下，描述一個特定witness的方式只有一種。也就是說，如果你遵循了正式的規范，那么你為無狀態以太坊編寫的實現，它所生成的witness就不可能和遵循規則的任何其他實現不同。這是關鍵，因為witness將成為以太坊協議的新基石，它需要通過構造來糾正。

語義和語法問題

盡管“區塊鏈開發”通常意味著一些新的、令人興奮的東西，但必須要說的是，其中很多都是基于一些舊的、明智的計算機編程、密碼學和形式邏輯。為了理解Witness的規范是如何工作的，我們需要了解一些技術術語，而為了做到這一點，我們將不得不跨界進入語言學和形式語言理論。

中國文物保護基金會理事長劉玉珠：文化數字化發展過程中，發展是第一位的:金色財經報道，6月30日，由中國文化產業協會主辦的中國數字文創行業高質量發展論壇舉辦。中國文物保護基金會理事長劉玉珠指出，文化數字化迎來新的發展機遇。近日,中共中央辦公廳、國務院辦公廳印發了《關于推進實施國家文化數字化戰略的意見》，提出到2035年，建成國家文化大數據體系，中華文化全景呈現，中華文化數字化成果全民共享。文化數字化還處于初始階段，這也是探索的階段，行業的標準還不完善。在此背景下，大家可以積極的探索和嘗試，沒有任何一個事物是先規范再發展的，都要有成長的過程，需要在不斷的實踐中發展完善。在文化數字化發展過程中，發展是第一位的，在發展中推動行業的自律和建設，落實國家文化數字化戰略提出的目標和任務。[2022/6/30 1:41:16]

大聲朗讀下列兩個句子，并特別注意你的語調和節奏：

furiouslysleepideasgreencolorless

colorlessgreenideassleepfuriously

我敢打賭，第一句有點機械化，每個單詞后面都有扁平的強調和停頓。相比之下，第二句可能感覺上自然一些，盡管它有點愚蠢。盡管這句話實際上沒有任何意義，但它是說的通的，但第一句話卻不行。這有點吸引人們注意語法和語義之間的區別。如果你是說英語的人，就可以理解這些單詞所代表的含義，但這與此處基本上無關。你注意到的是有效語法和無效語法之間的區別。

這個例句來自諾姆·喬姆斯基在1956年撰寫的論文，你可能會認出這個名字。盡管喬姆斯基現在被認為是一位有影響力的和社會思想家，但他作為一名學者的最初貢獻，是在邏輯學和語言學領域，在他的這篇論文中，他創造了一個最有用的正式語言分類系統。

喬姆斯基關注的是語法的數學描述，如何根據語法規則對語言進行分類，以及這些類別具有哪些屬性。與我們相關的一個性質是句法歧義。

模棱兩可的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&gt;并定義一個規則：<VP>::=buffalo{v}<NP>

這樣，我們就有了一個完整的有效句子，我們可以稱之為S：S::=<NP><VP>

我們在此處所做的操作，通過視覺方式呈現便是：

這種結構看起來很熟悉，不是嗎？

buffalo的例子有點傻，也不夠嚴謹，但它足以證明“Witness規范”中的怪異數學語言是怎么回事，我在關于buffalo的咆哮中偷偷地介紹了這種語言。它被稱為巴科斯范式，在各種實際場景中，它經常用于類似這樣的形式化規范中。

我們為受限制的英語所定義的“替換規則”，有助于確保，給定一堆“buffalo”，我們可以構造出一個“有效”的句子，而無需知道“buffalo”這個詞在現實世界中的含義。在喬姆斯基首先闡明的分類中，一種有足夠精確的語法規則允許你這樣做的語言，被稱為上下文無關語言。

更重要的是，規則確保對于由單詞buffalo{np|n|v}組成的每一個可能的句子，都有一種且只有一種方法來構造上面樹圖中所示的數據結構。一點都不含糊不清！

繼續閱讀Witness規范

Witness的核心只是一個大對象，其被編碼為一個字節數組。從無狀態客戶端的角度來看，該字節數組可能看起來有點像長句子，它由看起來很相似的單詞組成。只要所有客戶端都遵循相同的規則集，則字節數組應該轉換為一個哈希數據結構，無論實現如何選擇在內存或磁盤中表示它。

與我們在玩具示例中使用的規則相比，規范第3.2節中寫出的實際規則要復雜一些，并且直觀性要差得多，但是其實質是相同的：為無狀態客戶端提供明確的指導，并確保他們正確執行。

我在這篇論述文章中已略過了很多細節，可以肯定的是，正式語言的兔子洞要深得多。我的目的是提供足夠的介紹和基礎來克服理解的第一道障礙。既然你已經跨過了這個障礙，現在是時候打開維基百科，自己解決剩下的問題了！

與往常一樣，如果你有反饋、問題或對主題的要求，請在twitter上@gichiba或@JHancock。

Tags：FALBUFFUFFFFAfal幣價格BUFFSFLUFFY幣ffa幣價格

比特幣交易所