在另一个Casper上使用形式化方法在之前的一篇文章中，我谈到了…… | Yoichi Hirai | Medium 本文详细介绍了Vlad的Casper协议及其在Isabelle/HOL中的形式化验证过程，探讨了异步环境下共识问题的核心挑战，并展示了如何使用形式化方法确保估计的安全性。 casper Isabelle/HOL 形式化验证 异步性 共识 估计安全性 pirapira 发布于 2017-09-28 1558 0 0
