Staged Multi-step UTXO Workflows via Recursive Invariants
Paper proposes recursive invariants, a transaction-level logic and typed DSL, to enforce multi-step UTXO workflow rules without shared mutable state.
1 stories, newest first · one card per story
Paper proposes recursive invariants, a transaction-level logic and typed DSL, to enforce multi-step UTXO workflow rules without shared mutable state.
Today 1.6K readers · 2.5K views · 780 reads · all time 189K views