（四）共識協議的抽象理論模型的安全性分析
Aggelos Kiayias等在2017年構建了
比特幣的PoW協議的抽象理論模型，并借鑒密碼學中可證明安全的思想證明了該抽象理論模型的安全性；Elaine Shi等在2017年提出了基于 Sleep Model的PoS共識模型，并對其進行了形式化描述和安全性分析，證明了該共識系統在分布式環境下有良好的健壯性。
版權申明：本內容來自于互聯網，屬第三方匯集推薦平臺。本文的版權歸原作者所有，文章言論不代表鏈門戶的觀點，鏈門戶不承擔任何法律責任。如有侵權請聯系QQ：3341927519進行反饋。
