本次 Staking 之星对话行业领袖第 5 期迎来的大咖 —— CasperLsbs CEO Mrinal Manohar

Staking 之星对话行业领袖活动的目的是希望通过区块链行业内不同角色,不同位置的行业领袖能够从不同的角度给大家带来思考。

AMA 分享回顾

主持人开场

张涵桥:大家好,我们今天邀请来的又是一位行业领袖,简单介绍一下他的背景:Mrinal Manohar 他是 CasperLabs 的 CEO,他是拥有约 10 亿美元的长期对冲基金的负责人,具体投资技术、媒体、电信等领域,还曾任波士顿贝恩资本的私募股权合伙人。他还拥有美国传统名校卡内基梅隆的理学硕士学位。Mrinal 今天分享的主题是 Casper Labs 项目,一个完全去中心、真正可扩展的区块链,我们热烈欢迎。

嘉宾分享

Mrinal Manohar:欢迎大家!我很荣幸有机会谈谈我们的项目。我要感谢标准共识组织这次活动!

我是 Mrinal Manohar,CasperLabs 的创始人之一。我一直对编程很着迷,从 11 岁起就开始写程序。这让我最终学习了计算机专业,并于2007年从卡内基梅隆大学获得了硕士学位。

我先后在甲骨文公司和微软公司实习,但我的全职工作是从华尔街开始的。我在贝恩公司工作 2 年半,在贝恩资本工作了 2 年半,主要从事科技领域的私募股权投资,最后在一家 12 亿美元的对冲基金担任科技、媒体和电信部门主管 5 年。自 2017 年以来,我一直专注于区块链。然而,我与去中心化计算的旅程始于 2002年,当时我为 BitTorrent 应用程序做出了开源贡献。

我从 2012 年开始购买比特币,并成为该领域的天使投资人,投资的项目包括预售的以太坊,Blockstack, Basis, Maker, Filecoin 等等。我对这个行业充满热情,我很高兴能和一个优秀的团队一起为这个行业带来一些有趣的东西。

在我看来,大多数试图规模化区块链的尝试都伴随着不可接受的去中心化和安全的妥协。大多数PoS协议都选择了集中化(限制验证者、dPoS);或者有某种形式的许可。此外,它们有时具有具有不同权限的不同验证者层。这些都是为了规模而牺牲信任。区块链的主要价值主张是一个真正分散的价值交换环境。某些协议利用了Optimistic 共识,它们一般不进行错误检查或距安全阈值较低。

这些都是为了规模而牺牲信任和安全的例子。

我们认为,大规模采用区块链面临的问题主要归结于 A.性能 B.安全性 C.价格和 D.工具。我们将在接下来的幻灯片中讨论这些主题。

我们来先谈谈采用限制的问题。首先,专有编程语言的存在。程序员习惯用 Rust,Java,c++, Python 等等。要求程序员学习一门新的编程语言来使用区块链会造成入门障碍。此外,价格飙升和协议升级的不确定性只会增加企业在其系统中使用区块链的风险。这就是为什么许多企业选择使用私有链而不是公共链。但是,私有链并不安全,也违背了去中心化共识的全部目的。

我之前所说的区块链缺乏大规模应用的原因与来自商界的反馈完全一致。上图显示了普华永道对 1000 多家公司进行的调查结果。

首先,企业表示,高成本和缺乏成本可预测性是区块链没有被采用的首要原因。
其次,由于专有编程语言和不熟悉的工具的存在,他们不知道如何轻松地开始使用区块链。
第三,缺乏清晰的升级路径。

前三个原因都是可修复的,并且在协议设计者的控制范围内。我会分析每一个问题,并告知大家我们计划如何解决。

左边的图表显示,在过去 8 年里,亚马逊利用规模经济的优势,42 次降低 AWS 服务的价格。右边的图表显示,区块链基础设施的情况正好相反;随着以太坊的发展,它的使用成本越来越高。这与经济体系中通常发生的情况相反。随着需求的增加,向基于区块链的应用程序添加容量变得更加困难。

这是规模问题的要点所在。对企业来说,采用区块链风险太大,因为他们知道有可能采用峰时价格。

我们最初是通过将交易费用与法定汇率挂钩来解决这一问题的。随着时间的推移,我们的目标是继续研究,并找到使价格可预测性更好的方法。

现在让我们谈谈编程标准。左边的图表显示,虽然 Solidity 是目前使用最多的智能收缩语言,大约有 1 万名开发人员,但这个数字远远小于 2600 万名开发人员。

