基于以太坊的智能合约编译器中发现的错误

以太坊基金会（EF）在1月8日发布的新博客文章显示了最近在一个基于ETH的智能合约编译器中发现的错误。 ETH新闻中的博客文章显示，由于现有版本中的“多个严重错误”，开发人员正在研究Vyper编译器的新实现。

Vyperlang团队也回应并指出，现有的Vyper智能合约不受这些错误的影响。但是，在编译器中发现的错误引起了很多问题，主要是因为Vyper是以太坊的另一种编程语言，最初是由Vitalik Buterin构思的。它的意思是尽可能地使人可读，即使以执行任务为代价，也要使用主要语言中的一些更高级的功能-Solidity。

尽管它是主要的以太坊（ETH）代码堆栈的一部分，但在Consensys Diligence于2019年10月进行了初步审核之后，编译器此后便拆分为一个独立的存储库。该报告还发现，使用Vyper编译器发现了31个错误，该软件将语言翻译为以太坊虚拟机（EVM）的计算机代码。

以太坊基金会的开发人员在博客文章中解释了他们如何逐渐对Vyper维护者感到幻灭，并指出：

“经过几个月的工作，我们对python代码库能否实现Vyper承诺的想法表示怀疑。该代码库包含了大量的技术和体系结构方面的债务，从我们的角度来看，似乎现有的维护人员并未专注于解决此问题。”

加密新闻显示，甚至在这份报告之前，以太坊基金会团队就开始研究基于Rust语言的新型Vyper编译器。该决定是由对EWASM的增加的可移植性推动的，这是一种新的虚拟机实现，它取代了将在Ethereum 2.0中引入的EVM。

Vyper编译器中发现的错误由于在以太坊2.0存款合同中使用而特别重要，该合同是权益证明（PoS）系统的重要组成部分。但是，开发人员在Twitter线程中澄清说，对该合同进行了单独的审核，未发现未修复的错误。

—-

原文链接：https://www.dcforecasts.com/ethereum-news/bugs-found-in-ethereum-based-smart-contracts-compiler/

原文作者：Stefan

编译者/作者：wanbizu AI

玩币族申明：玩币族作为开放的资讯翻译/分享平台，所提供的所有资讯仅代表作者个人观点，与玩币族平台立场无关，且不构成任何投资理财建议。文章版权归原作者所有。