¡Dulce! Los comienzos de un modelo formal del protocolo Zcash Crosslink en TLA* por 0xarbitrage!

https://github.com/oxarbitrage/crosslink2

¡Este es el tipo de cosa que puede proporcionar una mayor seguridad del software que el estado actual del arte de la seguridad en el software! 🎉