Iohk 博客文章:卡尔达诺智能合约测试网 iele上线-开发人员将可以更有信心地运行程序

为了方便大家学习,本文将IOHK 博客文章翻译成中文整理如下:

我们很高兴地宣布IOHK已推出第二个卡尔达诺测试网,IELE虚拟机(VM),连接著最近推出的KEVM测试网。这项技术不仅是卡尔达诺路线图的重要的一步,也是整个产业重要的一步 - 它提供了强大可靠的金融基础设施。开发人员现在有机会使用智能合约技术,并最终将它作为卡尔达诺的一部分来,并且提供他们的反馈,而我们也期待在未来几个月内能收到这些有用的反馈。

为什么智能合约?

在涉及价值交换(包括货币,财产或股票)的许多商务流程中,第三方仲介机构参与了检查协议条款是否完整及明确,在交易发生之前是否双方皆为满意。这些中间人增加了交易成本。智能合约技术(也称为自动执行合约或区块链合约)已成为通过减少时间,第三方参与的程度和可靠执行协议的成本,成为满足此验证需求的一种选择。

智能合约是永远地存储在区块链中的软件程序。它们由虚拟机执行,并将其数据存储在同一个不可变的基础架构中。智能合约为希望优化运营的许多企业带来了巨大的好处。许多行业 - 包括汽车,供应链,房地产和医疗保健 - 目前都正在投资研究,以了解这项技术将如何使它们的业务更具竞争力。

目前有哪些智能合约技术?

市场上目前已有一些提供智能合约功能的玩家,包括Hyperledger,NEO和以太坊。 该技术正在不断发展,以满足市场对快速,安全,准确且值得信赖的平台的需求。 许多企业已经尝试在这些平台上部署大规模应用程序,并且在这些不断发展的平台上遇到了问题(DAO hack,Parity bug和POWH硬币等等)。 尽管拥有广泛的宣传,最严重的错误依然在智能合约中重新出现。 这其中存在著许多创新空间,IOHK也正在努力的成为这项技术的领导者。

什么是IELE?

IELE(发音为YELL-eh)是一种虚拟机,具有附带的低级语言,旨在执行卡尔达诺区块链上的智能合约。 它由运行验证(Runtime Verification)与IOHK合作开发,为该项目提供资金。 IELE这个词指的是罗马尼亚神话中的若虫。

IELE如何改进智能合约平台?

IELE旨在通过以下方式满足智能合约市场不断变化的需求:

  • 作为统一的低层平台,用于翻译和执行更高级语言的智能合约。 它支持Solidity的编译,还有更多语言可供选择。
  • 提供所有语言的通用气体(Gas)模型。
  • 更容易编写安全的智能合约。 IELE 是使用“建构校正(correct by construction)”的工程方法所建构,因此许多在其他虚拟机(VM)中发现的事后错误(在代码执行期间),将不可能在IELE身上发生。
  • 使用寄存器基础,而不是堆栈基础的架构。

我以前做过的IELE怎么办?

IELE包含两个部分:使用K框架设计的建构校正虚拟机(VM),以及也是使用K框架设计和建构校正的Solidity-to-IELE编译器。当您编写Solidity程序并尝试使用Solidity-to-IELE编译器编译它时,它将捕获以前可能没发现到的许多错误,而这些错误通常导致许多智能合约失败或被不正当利用。

此外,随着IELE的发展,我们将计划提供“表面语言”,使精通JavaScript中,Python的和其他语言的程序员,能够轻松地将智能合约集成到他们的应用程序中。

接下来我该怎么办?

IELE语言及其虚拟机(VM)已经完成。它现在正在集成到卡尔达诺中,它将提供一个区块链来存储和检索数据。在进行集成的同时,开发人员有机会使用IELE VM以及Mallet和Remix工具,在IOHK 测试网站点上创建和执行智能合约。

您可以马上开始了解IELE及其VM的功能 - 甚至可以学习直接编写IELE代码!

翻译: Mihori

3 Likes

IOHK的博客文章这么快就翻译啦!翻译组好牛!谢谢啦!

1 Like

感谢谷歌大神 :sweat_smile::sweat_smile::sweat_smile: