Accountable Safety Decouples Liveness and Finality in Proof-of-Stake Consensus
This research introduces Accountable Safety, a new PoS property that guarantees finality or provides cryptographic proof of validator misbehavior under minimal synchrony.
