CasperLabs 上线并开源首个可证安全的以太坊 PoS 协议「高速公路」

区快洞察消息，以太坊开发公司 CasperLabs 宣布推出「Highway」，据称这是首个可证明安全且可靠的基于 CBC Casper(correct-by-construction）实现的 Casper 权益证明（PoS）实现。CasperLabs 还发布了相关的完整研究论文，同时，Highway （此特定版本）已作为开源软件发布。CasperLabs 认为，通过开源代码许可证向公众发布 CasperLabs Highway，可以激发进一步的创新并一次造福所有人。

来源链接