3 papers
cs.CR2025
Accountable Liveness
Andrew Lewis-Pye, Joachim Neu, Tim Roughgarden +1
Safety and liveness are the two classical security properties of consensus protocols. Recent works have strengthened safety with accountability: should any safety violation occur,…
cs.CR2025
From Permissioned to Proof-of-Stake Consensus
Jovan Komatovic, Andrew Lewis-Pye, Joachim Neu +2
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 followin…
cs.DC2025
Beyond Optimal Fault Tolerance
Andrew Lewis-Pye, Tim Roughgarden
The optimal fault-tolerance achievable by any protocol has been characterized in a wide range of settings. For example, for state machine replication (SMR) protocols operating in t…