右边的图表显示,Rust 在编程语言中拥有最高的支持率(来自 Stack overflows 调查,该调查有超过 90,000 个应答者)

这告诉我们,区块链的成功需要迎合所有的开发人员,而这些开发人员已经明确表示了他们对广泛使用和良好支持的编程语言的偏好。正是这种想法使我们完全接受了开放编程标准。我们已经完全支持 Rust 和 Assemblyscript,随着时间的推移,我们(或社区)可以支持任何编译成 WASM 字节码的编程语言。这是我们帮助所有开发人员创建区块链的方式,并消除了另一个进入障碍。

像 Salesforce 和微软这样被广泛使用的平台已经升级了好几次。即使是像 Linux 这样的开源项目,只要贡献者分散,也能多次升级。

能够升级的应用程序和平台是必需的。围绕协议分支的不确定性,加上不可更改的链上合约,给合约作者留下了如何支持其最终用户的挑战。企业必须为客户提供 bug 修复和新特性。这意味着升级对他们来说很容易。因此,我们需要一个易于升级并确保向后兼容的区块链。那么,我们做了哪些努力来实现这一点。

我们的平台有三个关键的东西可以升级。

首先,抽象化。互联网是一个很好的抽象化研究案例。在互联网上建立的应用程序不需要了解互联网是如何运作的;它只需要知道与它通信的格式。即,在美国,互联网并不关心应用程序的内容,只要通信格式一致,它仍然可以为应用程序提供服务。同样,我们也将设计的所有组件尽可能抽象化。

我给你们举个例子。我们的 Casper 协议是高度抽象的一致协议,因为它的行为不依赖于区块的内容。因此,可以更有效地升级它,同时确保向后兼容。我们将同样的方法引入到我们的执行引擎和构建的其他核心组件中。

其次,模块化。我们系统的每个部分都是单独编码的。因此,如果我们需要升级执行引擎,我们不需要升级编译器或一致方法。通过以高度模块化的方式构建,我们可以升级单个组件,而不需要进行复杂的系统范围内的彻底检修。

最后,我们希望实现基于智能合约的升级。换句话说,升级可以作为一个智能合约来部署。一旦验证者(以确保权力下放)达成共识,它就会以自动化的方式应用。这将使这个过程看起来比我们今天的简单得多。升级就像你现在使用的移动电话和个人电脑一样简单。

这真的很重要,因为技术总是在进化。

在下一组幻灯片中,我们将探索一些更深层次的技术和架构特性,这些特性有助于使 CasperLabs 成为真正的「构建者的区块链」。

区块链最大的价值在于它的安全性,我们在交付时不会妥协。我们不会为了性能而牺牲安全性。

构建者需要一些基本的特性,以及一组易于开发的工具和标准。此外,用户需要得到随着技术的发展,平台将继续满足他们的需求这样的保证。

该图表总结了平台能够被主流采用的关键因素。我们已经介绍了其中一些内容。接下来的几张幻灯片将主要探讨我们的共识算法如何工作,从而在保持完全去中心化的同时提供速度和效率。

CBC-Casper 是脱胎于以太坊研究的 PoS 协议,此后我们进行了大幅扩展(稍后会详细介绍)。具有以下特点:全面的故障检测,可以识别和限制不良行为高度抽象的,因此是未来的证明。此外,仅在最重的区块上达成共识,而不是在交易顺序上达成共识。这将启用并发和分片。

无需加入网络即可获得增加的权限能源效率是纯粹的 PoS 证明。那就是消除了 PoW 浪费在生成哈希上的 90%以上的计算禁止进行归还,因此具有很高的安全性。

Casper 及其变体试图展示经典的中本聪共识的安全性,但具有更高的效率和一些根本性的变化。重要的是要从中本聪共识中的坚实基础开始,然后将其扩展得更好。这些在上面的幻灯片中都已列出,但是,我想谈一谈这种设计的重要含义。

CBC Casper2017 年的研究论文准确来说并不是一个完整的协议。它提供了安全证明,完成客户端属性和分叉选择规则。完整的协议必须有效且安全才能生效。活跃意味着协议总是在链的下一个末端达成共识,而安全则指不可逆的决策。

我们在 2018 年 11 月至 2019 年 9 月之间进行了深入研究,以创建「Highway」,这是我们对 CBC-Casper 协议的扩展。Highway 协议是 CBC Casper 的第一个可证明是实时且安全的实现。公路协议与 Casper FFG 的不同之处还在于,它完全消除了 PoW。

