比特币:一种点对点的电子现金系统


SUBMITTED BY: Guest

DATE: Sept. 29, 2013, 3:42 a.m.

FORMAT: Text only

SIZE: 26.3 kB

HITS: 1005

  1. 比特币:一种点对点的电子现金系统
  2. Bitcoin: A Peer-to-Peer Electronic Cash System
  3. 原文作者:中本聪(Satoshi Nakamoto)
  4. 翻译:Bitcoinblogger.com 独家赞助
  5. 作者邮箱:Satoshin@gmx.com
  6. www.bitcoin.org
  7. [摘要]:本文提出了一种完全通过点对点技术实现的电子现金系统,它使得在线支付
  8. 能够直接由一方发起并支付给另外一方,中间不需要通过任何的金融机构。虽然数
  9. 字签名(Digital signatures)部分解决了这个问题,但是如果仍然需要第三方的支持
  10. 才能防止双重支付(double-spending)的话,那么这种系统也就失去了存在的价值。
  11. 我们(we)在此提出一种解决方案,使现金系统在点对点的环境下运行,并防止双重支
  12. 付问题。该网络通过随机散列(hashing)对全部交易加上时间戳(timestamps),
  13. 将它们合并入一个不断延伸的基于随机散列的工作量证明(proof-of-work)的链条作
  14. 为交易记录,除非重新完成全部的工作量证明,形成的交易记录将不可更改。最长
  15. 的链条不仅将作为被观察到的事件序列(sequence)的证明,而且被看做是来自CPU
  16. 计算能力最大的池(pool)。只要大多数的CPU 计算能力都没有打算合作起来对全
  17. 网进行攻击,那么诚实的节点将会生成最长的、超过攻击者的链条。这个系统本身
  18. 需要的基础设施非常少。信息尽最大努力在全网传播即可,节点(nodes)可以随时离
  19. 开和重新加入网络,并将最长的工作量证明链条作为在该节点离线期间发生的交易
  20. 的证明。
  21. 1. 简介
  22. 互联网上的贸易,几乎都需要借助金融机构作为可资信赖的第三方来处理电子支付信息。
  23. 虽然这类系统在绝大多数情况下都运作良好,但是这类系统仍然内生性地受制于“基于信用的
  24. 模式”(trust based model)的弱点。我们无法实现完全不可逆的交易,因为金融机构总是不可避
  25. 免地会出面协调争端。而金融中介的存在,也会增加交易的成本,并且限制了实际可行的最小
  26. 交易规模,也限制了日常的小额支付交易。并且潜在的损失还在于,很多商品和服务本身是无
  27. 法退货的,如果缺乏不可逆的支付手段,互联网的贸易就大大受限。因为有潜在的退款的可能,
  28. 就需要交易双方拥有信任。而商家也必须提防自己的客户,因此会向客户索取完全不必要的个
  29. 人信息。而实际的商业行为中,一定比例的欺诈性客户也被认为是不可避免的,相关损失视作
  30. 比特币:一种点对点(Peer-to-Peer)的电子现金系统 Bitcoinblogger.com独家赞助本文翻译
  31. 2
  32. 销售费用处理。而在使用物理现金的情况下,这些销售费用和支付问题上的不确定性却是可以
  33. 避免的,因为此时没有第三方信用中介的存在。
  34. 所以,我们非常需要这样一种电子支付系统,它基于密码学原理而不基于信用,使得任何
  35. 达成一致的双方,能够直接进行支付,从而不需要第三方中介的参与。杜绝回滚(reverse)支付
  36. 交易的可能,这就可以保护特定的卖家免于欺诈;而对于想要保护买家的人来说,在此环境下
  37. 设立通常的第三方担保机制也可谓轻松加愉快。在这篇论文中,我们(we)将提出一种通过点对
  38. 点分布式的时间戳服务器来生成依照时间前后排列并加以记录的电子交易证明,从而解决双重
  39. 支付问题。只要诚实的节点所控制的计算能力的总和,大于有合作关系的(cooperating)攻击者
  40. 的计算能力的总和,该系统就是安全的。
  41. 2. 交易(Transactions)
  42. 我们定义,一枚电子货币(an electronic coin)是这样的一串数字签名:每一位所有者通
  43. 过对前一次交易和下一位拥有者的公钥(Public key) 签署一个随机散列的数字签名,并将这个
  44. 签名附加在这枚电子货币的末尾,电子货币就发送给了下一位所有者。而收款人通过对签名进
  45. 行检验,就能够验证该链条的所有者。
  46. 该过程的问题在于,收款人将难以检验,之前的某位所有者,是否对这枚电子货币进行了
  47. 比特币:一种点对点(Peer-to-Peer)的电子现金系统 Bitcoinblogger.com独家赞助本文翻译
  48. 3
  49. 双重支付。通常的解决方案,就是引入信得过的第三方权威,或者类似于造币厂(mint)的机构,
  50. 来对每一笔交易进行检验,以防止双重支付。在每一笔交易结束后,这枚电子货币就要被造币
  51. 厂回收,而造币厂将发行一枚新的电子货币;而只有造币厂直接发行的电子货币,才算作有效,
  52. 这样就能够防止双重支付。可是该解决方案的问题在于,整个货币系统的命运完全依赖于运作
  53. 造币厂的公司,因为每一笔交易都要经过该造币厂的确认,而该造币厂就好比是一家银行。
  54. 我们需要收款人有某种方法,能够确保之前的所有者没有对更早发生的交易实施签名。从
  55. 逻辑上看,为了达到目的,实际上我们需要关注的只是于本交易之前发生的交易,而不需要关
  56. 注这笔交易发生之后是否会有双重支付的尝试。为了确保某一次交易是不存在的,那么唯一的
  57. 方法就是获悉之前发生过的所有交易。在造币厂模型里面,造币厂获悉所有的交易,并且决定
  58. 了交易完成的先后顺序。如果想要在电子系统中排除第三方中介机构,那么交易信息就应当被
  59. 公开宣布(publicly announced)1,我们需要整个系统内的所有参与者,都有唯一公认的历史
  60. 交易序列。收款人需要确保在交易期间绝大多数的节点都认同该交易是首次出现。
  61. 3. 时间戳服务器(Timestamp server)
  62. 本解决方案首先提出一个“时间戳服务器”。时间戳服务器通过对以区块(block)形式存在
  63. 的一组数据实施随机散列而加上时间戳,并将该随机散列进行广播,就像在新闻或世界性新闻
  64. 组网络(Usenet)的发帖一样2345。显然,该时间戳能够证实特定数据必然于某特定时间是的
  65. 确存在的,因为只有在该时刻存在了才能获取相应的随机散列值。每个时间戳应当将前一个时
  66. 间戳纳入其随机散列值中,每一个随后的时间戳都对之前的一个时间戳进行增强(reinforcing),
  67. 这样就形成了一个链条(Chain)。
  68. 1 W Dai(戴伟),a scheme for a group of untraceable digital pseudonyms to pay each other with money and to enforce
  69. contracts amongst themselves without outside help(一种能够借助电子假名在群体内部相互支付并迫使个体遵守规则且不需要
  70. 外界协助的电子现金机制), “B-money”, http://www.weidai.com/bmoney.txt, 1998
  71. 2 H. Massias, X.S. Avila, and J.‐J. Quisquater, "Design of a secure timestamping service with minimal trust requirements,"(在最
  72. 小化信任的基础上设计一种时间戳服务器) In 20th Symposium on Information Theory in the Benelux, May 1999.
  73. 3 S. Haber, W.S. Stornetta, "How to time‐stamp a digital document," (怎样为电子文件添加时间戳)In Journal of Cryptology,
  74. vol 3, No.2, pages 99‐111, 1991.
  75. 4 D. Bayer, S. Haber, W.S. Stornetta, "Improving the efficiency and reliability of digital time‐stamping,"(提升电子时间戳的效率
  76. 和可靠性) In Sequences II: Methods in Communication, Security and Computer Science, pages 329‐334, 1993.
  77. 5 S. Haber, W.S. Stornetta, "Secure names for bit‐strings,"(比特字串的安全命名) In Proceedings of the 4th ACM Conference
  78. on Computer and Communications Security, pages 28‐35, April 1997. on Computer and Communications Security, pages 28‐35, April
  79. 1997.
  80. 比特币:一种点对点(Peer-to-Peer)的电子现金系统 Bitcoinblogger.com独家赞助本文翻译
  81. 4
  82. 4. 工作量证明(Proof-of-Work)
  83. 为了在点对点的基础上构建一组分散化的时间戳服务器,仅仅像报纸或世界性新闻网络组
  84. 一样工作是不够的,我们还需要一个类似于亚当·柏克(Adam Back)提出的哈希现金(Hashcash)
  85. 6。在进行随机散列运算时,工作量证明机制引入了对某一个特定值的扫描工作,比方说SHA‐256
  86. 下,随机散列值以一个或多个0 开始。那么随着0 的数目的上升, 找到这个解所需要的工作量
  87. 将呈指数增长,而对结果进行检验则仅需要一次随机散列运算。
  88. 我们在区块中补增一个随机数(Nonce),这个随机数要使得该给定区块的随机散列值出现
  89. 了所需的那么多个0。我们通过反复尝试来找到这个随机数,直到找到为止,这样我们就构建
  90. 了一个工作量证明机制。只要该CPU 耗费的工作量能够满足该工作量证明机制,那么除非重
  91. 新完成相当的工作量,该区块的信息就不可更改。由于之后的区块是链接在该区块之后的,所
  92. 以想要更改该区块中的信息,就还需要重新完成之后所有区块的全部工作量。
  93. 同时,该工作量证明机制还解决了在集体投票表决时,谁是大多数的问题。如果决定大多
  94. 6 A. Back, "Hashcash ‐ a denial of service counter‐measure,"(哈希现金——拒绝服务式攻击的克制方法)
  95. http://www.hashcash.org/papers/hashcash.pdf, 2002.
  96. 比特币:一种点对点(Peer-to-Peer)的电子现金系统 Bitcoinblogger.com独家赞助本文翻译
  97. 5
  98. 数的方式是基于IP地址的,一IP地址一票,那么如果有人拥有分配大量IP地址的权力,则该机
  99. 制就被破坏了。而工作量证明机制的本质则是一CPU一票。“大多数”的决定表达为最长的链,
  100. 因为最长的链包含了最大的工作量。如果大多数的CPU为诚实的节点控制,那么诚实的链条
  101. 将以最快的速度延长,并超越其他的竞争链条。如果想要对业已出现的区块进行修改,攻击者
  102. 必须重新完成该区块的工作量外加该区块之后所有区块的工作量,并最终赶上和超越诚实节点
  103. 的工作量。我们将在后文证明,设想一个较慢的攻击者试图赶上随后的区块,那么其成功概率
  104. 将呈指数化递减。
  105. 另一个问题是,硬件的运算速度在高速增长,而节点参与网络的程度则会有所起伏。为了
  106. 解决这个问题,工作量证明的难度(the proof-of-work difficulty)将采用移动平均目标的方法来确
  107. 定,即令难度指向令每小时生成区块的速度为某一个预定的平均数。如果区块生成的速度过快,
  108. 那么难度就会提高。
  109. 5. 网络
  110. 运行该网络的步骤如下:
  111. 1) 新的交易向全网进行广播;
  112. 2) 每一个节点都将收到的交易信息纳入一个区块中;
  113. 3) 每个节点都尝试在自己的区块中找到一个具有足够难度的工作量证明;
  114. 4) 当一个节点找到了一个工作量证明,它就向全网进行广播;
  115. 5) 当且仅当包含在该区块中的所有交易都是有效的且之前未存在过的,其他节点才认同
  116. 该区块的有效性;
  117. 6) 其他节点表示他们接受该区块,而表示接受的方法,则是在跟随该区块的末尾,制造
  118. 新的区块以延长该链条,而将被接受区块的随机散列值视为先于新区快的随机散列值。
  119. 节点始终都将最长的链条视为正确的链条,并持续工作和延长它。如果有两个节点同时广
  120. 播不同版本的新区块,那么其他节点在接收到该区块的时间上将存在先后差别。当此情形,他
  121. 们将在率先收到的区块基础上进行工作,但也会保留另外一个链条,以防后者变成最长的链条。
  122. 该僵局(tie)的打破要等到下一个工作量证明被发现,而其中的一条链条被证实为是较长的一
  123. 条,那么在另一条分支链条上工作的节点将转换阵营,开始在较长的链条上工作。
  124. 所谓“新的交易要广播”,实际上不需要抵达全部的节点。只要交易信息能够抵达足够多
  125. 的节点,那么他们将很快被整合进一个区块中。而区块的广播对被丢弃的信息是具有容错能力
  126. 比特币:一种点对点(Peer-to-Peer)的电子现金系统 Bitcoinblogger.com独家赞助本文翻译
  127. 6
  128. 的。如果一个节点没有收到某特定区块,那么该节点将会发现自己缺失了某个区块,也就可以
  129. 提出自己下载该区块的请求。
  130. 6. 激励
  131. 我们约定如此:每个区块的第一笔交易进行特殊化处理,该交易产生一枚由该区块创造者
  132. 拥有的新的电子货币。这样就增加了节点支持该网络的激励,并在没有中央集权机构发行货币
  133. 的情况下,提供了一种将电子货币分配到流通领域的一种方法。这种将一定数量新货币持续增
  134. 添到货币系统中的方法,非常类似于耗费资源去挖掘金矿并将黄金注入到流通领域。此时,
  135. CPU的时间和电力消耗就是消耗的资源。
  136. 另外一个激励的来源则是交易费(transaction fees)。如果某笔交易的输出值小于输入值,
  137. 那么差额就是交易费,该交易费将被增加到该区块的激励中。只要既定数量的电子货币已经进
  138. 入流通,那么激励机制就可以逐渐转换为完全依靠交易费,那么本货币系统就能够免于通货膨
  139. 胀。
  140. 激励系统也有助于鼓励节点保持诚实。如果有一个贪婪的攻击者能够调集比所有诚实节点
  141. 加起来还要多的CPU计算力,那么他就面临一个选择:要么将其用于诚实工作产生新的电子
  142. 货币,或者将其用于进行二次支付攻击。那么他就会发现,按照规则行事、诚实工作是更有利
  143. 可图的。因为该等规则使得他能够拥有更多的电子货币,而不是破坏这个系统使得其自身财富
  144. 的有效性受损。
  145. 7. 回收硬盘空间
  146. 如果最近的交易已经被纳入了足够多的区块之中,那么就可以丢弃该交易之前的数据,以
  147. 回收硬盘空间。为了同时确保不损害区块的随机散列值,交易信息被随机散列时,被构建成一
  148. 种Merkle 树(Merkle tree)7的形态,使得只有根(root)被纳入了区块的随机散列值。通过将该
  149. 树(tree)的分支拔除(stubbing)的方法,老区块就能被压缩。而内部的随机散列值是不必
  150. 保存的。
  151. 7R.C. Merkle, "Protocols for public key cryptosystems," (公钥密码系统的协议)In Proc. 1980 Symposium on Security and
  152. Privacy, IEEE Computer Society, pages 122‐133, April 1980.
  153. S. Haber, W.S. Stornetta, "Secure names for bit‐strings,"(比特字串安全命名) In Proceedings of the 4th ACM Conference on
  154. Computer and Communications Security, pages 28‐35, April 1997. on Computer and Communications Security, pages 28‐35, April
  155. 1997.
  156. H. Massias, X.S. Avila, and J.‐J. Quisquater, "Design of a secure timestamping service with minimal trust requirements,"(在最小
  157. 化信任的条件下设计一种时间戳服务器) In 20th Symposium on Information Theory in the Benelux, May 1999.
  158. 比特币:一种点对点(Peer-to-Peer)的电子现金系统 Bitcoinblogger.com独家赞助本文翻译
  159. 7
  160. 不含交易信息的区块头(Block header)大小仅有80字节。如果我们设定区块生成的速率
  161. 为每10分钟一个,那么每一年产生的数据位4.2MB。(80 bytes * 6 * 24 * 365 = 4.2MB)。2008
  162. 年,PC系统通常的内存容量为2GB,按照摩尔定律的预言,即使将全部的区块头存储于内存
  163. 之中都不是问题。
  164. 8. 简化的支付确认(Simplified Payment Verification)
  165. 在不运行完整网络节点的情况下,也能够对支付进行检验。一个用户需要保留最长的工作
  166. 量证明链条的区块头的拷贝,它可以不断向网络发起询问,直到它确信自己拥有最长的链条,
  167. 并能够通过merkle 的分支通向它被加上时间戳并纳入区块的那次交易。节点想要自行检验该
  168. 交易的有效性原本是不可能的,但通过追溯到链条的某个位置,它就能看到某个节点曾经接受
  169. 过它,并且于其后追加的区块也进一步证明全网曾经接受了它。
  170. 比特币:一种点对点(Peer-to-Peer)的电子现金系统 Bitcoinblogger.com独家赞助本文翻译
  171. 8
  172. 当此情形,只要诚实的节点控制了网络,检验机制就是可靠的。但是,当全网被一个计算
  173. 力占优的攻击者攻击时,将变得较为脆弱。因为网络节点能够自行确认交易的有效性,只要攻
  174. 击者能够持续地保持计算力优势,简化的机制会被攻击者焊接的(fabricated)交易欺骗。那
  175. 么一个可行的策略就是,只要他们发现了一个无效的区块,就立刻发出警报,收到警报的用户
  176. 将立刻开始下载被警告有问题的区块或交易的完整信息,以便对信息的不一致进行判定。对于
  177. 日常会发生大量收付的商业机构,可能仍会希望运行他们自己的完整节点,以保持较大的独立
  178. 完全性和检验的快速性。
  179. 9. 价值的组合与分割(Combining and Splitting Value)
  180. 虽然可以单个单个地对电子货币进行处理,但是对于每一枚电子货币单独发起一次交易将
  181. 比特币:一种点对点(Peer-to-Peer)的电子现金系统 Bitcoinblogger.com独家赞助本文翻译
  182. 9
  183. 是一种笨拙的办法。为了使得价值易于组合与分割,交易被设计为可以纳入多个输入和输出。
  184. 一般而言是某次价值较大的前次交易构成的单一输入,或者由某几个价值较小的前次交易共同
  185. 构成的并行输入,但是输出最多只有两个:一个用于支付,另一个用于找零(如有)。
  186. 需要指出的是,当一笔交易依赖于之前的多笔交易时,这些交易又各自依赖于多笔交易,
  187. 但这并不存在任何问题。因为这个工作机制并不需要展开检验之前发生的所有交易历史。
  188. 10. 隐私(Privacy)
  189. 传统的造币厂模型为交易的参与者提供了一定程度的隐私保护,因为试图向可信任的第三
  190. 方索取交易信息是严格受限的。但是如果将交易信息向全网进行广播,就意味着这样的方法失
  191. 效了。但是隐私依然可以得到保护:将公钥保持为匿名。公众得知的信息仅仅是有某个人将一
  192. 定数量的货币发所给了另外一个人,但是难以将该交易同特定的人联系在一起,也就是说,公
  193. 众难以确信,这些人究竟是谁。这同股票交易所发布的信息是类似的,股票交易发生的时间、
  194. 交易量是记录在案且可供查询的,但是交易双方的身份信息却不予透露。
  195. 作为额外的预防措施,使用者可以让每次交易都生成一个新的地址,以确保这些交易不被
  196. 追溯到一个共同的所有者。但是由于并行输入的存在,一定程度上的追溯还是不可避免的,因
  197. 为并行输入表明这些货币都属于同一个所有者。此时的风险在于,如果某个人的某一个公钥被
  198. 确认属于他,那么就可以追溯出此人的其它很多交易。
  199. 11. 计算
  200. 设想如下场景:一个攻击者试图比诚实节点产生链条更快地制造替代性区块链。即便它达
  201. 到了这一目的,但是整个系统也并非就此完全受制于攻击者的独断意志了,比方说凭空创造价
  202. 值,或者掠夺本不属于攻击者的货币。这是因为节点将不会接受无效的交易,而诚实的节点永
  203. 远不会接受一个包含了无效信息的区块。一个攻击者能做的,最多是更改他自己的交易信息,
  204. 并试图拿回他刚刚付给别人的钱。
  205. 诚实链条和攻击者链条之间的竞赛,可以用二叉树随机漫步(Binomial Random Walk)来描
  206. 述。成功事件定义为诚实链条延长了一个区块,使其领先性+1,而失败事件则是攻击者的链条
  207. 比特币:一种点对点(Peer-to-Peer)的电子现金系统 Bitcoinblogger.com独家赞助本文翻译
  208. 10
  209. 被延长了一个区块,使得差距‐1。
  210. 攻击者成功填补某一既定差距的可能性,可以近似地看做赌徒破产问题(Gambler’s Ruin
  211. problem)。假定一个赌徒拥有无限的透支信用,然后开始进行潜在次数为无穷的赌博,试图
  212. 填补上自己的亏空。那么我们可以计算他填补上亏空的概率,也就是该攻击者赶上诚实链条,
  213. 如下所示8:

comments powered by Disqus