Nick Szabo：Bit Gold、智能合约与比特币之前的蓝图

Nick Szabo 是一位计算机科学家兼法律学者，他在 1994 年的一篇文章中提出了"智能合约"（smart contract）一词，并设计了 Bit Gold——一套 1998 年提出、2005 年 12 月公开描述的去中心化数字货币方案。Bit Gold 把工作量证明串联成链以制造无法伪造的数字稀缺性，是比特币之前最接近它的设计构想。

1. Nick Szabo 是谁？计算机科学与契约法的交汇

• 背景与经历: Szabo 在华盛顿大学攻读计算机科学，1989 年毕业，后于 2006 年在乔治·华盛顿大学法学院取得法律博士学位。这一组合定义了他的全部工作：他把密码学协议视为契约与财产法的工具，而不只是工程产物。他从密码朋克邮件列表的早期就活跃其中，并在 1990 年代中期从事数字现金的商业化工作，其中包括在阿姆斯特丹 David Chaum 的 DigiCash 任职的一段时间。他长期维护的博客 Unenumerated 以及此前的一系列文章，是他思想最主要的公开记录。他曾任教并讲授数字合约与信息安全法，但从未在加密货币行业中经营常规意义上的公众形象。

2. 主要贡献：智能合约与 Bit Gold

• 主要贡献:
  • 《Smart Contracts》（1994）: 在这篇网络流传的短文中，Szabo 把智能合约定义为"一种执行合同条款的计算机化交易协议"，其目标是满足常见合同条件、最小化恶意与意外的例外情况，并最小化对可信中介的需求。他的经典例子是自动售货机：一台持有少量价值的设备，无需店员、律师或法院即可完成交换。
  • 《Formalizing and Securing Relationships on Public Networks》（First Monday，1997 年 9 月）: 完整的学术论述，把智能合约扩展到信贷、内容权利、支付系统与无记名票据等领域，并同时从法律原则与协议理论中推导设计准则。后来以太坊文献引用的通常是这篇，而不是 1994 年那篇短文。
  • Bit Gold（1998 年设计，2005 年 12 月 29 日公开）: Szabo 提出的不依赖可信第三方的货币方案。参与者用"客户端难题函数"生成一个字符串，该解又成为下一道难题的挑战值，从而形成一条工作量证明之链。所有权登记在一个由拜占庭容错服务器法定人数维护的分布式产权登记表中。他自己指出了未解决的问题：可替换性。不同时期的难题解所耗费的算力不同，因此这些单位无法像货币那样彼此等价互换。Bit Gold 从未被实现。
  • 《Secure Property Titles with Owner Authority》（1998）: Bit Gold 的姊妹篇，也是两者中更具预言性的一篇。Szabo 描述了一套在多台服务器间复制的产权登记系统：所有权由法定人数对一条签名的转让链达成一致来确立，而不是由政府机构保管权威副本。他还指出了该设计必须挺过的攻击——对手制造大量虚假身份以压倒法定人数，也就是后来被工作量证明用成本挡住的女巫攻击问题。
  • 《Trusted Third Parties Are Security Holes》（2001）: 论证为了便利而引入的中介，会成为最具吸引力的攻击面和整个协议中最昂贵的部分；减少中介是一项安全措施，而非意识形态偏好。
  • 《Shelling Out: The Origins of Money》（2002）: 追溯史前社会中收藏品与原始货币的文章。业界广泛用它来论证：货币价值的历史根源是"无法伪造的成本"，而非政府法令。

3. Szabo 在区块链历史中的位置

• 影响力评估: 行业中有两条脉络都源自 Szabo 的工作。比特币的设计与 Bit Gold 共享同一个核心直觉——串联的工作量证明可以在没有发行方的情况下制造稀缺性——尽管比特币白皮书并未引用 Bit Gold，中本聪本人后来也写道，他在设计系统时并未读过戴维的 b-money。以太坊则源自另一条脉络：Vitalik Buterin 的核心主张是区块链应当能运行任意合约，而这正是 Szabo 1994 年的定义在公链上的实现。整个智能合约产业的词汇体系，包括这个术语本身，都来自一篇写于网络尚无商业支付系统之前的文章。

• 重要观点: Szabo 被引用最多的一句话"可信第三方是安全漏洞"浓缩了他的立场：目标不是消灭"信任"这个概念，而是减少那些一旦失效就会连累所有人的当事方数量。他同样一贯地对宣称能废除法律的设计持怀疑态度，认为密码学协议与法律制度是两种成本结构不同的执行机制。

4. 关于 Nick Szabo 的常见误解

• 争议与批评:
  • "Nick Szabo 就是中本聪": 最常见的说法，依据是 Bit Gold 与比特币的相似性、2014 年阿斯顿大学等文体分析把他标为最接近的匹配，以及 2015 年 Nathaniel Popper 在《纽约时报》的报道把他视为首要候选人。Szabo 已直接且反复否认。没有任何密码学证据把他与中本聪的密钥联系起来。
  • "Bit Gold 就是比特币": 并非如此。Bit Gold 设定的是由服务器法定人数保障的产权登记表，而不是由累积工作量证明保障的单一链条；它也没有解决可替换性问题，以及法定人数成员的抗女巫攻击问题。两套设计之间的差距，恰恰是又花了十年才补上的部分。
  • "他在区块链上发明了智能合约": 他在 1994 年定义了这个概念与术语，比任何区块链能够运行智能合约早了十七年。把它们在公链上实现，是以太坊用 Solidity 与 EVM 完成的贡献。
  • "他从行业中消失了": 他仍可公开联系，偶尔写作与演讲，也为区块链项目提供过顾问服务，但从未创建或领导过大型加密货币公司。

5. 时间线与现状

• 1989 年: 从华盛顿大学计算机科学专业毕业。

• 1993-1995 年: 从事数字现金商业化工作，其间任职于 DigiCash。

• 1994 年: 发表《Smart Contracts》，提出该术语。

• 1997 年: 《Formalizing and Securing Relationships on Public Networks》发表于 First Monday。

• 1998 年: 设计 Bit Gold。

• 2001 年: 发表《Trusted Third Parties Are Security Holes》。

• 2005 年 12 月 29 日: 在 Unenumerated 博客上公开 Bit Gold 的描述。

• 2006 年: 取得乔治·华盛顿大学法学院法律博士学位。

• 2008-2009 年: 比特币问世；Szabo 公开指出它与 Bit Gold 的相似之处，并否认自己是作者。

• 现状与未来: Szabo 仍在货币、契约与安全领域写作和演讲，并坚持自己不是中本聪。他的文章如今更像规格书而非猜想：去中心化金融为自己宣称的几乎每一项特性，早在支撑它们的基础设施出现之前，就已经写在他的作品里。