CasperLabs展示了首个“证明安全”的以太坊PoS协议“高速公路”

 
以太坊开发公司CasperLabs宣布推出“ Highway”，据称是第一个按构造正确进行的Casper权益证明(PoS)实施，可证明是实时且安全的。
安全可靠
根据11月1日与Cointelegraph共享的新闻稿，如果协议一致，则该协议是安全的;如果能够保证决策，则该协议是有效的。 CasperLabs声称这两个功能都是Highway的一部分，并且它们的存在是可证明的。该公司还发布了有关该项目的完整研究论文。
Casper是以太坊PoS实施的名称，Highway(此特定版本)已作为开源软件发布。该协议的第一版于去年5月发布。
开源Casper实施
根据公告，该公司在10月31日的“旧金山区块链周”上宣布了该开发。该公司指出：“通过通过开放源代码许可证向公众发布CasperLabs Highway，我们希望激发进一步的创新，造福所有人。”
据报道，在活动期间，CasperLabs首席软件开发人员Michael Birch还领导了一个开发人员的讲习班，阐述了如何用Rust(一种编程语言)编写智能合约，以供CasperLabs使用。
正如Cointelegraph在9月报道的那样，CasperLabs在由国际金融家，洛杉矶投资公司Acuitas Group Holdings董事长Terren Piezer领导的A轮融资中筹集了1,450万美元。