2018年7月19号- 总结:查尔斯. 霍斯金森的视频更新

最新的视频更新来自远在新加坡的查尔斯,他正在新加坡参加世界区块链大会。请观看视频或阅读以下的总结:

卡尔达诺1.3

  • 这个目前还在品质保障(QA)阶段中
  • 进展很顺利,我们找出一些bugs故障,所以QA的程序是有效的
  • 但是,目前进度有些慢因为全靠人工,他们为了让这个程序自动化也在和Allied Testing一起合作
  • 1.3 会在联网性能上有质的飞跃:用户如果在链接到联网的时候遇见问题或者很难快速的得到区块,这些都会加速
  • 线连接协议不会再有瓶颈,但是瓶颈可能会出现在区块处理的方面。他们正在试验用核心的重型化重构来纠正,还有通过改造成一个类库,和面向服务的架构来改善这个问题
  • 注意这个在8月的更新

卡尔达诺1.4

  • 1.4版也按计划正在进行,这会是自1.1版最显著的更新,因为不光会有很多的不同之处,整个架构也会有变动
  • 更新过程也会和之前不太一样
  • 更新1.3的时候,你会收到通知,点击“升级”,然后手动安装
  • 但是1.4,因为有了新的数据层,你可能还需要恢复一下你的钱包
  • 注意恢复过程会比现在更快,但是安装1.4比安装1.3会花更长的时间(根据PC的速度,可能会延长30分钟-1个小时左右)
  • 你只需要做一次,之后再发展的时候,数据模型会被保留
  • 1.4总共有79个行动项目,需要仔细斟酌再放入1.4,目前已经完成了29项
  • 还有1.4,他们预期会在V1 API(应用程序接口)上使用全部19个终端,目前仅仅摄入第一个,但是希望最后能覆盖19个
  • 还在从V0调用剩余的终端

普罗米修斯

  • 目前收到了很多移动代码的请求
  • 有人在问能不能建构一个给轻客户,手机客户,并基于浏览器的钱包- 可惜现在用的Haskell不是移动型,轻量级代码最理想的语言
  • 面对这类需求,Rust会是更为理想的语言
  • IOHK资助的一个平行研究小组正在累积建立多样库类功能,让大家可以将它用于手机钱包,轻钱包,并嵌入式设备
  • 这次代码的集体聚合被命名为普罗米修斯项目
  • 这个项目已经在内部运行了三个月
  • 到九月,他们应该会有一个用Rust代码写的完整的命令行客户端,这样开发人员就可以取用然后嵌入他们自己的设备
  • 目前也在测试安卓,进展还不错

智能合约

  • IOHK 新聘用了一位资深的项目经理- Marc
  • 他们越来越接近IELE测试网的发行日期,同时还会有两个智能合约测试网
  • 目前,他们用来测试东西的表面编程语言是Solidity
  • 是有意选择Solidity的,因为有很大一部分的Solidity代码可以移植过来,还有很好的测试因,不错的类库还有很多专门受过Solidity培训的开发人才
  • 他们想要一个更好的表面编程语言,所以正在讨论导入JavaScript用于IELE
  • 但这会是一个折中的决定:就是在资源调用和在一个合理的时间框架里去为目标语言建造一个编译器之间的折中。基于语义学的编译也可以做到这一点,所以还需要更多的研讨
  • 在七月和八月,会使用Solidity语言来检测IELE 和KEVM
  • 项目经理Marc会调查个人和产业使用智能合约的方式,有什么在空间中具体化和发展了,还有其他可替代的模型,比如Liquidity, Michelson, 还有目前与Simplicity和其他十二个模型的提议
  • 在接下来的六个月到一年的时间里,他还会管理现有的需求和任务,能够建立一个卡尔达诺的标准类库,对开发人员友好,可以使用并且实用性强
  • 在加密货币太空以外也有一些模式值得研究(比如:游戏开发人员使用的模型,怎么用Lua衔接C是很有意思的)
  • Emurgo的Nico 和 Sebastien会参与其中,为了能够吸引开发人员的社群关注这个项目

