Issues

• gossipsub: the gaps against the consensus spec and the gossipsub v1.0 and v1.1 specs

  etheorem/leanp2p#95 · Filter by author IvanAnishchuk opened on Nov 10, 2026

• [W5.12] libp2p/host: the keepalive probe, the peerstore limits, and the limiting policies

  etheorem/leanp2p#93 · Filter by author IvanAnishchuk opened on Nov 10, 2026

• [W4.4] net: the QUIC transport

  etheorem/leanp2p#92 · Filter by author IvanAnishchuk opened on Nov 10, 2026
  1

• [W5.11] libp2p/security: the TLS 1.3 handshake

  etheorem/leanp2p#91 · Filter by author IvanAnishchuk opened on Nov 10, 2026

• [W5.10] libp2p/mux: the mplex Muxer value

  etheorem/leanp2p#90 · Filter by author IvanAnishchuk opened on Nov 10, 2026

• [SEAM] W6.3 req/resp: drop the three mocks after PR #46

  HACKATHON
  etheorem/leanp2p#78 · Filter by author leolara opened on Nov 7, 2026
  1

• [SEAM] W5.9 interop: connect Interop.Mock.Stack and land the green matrix run inside #60

  HACKATHON
  etheorem/leanp2p#73 · Filter by author leolara opened on Nov 6, 2026
  1

• [SEAM] W5.8 cli: connect CliApp.Mock.Stack to the real stack inside #50

  HACKATHON
  etheorem/leanp2p#72 · Filter by author leolara opened on Nov 6, 2026
  2

• [SEAM] W5.6 host: the mock connections of #61

  HACKATHON
  etheorem/leanp2p#70 · Filter by author leolara opened on Nov 6, 2026

• varint: one offset reader for the ByteArray decoders

  etheorem/leanp2p#66 · Filter by author IvanAnishchuk opened on Nov 5, 2026
  1

• docs: the unauthenticated deadline is 30 s "as in go", and go-libp2p uses 15 s

  etheorem/leanp2p#65 · Filter by author IvanAnishchuk opened on Nov 5, 2026

• [SEAM] W5.7 identify/ping: the mock connections of #45

  HACKATHON
  etheorem/leanp2p#55 · Filter by author leolara opened on Nov 5, 2026
  3

• [TRACKING] Machine-Checked Devcon Week: the task tree

  HACKATHON
  etheorem/leanp2p#25 · Filter by author leolara opened on Oct 26, 2026
  1

• [W5.8] cli: the demo and ping binaries

  HACKATHON
  etheorem/leanp2p#22 · Filter by author leolara opened on Oct 26, 2026
  7