工作量證明 (PoW)

工作量證明 (PoW) 透過要求協議定義的計算證明，使區塊生產成本高而驗證成本低。分別分析有效性、目標概率、累積工作量、難度、確認次數、挖礦經濟學、集中度及能源假設。

僅為教育性協議分析；非投資、挖礦、安全或環境建議。工作量證明的結果是概率性的，網絡規則不同，算力、難度、確認數、能耗估算、代幣獎勵或設備規格並不保證安全性、結算、收益、利潤或排放結果。

直接回答

工作量證明（PoW）是一類機制，其中參與者必須生成協議定義的計算證明；該證明搜尋成本高，但他人驗證成本低。在典型的雜湊型區塊鏈中，生產者會不斷變更候選資料，直到生成的雜湊值在數值上小於或等於目標值。被接受的證明表明，在該規則集下為這一精確輸入找到了合格結果；它並不證明使用了多少實體機器、採用哪些能源，也不證明每個聲稱的中間雜湊都已實際計算。

PoW 通過使用稀缺計算來加權區塊生成機會，而非依賴身份、帳戶或代幣餘額，從而提供 Sybil 的抗性。它只是已部署共識系統的一個組成部分。節點必須獨立驗證區塊頭、交易、簽名、已花費輸出規則、發行、限額，以及其他狀態轉換規則。如果區塊所宣稱的工作量巨大，但其交易或獎勵違反共識，該區塊仍然無效。

Bitcoin 結合了 SHA-256d 的標頭處理與網路特定的目標和重新目標規則、點對點傳播、獨立區塊驗證，以及選擇累計鏈工作量最大的有效分支。“最長鏈”是指最累積的有效工作量的非正式簡稱，不一定是區塊數量最多的分支。其他 PoW 系統可以使用不同的謎題、輸入、調整規則、工作計算公式、區塊間隔、獎勵計畫以及分叉選擇規則。

PoW 使得改寫被接受的歷史需要在指定的網絡和對手假設下進行競爭性的工作，但它並不產生確定性最終性。競爭區塊、延遲的傳播、分區、自私挖礦、租用或重定向的算力、軟件故障以及經濟激勵都會影響安全性。確認深度僅在特定模型內降低某些重組風險；它無法證明鏈下真實性、正確的交易對手、合法所有權、未來資產價值或永久不可逆性。

如何分析工作量證明 (PoW)

界定系統和規則集。 記錄網路、創世區塊、用戶端版本、啟用狀態、工作演算法、候選輸入、目標編碼、最大目標、調整規則、分叉選擇規則、觀察者、節點和時間戳。不要將 Bitcoin 主網參數套用於其他鏈或測試網路。
獨立驗證候選區塊。 重建區塊頭和已承諾的區塊資料，然後驗證交易、簽章、腳本或執行、已花費狀態規則、發行、承諾、大小或權重限制，以及祖先關係。PoW 檢查是有效性驗證的補充，而不是替代。
複製工作測試。 應用精確的雜湊或謎題算法與序列化，解碼目標，拒絕無效的範圍或編碼，並測試協議不等式，例如 work_hash <= target。將顯示的位元組順序與共識使用的整數比較分開。
量化搜索概率。 對於均勻的 n 位雜湊與包含目標 T，一次嘗試成功的機率為 p = (T + 1) / 2^n，期望嘗試次數為 1 / p。指出有效的相容雜湊率與上線時間；期望時間不是截止時間，且過去的失敗不會讓下一次獨立嘗試更有可能成功。
重建累積工作和分支選擇。 對於每個有效分支，使用網絡的整數規則從其目標推導每個區塊的工作量，將其對祖先進行求和，並應用實際的聯繫和可用性行為。比較累積工作量，而不是高度、顯示的難度或單個區塊頭的孤立情況。
評估確認並攻擊假設。 記錄觀察者活動鏈中的交易深度、傳播、陳舊區塊率、分區、節點多樣性、礦工和礦池集中度、替代哈希市場、審查、隱匿以及重組能力。避免呈現通用的“51%”邊界或確認數。
核對經濟性與外部性。 分開補貼、費用、礦池條款、變異、價格、難度、效率、算力、冷卻、託管、停機、折舊、融資和稅務。只有使用與觀測時點相符的硬體效率分布和設施間接耗能，才能從算力估算用電；只有加入地點、時間、能源組合、限電和方法不確定性後，才能估算排放。

所得到的證據應該保持五個層次的區分：一個有效的候選者、該候選者的有效證明、一個分支的累計工作量、節點當前的活躍鏈選擇，以及應用程序的結算政策。將這些層次合併會導致大多數 PoW 的解釋錯誤。

範例解析

1。目標概率與驗證非對稱性

假設一個玩具均勻雜湊規則在 2^20 中接受一個輸出。每次獨立嘗試的成功概率為 p = 1 / 1,048,576，因此期望嘗試次數為 1,048,576。在 5,000,000 hashes/second 的速度下，期望搜尋時間為：

1,048,576 / 5,000,000 = 0.2097152 seconds

驗證在提供候選項後，只需一次哈希和一次目標比較。然而，預期時間並不保證：在 1,000,000 次嘗試後，沒有成功的概率約為 (1 - 1/1,048,576)^1,000,000 = 38.53%。一次失敗的嘗試並不意味著下一次嘗試“應該發生”。

