Issues

• test(mux): "no chunk follows a deferred EOF" fails under CPU load

  etheorem/leanp2p#98 · Filter by author IvanAnishchuk opened on Nov 11, 2026

• negotiate: the responder accepts a proposal as its first message

  etheorem/leanp2p#97 · Filter by author IvanAnishchuk opened on Nov 11, 2026

• 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
  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

• [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
  9