Staged Multi-step UTXO Workflows via Recursive Invariants
Recursive invariants, a small statically typed domain-specific language (DSL) that formalizes UTXO validation and ledger extension, identifies the validation-time-evaluable one-step fragment, and proves the deduction system sound w.r.t. the three-valued semantics.
Shu-Yang Tang, Sherman S. M. Chow, Hong-Fei Fu et al.
· Proceedings of the ACM on Pr... · 0 citations