Mechanism Design Optimizes Proof-of-Stake Exit Queues Securing Dynamic Validator Sets
Introducing the MINSLACK mechanism, this work formally resolves the PoS utility-security trade-off by dynamically constraining validator exits to maintain crypto-economic safety.
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.
