An Alloy Analyzer modeling of standard cryptocurrency transactions. (WIP)