Fuel 把账本状态建成可显式消费的 UTXO 集合，交易签名时就声明全部读写集。本文按规范拆解输入输出类型、谓词脚本与合约状态根，并对照 Solana 与 Move 两条并行路线的取舍。

并行执行有静态声明与动态推测两条路线。本文以 Aptos 的 Block-STM 为样本，拆解软件事务内存式的推测执行、读集验证与按预设顺序重执行，并逐项对比 Solana 账户声明模型，说明哪些负载会从并行收益里掉出去。