BTC 状态转移函数

在上述系统架构基础上，我们可以很容易归纳出BTC的有限状态机状态转移函数。

1. 我们定义一个用户地址A的原始状态为Si=State(A), State()为关于该用户的交易明细索引查询。

2. 用户A发送条件交易抽象为状态转移函数Ti= UTXO_OP()

3. 计算完整性验证为Vi = Verify(Si+1, Si, Ti)。

那么完整的关于A的全局状态转移函数可以抽象为：Si x Ti x Vi → Si+1