Resilient Networking Hub logo

// resilient networking hub · devcon 8

Devcon Outcomes & Activities

Ethereum’s resilience is a collective effort.

Four days in Mumbai brought together builders, maintainers and researchers around one shared question: how do we make open networks more resilient?

November 3–6, 2026 · Devcon 8 · Mumbai

// four days · shared momentum

Devcon 8, in numbers

Participation and activity figures from the libp2p team’s four-day Devcon recap.

developers
600+
Participated and engaged across libp2p initiatives over four days.
hours recorded
50+
Talks, technical sessions and workshops captured over four days.
new implementation
1
leanp2p initiated, bringing libp2p to Lean 4.
tooling initiatives
7+
Developer tools improved and demonstrated.
startup projects
15+
libp2p and IPFS projects shared with funding opportunities.
on-stage hours
10+
Talks, technical sessions and workshops led by libp2p core contributors.
new projects
5
Bootstrapped from the ground up.

// beyond the numbers

Global participation. Lasting connections.

A global community, in one room

Participation in libp2p developer initiatives spanned almost every continent, with Antarctica the exception. Builders, researchers, founders and institutions brought diverse perspectives and technical expertise to Mumbai.

Institutional adoption and ecosystem engagement

Meetings and conversations explored scaling institutional adoption of Ethereum and strengthening its underlying infrastructure. Community feedback helped shape the next steps for ecosystem development and support for builders.

Deep-tech ideas, practical conversations

AI agents and agentic infrastructure, quantum-resistant cryptography, zero-knowledge proofs, privacy-preserving technologies, formal verification and protocol correctness were central themes, alongside Ethereum consensus clients and decentralized networking.

Collaboration beyond the four days

Protocol resilience, interoperability and developer experience sparked constructive feedback and promising follow-ups. Beyond the numbers, the openness to collaboration and quality of technical discussion stood out.

EF Consensus Clients ↔ libp2p coordination cell

The team’s Devcon recap reports that the EF Consensus Clients ↔ libp2p coordination cell was formalized around security initiatives, providing a focus for continued cross-team collaboration.

// on-stage workshops & talks · day 1

Building Resilient Ethereum: Networking, PQ Security & Verified Consensus

At @EFDevcon 8’s Resilient Networking Hub, we brought together perspectives on @libp2p, @Ethereum consensus clients, implementation diversity, network security, and the path toward post-quantum readiness.

DEVCON 8 · DAY 1 RECORDING

Watch on YouTube

// pre-workshop & on-stage talk · devcon 8

When the Network Shuts You Out: Measuring Resilience in Permissionless Networks

What happens when permissionless networks are pushed to their limits?

At Devcon 8, we shared real-world lessons from libp2p deployments like Qaul and Zemzeme, exploring how P2P networks recover from severe connectivity restrictions, censorship, and infrastructure disruptions.

From regional nodes and discovery mechanisms to autorecovery and network observability, resilience is something we must build, measure, and continuously improve.

DEVCON 8 · PERMISSIONLESS NETWORK RESILIENCE

Watch on YouTube

Building networks that stay connected when it matters most.

// ecosystem outcome · formal methods & protocol engineering

Introducing leanp2p: bringing libp2p to Lean 4

Presented at Devcon 8, leanp2p aims to build a libp2p implementation in Lean 4, initially targeting the Ethereum consensus layer.

An exciting initiative from @leolarav, @invisiblgarden, Resilient Networking Hub and @ethpadthai and collaborators.

Initial protocol priorities

  • 01TCP transport
  • 02Noise security handshake
  • 03Yamux stream multiplexing
  • 04Identify protocol
  • 05Request/Response with SSZ-Snappy
  • 06Gossipsub v1.1

A rigorous engineering approach

