硅谷明星项目CasperLabs欢迎全球黑客测试攻击

在本周的CasperLabs社区周会上，CasperLabs的CTO Medha透露会在10月份delta测试网上测试攻击，欢迎大家届时踊跃参与“攻击”，此举体现了CasperLabs对自己技术和安全的自信，也为黑客事件频发的区块链世界注入了一股春风。

CasperLabs是一个去中心化的区块链与智能合约平台，根据实际应用需要缩放，为开发者和终端用户简化体验。它是一个Layer 1的扩容解决方案，其具有以下三个特点????：
无需妥协，尽情扩展：CBC Casper PoS权益证明协议驱动安全、可扩展且去中心化的区块链服务；
便于使用，人人可得：简明、大众化，为开发者、验证者和终端用户实现主流应用消除障碍；
面向未来，始终革新：无论科技、行业如何演变，可升级的基础架构为您所搭建的成果提供前瞻性支持。
CasperLabs的宗旨是为所有需要高度安全性、快速执行和可预测的经济性的应用程序构建一个变革性区块链平台，它的技术建立在POS CBC-Casper协议之上。该平台依靠PoS而非计算能力去达成共识，以及解决可扩展性问题。
以太坊在使用Casper共识算法向PoS机制转型，Casper CBC将会在Casper FFG之后实现，用于完成向PoS共识的转变。
CasperLabs已启动为物联网和支付服务打造的全新PoS区块链开发计划，去年7月份，它们和现代集团支持的区块链公司HDAC Technology建立了战略合作伙伴关系，共同研究和开发共识机制以及HDAC和CasperLabs区块链之间的无缝集成。通过为现代集团公共和私营部门提供企业解决方案，引领基于区块链技术的数字化转型。
CasperLabs没有参与“TPS竞赛”。他们相信CBC Casper协议可以在不牺牲安全性或去中心化的前提下进行扩展，并希望协议得以实现；同时有机会在智能合约层为开发者营造令人愉悦的用户体验，并建立支持该需求的系统。
CasperLabs当前的任务是探索区块链的下一个边界，创建以人为本、更开放、透明的网络，为公平创新的新时代铺平道路。为世界上最紧迫的挑战提供切实的解决方案。并且，将建造者聚集在一起是因为他们深知共同创作能更快实现创新。
2019年夏，由曾在高盛、第一波士顿和德崇证券担任高级管理职位的华尔街金融大鳄Terren Piezer牵头，CasperLabs完成了包括Arrington XRP、Consensus Capital、世界500强韩国现代集团的区块链公司HDAC Technology，以及来自中国的万向资本、IOSG VC、Hashkey Capital等知名投资机构在内的1450万美金的A轮融资。
资金将用于平台的速度、安全性和可扩展性建设，打造出强大的、真正去中心化的公有链。
首先，Casper是一个智能合约平台，跟其他智能合约平台一样，为开发者提供运行协议和应用的基础设施。而另外一方面，它强调的不是单纯的高tps，而是要安全和可扩展性兼得。
目前已经有了这么多智能合约平台，Casper如何安身立命？有什么杀手锏？它最核心的技术选择是基于CBC Casper PoS的共识算法，并在此基础上扩展出Highway共识协议。
Casper之所以声称自己可以真正兼顾安全和可扩展性，很大程度上源于其技术路线的选择。而这个技术路线的核心之一就是CBC Casper PoS。CBC 英文为“correct-by-construction”，大意是按照构建逐步校正的意思，它是一种验证架构正确性的流程，通过构建数学模型推演，确保最终的正确交付。CBC Casper是“correct-by-construction”共识协议系列，这些共识协议共享相同的异步证明以及拜占庭容错。这一系列协议通过定义其协议状态和协议状态转移来描述。
Casper的计算模型支持检测何时可以并行合约的执行，且区块消息格式允许在链中“合并”分叉，可以避免不必要的孤块。CBC Casper PoS跟以太坊的Casper-FFG不同，以太坊需要考虑从PoW向PoS的过渡，而是CBC Casper是纯粹的PoS机制，不包含任何PoW，只有提议区块和实现区块最终性的验证者才能获得奖励。
Casper的Highway共识协议是基于CBC Casper PoS的扩展。Highway共识协议是Daniel Kane、Vlad Zamfir以及Andreas Fackler三人的研究成果。其中，Vlad Zamfir是以太坊知名的核心研究人员。
Highway共识协议最与众不同的地方在于：兼具安全和活性。它跟PoW不同（完全同步的协议），Highway是部分同步的协议，可以实现更高频次的出块，换言之，具有更好的吞吐量和可扩展性。
什么是兼具安全和活性？安全就是说Highway共识协议的决定不会前后矛盾，活性则是说共识协议的节点会永远保持做决策，区块不断增长。
总结来说，Highway协议对CBC Casper进行了两个方面的扩展：一是，通过高效方法实现对不同阀值下安全性的检测；二是，提出在CBC Casper框架下的活性策略，也就是针对网络参与者何时创建协议消息所制定的策略规范。
简单来说，Casper的Highway协议如何运作？
1.summit结构
Highway协议为实现最终性，它提供了一种全新的summit（峰顶）结构。与此同时，为了实现活性，它使用伪随机生成的领导者序列限制消息的生成来实现，这导致产生blockdag的可预测结构。
Casper的共识协议采用的是blockdag的数据结构，如下图：

