Quantifying Restaking Robustness and Bounding Cascading Cryptoeconomic Security Risks
New cryptoeconomic model characterizes restaking network robustness using an overcollateralization buffer to prevent cascading stake loss.
Strategyproof PoS Protocol Resists Rational Byzantine Collusion Improving Finality
CoBRA transforms Proof-of-Stake to withstand rational adversaries, securing finality against hybrid collusion and ensuring true incentive compatibility.
Formalizing Accountable Liveness for Provable Consensus Security and Validator Punishment
Introducing Accountable Liveness and the $x$-partially-synchronous model to formally identify and punish consensus-stalling nodes, strengthening BFT security.
Decentralized Infrastructure Network AVS Secures Web3 RPC Layer with Restaked Ethereum
DIN's cryptoeconomically secured RPC marketplace decisively mitigates the systemic risk of centralized infrastructure dependence, hardening the application layer.
Coffer Network Launches CoBTC Unlocking $183 Million Non-Custodial Bitcoin DeFi Yield
The CoBTC primitive utilizes smart accounts and multi-signature security to eliminate the custody trade-off, strategically activating dormant Bitcoin liquidity for cross-chain yield generation.