Carefully layered architecture
From concurrency primitives and codecs to networking and libp2p protocols.
Formal reasoning
Theorem-backed wire-format specifications bring rigorous reasoning to protocol engineering.
Interoperability and testing
Captured interoperability vectors, fuzz testing, and a Go interoperability reference implementation.
Modular, FFI-first dependencies
Mature cryptographic and networking implementations can be integrated behind well-defined Lean interfaces.

In its bootstrap phase

The project is currently in its bootstrap phase, with its foundational package structure, build infrastructure, and vector-based verification framework in place.

Leo also conducted a workshop at the Resilient Networking Hub alongside @manusheel and @adust09 on building open, resilient networks with libp2p. The team also conducted a hackathon.

An exciting direction for the ecosystem: exploring how formally verified systems and rigorous protocol engineering can strengthen the foundations of decentralized infrastructure.

Congratulations to Leo and the entire Invisible Garden and EthPadThai team!

// ecosystem outcome · simulation & observability

Luminar: a real-time P2P network simulator

Another key outcome of Devcon 8: improvements in Luminar, a real-time P2P network simulator with live visualization of GossipSub, DHT, and fault injection.

Fifty simulated peers run GossipSub v1.1 with P1–P4 peer scoring. Inject Sybils, an eclipse or a partition and watch the score bite — live or from a recording.

Live GossipSub visualization

Watch messages spread hop by hop across the mesh as fifty peers gossip in real time.

Peer scoring in action

GossipSub v1.1 P1–P4 scoring you can watch bite: misbehaving peers get pruned within heartbeats.

Fault injection

Inject Sybil attacks, eclipses and network partitions to see how the network defends itself.

DHT and recordings

Explore DHT behaviour and replay recorded attack scenarios such as a Sybil eclipse.

A hands-on way to build intuition for how P2P networks behave under stress — useful for researchers, educators and protocol engineers alike.

// across the four days

One hub. Many perspectives. Shared progress.

Highlights from the four-day program — from protocol foundations and research to decentralized media and practical contribution.

DAY 01

November 3

Building resilient Ethereum, together

The opening day connected networking foundations with verifiable actions, formal verification and practical infrastructure work. The on-stage Building Resilient Ethereum workshop brought the wider protocol conversation into focus.

  • Networking, post-quantum security and verified consensus
  • Maintainer meet-ups and collaborative network experiments
  • Self-hosted IPFS infrastructure and implementation interoperability

DAY 02

November 4

From research questions to working systems

The program explored gaps in protocol resilience alongside hands-on work in agentic P2P infrastructure, formal verification, libp2p and IPFS.

  • Assessing protocol resilience across teams and perspectives
  • Leona Hioki’s stateless, post-quantum, confidential rollup design
  • Protocol risk management, public goods funding and a py-libp2p connectivity demo

DAY 03

November 5

Decentralized media in practice

Decentralized Media Day put publishing, distribution and ownership at the centre of the conversation, with Swarm-focused workshops, talks and live demonstrations.

  • Decentralized hosting, music distribution and permanent archives
  • Streaming, collaborative editing and publishing without gateways
  • A cross-team roundtable on scaling decentralized media efforts

DAY 04

November 6

Making resilience actionable

The final day’s official program connected post-quantum migration, observability and formal methods with practical contribution pathways and protocol security.

  • Post-quantum cryptography and migration considerations in libp2p
  • Making Protocol Resilience Actionable: a shared roundtable
  • Contributing to IPFS Helia and Kubo; Verity Client and zero-knowledge proofs
Explore the full four-day schedule

// the shared takeaway

Resilient protocols, stronger together :)

Networking, consensus, implementation diversity and security are connected challenges. Bringing those perspectives together helps us ask better questions — and keep building together beyond Devcon.

Thank you to Ornella, Jude, Satyaki and the entire Devcon organizing team for a thoughtfully curated gathering — and to everyone who attended the Hub, contributed sessions, shared their work and joined the workshops. Your learning, feedback and constructive pointers are helping shape what comes next.