在上图中，消息被放置到相关的“泳道”上，也可以看到每个“泳道”上消息的创建者。由于创世区块是区块链初始化产生的，它位于“泳道”之外。每个普通区块都指向其主要父块，上图用红色箭头表示。这些区块形成了树结构，称为主树。任何普通区块都可以指向任意数量的区块作为次级父块，如上图中蓝色箭头所表示的。区块+红色箭头+蓝色箭头一起形成有向无环图，也就是Casper协议中的p-dag。所有的箭头和所有的顶点一起形成有向无环图，这就是Casper中所谓的j-dag。
Summit（峰顶）是指j-dag中某个共识值已经确定最终性的情况。为什么会有这个概念？因为它有很多层，不同层代表不同的共识程度，最后的Summit意味着在某个范围内所有节点都达成共识，也就是最高点，形成了峰顶。在这个最高的层面上，具有最大程度的共识。反过来理解，这也说明Highway是具有安全阀值的。每个轮次都有领导者，首先由领导者发送消息给每个人。其他验证者在收到领导者消息后立即发送消息给其他人。在经过一些轮次后，每个验证者都会再次向所有人发送消息。这样，第一条消息确认的投票成为level-0的消息，第二条确认足够数量的第一条消息，形成level-1消息，由此类推形成summit（峰顶）。一旦验证者在其本地协议状态达到峰顶水平，他们知道最终每个诚实验证者将会看到所有状态。
下图是最终性的示意图，可以帮助我们理解summit（峰顶）。

