資訊專欄INFORMATION COLUMN
摘要：在中，該隨機數稱為，它需要滿足一個公式其中，去除區塊頭中生成的哈希值，見。固定值，生成的哈希值的最大取值。哈希值滿足條件的概率是，礦工需要進行次的判斷，才有可能找到一個符合條件的，當前以太坊難度為。
前言
Ethash實現了PoW，PoW的精妙在于通過一個隨機數確定，礦工確實做了大量的工作，并且是沒有辦法作弊的。接下來將介紹：
Ethash的挖礦本質。
Ethash是如何挖礦的。
如何驗證Ethash的隨機數。
Ethash的挖礦本質挖礦的本質是找到一個隨機數，證明自己做了很多工作（計算）。在Ethash中，該隨機數稱為Nonce，它需要滿足一個公式：
Rand(hash, nonce) ≤ MaxValue / Difficulty
其中，
hash：去除區塊頭中Nonce、MixDigest生成的哈希值，見HashNoNonce()。
nonce：待尋找的符合條件的隨機數。
MaxValue：固定值2^256，生成的哈希值的最大取值。
Difficulty：挖礦難度。
Rand()：使用hash和nonce生成一個哈希值，這其中包含了很多哈希運算。
以上參數中，在得到區塊頭的hash之后，只有nonce是未知的。
公式的含義是，使用hash和nonce生成的哈希值必須落在合法的區間。利用下圖介紹一下，Rand()函數結果取值范圍是[0, MaxValue]，但只有計算出的哈希值在[0, MaxValue / Difficulty]內，才是符合條件的哈希值，進而該Nonce才是符合條件的，否則只能再去尋找下一個Nonce。
以太坊可以通過調整Difficulty來調節當前挖礦的難度，Difficulty越大，挖礦的難度越大。當Difficulty越大時， MaxValue / Difficulty越小，合法的哈希值范圍越小，造成挖礦難度增加。
哈希值滿足條件的概率是 p = (MaxValue / Difficulty) / MaxValue = 1 / Difficulty，礦工需要進行1 / p = Difficulty次的判斷，才有可能找到一個符合條件的Nonce，當前以太坊難度為3241847139727150。
如何挖礦Ethash挖礦的主要思想是，開啟多個線程去尋找符合條件的Nonce，給每個線程分配一個隨機數，作為本線程的Nonce的初始值，然后每個線程判斷當前的Nonce是否符合上面的公式，如果不符合，則把Nonce加1，再次進行判斷，這樣不定的迭代下去，直到找到一個符合條件的Nonce，或者挖礦被叫停。
接下來介紹挖礦的幾個主要函數的實現，它們是：
挖礦的入口Seal函數。
挖礦函數mine函數。
挖礦需要的數據cache和dataset。
Rand()函數的實現hashimotoFull和hashimoto。
挖礦入口Seal()Seal是引擎的挖礦入口函數，它是管理崗位，負責管理挖礦的線程。它發起多個線程執行Ethash.mine進行并行挖礦，當要更新或者停止的時候，重新啟動或停止這些線程。
mine函數負責挖礦。Seal在啟動每一個mine的時候，給它分配了一個seed，mine會把它作為Nonce的初始值，然后生成本高度使用的dataset，然后把dataset, hash, nonce傳遞給hashimotoFull函數，這個函數可以認為是原理介紹中的Rand隨機函數，他會生成哈希值Result，當Result <= Target的時候，說明哈希值落在符合條件的區間了，mine找到了符合條件的Nonce，使用Digest和nonce組成新的區塊后，發送給Seal，否則驗證下一個Nonce是否是符合條件的。
挖礦需要的數據cache和datasetdataset用來生成Result，而cache用來生成dataset。至于如何使用dataset生成Result在hashimoto()中講述，本節介紹如何生成dataset。
dataset和cache中存放的都是偽隨機數，每個epoch的區塊使用相同的cache和dataset，并且dataset需要暫用大量的內存。剛開始時cache是16MB，dataset是1GB，但每個epoch它們就會增大一次，它們的大小分別定義在datasetSizes和cacheSizes，dataset每次增長8MB，最大能達到16GB，所以挖礦的節點必須有足夠大的內存。
使用cache生成dataset。使用cache的部分數據，進行哈希和異或運算，就能生成一組dataset的item，比如下圖中的cache中黃色塊，能生成dataset中的黃色塊，最后把這些Item拼起來就生成了完整的Dataset，完成該功能的函數是generateDataset。
dataset.generate()是dataset的生成函數，該函數只執行一次，先使用generateCache()生成cache，再將cache作為generateDataset()的入參生成dataset，其中需要重點關注的是generateDatasetItem()，該函數是根據部分cache，生成一組dataset item，驗證PoW的nonce的時候，也需要使用該函數。
Rand()的實現hashimotoFull()和hashimoto()hashimotoFull功能是使用dataset、hash和nonce生成Digest和Result。它創建一個獲取dataset部分數據的lookup函數，該函數能夠返回連續的64字節dataset中的數據，然后把lookup函數、hash和nonce傳遞給hashimoto。
hashimoto的功能是根據hash和nonce，以及lookup函數生成Digest和Result，lookup函數能夠返回64字節的數據就行。它把hash和nonce合成種子，然后根據種子生成混合的數據mix，然后進入一個循環，使用mix和seed獲得dataset的行號，使用lookup獲取指定行的數據，然后把數據混合到mix中，混合的方式是使用哈希和異或運算，循環結束后再使用哈希和異或函數把mix壓縮為64字節，把mix轉為小端模式就得到了Digest，把seed和mix進行hash運算得到Result。
如何驗證PoW的驗證是證明出塊人確實進行了大量的哈希計算。Ethash驗證區塊頭中的Nonce和MixDigest是否合法，如果驗證通過，則認為出塊人確實進行了大量的哈希運算。驗證方式是確定區塊頭中的Nonce是否符合公式，并且區塊頭中的MixDigest是否與使用此Nonce計算出的是否相同。
驗證與挖礦相比，簡直是毫不費力，因為：
時間節省。驗證只進行1次hashimoto運算，而挖礦進行大約Difficulty次。
空間節省。驗證只需要cache，不需要dataset，也就不需要計算龐大的dataset，因此不挖礦的驗證節點，不需要很高的配置。
接下來介紹驗證函數VerifySeal()，以及根據cache生成Digest和Result的hashimotoLight()。
驗證函數VerifySealEthash.VerifySeal實現PoW驗證功能。首先先判斷區塊中的Difficulty是否匹配，然后生成（獲取）當前區塊高度的cache，把cache和nonce傳遞給hashimotoLight，該函數能根據cache, hash, nonce生成Digest和Result，然后校驗Digest是否匹配以及Result是否符合條件。
hashimotoLight函數hashimotoLight使用cache, hash, nonce生成Digest和Result。生成Digest和Result只需要部分的dataset數據，而這些部分dataset數據時可以通過cache生成，因此也就不需要完整的dataset。它把generateDatasetItem函數封裝成了獲取部分dataset數據的lookup函數，然后傳遞給hashimoto計算出Digest和Result。
FAQQ：每30000個塊使用同一個dataset，那可以提前挖出一些合法的Nonce？
A： 不行。提前挖去Nonce，意味著還不知道區塊頭的hash，因此無法生成合法的Nonce。
Q：能否根據符合條件的哈希值，反推出Nonce呢？
A：不行。因為哈希運算具有不可逆性，不能根據摘要反推出明文，同理根據哈希值也無法推出Nonce。
文章版權歸作者所有，未經允許請勿轉載,若此文章存在違規行為，您可以聯系管理員刪除。
轉載請注明本文地址：http://specialneedsforspecialkids.com/yun/24396.html
摘要：前言是以太坊封定義的一個接口，它的功能可以分為類驗證區塊類，主要用在將區塊加入到區塊鏈前，對區塊進行共識驗證。輔助類生成以太坊共識相關的。被使用，是以太坊狀態管理服務，當報告數據的時候，需要獲取區塊的信息。 前言 engine是以太坊封定義的一個接口，它的功能可以分為3類： 驗證區塊類，主要用在將區塊加入到區塊鏈前，對區塊進行共識驗證。 產生區塊類，主要用在挖礦時。 輔助類。 接下...
摘要：當前和一樣，采用基于工作量證明的共識算法來產生新的區塊。源碼解析生成通過方法生成，首先是生成，再從生成挖礦在挖礦與共識中提到了，共識算法通過實現接口，來實現挖礦算法也不例外。 Ethereum當前和Bitcoin一樣，采用基于工作量證明(Proof of Work,PoW)的共識算法來產生新的區塊。與Bitcoin不同的是，Ethereum采用的共識算法可以抵御ASIC礦機對挖礦工作的...
摘要：以太坊中除了基于運算能力的外，還有基于權利證明的共識機制，是以太坊的共識算法的實現，這里主要對的相關源碼做一個解讀分析。檢查包頭中包含的簽名是否滿足共識協議 以太坊中除了基于運算能力的POW(Ethash)外，還有基于權利證明的POA共識機制，Clique是以太坊的POA共識算法的實現，這里主要對POA的Clique相關源碼做一個解讀分析。 Clique的初始化在 Ethereum.S...
摘要：下面來看看具體是怎么實現接口的可以看到，啟動了多個線程調用函數，當有線程挖到時，會通過傳入的通道傳出結果。可以看到在主要循環中，不斷遞增的值，調用函數計算上面公式中的左邊，而則是公式的右邊。 前言 挖礦(mine)是指礦工節點互相競爭生成新區塊以寫入整個區塊鏈獲得獎勵的過程.共識(consensus)是指區塊鏈各個節點對下一個區塊的內容形成一致的過程在以太坊中, miner包向外提供挖...
摘要：本文首發于深入淺出區塊鏈社區原文鏈接以太坊創世區塊與鏈配置載入分析，原文已更新，請讀者前往原文閱讀。以太坊允許通過創世配置文件來初始化創世區塊，也可使用選擇使用內置的多個網絡環境的創世配置。再準備兩個以太坊賬戶，以便在創世時存入資產。 本文首發于深入淺出區塊鏈社區原文鏈接：以太坊創世區塊與鏈配置載入分析，原文已更新，請讀者前往原文閱讀。 創世區塊作為第零個區塊，其他區塊直接或間接引用到...
閱讀 3313·2023-04-26 00:58
閱讀 1268·2021-09-22 16:04
閱讀 3311·2021-09-02 15:11
閱讀 1554·2019-08-30 15:55
閱讀 2339·2019-08-30 15:55
閱讀 3248·2019-08-23 18:41
閱讀 3458·2019-08-23 18:18
閱讀 2752·2019-08-23 17:53
