Accountable Liveness Formalizes Proof-of-Stake Slashing for Network Stalling
A new theoretical model proves the conditions for formally punishing validators who stall transaction finality, strengthening PoS security foundations.
Accountable Liveness Secures Consensus against Transaction Delay Attacks
This research extends accountable safety to liveness, introducing 'certificates of guilt' to cryptographically punish nodes that intentionally stall transaction finality.