上图左侧的矩形代表验证者，圆点代表消息。它展示了验证者0的本地j-dag，对应于j-daglevel的排列（消息的X坐标对应于j-daglevel）。“泳道”上显示消息的Y坐标与创建者相同。圆点颜色则代表此消息正在投票支持的共识值。在诚实验证者的“泳道”内，0-level消息是从上一次该验证者投票赞成的共识值改变以来的所有消息。消息的第一层投票支持同一个区块，其他层会引用第一层的消息及其哈希，参与“峰顶”的验证者越多，层次越多，这些消息投票的区块就越安全。
2.有弹性的轮次时长
跟大多数的PoS机制一样，Casper也会将时间划分为轮次。每个轮次，首先有一个伪随机选择的领导者生成消息，其他人等待领头人的消息，收到该消息之后，才生成自己的消息。在这一轮次快结束时，每个人都会再发送一条消息。也就是说，验证者为该区块发送了两次验证消息。每个轮次的时长并不固定，不是所有验证者都采用相同的轮次时长。
为实现活性，Highway协议采用非固定轮次时长的机制。它用“高速公路”作为比喻，这也是协议名称Highway的来源。Highway类似于“数字高速公路”，它有很多车道，每条车道的汽车速度恒定。不同车道的汽车相互之间会发送消息。消息在不同车辆间传递的速度不同，协议达成共识的程度也不同。
在任何给定的车道n中，车在1米距离进行2n频次的跳跃，信息在不同车道的汽车间的传递是动态进行的。由于跳跃频次不同，消息传递频次也不同。例如，如果消息传到左侧的车道，频次将加倍，传到右侧车道则频次将减半。这样，每次跳跃时，都可以遇到左侧车道的汽车，而右侧则需要两次跳跃才会遇到。通过这样的方式，可以保证一定的安全性，同时也可以提高达成共识的速度。
要理解Highway的有弹性的轮次时长，需要理解时间“滴答”、生成区块的领导者以及轮次的概念。在Highway共识协议中，时间划分为“滴答”，每个“滴答”相当于一毫秒。领导者从当前验证者中选出，基于领导者的系统，需要有轮次，这也是基于安全的考虑，生成区块的领导者是无法固定的。因此，不同轮次会有不同的领导者。
在这种情况下，多数PoS链采用的是固定轮次时长的方法。而Highway协议与众不同的是其可调整的轮次时长。每个验证者选择轮次指数值。随着时间的推移，将会自动调整轮次指数值（round exponent），以实现最优性能。
举个例子，假设轮次指数值为n，验证者用于操作的轮次时长为2^n“滴答”。具有相同轮次指数n的所有验证者都有相同的轮次时间表。不过，如果轮次指数n不同，验证者在轮次时长上也不同。
假设A使用的轮次指数为n，B使用的轮次指数为m，其中n为5，m为7。这意味着，A的轮次时长是32个时间“滴答”(2^5)，而B的轮次时长为128个时间“滴答”(2^7)。这意味着，A的轮次时长只持续32毫秒，而B的轮次时长持续128毫秒。也就是说，A的速度要快于B，因此，A可以参与B了解的所有轮次，而B只能了解A知道的部分轮次。通过调整轮次指数可以增加或减少轮次时长，以实现最佳性能。
此外，Highway协议还提出一个“era”（时代）的概念，era时长也用区块链的时间“滴答”来表示，例如一周（604800000个滴答），其主要目的是在更长的一段时间内（如一周）保持验证者权重的相对恒定，由此实现所有验证者都可以同意的伪随机领导者序列，同时防止攻击者对领导者选择进行攻击。
Highway协议跟传统的BFT协议不同，一般来说，拜占庭容错协议主要在交易顺序上达成共识，而Highway协议仅就区块的有效性和区块的权重达成共识，对区块投票的验证者越多权重越大。在这种情况下，系统可以处理同时发生的事件，因为交易顺序不重要。Highway也支持区块合并，在合并过程中也可以检测是否有冲突的交易。
之所以可以实现这些，Highway协议有两个核心的设计选择：
*没有只发给特定节点的目标消息，所有消息最终会发送给所有人，且可以验证较早的消息。所有节点看到的都是相同的，这算是不断增长的消息图,有点类似于哈希图。
*决策方式简单：投票。通过在消息图中执行防止僵持状态的特定结构，可确保网络的活性。
在这里，消息被视为是对共识值的投票，且验证者遵循多个明确的验证者最新投票。
总结来说，Highway协议的如下特性值得关注：
无须许可性，任何人都可以安装所要求的软件并作为新验证者加入网络（在平台执行绑定交易以后，并在绑定拍卖中赢得其中的slot）。
有弹性：可自动调整轮次时长，以使网络的整体性能达到最佳。
部分同步：区块领导者无需收到已产生的所有消息即可生成区块，未收到的区块交易记录可在下游进行协调。
广播消息：协议假定能将任何消息广播到区块链网络中的所有其他验证者，可以处理消息的延迟，而无需直接的点对点通信。
可证明的最终性：协议提供“最终性检测器”的形式化计算，它可以发现由总权益大比重支持的交易。当验证者使用其“最终性检测器”，发现一些交易具有最终性，那么其他的验证者也会将其视为具有最终性的交易。
可证明的活性：由于恶意验证者的总权益不超过1/3，网络将持续产生具有最终性的区块，且共识的收敛不会停止下来。
总言之，Highway的特色是安全和活性兼备。它区块的创建是围绕伪随机生成的领导者序列进行的，领导者负责区块的产生。同时，它还采用可变的轮次时长机制，这让Casper具备弹性，可自我调整网络，以获得最佳性能。
Casper的开发者友好的整体策略
对任何智能合约平台来说，最终的价值来源于使用它的用户数量和频次。而要吸引用户进来，首先需要有dApp开发者构建出符合用户需求的产品和服务。
这对于Casper来说也一样，除了其技术路线的选择之外，Casper最核心的策略之一就是其对开发者友好的整体策略。策略讲究聚焦和取舍。这一点从Casper的Slogan也可以看出，它的Slogan是“筑梦者的区块链”。换句话说，Casper试图成为开发者构建各种美好产品和服务的坚实平台。从其目前的技术基础和运营方面看，Casper的开发者友好的整体策略值得关注。
1.业务开销可预测
在区块链上进行交易需要成本，用户的操作会产生费用。在Casper上，被选中的验证者需要从交易池中收集交易，并按照一定的次序执行，最后发布到新区块上。而用户提交的费用会按比例分配给所有验证者。
在Casper上，为了让dApp的体验更好，它试图要达成业务开销可预测。不受监管的费用市场会导致交易费用的高度波动。在2017年加密猫时代，以太坊的转账费用曾经高得吓人。Casper协议内置的gas价格下限设置足够高，可以减轻这种波动性。可以防止gas跌至某个特定价格下，让价格在某个值上自由浮动。
Casper的代币CLX代币可用来支付gas费用，而CLX代币价值是波动的，由此Casper设定了价格下限，虽然消耗的是CLX，但设置的值是法币值，其基准是单个CLX账户之间的转账费用花费0.05美元。为了实现这一点，Casper使用去中心化预言机来提供价格数据。
实现业务开销的可预测，有利于dApp开发者构建自己的商业模式，例如由dApp开发者负担用户的交易费用，而dApp通过其他方式向用户收取费用。由于交易费用的相对可预测，这样对于构建可持续的商业模式，并实现更好的用户体验都有直接帮助。
2.绝大多数开发者无须培训即可编写Casper区块链应用
对于智能合约平台来说，降低开发者进入的门槛非常重要。这也是Casper的重要竞争策略。首先它支持Rust作为Casper智能合约的主要编程语言，用于智能合约的Rust开发套件包括了测试环境、合约运行环境等。
此外，Casper对wasm有很好的支持。平台也支持其他编程语言进行智能合约的开发。这样对于开发者来说，无需太多的学习成本，用自己熟悉的语言即可开发dApp。
3.开发者所需的各种功能
除了开发门槛的降低，还有一些功能也可以帮助开发者更好的构建。例如它的GraphQL接口、账户结构、无限多重签名、可定制支付方式、可读性好的账户名等。
Casper内置GraphQL接口，可用于状态查询，方便开发者随时了解合约的内部状态，降低开发和运营dApp的门槛。
Casper的账户结构比较灵活，有多级账户结构，可以从子账户中收回丢失资金。它支持开发者所需的各类授权，其中包括针对丢失密钥恢复的账户权限模型，在账户和合约之间安全共享状态的权限模式等。
加权的密钥功能和阀值，可以实现无限多重签名功能。
Casper支持开发者制定交易的支付方式。普通区块链通常采用“发送人付费”模式，而Casper的开发者可设置支持接收人付费的模式。
Casper用户名是可读性好的账户名，方便构建应用，也有更好的用户体验。
Casper节点内置了遥测和监视功能，可以方便节点运营者和验证者测试系统性能。
4.可升级的基础设施
Casper区块链支持将合约存储在不可变的地址中，支持合约版本控制和升级。这对于开发者来说是很有用，因为合约更新几乎是必不可免的。同时，Casper还在设计协议和虚拟机，以实现对并发执行、侧链、分片的支持。
结语
从Casper的整体来看，跟其他项目相比，以上的两点有其独特之处。虽然Casper很关心可扩展性，但它同样重视安全性和去中心化，这是它实现可扩展性的前提。Casper的Highway协议是实现这一目标的关键，通过“summit”和blockdag结构、伪随机领导者序列（pseudorandom leader sequence）、弹性的轮次时长等多种设计，实现了安全性和活性。
为了构建生态，Casper的开发者友好的整体策略也让人印象深刻。它在降低开发者门槛，丰富开发者工具方面、设施可升级等方面都下了不少功夫。
那么，在众多的智能合约平台中，Casper有没有机会脱颖而出？现在还无法下定论，但由于它在共识机制设计上的特色和对开发者友好的策略，它的探索值得持续关注。

—-

编译者/作者：唐华斑竹

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。