Theoretical Computer Science · 2019 · 266 citations · 16 references
ComputingComputer ScienceCybersecurityAuthenticationCryptographyDistributed SystemsDistributed SecurityDistributed TransactionsPrivacy-preserving ProtocolsSmart ContractsTransaction ManagementDistributed Ledger ArchitectureLedger Data IntegritySecure Distributed Ledger SystemsTransactions
Distributed ledgers are tamper‑proof, publicly accessible data chains that can secure traditional transactions and enable new ones, but current implementations scale poorly and cannot realize their full potential. This paper proposes Algorand, a secure and efficient distributed ledger designed to overcome these limitations. Algorand is permissionless, operates in a highly asynchronous environment, eliminates proof‑of‑work miners, requires negligible computation, and guarantees transaction finality with negligible fork probability.
A distributed ledger is a tamperproof sequence of data that can be publicly accessed and augmented by everyone, without being maintained by a centralized party. Distributed ledgers stand to revolutionize the way a modern society operates. They can secure all kinds of traditional transactions, such as payments, asset transfers and titles, in the exact order in which the transactions occur; and enable totally new transactions, such as cryptocurrencies and smart contracts. They can remove intermediaries and usher in a new paradigm for trust. As currently implemented, however, distributed ledgers scale poorly and cannot achieve their enormous potential. In this paper we propose Algorand, an alternative, secure and efficient distributed ledger. Algorand is permissionless and works in a highly asynchronous environment. Unlike prior implementations of distributed ledgers based on “proof of work,” Algorand dispenses with “miners” and requires only a negligible amount of computation. Moreover, its transaction history “forks” only with negligible probability: that is, Algorand guarantees the finality of a transaction the moment the transaction enters the ledger.
16
Reaching Agreement in the Presence of Faults
Marshall C. Pease, Robert E. Shostak, Leslie Lamport · Journal of the ACM · 1980 · 2.4K citations · Full text
Yossi Gilad, Rotem Hemo, Silvio Micali et al. · 2017 · 1.5K citations · Full text