太棒了！由0xarbitrage提出的Zcash Crosslink協議的正式模型的開端，使用TLA*。

https://github.com/oxarbitrage/crosslink2

這是一種能夠提供比當前軟件安全技術更強安全性的東西！ 🎉