Notes

UTxO as an alternative accounting model, offering smaller "smart notes" instead of "centralized" "smart tokens" that has long been argued to be better in terms of decentralization, scaling/parallelization, and very different security model. But also due to its being very decentralized, it is unwieldy for building complex system at the same scale as account-based mode can do .

Superfluid protocol spec is defined from ground up to tackle this problem from the more abstract level first. Currently the token monad is only visible at the last stage of the composition, and it is likely that UTxO could be defined and studied for Superfluid successfully using this approach.