导读:SATONAMO。以下按 2008 年白皮书参考文献的编号排列,解释其在白皮书中的用途,不是八份文献的全文翻译。
直接引用的位置与进一步阅读的联系分别说明。文献被引用,不等于比特币照搬了整个方案;背景相近,也不等于已经证明直接影响。
[1] Wei Dai · 1998
公开交易与共同记录
b-money
第 2 节提出:没有可信第三方时,交易必须公开宣布,并让参与者对接收顺序达成一致。这里引用 b-money。可以把它与本站的 b-money 全文对照,观察分布式记账的共同问题与不同处理方式。
[2] Henri Massias、Xavier Serret-Avila、Jean-Jacques Quisquater · 1999
尽量减少对时间戳服务的信任
Design of a Secure Timestamping Service with Minimal Trust Requirements
第 3 节把这篇论文与另外三篇文献一起列在时间戳方案之后。第 7 节再次引用它,关联用树形哈希结构保存摘要的处理。阅读重点是:怎样让证明可以被核查,而不只是相信服务提供者。
[3] Stuart Haber、W. Scott Stornetta · 1991
证明数据在某个时刻已经存在
How to Time-Stamp a Digital Document
第 3 节的时间戳服务器把数据的哈希公开发布,并把前一个时间戳纳入后一个。白皮书在这里引用这篇文献。理解这个问题,有助于区分“写一个时间数值”和“留下可验证的先后关系”。
[4] Dave Bayer、Stuart Haber、W. Scott Stornetta · 1993(白皮书书目)
时间戳研究的进一步发展
Improving the Efficiency and Reliability of Digital Time-Stamping
它同样出现在第 3 节的引用组中。读到这里,可以把注意力从单份文件转向持续运行的时间戳服务:效率和可靠性也是需要解决的问题。不同目录可能采用不同版本年份;这里按白皮书书目列 1993 年。
[5] Stuart Haber、W. Scott Stornetta · 1997
用摘要关联与核验数据
Secure Names for Bit-Strings
白皮书在时间戳服务器和回收硬盘空间两处引用它。第 7 节把交易组织成 Merkle 树,只让树根进入区块哈希。这里的阅读重点是数据内容、摘要与整体承诺之间的关系。
[6] Adam Back · 2002
把计算成本变成可检查的证明
Hashcash — A Denial of Service Counter-Measure
第 4 节明确提出,点对点时间戳服务器需要类似 Hashcash 的工作量证明。白皮书将它用于竞争生成区块和累计链的工作量;这与 Hashcash 原本应对滥用服务的场景不同。
[7] Ralph C. Merkle · 1980(白皮书书目)
Merkle 树与数据压缩保存
Protocols for Public Key Cryptosystems
第 7 节在介绍 Merkle 树时引用这篇文献。树根让一个短摘要关联多笔交易;这也帮助理解第 8 节的简化支付验证,但第 8 节没有再次直接标注 [7]。这里保留白皮书所列 1980 年。
[8] William Feller · 1957
追赶概率与赌徒破产问题
An Introduction to Probability Theory and Its Applications
第 11 节将攻击者追赶诚实链的过程类比为赌徒破产问题,并引用 Feller。阅读时需保留诚实算力占优等模型条件,区分“概率越来越小”和“绝对不可能”。