Towards a Unified Model for Replicated, Shared Ledgers