libp2p

A modular and extensible networking stack which solves many challenges of peer-to-peer applications.

[libp2p @libp2p]

Introducing the libp2p Annual Report 2025 at the forefront of decentralized networking and AI.

From securing global networks to powering next-gen data availability and light clients, libp2p continues to be foundational infrastructure for Web3 and beyond.

Let’s dive in 👇

[libp2p @libp2p]

What an incredible @EFDevcon 8! Huge thanks to @OrnellaWeb3, @denverjude, @satyaki44, and the entire Devcon organizing team for putting together such an exceptionally well-organized, thoughtfully curated, and memorable gathering for the global @Ethereum community.

It was wonderful to see participation from across the globe in developer initiatives organized by @libp2p team, representing almost every continent (Antarctica being the obvious exception!). The diversity of perspectives, experiences, and technical expertise made this an especially enriching gathering.

A few highlights from the four days:

🌍 Global ecosystem and institutional engagement
Great meetings and conversations with institutions, ecosystem leaders, researchers, founders, and developers from across the world.
Meaningful discussions around scaling institutional adoption of @Ethereum and strengthening its underlying infrastructure.

We also formalized the EF Consensus Clients <> libp2p coordination cell in reference to security initiatives: https://t.co/VfuUs0R1V9 and https://t.co/wpsXlIkQhf

Special thanks to @denverjude, @rashmivabbigeri and @satyaki44, for organizing a fantastic series of meetings and conversations focused on scaling institutional adoption of Ethereum.

We also wish to thank @devanshmehta and friends from @seer_pm for their positive feedback and pointers on scaling our community initiatives aligned with the core principles of @ethereum.

🔬 Deep-tech innovation
- Strong participation and discussions around AI agents and agentic infrastructure.
- Quantum-resistant cryptography and security.
- Zero-knowledge proofs and privacy-preserving technologies.
- Formal verification and protocol correctness.
- Ethereum consensus clients and decentralized networking infrastructure.

🛠️ libp2p and IPFS ecosystem highlights
- 600+ developers participated and engaged in a variety of @libp2p initiatives organized over 4 days.
- 50+ hours of talks, technical sessions, and workshops recorded over four days.
- One entirely new libp2p implementation initiated: leanp2p, bringing libp2p to Lean 4: https://t.co/3QSUxJoTgX
- 7+ developer tooling initiatives improved and demonstrated.
- 15+ @libp2p and @ipfs startup projects shared with funding opportunities.
- 10+ hours of on-stage talks, technical sessions, and workshops led by libp2p core contributors.
- 5 new projects bootstrapped from ground 0 :)

Exciting conversations around protocol resilience, interoperability, developer experience, and the future of decentralized networking.

Beyond the numbers, what stood out most was the quality of technical discussions, the openness to collaboration, and the incredible amount of learning, feedback, and constructive pointers we received from the community.

There is so much to take back, follow up on, and build together. Several conversations have already opened up promising opportunities for new collaborations, ecosystem development, and support for builders.

A special thank you to everyone who attended the Resilient Networking Hub, contributed sessions, shared their work, participated in workshops, and helped make these conversations happen.

And at the rate we are accumulating discussions, ideas, action items, and follow-ups, we believe that by the time we actually wrap up everything from @EFDevcon 8, it might well be October 11, 2027! :)

Until then, let's keep building open, resilient, secure, and decentralized infrastructure together.

[libp2p @libp2p]

What an incredible @EFDevcon 8! Huge thanks to @OrnellaWeb3, @denverjude, @satyaki44, and the entire Devcon organizing team for putting together such an exceptionally well-organized, thoughtfully curated, and memorable gathering for the global @Ethereum community.

It was wonderful to see participation from across the globe in developer initiatives organized by @libp2p team, representing almost every continent (Antarctica being the obvious exception!). The diversity of perspectives, experiences, and technical expertise made this an especially enriching gathering.

A few highlights from the four days:

