深入對系統隨時間行爲的形式化分析。特別關注否決信號、憤怒退出和時間鎖定過渡的安全性和活動性保證。

此頁面可能包含第三方內容，僅供參考（非陳述或保證），不應被視為 Gate 認可其觀點表述，也不得被視為財務或專業建議。詳見聲明。