買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > Coinw > Info

FFA:無狀態以太坊的根基:零門檻了解Witness規范_ffa幣怎么賣

Author:

Time:1900/1/1 0:00:00

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

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

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

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

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

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

CertiK:自上周五以來記錄了22起事件,造成約740萬美元的損失:金色財經報道,據CertiK官方推特發布消息稱,自上周五以來,CertiK記錄了22起事件,造成約740萬美元的損失。到目前為止,共發生17起Discord黑客攻擊事件、3 起網絡釣魚攻擊事件和4起Twitter黑客攻擊事件。[2023/8/12 16:21:31]

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

以太坊狀態以一種稱為

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

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

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

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

香港匯豐銀行允許客戶買賣港交所上市的虛擬資產ETF:6月26日消息,香港最大銀行匯豐銀行于今日允許其客戶買賣香港交易所上市的虛擬資產 ETF,也是香港第一家允許客戶買賣港交所上市虛擬資產ETF的銀行。此舉將擴大香港本地用戶接觸到加密貨幣。目前香港上市的加密貨幣ETF包括南方東英比特幣期貨ETF、南方東英以太幣期貨ETF、三星比特幣期貨主動型ETF。

同時匯豐銀行上線了虛擬資產投資者教育中心,通過香港匯豐易投資應用程序、匯豐流動理財應用程序和網上銀行投資任何虛擬資產相關產品之前,需要閱讀并確認虛擬資產投資者教育中心的教育材料和風險披露。(吳說區塊鏈)[2023/6/26 22:00:51]

witness究竟是什么?

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

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

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

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

黑客參與SIM卡交換攻擊并盜竊數字資產被判5年監禁:6月25日消息,化名為PlugwalkJoe的英國黑客Joseph O 'Connor在美國被判處五年監禁。其定罪源于他參與2019年4月針對一位知名加密貨幣交易所高管的SIM卡交換攻擊,導致價值約79.4萬美元的數字資產被盜。

PlugwalkJoe最初于2021年7月在西班牙被捕,于2023年4月26日被引渡到美國接受審判。為了表現出與當局合作的意愿,他于今年5月認罪。[2023/6/26 21:59:42]

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

一些繁瑣的事

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

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

22,152枚ETH從未知錢包轉移到CryptoCom:金色財經報道,WhaleAlert監測數據顯示,22,152枚ETH(價值約26,860,583美元)從未知錢包轉移到CryptoCom。[2022/11/28 21:05:30]

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

語義和語法問題

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

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

furiouslysleepideasgreencolorless

colorlessgreenideassleepfuriously

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

Binance Labs戰略投資Open Leverage:6月21日消息,Binance Labs宣布戰略投資Open Leverage。據悉,Open Leverage是一種無需許可的借貸和保證金交易協議,部署在以太坊和BNB鏈上,使交易者能夠在 DEX 上做多/做空任何交易對。[2022/6/21 4:43:13]

這個例句來自諾姆·喬姆斯基在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:FALBUFFUFFFFABaby Falcon DogeBUFFDOGE幣UFF幣ffa幣怎么賣

Coinw
COIN:觀點 | 比特幣減半會對礦工造成什么影響?_加密貨幣指什么

比特幣區塊獎勵減半后,礦工的利潤也將立刻減半。這對礦工們來說到底意味著什么? 對于圈外人來說,比特幣“減半”似乎是幣圈特有的現象:就像日食每隔一段時間才會出現一次一樣,人們對減半有很多的期待.

1900/1/1 0:00:00
GRAM:Telegram創始人:TON是什么?它為什么結束?_Stargram Coin

本文來源:幣新區塊 譯者:Chaosmosreads幣新消息,因美國證劵交易委員會在美國法院贏得了初步禁令,Telegram的創始人帕維爾·杜羅夫發文稱將停止開發TON項目.

1900/1/1 0:00:00
區塊鏈:55天,17場活動,80萬觀眾,巴比特云端峰會正式落幕_Chronicle

5月7日,風再起·2020——巴比特全球合作伙伴云端峰會落幕,從3月13日云端峰會官網上線始,峰會經歷了幾乎是波瀾壯闊的55天。這55天里,比特幣最低暴跌至3596美元,差點“被死亡”.

1900/1/1 0:00:00
BER:巴比特專欄 | 如何基于區塊鏈實現高質量協同?_區塊鏈dapp開發pdf

目前我們所看到的區塊鏈落地應用,無論是公有鏈還是所謂的“聯盟鏈”,在區塊鏈系統底層的數據視角來看,所有用戶都是單一類型用戶,節點具有高度的同一性.

1900/1/1 0:00:00
TIC:觀察 | “新基建”下,區塊鏈助力工業互聯網的四個發力點_Matic Launchpad

全球疫情仍未得到有效控制,為應對風險,國家也提出了“新基建”來拉動經濟增長,緩解全球經濟下行風險.

1900/1/1 0:00:00
IMBU:巴比特原創 | 四川亮劍,礦場終于合規化,礦業或成資本進圈第一站!_nimb幣前景

區塊鏈已“撥亂反正”,挖礦頭上“落后產業”的帽子,也該摘一摘了。四川力挺區塊鏈,礦業合規化進程加快最近,四川關于挖礦的這兩個政策,很多礦工都踴躍轉發.

1900/1/1 0:00:00
ads