🌍 Global ecosystem and institutional engagement
Great meetings and conversations with institutions, ecosystem leaders, researchers, founders, and developers from across the world.
Meaningful discussions around scaling institutional adoption of @Ethereum and strengthening its underlying infrastructure.

We also formalized the EF Consensus Clients <> libp2p coordination cell in reference to security initiatives: https://t.co/VfuUs0R1V9 and https://t.co/wpsXlIkQhf

Special thanks to @denverjude, @rashmivabbigeri and @satyaki44, for organizing a fantastic series of meetings and conversations focused on scaling institutional adoption of Ethereum.

We also wish to thank @devanshmehta and friends from @seer_pm for their positive feedback and pointers on scaling our community initiatives aligned with the core principles of @ethereum.

🔬 Deep-tech innovation
- Strong participation and discussions around AI agents and agentic infrastructure.
- Quantum-resistant cryptography and security.
- Zero-knowledge proofs and privacy-preserving technologies.
- Formal verification and protocol correctness.
- Ethereum consensus clients and decentralized networking infrastructure.

🛠️ libp2p and IPFS ecosystem highlights
- 600+ developers participated and engaged in a variety of @libp2p initiatives organized over 4 days.
- 50+ hours of talks, technical sessions, and workshops recorded over four days.
- One entirely new libp2p implementation initiated: leanp2p, bringing libp2p to Lean 4: https://t.co/3QSUxJoTgX
- 7+ developer tooling initiatives improved and demonstrated.
- 15+ @libp2p and @ipfs startup projects shared with funding opportunities.
- 10+ hours of on-stage talks, technical sessions, and workshops led by libp2p core contributors.
- 5 new projects bootstrapped from ground 0 :)

Exciting conversations around protocol resilience, interoperability, developer experience, and the future of decentralized networking.

Beyond the numbers, what stood out most was the quality of technical discussions, the openness to collaboration, and the incredible amount of learning, feedback, and constructive pointers we received from the community.

There is so much to take back, follow up on, and build together. Several conversations have already opened up promising opportunities for new collaborations, ecosystem development, and support for builders.

A special thank you to everyone who attended the Resilient Networking Hub, contributed sessions, shared their work, participated in workshops, and helped make these conversations happen.

And at the rate we are accumulating discussions, ideas, action items, and follow-ups, we believe that by the time we actually wrap up everything from @EFDevcon 8, it might well be October 11, 2027! :)

Until then, let's keep building open, resilient, secure, and decentralized infrastructure together.

[Manu Sheel Gupta @manusheel]

Huge thanks to the @efdevcon team for the invitation and support.
@EFDevcon was incredibly well organized. Very much enjoyed the energy, conversations, and opportunity to connect with so many amazing contributors.
Looking forward to staying connected and building together! 🙌🚀

[0xCrackedDev 🧑‍💻Devcon VIII 🇮🇳 @0xcrackedDev]

Post Quantum cryptography session by @adust09 at @EFDevcon @ETHGlobal

[0xCrackedDev 🧑‍💻Devcon VIII 🇮🇳 @0xcrackedDev]

Meshkit project demonstration by @anuragptwt at @EFDevcon @ETHGlobal

[0xCrackedDev 🧑‍💻Devcon VIII 🇮🇳 @0xcrackedDev]

Last day of @EFDevcon presented my project with the Resilient Networking Hub with @manusheel @libp2p

Made many friends as well @Cea49S2103 @adust09 @banr1_

[itsYalda @YaldaMasoudi]

@libp2p @EFDevcon @ethereum Bringing consensus clients and libp2p to the same Devcon room makes Ethereum harder to partition.

[0xCrackedDev 🧑‍💻Devcon VIII 🇮🇳 @0xcrackedDev]

Met @Winter_Soren after working together on multiple projects and making features into the @libp2p ecosystem. Bro is so chill, builds and ships real projects. Real great demo showcased in the RNH hub at Devcon this year in Mumbai.

