本文就查尔斯卡尔达诺项目的最新更新视频2018.5.24 进行了文字整理,以方便广大卡尔达诺爱好者交流学习。请参与我们的微博话题讨论 #卡尔达诺# #查尔斯更新# #查尔斯视频# #第三代区块链# #查尔斯中国之行#
特别感谢字幕制作:Mihori, 孙浩, 洪嘉隆, @荒野猎人Cardano Wang Yonggang
嗨 这是查尔斯霍斯金森 IOHK的首席执行官
我今天想谈谈一些事情
特别是关于我们的发布程序和即将发布的卡尔达诺1.2版本
然后再提供一些有关于权益池和委派的信息
像卡尔达诺计算层测试网等等
现正从科罗拉多州(美国)直播
我刚从一个未公开地点度假归来
是的 我去钓鱼了 我也确实钓到一些 整个假期很有趣
我终于有时间刮胡子和理发了
无论如何 下周我们希望发布卡尔达诺1.2版本
大家可能会对发布日期和时间以及发布进程存在一些疑问
所以我想详细说明我们是如何推进我们的发布进程的
所以在四月份我们完成编写了卡尔达诺1.2所有的代码
其中包括纸钱包功能和V1版本API的启用
并且在不同的地方不断完善
从性能改进 到安全增强 到网络改进等等
一旦完成 我们就交给我们公司的一个部门
称为发布管理部门
是由一个名叫Tatiana的女孩领导的
发布管理部门经理与我们的质量控制总监Anatoly合作
以及两个外部公司合作 一个叫联合测试(Allied Testing),另一个叫做库必克(Kubik)
而这些公司基本上通过大量测试来检验计划发布的版本
这些测试可以替换像烟雾测试 功能测试 以及回归测试等
基本上的想法就是 它像一个漏斗
当你慢慢穿越它时 你会得到越来越多的保证
保证该版本最终在更多的人中能够成功运行
而且不会引起新的错误或新问题
因为我们修改了很多代码
所以我们经历了七个1.2的候选版本
而且我们正将他们迅速合并至一个最终版本
我们的希望是下个星期能够发布卡尔达诺的1.2版本
也就是代达罗斯钱包的更新 其中包括纸钱包和V1版的API
以及其他一些增强功能
所以发布说明即将到来 发布版本也即将开始
所以感谢你的耐心 并感谢你的等待
这是一个相当长的发布流程
很多事情仍然需要自动化
我们也需要改进这个工作流程
所以我们希望每一次我们作发布
整个发布渠道 从我们停止开发到我们实际发布更新给终端用户
会随着时间变小变快 并且会越来越好
而每次我们做发布 我们都会对它进行事后检讨
并试图找到改善和自动化这过程的方法
好的 这很快就要来了 谢谢你的耐心
你将会很喜欢纸钱包 我真的很喜欢
我认为这是一个很棒的功能
而且我认为这里面有很多其他很棒的东西
它可能不会解决每个用户的所有问题
事实上 我们已经对我们的质量控制流程
以及我们的测试和错误报告流程进行了大量改进
我们自一月份以来已收到近8000份的客服支援案件
我们一直在努力地过滤他们 分类他们
并能够更好地了解人们在哪里遭遇产品问题
我们越来越掌握这一点
而且随着时间 我认为这会带来相当大的可用性改进
不幸的是软件终究是软件 所以这些事情需要时间
但请知道我们正在努力工作
跟几个月前的情况相比 我们确实取得了巨大的进展
而且我们已经达到了一个能够更好地衡量和评估事物的程度
我们确切地知道我们需要在哪里添加更多的资源
好 另一件事就是卡尔达诺 CL (计算层)测试网的发布
这是我们第一个要发布的测试网
这是K-EVM测试网
所以这是确保能与以太坊向后兼容的测试网
所以基本上发生的是 去年我们与一家名为Runtime Verification的公司合作
Arvy写了以太坊虚拟机的第一个形式语义
所以他们拿着黄皮书 拿着参考的C ++客户端
并且方法上他们就能够设计一系列的形式语义
如果你有兴趣阅读这些语义并学习更多关于K的知识
你可以用Google搜索一下Runtime Verification github
你可以看看他们的github中的KEVM语义以及README文件
使用K框架表达形式语义的好处是
您可以从语义本身生成整个虚拟机
这是有史以来第一次在加密货币空间中完成
实际上由于各种原因 在常规开发中也很少做到这一点
通常由于任务的困难度
因为我们觉得智能合约应该在高度保证的情况下运行
所以我们决定追求这方向的概念是非常很重要地
所以这是有史以来第一次在加密货币中完成
下周 我相信在5月28日
我们将会发布第一个测试网
所以这基本上会向后兼容以太坊
所以它将是个命令行客户端
这个命令行客户端将能够将智能合约部署到此测试网
随着测试网的发布 会有一大堆材料和文档和反馈提供给人们
所以你可以开始写下你的Solidity代码
部署它并观察一下 看看它是如何执行的 以及网络是如何的
它其实不是一个很好的性能测试网 也不是一个很好的全功能测试网
虽然它非常强大
它是基于我们已经非常成熟的MANTIS技术
测试网更多是为了测试看看K框架的工作情况
并给我们一个很好的基础 以便我们可以不断地改进K
我们正在对我们的V进行诸多改进,例如KLLVM后端
以及诸如语义空间编译等等
以及K框架本身的一般改进
随着时间 应该会显着提高性能和可用性
对那些希望表达自己的语言 做一些酷且有趣的事情的人来说
在未来几个月内我们还将推出更有趣的测试网
希望能赶在七月发布 因为五月已经过去一段时间了
叫做Yella测网 是我们的内部虚拟机
我们专门为卡尔达诺而开发 基于LVM
还有许多特别的东西 专门为智能合约而制作
考虑到RV从智能合约领域学到的知识
就像KEVM Yella也将从形式语义学中生成 这也是另一个第一
我们希望人们可以玩玩Yella语言 我们会在Yella编译器里加进Solidity
所以你可以编写Solidity程序并将其部署到K-EVM
或者您可以将其部署到Yella
所以这是我们的第一代测试网
未来我们会有更多更酷更有趣的东西呈现
非常特别针对卡尔达诺的东西
所以请密切留意 这些东西即将推出
所以我们在下周会有1.2的更新和测试网的启动
这将会非常有趣
好的
所以我要提到的最后一件事就是激励和委派
所以这是一个令人难以置信的艰难研究流程
也是我们非常重视的一个
所以我们把我们最好的科研团队都用于激励流程的研究 包括 Elias Koutsoupias/ Lars Brunjes/Aggelos还有其他一些科研人员
最终的结果是两篇论文的完成
一份专门针对卡尔达诺奖励计划的论文
还有一篇专门论述了卡尔达诺和委派如何共同工作
包括所有的业务需要 如冷权益 (离线权益挖矿)
并处理当交易所得到你的权益时发生的情况和创建分离的地址等等
所以我们计划在七月份的会议上提交激励论文
我们可能也会在这段时间中 在ePrint上发布它
将会有三篇一系列的博客文章以及视频发布
解释卡尔达诺的货币政策是什么
代表着ADA每年应该产生多少的数量 以达到450亿的上限
以及整个去中心化网络如何运行
以及诸如权益池的数量和运行权益池的激励等等
这是一个非常复杂的题目 所以我们会非常有系统的方法处理它
并发布一系列的三个博客文章
每一个博客文章会解决一些实际问题
事情像我们如何确保公民不服从(不会发生)
系统去中心化的最佳程度是什么
在推出前的最终货币政策会是什么
所以我们正在快速地集合最终的参数
在未来两个月左右的时间
我们基本上会通过博客文章和一些视频内容宣布
宣布后不久
我们将会开始推进雪莱测试网的工作
这得益于有很多人注册权益池
我们已经收到了超过2000份的权益池申请表
来自那些有兴趣运行自己的权益池 帮助我们进行beta测试的人们
我们必须停止接受申请使得我们有一个合理大小的工作组
夏季至秋季工作尤其是秋季的后期
我们肯定会与这些人非常密切地合作并且在我们汇集到
发行Shelley版本时让一切过度顺利并简洁
上面就是关于激励的一点情况
接下来谈谈委派
我们实际上有一个委派的最终方案并规范了几项重点
所以如果您熟悉我们编写的我们的钱包后端正式规范现在
可以在Cardinal Docs上获得我们正在以类似的方式处理问题
所以我们有一份白皮书Philip Conte现在正致力于将该白皮书转化为正式的规范
而这正式规范反过来我们将能够用来实施委派方案
因为这涉及大量的密码学与一些关于改变地址结构的讨论
并且可能会改变我们的加密工作方式特别是HD钱包的
某些方式我们必须以非常系统以及严格的方式处理它
过去几个月我们一直这样做就像激励文件最终我们
将(上面我提到的)委派论文发布到ePrint
我们可以将它提交至一个研讨会从工程学上的角度来看
这比从新的学术角度来看更有趣
所以我们是否会提交该部分进行同行评审仍然值得商榷
因为它只是一个工程产物
虽然它会通过某种形式的安全性因为我们更接近最终系统
所以委派系统本身是个严肃的问题
他们在过去五个月中消耗了大量的精力我们确实学到了
很多东西并且我们做了大量的模拟和大量的实验
我们真的很希望能够最终将这一切成果转达给社区
并从你们那里得到很多反馈并希望尽快将它们全部
发布到Shelley版本并将网络彻底去中心化
所以接下来我们所要提的一个问题是关于智能合约
我们经常被问及的问题是智能合约
方面的问题Shelley和Goguen会在过渡时
遇到很多挑战
因为我们还必须完成我们的侧链计划
才能将资产从卡尔达诺的结算层发送到计算层
我们已经趋近于(完成)一个侧链方案了
我们已经整合到了我们感觉非常良好的侧链解决方案中
并且我们已经开始对该解决方案进行原型设计
并测量事物例如证明大小和交易延迟
因此从结算层到计算层的交易需要多长时间才能解决
以及协调Ouroboros与同时维护多个区块链的挑战是什么
这些都是持续且有趣的问题
这些都将是整个夏季的其中一个项目
同时包含了融合解决方案类似于我们已经整合了
委派和激励机制的解决方案以及在统一
哥根和雪莱之前需要解决的
一些列其他的小问题
好消息是与共识和激励事宜相比 后者更难些
所以我不认为这个研究方向会占用大量的时间
但是随着我们接近研究的目标
整个夏天和秋天都会有这项研究的更新信息
Plutus 是另一个我们开发的非常有趣的(编程)语言
他是我们智能合约的内部语言
我们认为智能合约本质上是种具有高可信度的作品
这就意味着我们必须仔细考虑
怎样才能让你写出不会出错的好代码
这样就不会发生类似parity钱包漏洞或DAO漏洞的事件
导致上亿美金的损失
这包括以下所有内容 如何与特别的人共事
比如没有技术能力
但却是某个领域专家的人 例如注册会计师或律师
比如有许多业务需求的人
需求背后体现的是多方之间的合约关系
比如善于建模的人
例如相关方的模型 资本流动的模型 事件模型
条件模型 时间模型等等
你如何把这些翻译成实际的代码
以及如何验证部署的代码与(开发者的)意图相符
这就是所谓的语义间隔
我们有个局部解决方案
开发了一个金融领域的领域特定语言 叫做Marlowe
这是两年来我们与肯特大学的教授们合作研究的成果
它基于20世纪90年代末来自微软研究院的一项研究
Simon Payton Jones的论文 金融工程学经历
所以Marlowe能够快速的趋近提交阶段
夏天的某个时候 我们会结束Marlowe的设计
把它提交到著名的程序语言大会
如果你确实对此有兴趣
我们在IOHK的github上有它的仓库
里面有Marlowe的早期版本
总的来说 Marlowe是个金融领域特定语言
人们可以使用里面的模型关系
这些都是机器可理解的
并且可以在Plutus中执行
Plutus是我们主要的智能合约编程语言
我们希望大家用它撰写智能合约
Plutus不是基于账户模型 而是基于UTXO模型的
Plutus开发已经历了12次重新设计
我们试着不断简化这个语言
我们认为Plutus已经趋向于完成1.0版的设计了
今年一整年我们都会继续强化Plutus
扩展我们的UTXO模型以支持合适的操作提示功能
Phil Wadler 是该项目的领导
今年晚些时候 菲利普会发布一些专门的内容
包括讲解Plutus如何工作的视频资料
以及为什么选择了那种设计
逐渐地Plutus将能和Yella ( IELE VM)等其他框架互操作
我们为此打造了一些编译器
希望它能在结算层上逐渐以原生的方式运行起来
Plutus实际上扮演了一个很好的角色 Marlowe可以嵌在Plutus里
Plutus可以嵌在Haskell语言里
这样我们就有了这个美妙的两阶段模型
一些代码可以运行在客户端
一些代码可以运行在区块链上
而且有希望使用Plutus进行形式化验证方面的有意义的讨论
所以整个夏天会有这方面的更新信息
这真的是个激动人心的工作流
我们认为它将给整个(加密货币)空间带来许多价值
所以我们在某种程度上对原则性和实用性进行了不错的调和
如果你想要经典的互操作性 你可以使用K-EVM
使用那些你已经了解和喜爱的语言 比如 solidity
以及一些未来的语言 比如Viper 我们也将兼容它如果你想要看看VM上最好的
Yella确实是个令人惊叹的工程作品
7月的某个时间 会提交一篇有关规范Yella的论文
很有可能会收录进ePrint
所以你就能看到通过与RV的合作 我们有能力带来什么样的东西
它确实探索了一个关键框架的能力
如果你是个很有原则的人 你想要写出高可信度的代码
你就会将Plutus列为选项
随着这些内容从实验室走向应用阶段
逐渐地 他们会被纳入哥根版本
逐渐地 我们会通过侧链的方式把哥根纳入雪莱版本
这样 整个系统就整合起来了
届时 我们就拥有了一个完全去中心化的完美的系统
拥有智能合约的能力 比以太网系统的更快更安全和更易于操作
除此以外
我们还有最后两个工作流准备投入
和已经投入了大量资源
其中一个是卡尔达诺自治和可持续发展
你也许注意到了最近我们刚在ePrint上发布了我们的财库论文
这是我们一年以来完成研究的主要成果
zen cash已经对此表示了兴趣
我们与其他加密货币也正在进行讨论
去实现
或帮助实现我们的财库方案
或者针对他们自己的一个轻量化的财库方案
所以我们希望的是这个财库系统能在许多加密货币中得到应用
因为它确实为这个生态体系加入了很多的自我可持续发展能力
所以如果你对财库系统如何工作确实感兴趣
在YouTube上有一份来自项目领导Ben Change的视频资料
就在IOHK的YouTube频道里
我们也把财库论文发布到了ePrint上
尽管这篇论文过于技术 它确实阐述了我们追求财库的主要原因
财库研究线还涉及其他4篇论文
我们将在明年处理它们
在财库研究流程完成后 我们就能够在达尔达诺系统中深层地实现这个财库系统
另一方面是可扩展性研究我们已经开始Ouroboros Hydra的相关工作
Ouroboros Genesis已经完成
现在我们只需要一点点时间打磨后就可以开始进行研究流程
这就是我们要在系统中实现真正的分片技术和真正的可扩展性的原因
所以另一方面是网络方面
我们已经开始着手进行RINA(递归互联网架构)
我们一直在深入思考RINA的最佳方式是什么
我们估计RINA是我们想要的方式构 建它包含大约600个人月的工程时间
它基本上相当于在工程复杂性方面建立第二个互联网
所以我们试图解析这个问题
并找出团队规模需要多大才能并行运作这些事情
这些事情需要研究哪些东西可以把七年来
在RINA社区发生的研究运用到实际生产
所以在整个夏季和整个秋季我们都会做一些专门的公告
关于我们打算怎么规划处理RINA的计划
以及何时RINA进场 这是我们预计将投入卡尔达诺的最后一块作品
所以Ouroboros Hydra RINA和财库是我们系统的下一个主要组件
我们构建财库机制的方式是我们对某一点进行了抽象投票
在那里它们可以被重新用于分支协议
只是以不同的参数化和不同的决策门槛进行
因此无论何时我们最终实行财库并入系统
也将实施某种形式的分叉协议
因此卡达诺改进提案可以通过投票
因此这是2019年的话题 随着我们接近2019年
信息将继续变得更加丰富 我们将继续发布更多论文
但我所需要说的是我们已经很好地处理了一些最棘手的问题
我们已经能够组建一支相当庞大的团队
他们现在已经完全了解如何构建最好的加密货币
我们对于工程上的理念已经看到了巨大的回报
例如钱包的形式化规约
我们没有停止撰写规约
Polina我们的其中一位数学家现在实际上正在写一个CUT验证
这将很快完成
所以我们开始看到许多通常不会共同在一起工作的人
像程序语言专家密码学家博弈论专家分布式系统专家 数学家来到一起工作
这些人为了一个共同的目标聚在一起
去帮助理解我们共同希望解决的一系列问题
而且我们实际上能够很快地将这项研究转化为代码
在您认识Daedalus的过程中出现了许多波折
这确实是一个非常具有挑战性的问题
并且在我们推出时一开始就出现了一些错误
比如我们如何设计(Daedalus)
我们确实学习到了导致使用问题的原因
我们在此向大家道歉
但隧道尽头马上就是曙光了
另外一件事是我们正在和另外一个客户接触
我们正在为卡尔达诺寻找一个基于浏览器的客户端
我们要看看这是否可行
我们已经做了三个概念验证
我们下周将在公司内部再次讨论
我们的希望是看看能否取得成果
我们还与正在构建移动客户端的人员进行了讨论,
并讨论了如何构建轻量版本代达罗斯
我们投入巨大精力重新设计了我们的钱包如何运行
在转向账本和轻钱包以及移动钱包之前
我们必须等到重新设计完成
好消息是我们几乎完成了这个过程
坏消息是我们必须再耐心的等一段时间
在我们有一个理想的移动钱包体验之前
这包括主要的改进和例如更快的恢复
它不应该花几个小时来恢复一个钱包
(这个过程应该只)需要几秒钟到几分钟
目前造成(恢复钱包)需要几个小时的原因很多
但我们希望将它缩短至几秒钟到几分钟
同样我们需要重做系统的数据层这样的东西
这样我们可以获得更高效的存储
更有效的区块链下载等等
这些都会实现 我们知道怎么解决
就是一套指导我们编写代码的方案
无论如何谢谢您的时间 谢谢您的倾听
我们一直在非常努力地工作 对每一件事情精益求精
我们度过了非常辛苦繁忙的六个月
我们学到了很多 我们非常感谢您的耐心
我期待着发布卡尔达诺 1.2 的发布
我认为你们会非常喜欢它
就像以后的1.3和1.4那样
而我们会一如既往的继续努力 直到最后完成
感谢你们成为(卡尔达诺)生态系统的一部分
谢谢你们的的信任和耐心
下次再聊