據Coindesk消息，蘇格蘭愛丁堡大學的研究人員Aggelos Kiayias和Orfeas Litos上個月發表了一篇有關閃電網絡安全性的論文。這篇論文描述了閃電網絡的代碼規范缺乏正式的驗證，這是“一種可怕的狀態”。論文解釋稱:“我們的處理準確地描述了協議的安全保證如何依賴于基礎分類賬技術的屬性。” 研究人員執行此操作的過程稱為正式驗證。雖然它在
加密貨幣領域很流行，并且有助于確定代碼的安全性，但并不是在每個代碼程序上都執行“形式安全性”。研究人員認為，研究結果是積極的，表明讓支付系統正常運行的底層加密技術是健全的。盡管規范驗證是重要的一步，但它僅適用于閃電網絡的代碼藍圖，不適用于開發人員已經開發的軟件。
版權申明：本內容來自于互聯網，屬第三方匯集推薦平臺。本文的版權歸原作者所有，文章言論不代表鏈門戶的觀點，鏈門戶不承擔任何法律責任。如有侵權請聯系QQ：3341927519進行反饋。
