Staged Multi-step UTXO Workflows via Recursive Invariants

该论文针对无状态 UTXO（未花费交易输出）风格的账本执行模型提出了一套名为「递归不变量」（Recursive Invariants, RI）的交易级逻辑与工具链，用以支撑多步工作流。背景问题是：UTXO 模型只依据本地数据和被引用数据即可

历史摘要 · 未重新核验 · arXiv cs.CR