Achieving Accountable Liveness in X-Partially-Synchronous Consensus Networks

This research establishes a precise framework for ensuring network progress and identifying faulty actors within dynamic blockchain environments, foundational for resilient protocol design.
Formal Verification Secures Dynamic Stake DAG Consensus

Formally verifying DAG-based BFT consensus with dynamic stake establishes provable nonforking, foundational for adaptive blockchain architectures.