哥根项目6月更新摘要

16

IOHK的项目经理 Gerard Moroney 向我们提供了哥根项目的6月更新。 他首先解释了为什么六月更新比平常晚了一点,这是因为进展发生了太多事情!团队正在做的事情以及想要获得社区反馈的愿望。

概括

  • 哥根是关于智能合约的
  • 其目标是为卡尔达诺计算层(CL)提供智能合约(SC)功能
  • 其工作流包括:侧链,会计,多币种,普路托斯,马洛,IELE,最终用户和外部开发人员集成
  • 他们的目标是:计算层,工具,培训和文档

项目更新(上个月的进展

  • 侧链,会计,多币种 - 这个领域进展顺利,他们现在处于正式的方法阶段,模型和原型将变成代码
  • 普路托斯- 已经完成了普路托斯核心语言的设计和证明,这包括在区块链上记录普路托斯智能合约的格式
  • 将实现Haskell库的第一部分,用于将普路托斯代码处理到编译器和VM中
  • 马洛 - 一直在开发马洛在线编辑器,允许您通过使用Haskell的子集生成马洛智能合约
  • 进行了分析,允许您查看合同的可能结果,并确保您有足够的资金来承诺支付,无论执行期间发生什么(这是创建可用的金融智能合约的重要特征)
  • IELE - 在Runtime Verification与合作伙伴合作的进展非常迅速
  • 哥根团队和Charles Hoskinson去了伊利诺伊州的Champaign,RV在那里举行了一次富有成效的会议,他们在那里举行了IELE虚拟机的演示
  • IELE测试网现在正在准备发布,团队正在创建大量内容/教育资料,以帮助您在启动时体验测试网
  • 也曾到牛津大学录制一系列演讲和采访,为您提供有关IELE的背景信息,IELE背后的技术以及未来的发展方向
  • 最终用户和外部开发人员 - 有一位新的产品经理从IOHK开始,他们将深入了解开发人员在智能合约方面的需求
  • 集成 - 具有工程团队批准的体系结构和集成计划,现在大多数工作都与正式方法有关
  • 技术文档和教育 - 在创建有益于社区的内容时,IOHK拥有严格的流程。与Marketing&Comms一起的教育团队最近特别努力为IELE testnet的发布准备内容。
  • 但他们有敏捷的方法,所以如果KEVM测试网在内容方面有任何遗漏,请让IOHK知道
  • 质量保证 - 质量保证团队与开发人员合作努力,确保交付的软件具有高质量。他们一直在努力确保为IELE组件提供全面的测试套件。
  • QA还引入了威胁模型和滥用案例。这意味着他们会查看可能存在问题的不同场景,并找到测试用例以确保在代码中解决这些问题
  • 营销和外部沟通 - 该团队负责与社区的沟通。杰拉德正在与他们合作,以便与所有人妥善沟通技术和进步。

反馈

  • 团队发现的其他事情来自社区
  • 需要更好地了解智能合约开发人员
  • 他们正在制定计划,通过会议和骇客松 (hackathons)来获得更好的参与和反馈
  • 他们将继续在测试网网站上工作,并将添加教育材料,以帮助用户了解IELE 测试网
  • IOHK还将聘请全职社区经理来支持测试网用户并确保反馈帮助哥根团队构建更好的软件

重要的日子

翻译:Mihori

2 Likes