(扬·卢卡西维兹，波兰逻辑学家。图片来源于网络)前情回顾：比特币史话·66 | 智能合约(1): 脚本的由来比特币史话·67 | 智能合约(2): 合约并不智能比特币史话·68 | 智能合约(3): 同性恋之死比特币史话·69 | 智能合约(4): 图灵完全吗？比特币史话·70 | 智能合约(5): 停机问题 正文：1929年，波兰逻辑学家扬·卢卡…

(大卫·希尔伯特，德国数学家。图片来源于网络)前情回顾：比特币史话·65 | 赌徒的破产(6): 算力威慑比特币史话·66 | 智能合约(1): 脚本的由来比特币史话·67 | 智能合约(2): 合约并不智能比特币史话·68 | 智能合约(3): 同性恋之死比特币史话·69 | 智能合约(4): 图灵完全吗？ 正文：“我正在说的这句话是谎话”究竟是…

(艾伦·图灵。图片来源于网络)前情回顾：比特币史话·64 | 赌徒的破产(5): 泊松分布比特币史话·65 | 赌徒的破产(6): 算力威慑比特币史话·66 | 智能合约(1): 脚本的由来比特币史话·67 | 智能合约(2): 合约并不智能比特币史话·68 | 智能合约(3): 同性恋之死 正文：艾伦·图灵，全名艾伦·麦席森·图灵(Alan Ma…

(苹果。图片来源于网络)前情回顾：比特币史话·63 | 赌徒的破产(4): 算力对决比特币史话·64 | 赌徒的破产(5): 泊松分布比特币史话·65 | 赌徒的破产(6): 算力威慑比特币史话·66 | 智能合约(1): 脚本的由来比特币史话·67 | 智能合约(2): 合约并不智能 正文：中本聪本尊我们无缘得以面叙，但是文如其人，见字如面，我们…

(尼克·萨博，密码学家。图片来源于网络)前情回顾：比特币史话·62 | 赌徒的破产(3): 双花欺诈比特币史话·63 | 赌徒的破产(4): 算力对决比特币史话·64 | 赌徒的破产(5): 泊松分布比特币史话·65 | 赌徒的破产(6): 算力威慑比特币史话·66 | 智能合约(1): 脚本的由来 正文：“智能合约”(smart contract…

(哈姆雷特，戏剧。图片来源于网络)前情回顾：比特币史话·63 | 赌徒的破产(4): 算力对决比特币史话·64 | 赌徒的破产(5): 泊松分布比特币史话·65 | 赌徒的破产(6): 算力威慑 正文：比特币系统的巨大算力和区块确认的收款策略，有力保护了“卖家(接受比特币的一方)免遭欺诈”[比特币白皮书]。双花问题的解决，是比特币最重要的创新之一。…

(“真理”。图片来源于网络) 前情回顾：比特币史话·62 | 赌徒的破产(3): 双花欺诈比特币史话·63 | 赌徒的破产(4): 算力对决比特币史话·64 | 赌徒的破产(5): 泊松分布 正文：共识攻击者和比特币系统之间的算力对决，恰似臻于化境的功夫高手之间的切磋。一个在暗，一个在明。双方未出一招一式，各在心中用概率论推演对决的每个回合，须臾之…

(西莫恩·德尼·泊松，法国数学家。图片来源于网络) 前情回顾：比特币史话·61 | 赌徒的破产(2): 薛定谔的猫比特币史话·62 | 赌徒的破产(3): 双花欺诈比特币史话·63 | 赌徒的破产(4): 算力对决 正文：现在让我们把视角从挑战者一方切换到擂主一方。中本聪很清楚，挑战者之所以迟迟没有发起进攻，是因为他的算力不如当前全网诚实算力，出手…

(布莱士·帕斯卡，法国物理学家、数学家。图片来源于网络) 前情回顾：比特币史话·60 | 赌徒的破产(1): 私钥并不神秘比特币史话·61 | 赌徒的破产(2): 薛定谔的猫比特币史话·62 | 赌徒的破产(3): 双花欺诈 正文：双花欺诈所攻击的对象，正是比特币所构建的纳什均衡和全局共识，即比特币系统的区块链公共账本，那条积累了最大工作量证明的最…

(金银花，又名双花。图片来源于网络) 前情回顾：比特币史话·59 | 囚徒的困境(6): 九九归一比特币史话·60 | 赌徒的破产(1): 私钥并不神秘比特币史话·61 | 赌徒的破产(2): 薛定谔的猫 正文：在大多数情况下，我们作为接收方不需要过于担心对方的欺诈。这些情况涵盖了诸如自己转账给自己，对方是熟人(比如我的兄弟)，对方是普通人(比如一…