Cryptographic Liveness Proofs Secure Proof-of-Stake against Long-Range Attacks
A new Verifiable Liveness Proof primitive enables non-interactive, cryptographic slashing for censorship and downtime, hardening PoS finality.
Accountable Byzantine Consensus Achieves Optimal Communication and Accountability Complexity
New Accountable Byzantine Consensus protocol, `abcopt`, delivers optimal communication complexity while guaranteeing provable validator accountability.
