比特币常被称为“可编程货币”，其核心在于通过脚本系统实现灵活的交易逻辑。与传统转账中简单的增减余额不同，比特币交易基于脚本执行，支持条件验证和复杂逻辑，为智能合约奠定了初步基础。本文将深入解析比特币交易的基本结构、脚本运行机制及其应用场景。
比特币交易的基础：未花费交易输出（UTXO）
比特币交易并非基于账户余额模型，而是依赖于未花费交易输出（UTXO）机制。UTXO代表区块链中尚未被消费的交易输出，每个新交易的输入都来自先前交易的UTXO，形成一条连续的所有权链。
关键特性包括：
- 挖矿奖励是一种特殊交易（称为coinbase交易），无需输入UTXO；
- UTXO不可分割，是交易的最小单元；
- 比特币网络中没有“余额”概念，只有分散在链上的UTXO集合。
比特币脚本：可编程交易的核心
比特币交易通过脚本系统实现验证和执行。每笔交易包含两部分脚本：
- 解锁脚本（Signature Script）：由交易提供方提供，通常包含数字签名，用于证明对UTXO的所有权；
- 锁定脚本（PubKey Script）：定义UTXO的消费条件，如需要特定公钥的签名匹配。
节点通过组合执行当前交易的解锁脚本和前一交易的锁定脚本验证交易有效性。若脚本执行结果为真，则交易合法。
常见交易脚本的验证流程
比特币脚本语言基于逆波兰表示法和栈结构执行，支持算术运算、逻辑判断和加密操作，但不支持循环。最常见的脚本类型是支付到公钥哈希（P2PKH），其验证过程分为两步：
- 解锁脚本执行：将签名和公钥压入栈中；
- 锁定脚本执行：校验签名与公钥哈希的匹配性，若验证通过则输出“真”。
这一流程确保了只有持有正确私钥的用户才能动用UTXO。
交易结构详解
比特币交易支持多输入多输出设计，结构包含以下部分：
核心交易字段
- 版本号：定义交易遵循的规则；
- 锁定时间：指定交易可被处理的最早时间。若值为0表示立即执行；小于5亿代表区块高度；大于5亿则为Unix时间戳；
- 交易费：通过输入总和与输出总和的差值计算，即
交易费 = 所有输入总额 - 所有输出总额。
交易输入与输出结构
- 交易输入：包含指向先前UTXO的引用、解锁脚本和序列号；
- 交易输出：由金额和锁定脚本组成，定义新UTXO的消费条件。
交易哈希计算方式
交易哈希是唯一标识交易的关键值，计算步骤如下：
- 将交易各字段序列化为字节数组；
- 拼接字节数组形成字符串；
- 对字符串进行两次SHA256哈希运算。
这一哈希值用于构建区块中的Merkle树，确保交易不可篡改。
智能合约雏形与应用场景
比特币脚本虽非图灵完备，但仍支持多种条件逻辑，为智能合约提供初步实现。常见脚本类型包括P2PKH和支付到脚本哈希（P2SH）。以下是典型应用场景：
多重签名机制
- 公司治理：要求超过半数股东签名方可执行支付，既保障集体决策又防范资金滥用；
- 仲裁调解：买卖双方交易时引入第三方仲裁人。正常情况下交易直接完成；若发生争议，仲裁人可联合一方签名释放资金。
保证合同
用于公共项目筹资（如灯塔建设），要求筹资金额达到目标后资金才被划转。若筹资失败，所有参与者无需付款。
基于预言的条件支付
例如遗嘱执行：孙子需在祖父去世或年满18岁后继承遗产。预言机服务器根据真实事件（如死亡证明或年龄验证）对交易签名，触发资金释放。
常见问题
比特币UTXO模型与账户模型有何区别？
UTXO模型通过分散的输出记录所有权，交易需引用先前输出；账户模型则直接维护余额，更接近传统银行系统。UTXO优势在于并行处理和隐私性，但复杂度较高。
比特币脚本是否支持循环语句？
不支持。脚本语言设计为线性执行，避免无限循环导致网络资源滥用，这也是其非图灵完备的主要原因。
P2SH脚本如何提升交易灵活性？
P2SH将复杂锁定脚本替换为哈希值，接收方只需提供匹配脚本即可消费UTXO。这减少了交易数据量，并支持更复杂的多签名或条件逻辑。
交易费是如何确定的？
交易费由输入与输出总额的差值决定，同时受网络拥堵程度影响。用户可通过提高费用加速交易确认。
比特币脚本能否实现完全自主的智能合约？
受限非图灵完备性，比特币脚本仅能处理简单条件。复杂合约需依赖以太坊等支持图灵完备的区块链平台。
总结
比特币通过UTXO和脚本系统实现了可编程交易，奠定了区块链智能合约的基础。尽管功能有限，但其多重签名、条件支付等场景已展现出自动化交易的潜力。随着技术演进，更多创新应用将在确保安全的前提下持续涌现。