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

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

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

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

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

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

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

Ripple首席法律官：將于下周就SEC的中間上訴向法院提交回應:金色財經報道，Ripple首席法律官Stuart Alderoty在個人推文中表示，美國證券交易委員會目前還沒有上訴的“權利”，這就是為什么他們請求允許提出“中間”上訴。Ripple 將于下周向法院提交回應。敬請關注。

金色財經曾報道，美國證券交易委員會正在針對 Ripple Labs 的案件尋求中間上訴。SEC 提出了一份簡報時間表，允許其在 8 月 18 日提交開場簡報。[2023/8/10 16:16:36]

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

”

以太坊狀態以一種稱為

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

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

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

國際清算銀行將銀行的加密貨幣儲備上限設置為2%:12月19日消息，國際清算銀行（BIS）上周五發布的一份官方聲明規定，銀行的加密貨幣儲備上限為2%，將于2025年1月1日開始實施。報告稱，總體而言，銀行的加密貨幣敞口不應超過1%。

國際清算銀行表示，這些規則是由該行巴塞爾委員會的監督機構制定的，支持“銀行對加密資產風險敞口的全球審慎標準”。BIS中央銀行行長表示：“該標準標志著在制定全球監管基準以減輕加密資產對銀行造成的風險方面的一個重要里程碑。重要的是繼續監測加密資產市場中與銀行相關的發展。我們隨時準備在必要時采取進一步行動。”（pymnts）[2022/12/19 21:53:29]

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

witness究竟是什么？

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

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

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

隱私項目Beam推出Beam NFT市場V2版本:7月20日，據官方公告，隱私公鏈Beam宣布推出Beam NFT Marketplace V2，V1到V2的遷移正在進行。Marketplace V2允許用戶自行注冊為藝術家、自行鑄造NFT，并直接從Beam錢包中的DApp創建收藏。此外，Marketplace V2的UI進行了多項視覺改進。

Beam 表示，Marketplace V3的開發正在進行中，團隊正在開發幾個功能，例如：P2P 銷售、版稅、按藝術風格等過濾NFT搜索。[2022/7/20 2:25:39]

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

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

一些繁瑣的事

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

瓶身印有BAYC等NFT圖像的香檳以250萬美元成交:7月15日消息，在上周五的一次非公開拍賣中，瓶身印有BAYC、MAYC、Sneaky Vampire等5個NFT圖像的香檳以250萬美元成交。新主人是Giovanni Buono和Piero Buono。根據《華爾街日報》報道，由于目前加密貨幣市場的波動性，此次交易是以美元進行。

據悉，NFT市場OpenSea上Champagne Avenue Foch Magnum 2.5的標價為2500 ETH。根據介紹，限量版NFT“Magnum 2.5”由香檳鑒賞家Shimmi Shinh和BAYC NFT背后的藝術家創作。該NFT可以被交易，直到持有者決定認領實物酒瓶。（Finasteridefinpecia）[2022/7/15 2:15:09]

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

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

語義和語法問題

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

《財富》美國500強企業CEO薪酬榜：馬斯克235億美元居首，超后九位總和:5月29日消息，《財富》雜志日前發布最新一期《財富》美國500強榜單，同時盤點了其中薪酬最高的10位CEO。其中，特斯拉CEO馬斯克、蘋果CEO庫克、英偉達CEO黃仁勛位列前三，薪酬分別為235億美元、7.705億美元和5.61億美元。值得一提的是，馬斯克的薪酬比庫克多227.295億美元，甚至超過后九位的總和。之所以會有如此高的薪酬，主要是因為他行使了在2018年授予的一些特斯拉股票期權。[2022/5/30 3:49:20]

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

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：FFAFALBUFFUFFFFA價格Falcon Ninebuff幣有什么用PUFFS幣

FIL