,
Andrew Lewis-Pye
,
Joachim Neu
,
Tim Roughgarden
,
Ertem Nusret Tas
Creative Commons Attribution 4.0 International license
This paper presents the first generic compiler that transforms any permissioned consensus protocol into a proof-of-stake permissionless consensus protocol. For each of the following properties, if the initial permissioned protocol satisfies that property in the partially synchronous setting, the consequent proof-of-stake protocol also satisfies that property in the partially synchronous and quasi-permissionless setting (with the same fault-tolerance): consistency; liveness; optimistic responsiveness; every composable log-specific property; and message complexity of a given order. Moreover, our transformation ensures that the output protocol satisfies accountability (identifying culprits in the event of a consistency violation), whether or not the original permissioned protocol satisfied it.
@InProceedings{komatovic_et_al:LIPIcs.AFT.2025.18,
author = {Komatovic, Jovan and Lewis-Pye, Andrew and Neu, Joachim and Roughgarden, Tim and Tas, Ertem Nusret},
title = {{From Permissioned to Proof-of-Stake Consensus}},
booktitle = {7th Conference on Advances in Financial Technologies (AFT 2025)},
pages = {18:1--18:26},
series = {Leibniz International Proceedings in Informatics (LIPIcs)},
ISBN = {978-3-95977-400-0},
ISSN = {1868-8969},
year = {2025},
volume = {354},
editor = {Avarikioti, Zeta and Christin, Nicolas},
publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
address = {Dagstuhl, Germany},
URL = {https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.AFT.2025.18},
URN = {urn:nbn:de:0030-drops-247373},
doi = {10.4230/LIPIcs.AFT.2025.18},
annote = {Keywords: Permissioned Consensus, Proof-of-Stake, generic Compiler, Blockchain}
}