他所解决的问题晦涩到什么程度?即使在比特币已经发明十多年后的今天,依然有很多人坚持认为比特币没有解决任何问题,或者不清楚比特币究竟解决了什么问题,因而没有任何价值。
他所使用的概念简单到什么程度?技术圈子内的很多人看完比特币的开源代码之后,有种一度流行的评价就是,中本聪用的都是些老掉牙的技术,没有什么**的东西,言下之意就是这些高论者也一样能发明出比特币,中本聪并没什么了不起的。其实,大家都明白,能把肤浅的东西搞得高深莫测不是本事,能把深奥的东西用浅显直白却又直指本质的语言讲出来、讲清楚,讲的普通人都一听就懂,才是真厉害。
脚本(script),它把问题
泛化(generalize),这样交易各方就可以把他们的交易描述为一个
谓词(predicate),以供节点网络
评估(evaluate)。节点仅需要在评估发送者的条件是否满足的程度上理解这笔交易。”
形式逻辑术语。“评估”函数在计算机语言中一般会简写成“eval”,并且改个名字叫做“
求值”,并由此引申出一些更为**的特性词汇比如“惰性求值”(lazy evaluation),这在函数式编程语言或者具有函数式特性的编程语言中会比较常见。而所谓“谓词”,就是一个说明事物性质的断言。比如“
苹果可以吃”这句话,是一个
命题。其中“可以吃”就是一个
谓词。对苹果求值,结果为真,那么苹果可以吃;对石头求值,结果为假,那么石头不能吃。
脚本实际上就是一个谓词。它只不过是一个等式,求值结果为真或假。谓词是一个冗长而陌生的词,因此我将其称为脚本。”中本聪在2010年6月17日的论坛帖子中如此说道。
在戏剧中指表演者的对话和舞台指示,
在影视剧中指演员的对话和语言,
在视频游戏中指游戏的叙事和文本,
在漫画中指叙事和人物对话,
在计算机中指通过
解释器进行
解释执行的
计算机程序。要仔细搞明白这个问题,我们需要再次乘坐时光机,回到100多年前的英国,去了解一下那个被英国政府以
同性恋为罪名指控和定罪,强制执行
**,并最终造成犯罪分子吃下
毒苹果自杀身亡的悲剧故事。这个犯罪分子,名字叫做
艾伦·图灵(Alan Turing, 1912-1954)。
文章标题:比特币史话·68 | 智能合约(3): 同性恋之死
文章链接:https://www.btchangqing.cn/94040.html
更新时间:2020年08月29日
本站大部分内容均收集于网络,若内容若侵犯到您的权益,请联系我们,我们将第一时间处理。