比特币史话·67 | 智能合约(2): 合约并不智能

正文：
“智能合约”(smart contract)的概念最早是中本聪点名启发了比特币发明的两人之一、“比特金”设计思路的提出者、计算机科学家、密码学家尼克·萨博(Nick Szabo)在1997年提出的[1]。
不过，智能合约这个词汇实在是有些过于绚丽多姿，惹人过度联想，反倒蒙蔽了双眼、迷失了本意。人们以为这个东西是一种人工智能，或者能够替代人间法律和社会契约。其实，智能合约一点儿都不智能，相反的，它非常机械，只是基于给定的条件作出预定的、确定性的反应。和生命智能恰恰相反，智能合约的行为最好是完全可预测的、可审计、可验证的，否则，我们恐怕很难放心地让一个运行结果不可靠或者有能力自行其是的智能合约来保管和控制我们的资金。[公众号:刘教链]
其实，在尼克·萨博的文章中，他原是在“安全性”(security)的语境下讨论智能合约这个概念的。在他1997年名为《智能合约的想法》(The Idea of Smart Contracts)的文章中，他这样写道，“「安全性」的含义和目的是什么？它和我们彼此之间的关系有何关系？我认为，我们彼此关系的正式化(尤其是合约)为理想的安全性提供了蓝图”。
尼克·萨博进一步解释，“许多合约条款(例如抵押品，担保书，财产权的划定等)都可以以一种方式嵌入到我们处理的软硬件中，让违约者违反合约的行为变得代价高昂(有时是令人望而却步的高昂，如果需要的话)”。他指出，“一个典型的现实生活中的例子，也许我们可以认为它是智能合约的祖先，就是简陋的自动售货机”。
显然，尼克·萨博所说的智能合约，与其说是“智能”的合约，不如说是“无法单方面毁约并获利”的合约。一个常识是，如果没有了外部约束，人性是经受不起考验的，在巨大的利益诱惑面前，出尔反尔、撕毁协定、卷款跑路都是天天在现实中上演的真实剧本。传统的外部约束方案包括道德教化、法律惩治，以及暴力震慑，尼克·萨博希望智能合约能够把规则内置到具有可编程性的资产内，成为其特性的一部分，并且一旦设定，就脱离了与其交互的人的控制，从而实现了对人性弱点的“天然”约束，而无需采取高成本的说教、追责和教训的方法。[公众号:刘教链]
那么中本聪知不知道尼克·萨博所提的这个智能合约的概念呢？其实他是知道的。
2010年7月30日，一个网友在论坛中发帖谈到智能合约的概念(还给出了维基百科的词条链接)，并且说，“当前的比特币实现已经呈现了智能合约的一个可工作的例子：用软件编码的规则来管理数字财产”，“有了合适的合约工具，比特币经济将能够蓬勃发展，而不必依赖于州法院的金钱耗费和道德悖论”[2]。对此，中本聪在8月4日回帖说，“软件设计了对这种情况的支持。我本来要发布有关担保支付的设计的详细信息，但是自从被slashdot报道以来，我还没有找到时间。”(注：中本聪所说的被slashdot报道一事，从时间线上看应该是指2010年7月11日著名的极客新闻网站slashdot报道了比特币新版客户端发布的消息，导致比特币的用户量暴涨。)
但是中本聪仍然没有在比特币中使用智能合约这样一个花哨的词汇。我们知道，中本聪使用了“脚本”(script)这个词。[公众号:刘教链]
中本聪是怎么解释脚本的本质含义的呢？我们接下来就揭示这个问题的答案。
【未完待续】(公众号：刘教链)

发送评论编辑评论

发送评论 编辑评论

发送评论编辑评论