IOHK官网博客:Devnets:建立与开发人员社区的桥梁

image
原文来自IOHK Tim Harrison,由卡尔达诺大使陈哲Anson翻译

我们互操作性平台(devnets)将通过支持Solidity / Ethereum社区以及更多社区来扩展Cardano的业务范围。

区块链环境不是静止不变的,区块链随着社区的发展和学习而发展,卡尔达诺也不例外。

在每个开发阶段,卡尔达诺的核心功能都已增加了新的特征:雪莱(Shelley)在拜伦(Byron)的核心交易功能中增加了委派,权益池池和去中心化功能。 哥根(Goguen)现在开始带来新的实用程序,从元数据到智能合约和原生代币。伏尔泰(Voltaire)引入了资金和投票系统,我们已经通过Project Catalyst看到了这一过程的早期步骤,并且是有史以来第一笔针对Cardano社区想法的公共融资。

我们在11月推出了交易元数据,这是创建新的实用程序和商业用例的重要第一步。我们最近为原生代币部署了第一个预生产环境,接下来是代币的创建和ERC-20的转换。 Cardano的本地智能合约语言Plutus和Marlowe正在积极开发中,并将于2021年发布,为开发人员开放了平台,使其可以创建新的解决方案并激发令人兴奋的新用例。

所有这些Goguen元素都在实现Cardano的最终目标(真正分散和自我维持的平台)中发挥着作用,它始终通过创造新的机会来鼓励更深入的社区参与和发展。

我们拥有一个充满活力和技术精湛的社区,可以说是加密领域最强大、最聪明的社区之一。而且根据我们的非极多主义和开放的态度,我们希望与其他社区建立联系,并让他们参与进来。

正如查尔斯·霍斯金森(Charles Hoskinson)最近的视频所概述的那样,卡尔达诺的下一个战略举措将是增加一系列devnet,以将新鲜的开发人员社区吸引到更广阔的卡尔达诺生态系统中。

这些devnet将充当开发人员社区之间的“桥梁”,提供开发环境,虚拟机和开发人员工具套件,以便可以在尽可能接近“真实世界”的环境中测试新应用程序。

了解devnet

在2018年进行了一些初步的探索性工作之后,我们现在重新启动并加速K-以太坊虚拟机(KEVM)程序。新的KEVM devnet是我们将在下个月左右建立的多个devnet中的第一个。 EVM在K框架(用于指定语言和VM的系统)中运行,然后派生这些语言的工具,例如编译器,类型检查器,等效检查器,调试器等。 (EVM是在以太坊网络中运行智能合约的东西。)

K采用形式推理和数学严谨性来确保最高水平的保证。它使开发人员能够以直观和模块化的方式定义或实现编程语言的形式语义。 K还根据其正式规范生成可执行文件,“通过构建虚拟机纠正”,该可执行文件足够快速、强大,可以运行实际程序和智能合约。这实际上意味着对于所有可能的输入,软件可以执行所需的功能,并具有可验证性。

我们与Runtime Verification合作伙伴的长期愿景是建立一个K环境,在这里我们可以“即插即用”新的VM。您可以在Cardano每月一次的视频片段中了解到更多有关K目标的信息。

面向Solidity /以太坊社区的KEVM devnet将实现与以太坊的完全向后兼容。由于Solidity是类似于JavaScript和C ++的高级语言,因此无法由EVM直接执行。Solidity程序必须首先被编译为汇编语言(EVM字节码),以便它们可以在KEVM上运行。

KEVM将允许开发人员使用Solidity,EVM代码或Glow编写应用程序,并提供工具包以将其编译并部署在devnet上进行(接近真实世界)测试。我们还计划很快添加Truffle集成,进一步提高开发人员的可用性。

Glow

到目前为止,Solidity是编译EVM字节码的最流行的高级编程语言,但绝不是唯一的一种。我们合作伙伴MuKn开发的Glow是Solidity的一种非常好的替代品。

Glow是一种“高级”语言(其他高级语言包括JavaScript,Python等),能够直接编写高度安全的金融合同。 Glow遵循“按结构校正”,以避免常见的陷阱和潜在的巨大错误。 Glow可以证明以这种语言编写的合同能够达成所想,无论合同中的其他参与者做什么或不做什么。

Glow在设计时考虑了互操作性。许多不同平台和区块链的Glow编译器,使代码重用变得更加简单和切实可行。

这是将要部署的下一个devnet。现在大部分核心开发工作已经完成,我们准备在2021年1月进行最终质量检查和部署。

IELE-第三代区块链的基础

与EVM的完全兼容对于许多熟悉以太坊的经验丰富的开发人员来说是方便和有吸引力的,但是KEVM不可避免地也继承了EVM的弱点。

因此,我们将以IELE devnet的形式提供更高级、更安全的替代方案。我们的合作伙伴Runtime Verification开发的IELE(发音为yeah-leh)虚拟机类似于EVM,但它更加安全。例如,它使用任意精度的整数,立即消除了许多EVM的漏洞。 IELE也是以注册为基础的,而不是像EVM一样基于堆栈的,这使开发人员可以更轻松地直接手动编写IELE字节码。

IELE包含了两个东西:
•IELE VM
•IELE汇编语言

IELE是一种可读的区块链底层语言,旨在作为第三代区块链的基础。 IELE是使用最先进的形式化方法设计的,旨在解决以太坊中的安全性和正确性问题,同时还能验证 EVM带给以太坊的智能合约代码的数学正确性。

IELE代表了“按构造校正”,自动生成的实现概念发展的下一步。它的构建成为整个编译器后端的基础,可以进行强大的Gas优化,包括以IELE作为编译目标的高级语言(如Solidity或Plutus)编写的合同。

开发者社区之间的桥梁

KEVM、Glow和IELE开发网与Goguen的主要目标紧密结合:为Cardano带来使用和效用,并建立牢固、持久的合作伙伴关系,从而为我们的开发者生态系统的持续发展做出贡献。我们的目标是吸引尽可能多的开发人员,以促进多功能性和包容性。

我们希望与Plutus和Marlowe一样,devnet为开发人员(在区块链-加密货币世界及其他地区)提供非常好的机会来Cardano平台互动,构建引人注目的用例并为生态系统的增长做出贡献。

美好的未来

我们希望为新的开发人员机会提供一条清晰的道路,这将需要与许多不同社区(尤其是Cardano自己的社区)紧密合作,一步一步进行协作。

我们现在将构建块放置到位。Devnet一旦被完全建立,那么它将充当开发者社区之间的桥梁,不仅为整个区块链,而且为整个开发者生态系统开辟沟通和合作的新途径。卡尔达诺将与以太坊网络保持永久的向后兼容性,从而与以太坊链中的任何发展保持同步。通过扩大开发人员基础,Cardano社区可以帮助推动智能合约和去中心化金融(DeFi)空间的持续发展。另一个非凡的一年正在等待,我们对岸再见。

原文链接:https://iohk.io/zh/blog/posts/2020/12/17/devnets-building-bridges-to-developer-communities/