search

ethresearch / sharding-p2p-poc

Proof of Concept of Ethereum Serenity Peer-to-Peer Layer on libp2p PubSub System
40 stars 19 forks source link

Survey formal model #26

Open mhchia opened 6 years ago

mhchia commented 6 years ago

What is wrong?

For better verifying the correctness of our model, we can get use of the formal model, inspired by anton from swarm team.

How can it be fixed?

Survey TLA+