这是一个技术上比较繁重的话题。以下幻灯片将布局实现此目标的核心设计原则。我建议阅读数学论文@

https://github.com/CasperLabs/highway/releases/download/v1.0/highway.pdf

了解更多详细信息。

让我们讨论一些关键词来解释其工作原理。这些关键词是

  • 刻度

    • 每毫秒是一个刻度

    • 每个刻度线都分配了一个领导者(验证者之一)

  • 回合

    1. 一回合持续2 ^ n个刻度(对于n点,我们将回到此步)

    2. 分配给每个回合的第一个刻度的领导者是回合领导者

  • 在验证程序中,如果满足以下条件,则v将创建一个块:

    1. 他们是这一回合的领导者,在这一回合还没有产生任何阻碍

    2. 他们不是回合领袖,但已经收到了回合领袖的封锁

    3. 这是整个回合的⅔(无论是否已经产生一个区块)

这张幻灯片显示了如何在实际中工作的实际示例。

  • 您可以在此处观察到类似扼流点的内容。这是领导者同步网络的一个示例。如果一个节点连续两轮未发送消息,则网络将忽略该节点(假设正在发起活动攻击)

  • 您也可以在这里观察峰会,以及每一轮的协议层次

  • 这来自我们的实时区块浏览器,今天可以进行测试

这张幻灯片显示了如何在实际中工作的实际示例。您可以在此处观察到类似扼流点的内容。这是领导者同步网络的一个示例。如果一个节点连续两轮未发送消息,则网络将忽略该节点(假设正在发起活动攻击),您也可以在这里观察峰会,以及每一轮的协议层次。这来自我们的实时区块浏览器,今天可以进行测试。

让我们研究一下此设计的另一项功能,该功能有助于显著降低孤立率,从而减少废弃交易。对于应用程序开发人员,我们认为孤立是一个真正的问题。当交易成为孤立交易时,它无法处理,必须重新提交给区块链。在这里,您可以看到多个父节点,其中一个节点同时处理了 3 个块,然后创建了一个新的块,其中所有这 3 个块均作为其父节点。在串行区块链中,这 3 个区块中的 2 个必定需要孤立,但在 CL 链中,我们可以包含它们并最终完成这些交易。固有地并发有助于此。


首先,我们提供具有 VM 运行时环境的完整 SDK,并带有测试框架。这意味着开发人员可以使用自己选择的 IDE,并在其 Continuous Integration 环境中轻松运行其合约。

其次,我们的帐户管理支持帐户恢复以及易于理解的名称。我将在下一张幻灯片中介绍一些关键帐户管理功能的更多详细信息。

最后,合约可以用 Rust 或 AssemblyScript 编写,随着时间的推移,可以使用任何 WebAssembly 兼容语言编写。这意味着约 95%以上的开发人员无需培训或只需很少的培训即可编写区块链应用程序。

我们还在研究的一个独特特性是如何处理使用该系统的付款。鉴于智能合约语言已经图灵完备,我们认为使支付系统可编程并且图灵完整是有意义的。

这将允许简单而强大的交易结构,使企业能够满足复杂的付款要求。

这已被最终客户确定为一个巨大的痛点。这将在创建系统方面带来很多创新。例如,可以创建特殊的支付功能,例如推荐奖金,借记卡和其他有趣的支付方式。您还可以创建有趣的债务形式。

这使企业可以根据需要更改合同的付款方式。

现在,我们将介绍如何通过添加加权密钥来扩展多重签名。本质上,我们可以为多重签名系统的每个密钥分配权重。然后指定执行特定操作所需的自定义权重。例如,当一家公司想要转让大量代币时,他们可能以至少一些高级主管批准的方式分配这些权重。但对于较小的转帐,可能只需要最少的签核。

这创造了一套全面的可能性。从理论上讲,您可以使用我们的平台在链上进行全面的股东代理投票,这在其他任何地方都是不可能的。该概念可以扩展到诸如对合约和部署的授权之类的事情。鉴于该系统是完全可编程的并且图灵完整的,则可以始终通过代码来更新规则。

我们已经按时交付了 14 个版本,第 15 个版本即将发布。我们将在接下来的一周左右推出 alpha 测试网,并在 2020 年第二或第三季度过渡到成熟的激励测试网。我们拥有一个由 27 个人组成的庞大且极具天赋的工程和研究团队,他们为了交付一个强大的系统付出了极大的努力。

