Economic Security of Multiple Shared Security Protocols
Abhimanyu Nag, Dhruv Bodani, Abhishek Kumar

TL;DR
This paper analyzes the security trade-offs between isolated and shared models in multiple shared security protocols for blockchain, highlighting how shared models improve security but may reduce flexibility.
Contribution
It formalizes the Multiple SSP Problem and compares two architectures using convex optimization and game theory, providing insights into their security and economic properties.
Findings
Shared models offer tighter security guarantees.
Isolated models are more flexible but more vulnerable.
Derived utility bounds and attack cost conditions.
Abstract
As restaking protocols gain adoption across blockchain ecosystems, there is a need for Actively Validated Services (AVSs) to span multiple Shared Security Providers (SSPs). This leads to stake fragmentation which introduces new complications where an adversary may compromise an AVS by targeting its weakest SSP. In this paper, we formalize the Multiple SSP Problem and analyze two architectures : an isolated fragmented model called Model and a shared unified model called Model , through a convex optimization and game-theoretic lens. We derive utility bounds, attack cost conditions, and market equilibrium that describes protocol security for both models. Our results show that while Model offers deployment flexibility, it inherits lowest-cost attack vulnerabilities, whereas Model achieves tighter security guarantees through single validator…
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsBlockchain Technology Applications and Security · Security and Verification in Computing · Network Traffic and Congestion Control
