Accounting approach where balances are represented by sets of spendable outputs rather than account states; enables parallel validation and simple verification.