区块链消息,PlatON 共识协议安全性与稳定性已通过 Runtime 学术级验证,验证结果已经以名为《Verifying Safety of the Giskard Consensus Protocol in Coq》的报告形式发表,并在 Github 上开源。从验证结果来看,Runtime Verification 通过形式化验证获得的机器验证证据有力地证明了即使存在不良节点,Giskard 共识协议的关键安全属性也可以为 PlatON 整个协议的执行保驾护航。本次项目合作的验证结果为 Giskard 共识协议作为 PlatON 网络基础设施核心组件的可靠性提供了重要证据,并清晰阐述了 Giskard 共识的基础假设。
个人中心
购物车
优惠劵
今日签到
有新私信
私信列表
搜索
扫码打开当前页
返回顶部
❯
幸运之星正在降临...
点击领取今天的签到奖励!
恭喜!您今天获得了{{mission.data.mission.credit}}积分
我的优惠劵
-
¥优惠劵使用时效:已经过期,无法使用使用时效:
之前
使用时效:永久有效优惠劵ID:×
没有优惠劵可用!