这篇文章将解释“工作量证明”在比特币区块链上的关键作用。我们将只关注工作量证明机制最关键的一个特征、并证明其它特征只是附带结果，虽然有用，但并不是最本质特征。
本文的解释基于例证一些工作量证明在区块链上运用中的有趣属性。它们往往不是那么直观，有时候甚至与我们的直觉相悖。比如说，通过工作量证明，一群人不用互相交流就能共同解决一个问题。
在了解了这些有趣的属性之后，你们大概会得出一个结论：工作量证明主要是一个实现“分布式且去中心化的时序系统”的机制。
请注意，这篇文章讨论的并不是工作量证明的原理，区块链是如何利用工作量证明的。如果你还不了解工作量证明是什么，可以从这篇文章开始看起。
去中心化账本中的时间顺序问题
在研究解决办法之前，让我们先来仔细分析一下问题。很多介绍工作量证明的文章读起来都很晦涩，原因就在于它们试图跳过问题直接解释答案。
任何账本显然都需要有顺序。正如一个人不应该能花一笔没到账的钱一样，他也不应该能使用一笔已经转给别人的钱。区块链上的交易必须在不依靠第三方机构的情况下，清晰地排列出交易的顺序。
即便区块链不做账本，只做某种日志，也需要为发生的事情排列出顺序。排序不同，结果显然也不同；排序不同，那就变成另一条区块链了。
但是如果交易都是由世界各地的匿名用户生成，并且没有一个中心机构来负责整理，那么我们怎么给交易排定顺序呢？举例来说，交易含有时间戳，但什么条件下，这些时间戳才是信得过的呢？
时间不过是一个人造的概念。包括原子钟在内，所有的报时来源，其实都是一个“被信任的第三方”。但最重要的是，这些第三方大多数情况下都不是完全正确的。因为网络延迟或者相对论的影响都会使它们的结果产生出入。坐在飞机上的人跟地上走的人之间会产生一个“时间膨胀”现象，这种误差会随逐渐累积起来，最终使排序失真。于是，依靠时间戳来决定时间的顺序在一个去中心化且地理上分散的系统中是不可能的。
观点：任何渴望推出算法稳定的交易所都可以“攻击”其它稳定币:金色财经报道，商业分析师Adam Cochran最近分享了一条帖子，详细介绍了如何推出算法稳定币。Cochran的指导方针反映了币安首席执行官赵长鹏最近的声明，他评论了其加密货币交易所计划推出较小的算法稳定币，以应对与Tether(USDT)和BinanceUSD(BUSD)等较大稳定币相关的潜在风险。赵长鹏表示，尽管Tether继续在稳定币领域占据主导地位，但该资产缺乏透明度让他持谨慎态度。
Cochran在Twitter上阐明了推出算法稳定币的最简单方法。根据他的说法，任何渴望推出算法稳定的交易所都可以“攻击”其它稳定币，而无需等待它们脱离挂钩，与TUSD和FDUSD等“虚假的离岸稳定币”合作可能是推出算法稳定币的第一步。[2023/8/4 16:18:44]
我们这里说的其实并不是传统意义上的“时间”概念，不是说的“年月日”这种。我们需要的是一个能让我们验证一个事件是否先于另一件事发生的机制。
首先，为了使用“之前”和“之后”这样的描述，我们先得建立“时间点”这样一个概念。在时间线上确立一个具体的点乍看起来似乎不可能，因为目前还没有技术能够精确到测量出一个?Planck。但你之后会发现，比特币就是这样运作的——它通过创建自己的时间概念来让确定时间线上的具体点变得可能。
这个问题在?LeslieLamport?于1978年发表的?“Time,Clocks,andtheOrderingofEventsinaDistributedSystem”?一文中有很详细的说明。不过实际上，除了“正确同步的物理时钟”之外，这篇文章并没有提出什么彻底的解决办法。在1982年，Lamport还提出了?“ByzantineGeneralsProblem”?。中本聪在他早期的邮件中解释了工作量证明如何能解决该问题。不过，他在比特币白皮书中写道：“想要在点对点的基础上使用一个分散式的时间戳服务器，我们需要使用工作量证明系统。”这句话表明工作量证明主要还是用来解决时间戳排序这一问题的。
观点：Google身份验证器云同步功能将风险转移到邮箱:金色财经报道，慢雾首席信息安全官23pds发推表示，Google 身份验证器 iOS 端推出了支持云同步功能的 4.0 版本，但需注意存在的风险：如果使用这种备份方式，风险就转移到邮箱，一旦邮箱权限丢失可能导致 2FA 验证码一并被窃取，（如果）再配合已获取的邮箱权限，将带来巨大风险。所以便捷的同时可能存在风险，加密用户请注意使用风险。
此前报道，Google 身份验证器的 iOS 端应用推出 4.0 版本，新增支持云同步功能，用户可将验证器生成的验证码同步至所有的 Google 账号和设备，即便丢失设备也可随时获取验证码。[2023/4/25 14:25:08]
时间排序是最根本的问题
这里必须要强调一下，在中本聪提出解决办法之前，无法在分散式系统中确定事件与时间点的关联?这个难题使得去中心化账本一直无法实现。区块链中也有很多其它的技术细节值得玩味，不过时序还是最基础也是最重要的一点。我们甚至可以认为，无法完成时间排序，就不可能有区块链。
简要回顾“工作量证明”
简单来说，比特币上的工作量证明就是找到一个值，这个值经过?SHA-2?这个哈希函数运算后能满足特定的条件。而这个要求的数值越小，可能满足条件的输入值就越少，从而找到这样一个输入值的难度就越高。
这种机制之所以叫作“工作量证明”就是因为满足条件的数值太少了。找到这样一个数需要进行大量的尝试。需要花费的工作量反过来暗示了需要花费的?时间。
通过改变要求，我们可以调整难度以及找到这样一个值的可能性。比特币难度的动态调整使得整个网络平均每十分钟找到一个这样的值。
观点：在美联储鹰派言论的支持下，加密货币市场的抛售加速成为支撑:Coinbase Institutional发布市场颜色（Market Color），在美联储鹰派言论的支持下，加密货币市场的抛售加速成为支撑。国债市场继续上涨，市场倾向趋于平缓，这表明美联储即将犯下错误。BTC CME 7月合约表现严重落后于现货，这扩大了基差，并创造了在15天内为每个BTC带来近200美元的利润的机会。
据介绍，Coinbase Institutional援引Coinbase Institutional交易平台和加密数据分析平台Skew分析，发布市场颜色（Market Color），但并不是投资建议[2021/7/16 0:57:46]
区块之间无事发生
一条链的状态是执行链上区块中交易的结果。因此每个新区块都会生成一个新状态。因为区块链的状态随着每一个新区块的生成而不断变化，我们把生成一个区块所用的平均时间看作是区块链时间的最小计量单位。
SHA函数是无记忆性、无过程性的
一个安全哈希算法在统计学中被认为是无记忆性的。这一特性明显与人类的直觉相反。有关无记忆性最好的例子就是扔硬币。如果一枚硬币已经连续十次正面朝上了，这是否代表下一次更可能是反面朝上呢？直觉告诉我们，“是的”。但是实际上，不管之前的记录是什么样的，正面或是反面朝上的概率仍然是对半开的。
这种无记忆性是工作量证明的?无过程性?的前提。无过程性指的是当矿工挖矿时反复尝试不同的?nonce?时，每一次尝试都是独立的事件。不论他们已经付出了多少努力，之后的每一次尝试找到正确结果的概率都是一样的。换句话说，每一次不成功的尝试不会让矿工们“更接近”正确的结果。一个已经尝试挖了一年矿的矿工并不会比一个刚开始挖矿的矿工更容易挖到下一个区块。
观点：交易所比特币储备逐渐下降 或表明积累一直在进行:Newsbtc发文称，所有交易所的比特币储备似乎正在逐渐下降，这或表明积累一直在进行。当储备增加时，这意味着更多的投资者将他们的比特币放入交易所钱包以供出售，或将其兑换为山寨币。另一方面，当所有交易所的比特币储备下降时，表明买家正在将他们的比特币发送到个人钱包，可能是为了积累。在价格暴跌的情况下，鲸鱼似乎正在慢慢开始增持比特币。[2021/7/10 0:41:02]
因此，在一个给定难度下，在给定时间内找到结果的概率?只取决于所有矿工遍历可能哈希值的速度?，跟过往的历史无关，跟区块数据也无关，只跟哈希率有关。
Hashrate实际上就是一个矿工人数和挖矿设备计算哈希值速度的函数。
SHA函数的输入值是不重要的
比特币区块链中，工作量证明算法的输入值就是一个区块的区块头。不过就算我们只是随机地输入一些数据，找到合乎要求的哈希值的概率还是一样的。不论输入的是有效的区块头还是一些随机的字节，我们找到一个正确结果的时间还是平均十分钟。当然，如果你真的是把随机内容作为输入值，就算你找到了结果，你的区块也不会被打包到区块链上。虽然这种情况也算是工作量证明，但是是无用的。
难度是全宇宙统一的
你知道吗，难度是?普遍的?。意思就是说整个宇宙中，不论在哪，难度都是一样的。于是，我们可以请火星上的矿工来帮忙挖矿。他们不需要认识地球上的矿工，甚至都不用进行沟通联络，整个网络还是每10分钟挖出一个区块。
显然，远程参与的矿工们彼此之前并没有什么沟通，因为他们只是在共同尝试解决同一个数学统计问题。他们其实都不知道彼此的存在。
观点：比特币主要用于投机性投资 不具备货币基本功能:索邦大学(Pantheon-Sorbonne)经济学副教授Christian Pfister最近在为法国央行(Banque de France)撰写的一份文件中称，比特币主要用于进行投机性投资，以及用假名进行支付交易，这有助于保护隐私，但也为非法活动的融资提供了便利。比特币也只部分地实现了货币的三种功能。它不是一种记账单位（很少用于商品和服务，特别是劳动力和资本的定价），也不是支付手段(很少购买的商品和服务以比特币结算)，或存储价值(它的汇率太不稳定)。（CryptoNews）[2020/8/18]
这个“统一性”属性看似神乎其神，实际上是很好理解的。我之所以说是“统一性”，是因为这个词很好理解。不过准确来说，它指的是“每个矿工都知道”。
SHA-256哈希函数的输入值可以是0到2^256之间的任意一个整数。尽管这是一个特别大的数，但大家起码都知道范围，并可以从中挑选数值。
如果输入值的范围、所用的函数、还有难度要求是大家都知道的，那么找到一个解的概率对所有人来说都是统一的、公平的。
要做矿工也简单，算下SHA就行
如果问题是让你找到一个合适的哈希值，那么你需要做的只是尝试运行一次哈希函数，然后“叮”，你就影响了全局的哈希速率。因为这次尝试，你也能被看作是一名矿工，并且帮助了别人一起解决这个问题。你不需要和别人说你做了什么，其他人也不需要知道。不过不管怎么样，你的尝试都影响了全局结果。一点儿也不夸张。
如果你还有点将信将疑，没关系，想想这样一个类比吧——寻找最大的质数。这个问题很难，而且一旦找到了一个更大的质数，那这个数就会被认定为“已找到”、“已知”。在数字世界中，有无限个质数。不过因为我们用的数字系统都是一样的，不论是谁试图解决这个问题，我们面对的都是同样的问题。你不需要告诉别人你决定寻找最大的质数，你只需要等你真的找到解的时候再告诉大家。如果没有人想研究这个问题，那么这个问题的解就永远不会被找到。因此，只要最终结果会被宣布，参与度就会影响结果，即便参与的过程是完全秘密的。这么看，中本聪发明的这套机制真的太绝妙了——利用了上述的逻辑，使得秘密的参与过程和没有取得成功的尝试都能影响最终的结果。
值得注意的是，因为SHA函数是无过程性的，每一次的尝试都可以看作是参与者付出了努力后就立刻离开了网络。因此，我们可以认为矿工们每秒钟都会无数次地进出网络。
参与度会在统计结果中揭露出来
神奇的秘密参与属性反过来也成立。全局的哈希率之所以能被大家所知道，并不是因为矿工们在一个什么“矿工注册所”注册登记了，然后上报各自的哈希速率，根本不是这么回事。
哈希率能被大家知道的原因其实也很简单。想要每十分钟左右找到一个特定难度的解，这得有这么多次的尝试由某人在某地完成。
我们并不知道这些参与者到底是谁，他们也不需要告诉别人他们在工作。此外他们可以存在于宇宙中的任何地方。不过可以肯定的是，这些参与者一定存在。因为网络在持续出块，即持续地在找出符合要求的解。
工作量即时钟
综上即可得知工作量证明的核心：挖矿的难度要求就是一部时钟。你愿意的话，可以管它叫“宇宙时钟”，它不需要去跟别人同步，而且所有人都能“看到”它。
这个时钟不精确也没关系。重要的是，每个人的时钟都相同，并且链的状态可以明确地与此时钟的滴答声联系在一起。
这台时钟是由数目未知的参与者集体的哈希率总和来推动运行的；这些参与者散布在这颗星球上，彼此之间毫无关联。
最后一块拼图
工作量证明问题的解必须是一个区块的哈希值。就像我们之前说的，输入值并不重要。不过如果是一个真的区块，那么这个解找出来的时候，也就是这个时钟的“滴答”一刻。不是在那之前，也不是之后，就是在那一刻。我们这么确信，就是因为区块是这个机制的一部分。
换个说法，如果SHA256函数的输入值不是区块，我们还是会有一个时钟，但是却没法把区块和时钟的滴答声联系在一起。而使用区块作为输入值就能很好地解决这个问题。
值得注意的是，我们的工作量证明时钟只能给我们提供滴答声。但我们没法从滴答声中听出顺序。而前后相接的哈希链条就是用来解决这个问题的。
那么分布式共识呢？
共识意味着一致同意。所有参与者都必须遵循的一条规则就是，时钟会有滴答声。其外，所有人都能听到滴答声，并且知道与每个滴答声相关联的数据。而这，正如中本聪在一封邮件中提过的，实际上解决了拜占庭将军问题。
还有另外一个共识是专门用来处理一种特殊情况的——两声连续的滴答声与互相冲突的区块相关联。这种冲突只有等待下一声滴答的出现才能解决。当下一个与滴答声相关联的区块出现时，它会接在前面冲突的两个区块中的一个后面。而这就会使得另一个区块变成“孤块”。一条链到底会如何发展，是一个概率问题，但或多或少也能跟工作量证明时钟有关。
大概就是这么回事了
以上就是工作量证明对区块链的作用。矿工们并不是通过买什么“彩票”来赢取打包一个区块的权利，也不是什么把电能转换成一种有价值的东西，这些说法都走远了。
彩票这一说法无非是用来吸引更多的矿工来参与到挖矿中，它本身并不是区块链运行的机制。有人也许会说区块的哈希值形成了链条，不过这也跟工作量证明没什么关系，它只是用密码学来强化对区块顺序的记录而已。哈希链条还确保之前的滴答声越来越不可改变，变得越来越安全。
工作量证明机制也增强了区块的不可改变性。这也副作用使得隔离见证变得可行，不过其实通过保留签名也可以实现。所以这一作用只是次要的。
总结
比特币区块链的工作量证明实际上就是一个分布式的、去中心化的时钟。
如果你理解了这个解释，那么你应该对工作量证明和权益证明间的区别有了更清楚的认知。显然，两者本质上是不同的：权益证明是权力，而工作量证明是一个时钟。
在讨论区块链时，我们说“工作量证明”其实不太贴切。这个词是从?Hashcash?项目中传下来的；在该项目中，它是用来证明工作量的。而在区块链上它则主要用于获得可校验的时间顺序。当一个人看到一个哈希值满足难度条件，他/她知道产生这个哈希值一定花去了一些时间。而这段时间就是由“工作量”造成的。不过这个哈希值之所以有意义，就是因为它证明了它的产生是经过了一段时间的。
工作量证明主要跟时间有关，而不是跟工作量有关；这个事实也指出了，可能还有其他的统计问题会更消耗时间但只需要更少的能量。这一事实也意味着比特币的hashrate实际上是过多的。我们前面提到的比特币时钟其实只需要一部分的hashrate也能运行自如。不过奖励机制的存在刺激了能量的消耗。
找出一个只需更少工作量又能享受更快滴答频率的方法十分困难，如果你找到了，请一定告知我！
此外，我想特别感谢?UChicagoStatistics?的?SashaTrubetskoy?对本文的修订和建议。
原文链接:?https://grisha.org/blog/2018/01/23/explaining-proof-of-work/作者:?GregoryTrubetskoy翻译&校对:?PRIMAX&阿剑
郑重声明： 本文版权归原作者所有， 转载文章仅为传播更多信息之目的， 如作者信息标记有误， 请第一时间联系我们修改或删除， 多谢。