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.