dc.contributor.author | Blum, Erica | |
dc.contributor.author | Leung, Derek | |
dc.contributor.author | Loss, Julian | |
dc.contributor.author | Katz, Jonathan | |
dc.contributor.author | Rabin, Tal | |
dc.date.accessioned | 2023-12-12T14:19:35Z | |
dc.date.available | 2023-12-12T14:19:35Z | |
dc.date.issued | 2023-11-15 | |
dc.identifier.isbn | 979-8-4007-0050-7 | |
dc.identifier.uri | https://hdl.handle.net/1721.1/153140 | |
dc.description.abstract | The Algorand consensus protocol is interesting both in theory and in practice. On the theoretical side, to achieve adaptive security, it introduces the novel idea of player replaceability, where each step of the protocol is executed by a different randomly selected committee whose members remain secret until they send their first and only message. The protocol provides consistency under arbitrary network conditions and liveness under intermittent network partitions. On the practical side, the protocol is used to secure the Algorand cryptocurrency, whose total value is approximately 850M at the time of writing.
The Algorand protocol in use differs substantially from the protocols described in the published literature on Algorand. Despite its significance, it lacks a formal analysis. In this work, we describe and analyze the Algorand consensus protocol as deployed today in Algorand's ecosystem. We show that the overall protocol framework is sound by characterizing network conditions and parameter settings under which the protocol can be proven secure. | en_US |
dc.publisher | ACM|Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security | en_US |
dc.relation.isversionof | https://doi.org/10.1145/3576915.3623167 | en_US |
dc.rights | Creative Commons Attribution | en_US |
dc.rights.uri | https://creativecommons.org/licenses/by/4.0/ | en_US |
dc.source | Association for Computing Machinery | en_US |
dc.title | Analyzing the Real-World Security of the Algorand Blockchain | en_US |
dc.type | Article | en_US |
dc.identifier.citation | Blum, Erica, Leung, Derek, Loss, Julian, Katz, Jonathan and Rabin, Tal. 2023. "Analyzing the Real-World Security of the Algorand Blockchain." | |
dc.contributor.department | Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory | |
dc.identifier.mitlicense | PUBLISHER_CC | |
dc.eprint.version | Final published version | en_US |
dc.type.uri | http://purl.org/eprint/type/ConferencePaper | en_US |
eprint.status | http://purl.org/eprint/status/NonPeerReviewed | en_US |
dc.date.updated | 2023-12-01T08:46:06Z | |
dc.language.rfc3066 | en | |
dc.rights.holder | The author(s) | |
dspace.date.submission | 2023-12-01T08:46:06Z | |
mit.license | PUBLISHER_CC | |
mit.metadata.status | Authority Work and Publication Information Needed | en_US |