链闻 ChainNews 诚邀读者共同监督,坚决杜绝各类代币发行、投资推荐及虚拟货币炒作信息。举报

编译器文章 资讯 新闻 快讯 深度评论 介绍 解读

编译器新闻快讯文章, 编译器深度文章, 编译器快讯, 区块链编译器, 编译器是什么, 编译器介绍, 编译器解读, 编译器项目, 三分钟了解编译器, 秒懂编译器, 如何评价编译器, 编译器怎么样, 编译器创始人, 编译器招聘, 编译器融资, 编译器价格, 编译器技术, 编译器社区, 编译器论坛, 编译器浏览器, 编译器排名, 编译器白皮书, 编译器本质, 编译器意义, 编译器代码, 编译器游戏, 编译器什么意思, 编译器学习, 编译器培训, 编译器教程, 编译器投资, 编译器赚钱, 编译器安全, 编译器漏洞

以太坊软件工程师提出以太坊生态系统新语言「Fe」

链闻消息,以太坊基金会软件工程师 Christoph Burgdorf 提出一个名为「Fe」(发音为「fee」) 的以太坊新智能合约开发语言,该语言最初是对 Vyper 编译器(在 Rust 中)的重写,旨在解决 Consensys 在《Vyper 安全性审查》中从强调的问题。虽然最初的目标是使用备选的 Vyper 编译器,但由于语言出现语法差异,因此决定使用新名称进行明确命名,「Fe」 因此诞生。「Fe」取自元素周期表中化学元素铁的字母。铁传达了一种耐用性,这强化了编译器正确性的概念。该项目从 Vyper 继承了很多东西,比如具有 python 语法,并强调语言安全性。因此,「Fe」 的语法很大程度上是受到 Python 的启发。这允许使用过 Python 的开发人员所熟悉的代码具有可读性和表达性。「Fe」 还使用静态类型和限制动态行为来减少脚注和提高安全性。在开发的早期阶段,「Fe」和 Vyper 之间的差异仍然有限,但目前 「Fe」 借用了 Rust 的一些语法属性,随着新特性的不断添加,Fe 很可能会变得更像 Rust。

EVM 形式化验证编译器 Elle 原型发布,旨在编写更安全的以太坊代码

链闻消息,受 ConsenSys 资助的区块链开发团队推出一款 EVM 形式化验证编译器「Elle」,旨在确保更高级别的智能合约代码与执行它的以太坊虚拟机字节码之间的安全连接。Elle-Core 捕获结构化编程抽象,并通过经过验证的编译器将其转换为以太坊 EVM 字节码。该项目由 ConsenSys 资助,目前 Elle 还属于原型阶段,不建议将其部署到主网上或者用来管理非常重要的有价值资产。
返回页面顶部
返回链闻首页