Sweeet! Os começos de um modelo formal do protocolo Zcash Crosslink em TLA* por 0xarbitrage!

https://github.com/oxarbitrage/crosslink2

Este é o tipo de coisa que pode proporcionar uma segurança mais forte do software do que o estado da arte atual em segurança de software! 🎉