すごい！0xarbitrageによるTLA*におけるZcashクロスリンクプロトコルの正式モデルの始まりです！

https://github.com/oxarbitrage/crosslink2

これは、現在のソフトウェアの安全性の最先端よりも、より強力なソフトウェアの安全性を提供できるものです！ 🎉