CasperLabs Highway 简介

首个验证有活性且安全的CBC Casper协议规范

当我们提到共识协议，有两个安全属性至关重要：安全和活性。若协议不会做出前后矛盾的决定，则该协议是安全的；若协议最终一定会做出决定，则该协议是有活性的。对于去中心化网络，使PoS既安全又有活性并非易事。以太坊研究员Vlad Zamfir，将解决这些问题的重大突破发表在题为“CBC Casper”的研究论文中。尽管对CBC Casper协议群的早期研究为解决安全性问题搭建了前沿框架，而活性问题仍未解决。

CasperLabs不仅一直研究可扩展性和能耗等紧迫问题，还基于Vlad Zamfir对CBC Casper的现有研究进行扩展，推动产业融合。

今天，我们非常激动地介绍CasperLabs Highway，CBC Casper框架下首个验证有活性且安全的共识协议规范。

我们的协议规范将在开源许可下向社区免费发布。研究论文初稿详见这里。

为什么CasperLabs Highway如此重要

CasperLabs Highway对CBC Casper的研究从两方面进行了拓展。

首先，共识协议提供了一种新颖、高效的方法来检测不同阈值下的安全性。

其次，CasperLabs Highway提供了CBC Casper框架下首个活性策略规范。换言之，针对网络参与者何时应创建协议消息，Highway规定一项策略，并证明该策略使协议具有活性。

CasperLabs Highway是如何工作的

Highway采用创新方法，为最终决定提供一种由不同“水平”协议构成的全新“山峰”结构。为了有效实现活性，该设计使用动态轮长系统的伪随机先导序列。

为了理解该原理，让我们从简化模型入手。时间被分成几轮；在每一轮中，都有一个领头人开始生成消息。其他人等到收到领头人的信息后，再开始生成自己的消息。然后，在这轮时间快结束时，每个人都发送另一条消息。每一阶段都在产生另一“水平”的协议，最终产生可被视为一项决定的“山峰”。

然而，固定轮长在现实系统中并不实用，因此在Highway中我们使其具有动态性。为了实现这一点，我们设想一条真实的高速(好吧，一条数学高速)。在这条高速上，车辆以跳跃的形式移动，而所有车辆的速度都是恒定的。在任一给定车道n上，一辆车在一米距离内将跳跃2n下。因此，如果你换到左侧车道，你的跳跃频率增加到2倍。如果你换到右侧车道，你的跳跃频率会降低一半。你每次跳跃，都会遇见左侧车道上的车，而右测车道上的车每跳2次才会遇见你1次。这些“跳跃”是节拍，每轮通过一“米”。因此，一轮的长度取决于你在哪个车道。