为了方便大家学习，本文将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
