文章摘要：Gasper 是一个由信标链协议（即将到来的以太坊 2.0 网络的底层协议）实现的抽象的权益证明协议层。Gasper 的关键部分就是一套终局性机制（finality mechanism），用于保证交易的持存性（durability）和系统的不间断运作不会被攻击破坏。
Gasper 是一个由信标链协议（即将到来的以太坊 2.0 网络的底层协议）实现的抽象的权益证明协议层。Gasper 的关键部分就是一套终局性机制（finality mechanism），用于保证交易的持存性（durability）和系统的不间断运作不会被攻击破坏。
我们很高兴宣布，Runtime Verification 和以太坊基金会长久合作中的另一大里程碑圆满成功：我们开发了一套形式框架来模拟和验证信标链协议，并成功形式化地证明了 Gasper 终局性的正确性（correctness）；并且，我们还使用这些结果证明了信标链的 Gasper 抽象实现同样具备这些属性。模型和证明脚本都可以在此处找到。
在
文章评论
冷萃财经原创，作者：Awing，转载请注明出处：https://www.lccjd.top/2020/07/21/%e6%8a%80%e6%9c%af%e8%b4%b4-%e5%bd%a2%e5%bc%8f%e5%8c%96%e9%aa%8c%e8%af%81gasper%e5%85%b1%e8%af%86%e6%9c%ba%e5%88%b6%e7%9a%84%e7%bb%88%e5%b1%80%e6%80%a7%ef%bc%88finalization%ef%bc%89/
支付宝扫一扫打赏
文章评论