幣界網消息，谷歌開發的系統在四周內完成了對加密協議的數學證明，並成功識別出舊版的已知漏洞。該系統通過將安全要求轉化為數學公式進行驗證，確保在規定條件下始終滿足安全性。研究人員表示，普通安全測試無法發現所有漏洞，而數學證明則提供了更嚴格的驗證。此次檢查的現行協議部分，沒有發現新漏洞。