Formal Model-Driven Analysis of Resilience of GossipSub to Attacks from Misbehaving Peers
Ankit Kumar, Max von Hippel, Panagiotis Manolios, Cristina Nita-Rotaru
IEEE Symposium on Security and Privacy 2024 · Day 2 · Continental Ballroom 6
This talk presents groundbreaking research into the security and resilience of **GossipSub**, a widely adopted peer-to-peer (P2P) publish-subscribe protocol. Utilized by high-value applications such as Ethereum and Filecoin, which collectively represent hundreds of billions of dollars in market capitalization, GossipSub is critical infrastructure for decentralized networks. The core focus of the research is to formally analyze GossipSub's complex peer scoring function, a mechanism designed to protect the network from misbehaving nodes.
AI review
This is groundbreaking research, leveraging formal methods to uncover critical, subtle vulnerabilities in GossipSub's peer scoring function, specifically impacting Ethereum's implementation. The work provides a rigorous, provable analysis that identifies how malicious actors can evade detection, offering concrete, actionable insights for strengthening decentralized network security.