A Survey on Protocol Testing in Blockchain Networks

The security and operational integrity of blockchain networks are fundamentally dependent on the correctness of their underlying protocols spanning the network, consensus, and application layers. As decentralized systems evolve from experimental financial instruments to the foundational infrastructure of the global digital economy, the conventional 'test-and-patch' model of software development has proven inadequate. The immutability of the distributed ledger ensures that protocol flaws, once exploited, yield irreversible consequences—often resulting in catastrophic financial losses, as evidenced by over 2. 8 billion in cumulative bridge-related hacks through 2024. This paper presents a comprehensive survey of contemporary methodologies and tools employed in blockchain protocol testing, with a particular focus on the evolution toward state-aware, formally verified, and graph-theoretically grounded frameworks. We examine advanced fuzzing tools such as LOKI and D2PFuzz, formal verification systems based on TLA+ and model checking, and the application of graph-theoretic metrics—including betweenness centrality and degree distribution—to quantify decentralization and identify topological vulnerabilities, building on foundational work by Jayabalasamy et al. 17. We further analyze cross-chain bridge security, benchmarking methodologies, and the emerging role of artificial intelligence in automated protocol verification. Our synthesis reveals that no single methodology is sufficient; robust blockchain security requires a multi-layered approach combining implementation-level fuzzing, mathematical formal proofs, and continuous network topology monitoring. We conclude by identifying open research challenges and proposing a roadmap for the next generation of blockchain protocol testing infrastructure.