BEGIN:VCALENDAR
VERSION:2.0
PRODID:-//pretalx//cfp.devcon.org//devcon8//speaker//NEWJKN
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:20261101T132208Z
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
BEGIN:VEVENT
UID:pretalx-devcon8-MJ7SP9@cfp.devcon.org
DTSTART;TZID=IST:20261104T170000
DTEND;TZID=IST:20261104T170700
DESCRIPTION:Ethereum's entire p2p layer runs on libp2p\, but only a handful
  of implementations maintain it\, and when they silently disagree on the s
 pec the network fractures. I built a full libp2p stack from scratch in Has
 kell (Noise\, Yamux\, Kademlia DHT\, GossipSub) and joined the cross-clien
 t interop effort. This talk is what a fresh\, strongly-typed implementatio
 n reveals about Ethereum's networking spec — and why implementation dive
 rsity at the network layer matters.
DTSTAMP:20261101T132208Z
LOCATION:Lightning Stage
SUMMARY:hs-libp2p: A Haskell Implementation of the libp2p Stack - Shouki Ts
 uda
URL:https://cfp.devcon.org/devcon8/talk/MJ7SP9/
END:VEVENT
END:VCALENDAR