[0xCrackedDev 🧑‍💻Devcon VIII 🇮🇳 @0xcrackedDev]

Got to present Luminar at the Resilient Networking Hub!

Visualizing libp2p GossipSub and watching P2P attacks like Sybil &amp; Eclipse unfold live. at @EFDevcon

Thanks @manusheel @libp2p

[libp2p @libp2p]

Introducing leanp2p: bringing libp2p to Lean 4: https://t.co/W1idQrAA1Z

An exciting initiative from @leolarav & collaborators at @invisiblgarden, Resilient Networking Hub and @ethpadthai, presented at @EFDevcon 8.

leanp2p aims to build a @libp2p implementation in Lean 4, initially targeting the @Ethereum consensus layer.

The initial protocol priorities include:

• TCP transport
• Noise security handshake
• Yamux stream multiplexing
• Identify protocol
• Request/Response with SSZ-Snappy
• Gossipsub v1.1

What makes this particularly interesting is its engineering approach:

- A carefully layered architecture, from concurrency primitives and codecs to networking and libp2p protocols.

- Formal reasoning and theorem-backed wire-format specifications.

- Captured interoperability vectors, fuzz testing, and a Go interoperability reference implementation.

- A modular FFI-first dependency strategy, allowing mature cryptographic and networking implementations to be integrated behind well-defined Lean interfaces.

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

@leolarav 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: https://t.co/pUDLuOPVMJ

This is 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 @invisiblgarden and @ethpadthai team!

[libp2p @libp2p]

Introducing leanp2p: bringing libp2p to Lean 4: https://t.co/W1idQrAA1Z

An exciting initiative from @leolarav & collaborators at @invisiblgarden, Resilient Networking Hub and @ethpadthai, presented at @EFDevcon 8.

leanp2p aims to build a @libp2p implementation in Lean 4, initially targeting the @Ethereum consensus layer.

The initial protocol priorities include:

• TCP transport
• Noise security handshake
• Yamux stream multiplexing
• Identify protocol
• Request/Response with SSZ-Snappy
• Gossipsub v1.1

What makes this particularly interesting is its engineering approach:

- A carefully layered architecture, from concurrency primitives and codecs to networking and libp2p protocols.

- Formal reasoning and theorem-backed wire-format specifications.

- Captured interoperability vectors, fuzz testing, and a Go interoperability reference implementation.

- A modular FFI-first dependency strategy, allowing mature cryptographic and networking implementations to be integrated behind well-defined Lean interfaces.

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

@leolarav 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: https://t.co/pUDLuOPVMJ

This is 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 @invisiblgarden and @ethpadthai team!

[Manu Sheel Gupta @manusheel]

One of the exciting efforts at @EFDevcon 8's was leanp2p, led by @leolarav, friends at @invisiblgarden &amp; @ethpadthai: https://t.co/arse5u0ZmI

Aiming to bring @libp2p to Lean 4, this is an ambitious effort at the intersection of networking, formal methods, and verified systems.

[Manu Sheel Gupta @manusheel]

@leolarav also led a Day 1 workshop alongside me and @adust09 for the Resilient Networking Hub. Great to see this kind of deep protocol engineering, ecosystem experimentation emerging from the community.

Kudos to Leo, everyone at @invisiblgarden for their initiatives at @libp2p.

[Manu Sheel Gupta @manusheel]

One of the exciting efforts at @EFDevcon 8's was leanp2p, led by @leolarav, friends at @invisiblgarden &amp; @ethpadthai: https://t.co/arse5u0ZmI

Aiming to bring @libp2p to Lean 4, this is an ambitious effort at the intersection of networking, formal methods, and verified systems.

[libp2p @libp2p]

@EFDevcon 8's pre-workshop talk on When the Network Shuts You Out: Measuring Resilience in Permissionless Networks - https://t.co/WrIEBMz4wu

What happens when permissionless networks are pushed to their limits?

At @EFDevcon 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.

