Super ! Les débuts d'un modèle formel du protocole Zcash Crosslink en TLA* par 0xarbitrage !

https://github.com/oxarbitrage/crosslink2

C'est le genre de chose qui peut offrir une sécurité logicielle plus forte que l'état actuel de l'art en matière de sécurité dans les logiciels ! 🎉