我们很幸运拥有一个世界级的工程团队,他们为世界上一些最大的平台合作伙伴工作。此外,我们有几个行业合作伙伴,如(韩国)现代,和其他几个目前是保密的,但期待在未来的公告。

我们很幸运地获得了成功的A轮融资,得到了非常有声望的投资者的支持,他们中许多人来自传统投资领域。在A轮融资中,我们没有出售任何代币,而是选择了一轮纯粹的股权融资。

这是我们 34 人全职团队的部分成员。但是,如果没有合作伙伴和顾问的大力帮助和支持,我们将永远无法做出这些决定。我们有超过 45 位顾问,他们拥有数十年的经验。我们非常依赖他们的意见,以确保我们始终将最好的产品推向市场。我们非常感谢他们的所有投入。

主持人提问

张涵桥Ethereum 将使用 Casper 协议来扩大容量,预计将在 7 月左右上线。与 Ethereum 2.0 相比,CasperLabs 项目有什么优势?

Mrinal Manohar:相比之下,CasperLabs Highway 协议根本没有使用 PoW。能够更频繁地提供区块。此外,我们的协议支持区块链级别的并发性,以及部分同步——这意味着我们的孤块率比PoW低得多,这使我们能够拥有更大的区块大小。同样,这可以提高整个系统的吞吐量。CasperLabs 正在构建的不仅仅是 Ethereum 2.0,而是 Ethereum 3.0。一个纯 PoS 的 CBC Casper 协议与线上智能合约。我们预计今年上线。

此外,我们还采取了一些重要的举措,我们对开发者非常友好。正如我在演讲中所提到的,我们支持开放标准以及通过 WebAssembly 支持所有主要编程语言的能力。从 Solidity 转向类似于我们的架构在 Ethereum 的路线图上,但是具体的时间是不确定的。这与我们对世界范围内的开发者的承诺相结合,使用区块链的可预测定价以及固有的升级能力让 CasperLabs 的产品独一无二。

张涵桥:众所周知,Casper 协议作为区块链领域中一个特别创新的共识机制,是非常难以发展的。我们不如谈谈商业或应用方面,例如与 HDAC 的合作?

Mrinal Manohar:是的,创建一个可实现的 Casper 版本,同时也可以证明是实时的(例如,我们可以从数学上证明,这个系统最终总会达成一致)一直是一个重要的研究重点。我们非常幸运地拥有著名的数学家凯恩博士。他的简历可以在这里找到:

https://en.wikipedia.org/wiki/Daniel_Kane_(数学家)

帮助我们创建一个实时证明的协议规范。

数学证明可以在这里找到:

https://github.com/CasperLabs/highway/releases/download/v1.0/highway.pdf。

它技术含量很高,但绝对值得一读。

我们从企业那里得到的反馈非常积极。我们的团队拥有大型 SaaS 公司的专业软件工程背景,了解软件公司在技术平台上的需求。我们平台上的许多功能都是基于企业的直接反馈以及团队积累的知识而创建的。在我们与 HDAC 的合作中,我们正在使用 PoS 算法开发新的区块链技术。有几个案例,包括供应链管理,我们很高兴与这样一个受人尊敬和前瞻性的工业集团合作。

我们也已开始与其他几个公司进行对话,但目前仍处于保密状态,但我们会适时宣布这些消息。

张涵桥:我们都知道公共区块链的成功在于开发者的生态系统。CasperLabs 计划如何吸引更多的开发者参与到它的生态系统建设中来?

Mrinal Manohar:我们希望为所有开发者提供更多的机会。我们正在与几个关键的利益相关者密切合作,为开发者创建一个他们自己运行的去中心化的组织,此外还在平台中构建重要的特性,帮助开发者使用区块链技术。

具体来说,我们有一个三步走的战略来真正帮助推动采用。首先,我们在企业应用方面有很大的兴趣。我们已经和现代汽车进行谈判,但我们与其他几家大公司的合作已经进入后期阶段。当我们在保密协议下,直到我们推出这些产品,我们才可以谈论一些具体的案例,比如 a) 艺术家和词曲作者版权管理 b) 专利管理 c) 医疗记录和临床研究 d) 兼职就业和劳动力管理。我们非常幸运,在这些领域有一群非常有远见的合作伙伴,我们会尽快发布合作公告。

其次,我们与世界领先的加速器合作,如「plug and play」(一个早期投资者和企业创新平台),以及瑞士的 CVVC。我们对开放标准和多种编程语言的使这些伙伴关系更加真实。这些加速器通常会避免使用那些不支持开放和开发者友好标准的平台。