Building networks that stay connected when it matters most.

[libp2p @libp2p]

@EFDevcon 8's Day 1 workshop recording on building Resilient Ethereum https://t.co/tKWBCX2WvA.

Ethereum’s resilience is a collective effort.

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.

Resilient protocols, stronger together :)

[Manu Sheel Gupta @manusheel]

Huge thanks to the @efdevcon team for the invitation and support.
@EFDevcon was incredibly well organized. Very much enjoyed the energy, conversations, and opportunity to connect with so many amazing contributors.
Looking forward to staying connected and building together! 🙌🚀

[libp2p @libp2p]

Huge thanks to the @thedaofund team for the invitation to the Security Hub, and for creating a great platform at @EFDevcon! It was wonderful to contribute multiple sessions and workshops and be part of such an amazing gathering of builders, researchers, and security experts.

Appreciate your support and collaboration. Looking forward to building together and continuing these conversations. Special thanks to @anamarie_com, @griffgreen and @GivJake for their support, encouragement and feedback.

[thedao.fund @thedaofund]

And a special thank you to everyone who shared their work, led talks and workshops, and made these four days possible!

@_SEAL_Org, @julia27eth, @zeroshadow_io, @macrosam, @jdetychey, @Pol_Lanski, @griffgreen, @QuillAudits_AI, @jonnymevs, @Quantstamp, @libp2p @sigp_io, @0xTimofey, @CertiK, @SoosMate, @argotorg, @404ouch, @blossom_labs, @RollAMate, @ariutokintumi, @crossbar_inc, @saxenism, @bluethroat_labs, @d0rsky, @HackenProof, @LewellenMichael, @turnkeyhq, @kaanuzdogan, @hbbiok, @okcontract, @chain_security, @0xFlint_, @sick_nerdballer, @DavitBuilderD, @ConsensysAudits, @poojaranjan19, @ECHInstitute, @walletbeat, @anamarie_com, @GivJake, @Cotabe_M

[BEE @RandyMcMillan]

https://t.co/wskOogNwKD

@IPFS
@libp2p @NodeHello @asherp @SamCarterBTC

[Devansh Mehta @devanshmehta]

Post Devcon observations

-highlight was the number of newcomers to crypto at the event, especially younger crowd as we have a bit of an age problem

- merch hunters were irritating but surely its better than same crypto crowd attending same conferences?

- many i spoke to were planning on attending Lisbon too, so I'd be curious to track number of first time attendees at Devcon india that continue onwards to Lisbon as a success metric for this one

- the venue was the best. Have you ever seen zero lines for the coffee? Food was uniformly excellent and didn't run out either, only issue were less sitting areas to eat the food

- traffic was horrible esp at the venue close time of 7 pm, so it was only possible to attend events near to main venue. On the positive side this may be the first Devcon where it felt like we didn't break the city but were just a small drop in the ocean of mumbai

- wifi was absolutely terrible, not just in the venue but all around. Some team mates didn't come to the venue as they need internet for social media video uploads.

As an Indian i found the bad internet unexpected as we are generally proud of our amazing cheap mobile data, but i guess that's only with local sim cards which most attendees couldn't get?

- the music stage was a vibe

- community hubs were unique to Devcon & something more crypto events should adopt. Ut helped a lot as people in a niche find each other. However not all hubs were equal, so better learnings shared among the hub operators would improve it for next time

- can't speak too much on general programming as i spent all my time at the prediction markets hub. From what i heard, the focus on formal verification was great as young developers got interested in the area

- i think Lisbon is a great next location because there's a strong crypto community which is however rather fragmented. An event like Devcon will help bring them all together

[TET @stevenexusz]

Back from Devcon 8 in Mumbai. At the Resilient Networking Hub I gave the TET talk twice and sat at three roundtables with people far ahead of me. Thank you, Manu Sheel Gupta and the whole Hub team, for the trust and the care. Now back to building. https://t.co/Ra0Yu6ango