Brief Announcement: Implementing Byzantine Tolerant Distributed Ledger Objects

Abstract

This work provides a proper formalization for Distributed Ledger Objects (as first defined in \cite{DLO_SIGACT18}), when processes may be Byzantine. The formal definitions are accompanied by algorithms to implement Byzantine Distributed Ledgers by utilizing a Byzantine Atomic Broadcast service.