BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//speaker//7MQBSF
BEGIN:VTIMEZONE
TZID:IST
BEGIN:STANDARD
DTSTART:20000101T000000
RRULE:FREQ=YEARLY;BYMONTH=1
TZNAME:IST
TZOFFSETFROM:+0530
TZOFFSETTO:+0530
END:STANDARD
END:VTIMEZONE
BEGIN:VEVENT
UID:pretalx-devcon8-ER8EHM@cfp.devcon.org
DTSTART;TZID=IST:20261103T121500
DTEND;TZID=IST:20261103T130500
DESCRIPTION:How can we build permissionless networks that survive disconnec
 tion\, resist censorship\, protect privacy\, and remain secure against eme
 rging threats? At the Resilient Networking Hub within the libp2p Expeditio
 n at Devcon 8\, this session brings together Ethereum protocol researchers
 \, networking maintainers\, security practitioners\, and formal verificati
 on contributors to strengthen trust in Ethereum’s underlying infrastruct
 ure. We will explore libp2p as a shared networking substrate across Ethere
 um consensus clients\, post-quantum security initiatives by libp2p maintai
 ners\, including hybrid ML-KEM key exchange and quantum-resistant peer ide
 ntities\, and privacy-preserving observability to measure network health a
 nd identify systemic risks without compromising credible neutrality. We wi
 ll 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 sec
 urity\, interoperability\, and evidence-based risk management. Together\, 
 we will identify practical research and engineering opportunities to make 
 Ethereum’s networking infrastructure more resilient\, observable\, verif
 iable\, and sustainably maintained.
DTSTAMP:20261101T132255Z
LOCATION:Workshop 2
SUMMARY:Resilient Networking Hub - Building Resilient Ethereum - Manu Sheel
  Gupta\, Shouki Tsuda\, Leo Lara
URL:https://cfp.devcon.org/devcon8/talk/ER8EHM/
END:VEVENT
END:VCALENDAR