分享百科

异步性

在另一个Casper上使用形式化方法在之前的一篇文章中，我谈到了…… | Yoichi Hirai | Medium

本文详细介绍了Vlad的Casper协议及其在Isabelle/HOL中的形式化验证过程，探讨了异步环境下共识问题的核心挑战，并展示了如何使用形式化方法确保估计的安全性。

casper Isabelle/HOL 形式化验证异步性共识估计安全性