工作量证明 (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% 当作普适门槛： 隐匿区块、传播优势、日蚀攻击、贿赂、租用算力和应用政策，都可能在低于或高于这一名义比例时产生影响。必须说明所用模型。
无效权利主张： 大多数算力可以进行审查或重新排序，并可能覆盖有效的历史，但它不能让诚实节点接受伪造的签名或无效的通胀。
哈希率等于去中心化： 矿池模板、实际控制权、固件、制造商、托管、地理位置、能源供应商和软件仍可能高度集中。
作为遥测的估计哈希率： 网络哈希率是根据工作量和随机区块到达推算的；它不是对机器、操作员或算力的直接统计。
忽略分区和日蚀攻击： 视野受限的节点即使面对很高的全网哈希率，也可能跟随过时或敌对分支。应审查对等节点和网络路径的多样性。
忽略池和模板控制： 许多名义上的矿工可以跟随一个区块模板或支付操作员。分离物理哈希所有权、模板权限和奖励托管。

经济学、能源与外部性

把预期奖励当作保证现金流： 搜索结果具有随机性，矿池还引入份额规则、储备、费用、成熟期、托管和违约风险。
把代币总产出当作利润： 代币价格、费用、难度、运行时间、功率、冷却、劳动力、托管、维修、折旧、融资、对冲和税收都可能扭转结果。
哈希率直接等于电力： 转换需要在相同观测时间考虑硬件效率、利用率、舰队组成、冷却和设施开销。
电力直接等于排放： 碳影响取决于地点、边际和平均发电量、时间、合同、削减、甲烷排放声明以及会计边界。
效率保证总体使用更低： 更高效的硬件降低了每次哈希的能耗，但网络竞争、价格、奖励和部署情况可能改变总哈希率和需求。
忽略当地的外部性和约束： 电网拥堵、噪音、热量、水资源、土地、设备周转、电子废物、补贴和削减都可能影响社区和运营。

常见误解