Fault-Tolerant Distributed Transactions on Blockchain (Synthesis Lectures on Data Management)