Pinned Tweet
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 retweeted
Thank you so much for your kind and thoughtful words. It was wonderful having you with us at @EFDevcon, & we are so happy that you enjoyed the talks & the deep dive workshops on @libp2p. Looking forward to your continued participation at meetings, discord: libp2p.io/get-involved/
libp2p retweeted
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: github.com/seetadev/libp2p-2… and github.com/libp2p/libp2p/dis…
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: libp2p.tech/devcon-outcomes
- 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.
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: github.com/seetadev/libp2p-2… and github.com/libp2p/libp2p/dis…
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: libp2p.tech/devcon-outcomes
- 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 retweeted
Last day of @EFDevcon presented my project with the Resilient Networking Hub with @manusheel @libp2p
Made many friends as well @Cea49S2103 @adust09 @banr1_
libp2p retweeted
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.
libp2p retweeted
Got to present Luminar at the Resilient Networking Hub!
Visualizing libp2p GossipSub and watching P2P attacks like Sybil & Eclipse unfold live. at @EFDevcon
Thanks @manusheel @libp2p
libp2p retweeted
Introducing leanp2p: bringing libp2p to Lean 4: github.com/etheorem/leanp2p
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: libp2p.tech/ecosystem-coordi…
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!
One of the exciting efforts at @EFDevcon 8's was leanp2p, led by @leolarav, friends at @invisiblgarden & @ethpadthai: github.com/etheorem/leanp2p
Aiming to bring @libp2p to Lean 4, this is an ambitious effort at the intersection of networking, formal methods, and verified systems.
Introducing leanp2p: bringing libp2p to Lean 4: github.com/etheorem/leanp2p
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: libp2p.tech/ecosystem-coordi…
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!
One of the exciting efforts at @EFDevcon 8's was leanp2p, led by @leolarav, friends at @invisiblgarden & @ethpadthai: github.com/etheorem/leanp2p
Aiming to bring @libp2p to Lean 4, this is an ambitious effort at the intersection of networking, formal methods, and verified systems.
libp2p retweeted
@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.
libp2p retweeted
One of the exciting efforts at @EFDevcon 8's was leanp2p, led by @leolarav, friends at @invisiblgarden & @ethpadthai: github.com/etheorem/leanp2p
Aiming to bring @libp2p to Lean 4, this is an ambitious effort at the intersection of networking, formal methods, and verified systems.
libp2p retweeted
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
libp2p retweeted
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
libp2p retweeted
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. tetnet.org
libp2p retweeted
The protocol matters. So do the people behind it.
My favorite part of our Resilient Networking Hub at @EFDevcon: bringing builders, researchers, and curious minds into the same room.
This is what open collaboration looks like. 🤝
libp2p retweeted
Four questions. Four slots. Evidence for every step.
Who is right? AGENT or HUMAN?
Love seeing conversations at our Resilient Networking Hub get this concrete.
Less hand-waving. More explaining the actual design. @EFDevcon
