Showing cs.CRShow all
2 papers · 1 filter
cs.CR2025★ 1 cited
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.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,…