艾达币推出首个智能合约测试网，另一个测试网定于7月发布

发布：中币网时间：2018-05-31 00:19:24 加入收藏打赏

艾达币(Cardano）是全球市值第七大的加密货币，于2018年5月28日悄然推出了其首个智能合同测试网，其进程极具前瞻性。在区块链项目中建立信任据艾达币的上级组织IOHK的一份正式新闻稿称，区块链项目在艾达币的K框架上推出了Eth虚拟机（EVM）的“正确构建”版本的KFM测试网（KEVM），这是一种经过许可的编程语言。 IOHK与运行时验证（Runtime Verificat

艾达币(Cardano）是全球市值第七大的加密货币，于2018年5月28日悄然推出了其首个智能合同测试网，其进程极具前瞻性。

在区块链项目中建立信任
据艾达币的上级组织IOHK的一份正式新闻稿称，区块链项目在艾达币的K框架上推出了Eth虚拟机（EVM）的“正确构建”版本的KFM测试网（KEVM），这是一种经过许可的编程语言。
IOHK与运行时验证（Runtime Verification）合作来构建该技术，而该版本是该系统的著名语义首次被生成。

艾达币推出首个智能合约测试网，另一个测试网定于7月发布

对于外行，艾达币是一个允许开发人员在它的区块链上构建经过同行评审的项目的项目。使用K 框架，开发人员可以将他们的项目呈现给块链编程社区的成员，并将他们的代码的各个部分指定为只读、只编辑和受限制的部分。该框架确保项目经过经验丰富和受过高等教育的程序员的审查，并提供合法性和信任。
因此，测试网的发布意味着构建第三代块链和加密货币取得了重要发展。
技术方面
根据这个版本，艾达币开发人员应该能够在EVM上构建正在运行的应用程序，并将它们部署到K框架上。IOHK鼓励开发人员“严格测试”这两个框架，以证明系统的健壮性。关于这个系统，新闻稿解释道：这是通过在K中正式指定合同的期望属性，将合同与KEVM规范结合起来，然后使用K框架来验证这些属性。
K框架是伊利诺伊大学正式系统实验室的产物，据报道是由项目负责人Grigore Rosu建造超过15年。K框架使用了最先进的机制设计和编程语言，试图正式验证已呈现的项目的块链代码。
IOHK表示：智能契约必须经过正式的验证，因此它们的运行与指定的完全一致，并且没有错误或缺陷。只有这样，它们才能被广泛采用，成为数十亿人可以依赖的金融基础设施。
第二个测试网正在研发
IOHK声称将于2018年7月推出目前正在开发的第二个测试网络IELE。与KEVM不同，IELE是一个基于寄存器的系统，它允许开发人员生成“无限数量的寄存器，它们支持无界整数。”
使用IELE，与KEVM测试网相比，编码器能够以更高的安全性和性能来编译、编写和执行他们的项目。
目前，这两个系统都运行在Solidity上，这是一种由以太坊的核心团队开发的智能契约语言。不过，IOHK正在构建自己的生产语言Plutus，并打算在不久的将来从Solidity转移出去。

根据BTC管理员的报告，“智能合同”测试网的消息来自卡诺的触角延伸到非洲。在该报告中，区块链项目与埃塞俄比亚和卢旺达的政府部门签署了谅解备忘录，并发布了一个虚拟现实工具。

来源：区块网

创业不易，用心坚持，希望您多多支持！

打赏

感谢您的支持，我会继续努力的!

扫码打赏

打开支付宝扫一扫，即可进行扫码打赏哦

来源：中币网 https://www.zhongbi.net/news/blocknews/84856.html
声明：登载此文仅出于分享区块链知识，并不意味着赞同其观点或证实其描述。文章内容仅供参考，不构成投资建议。投资者据此操作，风险自担。此文如侵犯到您的合法权益，请联系我们3111859717@qq.com，我们将第一时间处理。

中币网

快讯要闻实时播报

艾达币推出首个智能合约测试网，另一个测试网定于7月发布

精彩推荐

快讯要闻 实时播报

艾达币推出首个智能合约测试网，另一个测试网定于7月发布

精彩推荐

相关资讯

快讯要闻实时播报