卡尔达诺推出KEVM测试网：这意味着什么，为什么这很重要

5月28日 标志着发射 是Cardano的第一个智能合约“ KEVM”测试网。 testnet部署在K框架中的以太坊虚拟机（EVM）的按构建正确版本中。该技术是由以下人员合作生产的 运行时验证 在…的支持下 信息港.

这是有史以来第一次制作以太坊虚拟网络（EVM）的正式示意图.

这是一个大问题.

几十年来，开发人员一直在尝试开发这样的框架。最早的正式研究可以追溯到 60年代和70年代. K框架的发布表明，这不仅是理论上的，而且是可能的. Grigore Rosul教授, 负责KEVM开发的人，他一直在K框架上工作超过15年.

当谈到KEVM的testnet版本时，Rosul 陈述它“听起来像一个梦，但现在不再了。”

什么是KEVM?

这 K框架 定义规则的正式定义，该规则使您可以根据自己的编程语言定义这些语义。用K定义编程语言后，将有一系列可供使用的工具。这将使K框架中定义的任何语言的行为均一，从而确保该语言始终能够以正确且可预见的方式运行.

一旦用K定义了语言或VM，就可以访问框架必须提供的所有工具。其他开发人员和团队进行了许多类似的尝试，但是K是有史以来第一个成功的工作模型.

因此，KEVM只是意味着EVM已在K框架中正式定义.

通过KEVM，开发人员将能够启动为EVM设计的任何应用程序，但除此之外，他们还可以访问KEVM必须提供的全部新功能和安全性。.

卡尔达诺路线图上显示的KEVM和IELE测试网

KEVM已成功将其他语言（例如C或Java）形式化，并且从这些语言生成的工具在功能和性能上可与专门为此类语言设计的工具相媲美.

通过K框架，Cardano现在能够根据其规范生成按构造正确的虚拟机，这意味着在数学上保证通过K框架运行的程序符合原始编程语言的规范。.

KEVM不仅可以做到这一点, 但是VM足够快以运行实际程序.

格里戈里·罗苏教授说 这不仅对卡尔达诺来说是一个巨大的进步，而且对“迈向第三代区块链的承诺”也是一个巨大的进步。

这 智能合约 用K框架编写的代码，包括现有的基于以太坊的智能合约，将利用KEVM提供的强大安全优势，此外还允许进行简单的优化阶段和分析，最终使代码更安全.

智能合约漏洞一直困扰着加密货币世界。过去有过许多引人注目的问题，例如臭名昭著的 DOA骇客, 但即使在今天，黑客仍会通过编写不良代码来利用弱点原因.

以上周某个潜在错误为例 在EOS主网上公开, 如果未被发现，可能会导致黑客接管网络连接的节点。或看看Verge，在过去的一个月里 黑客针对的 至少三遍.

通过K框架，可使用KEVM的按构造正确功能来验证智能合约。通过仅实现EVM的最安全功能，可以消除以太坊智能合约中常见的许多潜在安全问题和缺陷，然后再进行消除.

这是为Cardano计划的两个主要测试网启动中的第一个。第二个项目称为IELE，定于 7月推出. 由于KEVM基于已经建立的编程语言，因此它将更快地达到专业的工业质量，并且还允许团队最终确定网络和通信结构，这些结构也将在IELE发布后用于IELE。.

这个测试网不仅对Cardano团队而且对整个区块链社区都标志着巨大的成就.

这些类型的技术改进是Cardano团队所期望的。除非出现任何重大的技术挫折，否则KEVM和后来的IELE虚拟机将被整合到Cardano的主网上。这将进一步推动Cardano成为智能合约平台竞赛的主要参与者.

有关Cardano平台及其团队的更多信息，请参见： 卡尔达诺路线图以及未来的前景 和 什么是卡尔达诺?