提一提 Lamport，对普通程序员来说，可能他的 Latex 是最被熟知的。然而，他最大的学术贡献是在分布式系统方面的学术研究，也由此获得图灵奖。拜占庭问题最早是由他提出的。另外，他也提出了 Paxos，一个由于复杂晦涩而臭名昭著的协议，其后出现的 concensus 方面的协议和软件很多也都是 Paxos 的变体，比如后来的 Raft 和由 Hadoop 而出名的 ZooKeeper。然而起初的 Paxos 并没有解决拜占庭问题，而 90 年代末另外一篇论文 PBFT 是第一个对拜占庭问题的有效解决，此后鲜有这方面的重大突破。拜占庭问题模型是一个非常严苛的模型，因为所有的 failure 都可能发生，节点甚至可能欺诈，基于如此苛刻的模型其实也很少存在实际的应用场景，也许也是因此放慢了学术圈的进展。直到比特币的出现，提出了一种和 Paxos、PBFT 们非常不同的方案。
（继续

继续离题。
从 12 年 4 月到 15 年 5 月，在日本的公司刚刚干满三年，我决定离开日本，尽管本来差不多再干两年就可以拿永驻（相当于绿卡）了。主要原因还是感觉没前（钱）途，1 ）日元人民币汇率从我刚到日本的时候有八后来一直掉到六，工资换成人民币的话越算越不合算； 2 ）相较国内的大跃进式发展，日本从社会到互联网行业的平淡简直是温水煮青蛙。准备了半年寄托，来了美帝开始正统读 CS 硕士，也是这期间有了 1L 提到的读 Leslie Lamport 论文的机会。
（继续

真正开始从自己口袋里掏钱买 btc 是在 mtgox 事件以后，btc 价格重创缩水从最高五六千 RMB 降到后来两千，我心想这要抄底。当时由于关注过一段 Ruby 圈的信息，由于 @lgn21st 等人在云币工作，刚开始在云币交易。我大约是在三千不到左右进场，短线做了很久，btc 却一直不反弹，一直到最后跌倒后来最低只有 1500 左右。看着一路下跌的形势，我开始转到火币，用杠杆做空了一段时间。中间还尝试做了一段自动交易，用 Python 写了两个交易所的接口库，现在还放在我的 Github 个人页上。
（继续

工作以后一段时间，比特币第二波大涨，开始走入公众视线。公司开组会，我给同事较详细地分享过比特币相关内容。那个时候，mtgox 占全球 70%以上的份额，恰好其总部还在东京，我一度想跳槽去 mtgox，好在在我付诸实践之前 mtgox 关闭事件发生。日本媒体开始大量报道，mtgox 办公楼门口也聚集了抗议的人，不少是西洋人。当时我还参加了一个每周在六本木的一家地下酒吧举行的 Tokyo Bitcoin Meetup，其中有几个就是抗议的核心人员。
（继续

岔开话题。
09 年到 12 年，我在日本读规划建筑方面的研究生。临近毕业，部分原因是发现 IT 的工作职位远比建筑业多得多，我决心转行。然而，11 年开始找工作没多久马上经历了大地震，好在大学所在的地方城市和震源较远，未有太大影响。那段时间，看着手机上各种地震和核电站的相关报道，坐几小时的电车，往返于大学和东京大阪等城市之间，晚上住便宜的 business hotel。所幸最后找到一份还算满意的程序员工作，开始全身心投入学习技术，开始仔细研究比特币应该也是从那个时候开始。

看 k 线总觉得这两天有机构在拉一段砸一下拉一段再砸一下的节奏

@qdwang +1

有一点：应该不是广播前程序被执行，我的理解是需要 block 生成出来（ mined ）之后才被执行，而且如果分叉的话可能要维护多个状态。

可以这么理解。
重复执行，在比特币里没有对应的。在以太坊里，其实有两种地址，一种是给人用的，一种是给程序用的（存有代码）。你给第二种地址多次发 txn，相当于执行了那个程序里的代码。具体看这里： http://ethdocs.org/en/latest/contracts-and-transactions/account-types-gas-and-transactions.html

@bestkayle 普林斯顿这套教程是技术上我见过讲的最清楚的。http://bitcoinbook.cs.princeton.edu/

@Elven 那你就顶一个 op 可以指定时间执行咯。

当生成一个 block 的时候，block 里面的所有 script 被执行。

你需要定义一套 opcode，然后实现一个 deterministic 的 virtual machine。
可以参考比特币： https://en.bitcoin.it/wiki/Script
以及以太坊论文的 22 页： http://gavwood.com/paper.pdf

我给你算一算，5500usd/btc，就算 2100 万个币全释放，大概是一千多亿。现在苹果是八千多亿。所以大概只有 1/8。长期看远远还有上升空间。（我没算错吧？）

@takato 你怎么算出来的？

@crystom 想想好像确实差不多。

可以存 score + timestamp/2^31。(2^31 - 1 是 timestamp 最大值，可以用到 2038 年)
比如积分 100，timestamp= 1507750681，存 100 + 1507750681/2^31 = 100.70210112305。
当 score 不够大，精度准确。score 过大，小数位精度会自动丢失。

如果为了 debug 方便，也可以存 score + timestamp/10^10。

@PythonAnswer 你说的没有错。

“教授”?能不含糊其辞吗？