Süß! Die Anfänge eines formalen Modells des Zcash Crosslink-Protokolls in TLA* von 0xarbitrage!
https://github.com/oxarbitrage/crosslink2
Das ist die Art von Dingen, die eine stärkere Sicherheit von Software bieten können als der aktuelle Stand der Technik in der Softwaresicherheit! 🎉
https://github.com/oxarbitrage/crosslink2
Das ist die Art von Dingen, die eine stärkere Sicherheit von Software bieten können als der aktuelle Stand der Technik in der Softwaresicherheit! 🎉