LIPIcs.DISC.2019.40.pdf
- Filesize: 375 kB
- 3 pages
This work provides a proper formalization for Distributed Ledger Objects (as first defined in [Antonio Fernández Anta et al., 2018]), when processes may be Byzantine. The formal definitions are accompanied by algorithms to implement Byzantine Distributed Ledgers by utilizing a Byzantine Atomic Broadcast service.
Feedback for Dagstuhl Publishing