Chitin Protocol Secures Proof-of-Stake Liveness against View Interference Attacks
Chitin introduces a novel PoS architecture combining dynamic availability with a finality gadget, securing liveness against view-interference for single-slot confirmation.
Modular SMR Synchronizers Guarantee Provable Liveness in Distributed Consensus
A new SMR synchronizer primitive modularizes liveness mechanisms in Byzantine protocols, enabling provably robust and efficient distributed state consistency.
