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

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

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

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

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

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

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

Lookonchain：孫宇晨錢包地址收到5250枚ARB空投并轉至Huobi:3月26日消息，據Lookonchain監測，孫宇晨錢包地址收到了5250枚ARB空投（價值6981美元），并轉移至Huobi。[2023/3/26 13:27:17]

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

”

以太坊狀態以一種稱為

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

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

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

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

美國職棒大聯盟正與律師討論如何處理與FTX的合作關系:11月17日，據消息人士透露，美國職業棒球大聯盟（MLB）正在與其法律顧問討論如何處理與FTX的合作關系。作為美國最知名的體育聯盟之一，MLB正密切關注FTX的情況。

據悉，MLB于2021年6月與FTX簽署五年協議。如果MLB最終決定終止與FTX的關系，FTX的品牌Logo將不會出現在MLB球場上。（Sporttechie）[2022/11/17 13:16:28]

witness究竟是什么？

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

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

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

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

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

web3初創公司Tesseract宣布完成7800萬美元融資:金色財經報道，前Revolut員工為Tesseract籌集了7800萬美元，這是一家旨在將能源業務代幣化的web3初創公司。?Tesseract已經籌集了3000萬美元的傳統股權，其余金額通過出售其原生代幣籌集。本輪融資的支持者包括風險投資公司Balderton、Lakestar、Accel、Low Carbon、Ribit Capital、Box Group和前一級方程式賽車手Nico Rosberg。[2022/9/7 13:14:22]

一些繁瑣的事

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

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

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

元宇宙平臺Carrieverse與Polygon達成合作:金色財經報道，韓國元宇宙平臺Carrieverse與Polygon（面向Web 3的以太坊擴展平臺）建立合作伙伴關系，以在Polygon網絡上構建和營銷即將推出的Carrieverse元宇宙平臺。Carrieverse專為Z世代和Alpha世代打造，反映了現實世界的社交內容，包括游戲、教育和商業，用戶可以在其中構建虛擬現實世界和NFT，同時擁有數字內容所有權。

此外，Carrieverse 還即將與Netflix熱播劇D.P創作者Kim Bo -tong合作發布NFT系列以及計劃推出一款P2E策略游戲SuperKola。據悉，Carrieverse計劃于2023年第一季度發布。（美通社）[2022/9/5 13:08:47]

語義和語法問題

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

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

furiouslysleepideasgreencolorless

colorlessgreenideassleepfuriously

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

NFT交易市場ZORA推出包含API和ZDK的ZORA開發套件:金色財經消息，NFT交易市場ZORA推出ZORA開發套件，包含ZORA的API和ZDK，可提供開發者使用NFT構建產品（NFT市場、錢包、儀表板等）的所需數據。[2022/6/28 1:35:38]

這個例句來自諾姆·喬姆斯基在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：FALBUFFFFAUFFfal幣價格buff幣是什么FFARMruff幣區塊鏈最新消息

XMR