比特币历史 68 | 智能合约（三）：同性恋死亡

（苹果。图片来自网络）

往期情况回顾：

文本：

我们没有机会当面谈论中本聪，但文字就像一个人，文字就像面对面。 我们仔细阅读了比特币代码中的术语、概念词，以及中本聪这两三年发表的词，散落各处。 言语会在我心里升起一种很强烈的感觉，那就是他总是坚持用最简单最简单的概念和词汇来构造最晦涩难懂的问题的解决方案。 他解决的问题有多晦涩？ 即使在比特币发明十多年后的今天，仍然有很多人坚持认为比特币解决不了任何问题，或者不清楚比特币解决了什么问题，所以它没有价值。 他使用的概念有多简单？ 在看过比特币的开源代码后，很多技术圈人士曾有一个流行的评价，中本聪用的是老套的技术，没有什么先进的。 言下之意，这些高尚的人也有可能发明比特币，中本聪也没什么特别的。 其实谁都明白，把表面的东西弄得深不可测，并不是什么本事。 能够用深入浅出的语言表达深刻的东西，直指本质，让普通人一听就懂，这可不是什么本事，真是厉害。

中本聪的这一特点在比特币脚本的命名上体现得淋漓尽致。 在 2010 年 6 月 17 日发布的这篇论坛帖子中，中本聪解释了为什么将脚本支持添加到比特币以使比特币交易可编程。 由于比特币这种系统的防篡改特性，一旦上线，很多核心设计是不容易改变的。 正如中本聪所说，“比特币的本质是，一旦发布 0.1 版本，其核心设计将在其生命周期内保持不变。因此，我想将其设计为支持我能想到的每一种比特币。” 可能的交易类型。”[1]

然而比特币最直白的解释，“问题是每个案例，无论是否使用，都需要特殊的支持代码和数据字段，并且一次只能覆盖一个特例。特例呈爆炸式增长。”

如何解决？ 中本聪继续写道，“解决方案是脚本，它概括了问题，以便交易各方可以将他们的交易描述为节点网络评估的谓词）。 节点只需要在评估发送方条件是否满足的程度上理解交易。”

中本聪这句话中提到的“谓词”和“求值”都是计算机术语，或者说多一点，是形式逻辑术语。 “求值”函数在计算机语言中一般简写为“eval”，后改名为“求值”，一些更高级的特征词如“惰性求值”（lazy evaluation）等也由此衍生。 多见于函数式编程语言或具有函数式特性的编程语言 。 所谓“谓语”，就是说明事物本质的断言。 例如，“apples are edible”这句话就是一个命题。 其中，“能吃”是谓语。 如果对苹果求值，结果为真，则可以吃苹果； 如果对石头进行评估，结果为假，则不能食用该石头。

中本聪觉得“谓词”太过晦涩难懂，所以他选择用一个更简单的词“脚本”。 “脚本实际上只是一个谓词。它只不过是一个计算结果为真或假的等式。谓词是一个又长又陌生的词，所以我称它为脚本。” 中本聪在 2010 年 6 月 17 日的论坛帖子中这样说。

“脚本”（script）[2]是指剧院中表演者的对话和舞台指令，影视剧中演员的对话和语言，电子游戏中游戏的叙述和文本比特币最直白的解释，漫画中的叙事和人物对话，以及漫画中人物的对话。 计算机是指由解释器解释并执行的计算机程序。 要仔细理解这个问题，我们需要再次乘坐时光机，回到100多年前的英国，了解那个被英国政府指控犯有同性恋罪，强制阉割，最后让罪犯吃掉的男人毒苹果自杀死亡的悲惨故事。 这个罪犯名叫艾伦·图灵（Alan Turing，1912-1954）。