2。累積工作前的有效性

分支 A 包含六個有效區塊，每個價值 100 工作單位，總計 600。分支 B 包含五個有效區塊，每個價值 130，總計 650。在最多累積工作規則下，B 獲勝，儘管其區塊數較少。

現在假設分支 C 聲稱 1,200 工作單位但創建了一個無效獎勵。其工作對誠實的驗證節點而言無關緊要：C 在分支比較之前就被拒絕。PoW 限制了誰可以廉價地擴展有效歷史；它並沒有購買對有效性規則的例外。

3。哈希分享與區塊變異

假設一個示範兼容的網路速度為 500 EH/s，以及一個礦工速度為 2 PH/s。該礦工的簡化份額是：

2 PH/s / 500 EH/s = 0.000004 = 0.0004%

假設每天有 144 個區塊，預期的單獨挖礦區塊數為 144 * 0.000004 = 0.000576 per day，這意味著平均等待時間約為 1 / 0.000576 = 1,736.11 days。泊松近似給出當天沒有區塊的機率為 P(0) = exp(-0.000576) = 99.9424%。此期望值既不是付款承諾，也不是礦池欠礦工特定金額的證據。

4。從算力到能源估算

假設分析師對 500 EH/s 建模，所用平均礦機組合效率為 25 J/TH。由於 500 EH/s = 500,000,000 TH/s，模型中的礦機功率為：

500,000,000 TH/s * 25 J/TH = 12.5 GW

假設設施功率使用效率為 1.10 時，建模的總需求為 12.5 * 1.10 = 13.75 GW，如果條件保持不變則年化為 13.75 * 8,760 = 120.45 TWh。這只是估算，而非計量表讀數。更改硬體組合、運行時間、設施管理或哈希率窗口會改變結果；排放量則需要額外的地理和發電假設。

風險與審查失敗

協議和有效性錯誤

將 PoW 視為整個共識協議： 該謎題未定義交易有效性、傳播、分叉選擇、獎勵或應用結算。請記錄所有相關規則。
錯誤的網路或算法： 在一條鏈、分叉、測試網路或雜湊函數上的有效證人，在另一條鏈上可能毫無意義。將證據綁定到創世區塊和有效規則。
序列化輸入錯誤： 省略一個欄位、承諾、位元組順序規則或允許的變更可以測試不同的謎題。重建精確的候選位元組。
有效性前的工作推理： 大型工作無法合法化無效簽名、重複支出、發行或狀態轉換。在比較分支之前，請驗證完整候選項。
目標與難度倒置： 較小的目標較難，而顯示的難度通常是一個反比相對的衡量。請核實網絡的精確整數公式。
用區塊高度代替累計鏈上工作量： 當各區塊的目標不同時，更多區塊不一定意味著更多累計工作量。應沿有效祖先鏈匯總協議規則推導的工作量。
跨網路套用難度調整假設： 調整週期、時間戳輸入、上下限、緊急規則和最大目標各不相同。切勿將一種設計描述為通用的 PoW 行為。

安全性和網路錯誤

確定性最終性主張： PoW 鏈可以重組。從價值、深度、觀察到的工作、流動性、對手能力和操作反應設置確認政策。
把 51% 當作普適門檻： 隱匿區塊、傳播優勢、日蝕攻擊、賄賂、租用算力和應用政策，都可能在低於或高於這一名義比例時產生影響。必須說明所用模型。
無效權力主張： 多數算力可以審查或重新排序並可能超越有效的歷史，但它不能讓誠實節點接受偽造的簽名或無效的通脹。
雜湊率等於去中心化： 礦池範本、實際控制權、韌體、製造商、託管、地理位置、能源供應商和軟體仍可能高度集中。
把估計雜湊率當作遙測資料： 網路雜湊率是從工作量和隨機區塊到達推測的；它不是對機器、營運者或容量的直接統計。
忽略分區和遮蔽攻擊： 擁有限制視角的節點即使在全球算力很高的情況下，也可能跟隨陳舊或敵對的工作。請檢查節點和網絡的多樣性。
忽略礦池和範本控制： 許多名義上的礦工可能跟隨同一個區塊範本或付款營運者。應分開實體算力所有權、範本權限和獎勵託管。

經濟學、能源與外部性

把預期獎勵當作保證現金流： 搜尋結果具有隨機性，礦池還引入份額規則、準備金、費用、成熟期、託管和違約風險。
把代幣總產出當作利潤： 代幣價格、費用、難度、運行時間、功率、冷卻、人工、託管、維修、折舊、融資、避險和稅收都可能扭轉結果。
哈希率直接等於電力： 轉換需要在相同觀測時間內考慮硬體效率、使用率、車隊組成、冷卻及設施管理費用。
電力直接等於排放量： 碳影響取決於地點、邊際和平均發電、時間、合約、限電、甲烷聲明以及會計界限。
效率保證總使用量更低： 更高效的硬體降低每次哈希的能耗，但網路競爭、價格、獎勵和部署可能改變總哈希率和需求。
忽視當地的外部性和限制： 網格擁擠、噪音、熱量、水資源、土地、設備更新、電子廢料、補貼和削減都可能影響社區和運營。

常見的誤解