1703865474
1703865475
为了避免上面说的这个问题，在小额支付协议开始之前，爱丽丝与鲍勃要签订一个交易，约定向爱丽丝退还所有的比特币，但是这个“退款”行为被上了锁，直到锁定时间到了为止。爱丽丝发起MULTISIG交易把比特币转入第三方托管之后，在向网络宣布这笔交易之前，她会从鲍勃那里要求这个退款交易。这样，如果过了t时间鲍勃还没有在最后一个交易上签名的话，她可以通过这个退款交易收回所有的比特币。
1703865476
1703865477
退款交易被锁定t时间是什么意思呢？还记得我们在第3章3.2节提到元数据的时候，有一个参数是“lock_time”，当时我们还没有解释。在此参数后面填上非零数值t, 这个值告诉矿工在记账的时候，要等待t时间之后才能把这笔交易记入区块链。这个交易在放入区块后，经过确定的区块数或者时间才生效。通过这个方式，人们可以发起一笔未来交易，当然，只有资金在未来时间点之前未被花费掉，这笔未来交易才会被执行。这在小额支付的例子里非常有效，它是爱丽丝的定心丸，能够确保在鲍勃最后没有签字的情况下她能拿回自己的比特币。
1703865478
1703865479
通过上面的例子，我们展示了比特币脚本可以轻易实现很多功能。我们虽然只讨论了三个例子，但其实人们研究过许多其他的功能。比如多人彩票系统，这个系统涉及一些十分复杂的多步操作协议，以及不同的锁定时间和第三方托管账户，来防止玩家作弊。还可以通过脚本语言实现多人混币，使得比特币更难被追踪。我们会在第6章展开讨论。
1703865480
1703865481
智能合约
1703865482
1703865483
所谓智能合约（smart contracts），就是那些不同于需要通过法律或者仲裁机构来保护执行的普通合约，智能合约是比特币系统里可以用技术手段来强制执行的合约，我们已经看到，比特币有非常好的特性让我们可以用脚本、矿工和交易验证——而不是通过中心化权威机构——来实现第三方托管协议或是小额支付。
1703865484
1703865485
智能合约的研究目前已经非常深入，能够实现非常多很复杂的功能，但比特币脚本语言的设计也有很多缺陷，还是有很多现实需要的智能合约无法用比特币的工作控制语言来实现[1]。不过这里我们就不一一细谈了。
1703865486
1703865487
[1]但已经有很多有意义的探索，比如以太坊等实现了图灵完备的智能合约。——译者注
1703865488
1703865489
1703865490
1703865491
1703865492
区块链技术驱动金融：数字货币与智能合约技术 [:1703863922]
1703865493
区块链技术驱动金融：数字货币与智能合约技术 3.4 比特币的区块
1703865494
1703865495
现在，我们已经了解了单个交易是如何创建的，但是在第2章里提到，所有交易都是被打包放入区块的，为什么要这么做呢？其实这是为了性能优化，如果每一个交易都要矿工单独去达成共识，那整个系统的交易处理速度将会变得非常慢。而如果我们把大量交易组织起来放入一个区块，得到的哈希链就更短，大大提高了验证区块链数据结构的效率。
1703865496
1703865497
区块链（块链）非常聪明地把两个基于哈希值的数据结构结合起来：第一个数据结构是区块的哈希链，每一个区块都有一个区块头部，里面有一个哈希指针指向上一个区块。第二个数据结构是一个树状数据结构，也就是以树状结构把区块内所有交易的哈希值进行排列存储。也叫梅克尔树（请参考第1章），它以一种非常高效的形式把所有交易组织起来。为了证明某个交易在某个区块内，可以通过树内路径来进行搜索，而树的长度就是区块内所包含的交易数目的对数（见图3.7）。
1703865498
1703865499
我们在第2章中提到过（在第5章还将继续涉及），区块头部还包含了挖矿谜题[1]相关的信息。还记得，区块头部的哈希函数必须以一大堆零开头才有效，此外，区块头部还要包含一个矿工可以修改的“临时随机数”、一个时间戳和一个点数（点数用来表示找到这个区块的难度）。区块头部是挖矿过程中唯一哈希值化的，所以要验证一个区块的链，只要检查区块头部即可。在区块头部唯一的交易数据是交易树的树根——“mrkl_root”。
1703865500
1703865501
1703865502
1703865503
1703865504
图3.7 比特币的区块链有两个哈希结构
1703865505
1703865506
注：一个就是把区块联结在一起的哈希链，另一个就是区块内部的交易哈希值梅克尔树。
1703865507
1703865508
每个区块的梅克尔树上都有一个有意思的交易，叫作币基交易（见图3.8）。这就类似于财奴币里的造币交易。这个交易创造新的比特币，它看上去像是一个普通的交易，但有几点不同：
1703865509
1703865510
1703865511
1703865512
1703865513
图3.8 币基交易
1703865514
1703865515
注：币基交易创造新的比特币，这个交易并不消费之前交易输出的比特币，因此，没有指针指向“上一交易”。币基交易的参数可以是任意数据。币基交易的价值等于区块奖励加上区块中包含的所有交易费。
1703865516
1703865517
1.它永远只有一个单一的输入与单一的输出。
1703865518
1703865519
2.这个交易并不消费之前交易输出的比特币，因此，没有指针指向“上一交易”。
1703865520
1703865521
3.这个输出值目前大约是25个币多一点点。这个输出值就是矿工的挖矿收入。它由两部分组成：一部分是奖励的25个比特币（奖励在每生产210 000个区块——大概4年——后减半），另一部分是所有交易的交易手续费。
1703865522
1703865523
4.还有一个特别的地方就是“币基”参数，矿工可以放任何值进去。