Add link to formal specification of GossipSub

libp2p / specs

Technical specifications for the libp2p networking stack

https://libp2p.io

1.56k stars 273 forks source link

Closed gossipsubfm closed 1 year ago

gossipsubfm commented 1 year ago

The added link goes to a full formal specification for GossipSub provided in ACL2s, an automated theorem proving environment.

gossipsubfm commented 1 year ago

Pinging @vyzo :) .