How can we build permissionless networks that survive disconnection, resist censorship, protect privacy, and remain secure against emerging threats? At the Resilient Networking Hub within the libp2p Expedition at Devcon 8, this session brings together Ethereum protocol researchers, networking maintainers, security practitioners, and formal verification contributors to strengthen trust in Ethereum’s underlying infrastructure. We will explore libp2p as a shared networking substrate across Ethereum consensus clients, post-quantum security initiatives by libp2p maintainers, including hybrid ML-KEM key exchange and quantum-resistant peer identities, and privacy-preserving observability to measure network health and identify systemic risks without compromising credible neutrality. We will also examine formal verification through the work of invisible.garden, whose team behind etheorem is building the first consensus implementation in Lean 4, connecting mechanically checked correctness with protocol security, interoperability, and evidence-based risk management. Together, we will identify practical research and engineering opportunities to make Ethereum’s networking infrastructure more resilient, observable, verifiable, and sustainably maintained.

What happens when censorship, Internet shutdowns, or infrastructure failures isolate parts of a permissionless network? Using real libp2p deployments including Zemzeme and Qaul, this talk shows how observability, regional nodes, DNS-based discovery, and rapid infrastructure recovery can keep P2P networks connected, and how to measure resilience in practice.