Algorand官方:Runtime Verification正式验证Algorand区块链永不分叉 发表评论 110 views A+所属分类:7*24 快讯 收 藏6月25日,Algorand官方博客发文称:为了更好地保证Algorand协议,并使未来的协议设计和验证更容易,Algorand选择通过机器验证来增强数学上的理论证明。Algorand宣布已经完成该工作的第一部分,即协议建模和证明其安全定理。具体来说,我们使用了一个证明助手(Coq)来系统地确定协议在数学上保证不会分叉的假设。 我的微信 这是我的微信扫一扫 我的电报 这是我的电报扫一扫 赞 0 赏 分享