详细内容
区快洞察消息，PlatON 共识协议安全性与稳定性已通过 Runtime 学术级验证，验证结果已经以名为《Verifying Safety of the Giskard Consensus Protocol in Coq》的报告形式发表，并在 Github 上开源。从验证结果来看，Runtime Verification 通过形式化验证获得的机器验证证据有力地证明了即使存在不良节点，Giskard 共识协议的关键安全属性也可以为 PlatON 整个协议的执行保驾护航。本次项目合作的验证结果为 Giskard 共识协议作为 PlatON 网络基础设施核心组件的可靠性提供了重要证据，并清晰阐述了 Giskard 共识的基础假设。
区快洞察消息，灰度投资（Grayscale Investments）董事总经理 Michael Sonnenshein 在接受彭博社采访时表示，2020 年出现一批以太坊为先的投资者，并且这批人只投资以太坊。以太坊作为一种资产类别已被越来越多人认可。Michael Sonnenshein 称，「以太坊作为一种资产...
区快洞察消息，分布式计算网络 Blockstack （STX）已进入 Stacks 2.0 测试网的最后阶段「Xenon」，与上一阶段（Krypton）相比关键的区别是 Xenon 测试网已经和主比特币测试网相结合，而在 Krypton，使用的是比特币 Regtest 测试网络。Xenon 不久还将增加对微块分叉处...
该企业最新头条微商机