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

区块律动 BlockBeats 消息，近日，以太坊开发公司 CasperLabs 宣布推出「Highway」，据称这是首个可证明安全且可靠的基于 CBC Casper（correct-by-construction）实现的 Casper 权益证明（PoS）方案。CasperLabs 还发布了相关的完整研究论文，同时，Highway（此特定版本）已作为开源软件发布。CasperLabs 认为，通过开源代码许可证向公众发布 CasperLabs Highway，可以激发进一步的创新并一次造福所有人。」（链闻）
关于该项目的论文原文：https://www.overleaf.com/read/qcnjxswbcrnd