普路托斯

  • 这个小组明显成长了很多
  • 本次项目雇用了一位PL 编程语言理论学家Michael, Simon Peyton Jones的儿子 – 他为Haskell 的设计做出了杰出的贡献
  • 项目本身的进展很稳定
  • 他们现在已经跨越了理论,带着丰富的经验并严谨的越过了大规模的复杂语言设计的问题,并在讨论这个语言会是什么样的
  • 嵌合分类账/资产意识形态也有了很大的进展:这是一个想法,就是一份资产可以存活在多个结算系统里,你就可以从UTxO移到账户上,也会有一个分类账本可以支持这个
  • 对侧链系统这个意识形态是必不可少的,因为如果你在使用侧链,那么你会需要在不同系统之间移动你的资产,例如从Ethereum 以太坊(基于账户的模型)转到卡尔达诺(UTxO模型)
  • 而你必须在两个系统上都有一个价值的概念,同时也必须在保留这个价值的前提下可以在两个系统之间移动资产
  • 这就显出了一些其他需要研究的问题,比如:对于一些网域和经验,会不会有其他更好的结算系统?
  • 而且也在看其他的交易模型(比如,对于交易费用,比特币和其他加密模型是“发送方支付”的系统,而信用卡则是“接收方支付”)
  • 有各式各样的交易模型,理想是能够有这些选项的用户可编辑性,背后更严谨的理论,还有知道与这些选项有关联的后果
  • 这一切都和普路托斯连在一起,它会是推出很多这类资产并给予它们功能的工具
  • 卡尔达诺会有自己的标准ERC20模式
  • 目前,IELE 和KEVM 可以支持ERC-20

侧链

  • 这个工作流水线突飞猛进
  • 很快这方面的研究会发表论文
  • 这些论证还是比较敏感的,因为它是“原理vs务实”的折中点
  • 在原理这边,你会想要这些东西全方面的验证还要经过同行审查
  • 但同时在务实这边,当你能够在某种程度上确认这个协议是正确的,你会想要实行这个协议
  • 所以你需要知道什么时候切断,什么时候推动项目继续前进
  • 在八月底,他们很多的科学家和工程师会一起当面研讨
  • 此次讨论的两个核心主题就是将乌洛波洛斯Genesis正式化,还有围绕这个目的所需要的一切,还要真正制造一个雏形,以及侧链的正式化
  • 希望能够开始展现侧链,通过把一些中心化的区块链接入卡尔达诺,作为一个准许的计算分类账
  • IHOK认为这个模型与很多兑换的概念一样(你可以直接下达一个侧链交易,然后发送给一个由兑换掌控的被允准的账本。你不再需要在一个公网上用公开的地址将你的交易发给兑换)
  • 为什么要做这个?因为你已经把资产放在交易里了,现在对你很不利:你承担了所有的安全风险,付的是去中心化的费用,但是好处你一点没得到。因为另外一个人有私人钥匙,所以他掌控这些。但是如果你用侧链,那交易可以自己保护自己不被侵截,关键这是可以通向交易储存资金的方法还有怎么从灾难性事件里恢复
  • 查尔斯说他很兴奋能向大家展现这类模型的存在,他们约在今年年底会有一场demo

账本支持

  • 会有一个新的,更精简的地址结构,还会推出一个新的HD钱包方案
  • 会有两个账本更新:一个专门给代达罗斯,另一个是给其它功能的更新,比如cold staking冷股权
  • Cold staking冷股权是你在账本上留下了支付钥匙,但也可以为了授权制造一个代理钥匙进入代达罗斯和其他的钱包

多重签名

  • 两种办法,你可以务实的去使用一个可信赖的服务器用来和多方创建账户,这就可以让你提醒别人他们还有一个待处理的签名- 直到签名都齐了它才会向全网公布
  • 还有一个理论上的方法,也就是不使用一个可信赖的服务器
  • 他们在计划将这些功能都建入雪莱
  • 还需要和合作伙伴还有社群有更多的探讨,但也是有可能性,在推出一个完全去中心化版之前,会推出一个协调/服务器的解决办法
  • 这是查尔斯视频更新的全部内容,点击这里观看完整视频。