On Availability for Blockchain-Based Systems | Synapse