《比特币白皮书》11. Calculations

image image image

本章主要用概率论和代码来验证比特币系统的安全性，即说明攻击者的不可行。

发动攻击的过程实质上就是城市链和攻击链之间的赛跑。发动攻击者必须在正常链上发送一笔交易（一般来收，交易对象是交易所），之后在交易所确认改笔交易的同时，开始在这笔交易尚未发送时的区块基础上发送另一笔交易给自己或其他地址。然后让后笔交易取代正常链。

每个节点取得记账权的机会都是随机的，其概率与其算力成正比。而攻击者要做的，就是多次拿到这个记账权。就像足彩买复选，每多一次复选，概率也会降低。

白皮书用泊松分布来描述这以攻击进展。泊松分布的求解过程倒是十分简单。