第三,我们正在与几家软件开发公司合作。他们与埃森哲(Accenture)、德勤(Deloitte)等公司类似,可以转售和安装定制软件,以满足客户的需求。作为A轮融资的一部分,我们有幸拥有几家这样的公司,并正在发展持久的合作伙伴关系。

总之,所有这些都是可能的,因为我们已经完全接受了开源和开放编程标准。我们做出了艰难而昂贵的选择,以确保开放获取和参与是我们平台的核心。如果没有这些关键的架构决策,我们将无法创建一个支持大规模采用的环境。

张涵桥:您能分享一些关于 CasperLabs 的代币经济和验证节点的信息吗?

Mrinal Manohar:这是一个很好的问题。让我们首先讨论代币的分配情况。

在某些情况下,我们严格避免了代币的真正集中。这就是我们在首轮融资 1450 万美元时没有卖出一枚代币的原因;甚至在最初阶段就在 60 多个出资人那里筹集了资金。我们认为代币去中心化是非常重要的,毕竟这是区块链技术的承诺。

因此,我们坚持确保在我们开始时没有任何个人或实体拥有超过 1%的代币。看到克雷格·赖特(Craig Wright)博士的情况,以及比特币的巨鲸们,会明白这为什么会成为一个问题。

因此,代币的具体分发如下:

  1. 该团队只保留了 8%的代币。考虑到这是由 40 多个个人分享的,在个人层面上有非常有限的集中,它在 3 年的兑现时间表上释放。

  2. 我们为开发者和社区提供了 16%的奖励。这将是一个类似于亚马逊 AWS 的积分系统的组合,以帮助企业在网络上构建,并激励开发者帮助升级和扩充该系统。我们希望这是通过一个开发者数据访问对象,这个我们正在构建的过程中,并将在主网启动时完成。我们的想法是至少在 5 年内部署它。

  3. 我们已经为顾问和战略伙伴分配了 6%。这将类似于开发者和社区的激励,并将在长期内进行分配。

  4. 只有 10%的代币将由 CasperLabs network 持有;任何和所有的发行将与公开发行相称。

  5. 剩下的 60%将通过我们的交易所节点轮发行(EVO)和正在进行的公共销售向公众分发。

对于问题的第二部分,验证节点将获得如下奖励。

Staking 奖励:
CasperLabs 协议的目标是在发布后的第一年实现 15%的质押收益率,在未来几年 CLX 发行完成后降低到 6-7%。得出的质押收益率将使用以下公式计算:质押收益率=铸币税*(质押量/总供应量),并且将是低个位数。这意味着挂在 CasperLabs 网络上的 CLX 代币将为代币持有者生成被动收益,以换取参与各种协商一致机制。

交易费用奖励:
CasperLabs 验证节点将根据在网络上收取的交易费用获得代币奖励。

所有三种类型的验证节点代币奖励将在验证结束时支付到一个单独的奖励钱包地址,该地址需要在创世区块生成之前提供。奖励是根据两个不同的(「短期」和「长期」)标准以及平台上的整体活跃度条件与所提议的区块的最终确定相关联的。

观众提问

观众提问:这个币总共发行多少,团队和社区的币,怎么释放?

Mrinal Manohar:我们没有出售任何代币作为初始资金。我们通过纯股权融资 1450 万美元。

  1. 只有 8%给团队,3 年以上兑现

  2. 16%用于鼓励社区和开发者在几年内进行分配

  3. 6%给顾问团队

  4. 10%给公司

  5. 剩下的 60%将通过验证节点和其他销售方式出售给公众。我们将在适当的时候围绕这些发表声明。
    总供应量是 100 亿,我们在启动主网之前不会发售代币,那意味着我们不做 ERC20。

观众提问:会有空投吗?

Mrinal Manohar:由于最近的规定,空投在许多司法管辖区(包括我们所在的瑞士)被视为不符合规定,因此,除非法律改变,否则我们将无法进行空投。但是我们为开发者和社区提供了 16%的奖励,我们有一定的灵活性来奖励那些为网络和社区做出贡献的人。

观众提问:之后的市场,哪个共识算法会成为重点呢?

Mrinal Manohar:我们将继续扩大和升级「highway协议」,这是我们可证明的实时版本的 CBC Casper。我们希望保留纯粹的去中心化和非许可制度(即公链)。

重点 Highlight:欢迎对 Staking 感兴趣的朋友添加小助手微信,我们拉你进 Staking 大咖群。各大交易所矿池、钱包、Staking 项目方创始人在群里等你来交流。