Decentralizers, attention! :)

Last #deltachat releases introduced stable #p2p group membership not found in any other messenger. Members can add/remove peers also while being offline, and when everything comes online again, everyone has the same consistent membership view. We formalized and ran a simulation model using #TLA+ (invented by Leslie Lamport of vector clock fame):

github.com/chatmail/models/tre…

and a complementary #pytest model with more corner cases tested here:

github.com/chatmail/models/blo…

models/gmc/test_gmc.py at main · chatmail/models

Formal specifications for chatmail. Contribute to chatmail/models development by creating an account on GitHub.

^GitHub