区块见闻 区块见闻
Ctrl+D收藏区块见闻
首页 > OKB > 正文

金色观察|Fe:以太坊生态系统的新语言

作者:

时间:

Rust语言发展如火如荼,以太坊生态内的编程语言都是Solidity(或者Vyper),但Rust的优越性一直备受加密货币项目和开发者喜爱,那以太坊生态怎么办?以太坊开发了Fe,一个和Rust联系起来的语言。为安全性出现的语言。

以下为开发者Christoph叙述Fe的文章,金色财经编译呈现,以飨读者。

如今,以太坊网络上部署的大多数应用程序都是用Solidity编写的。我们认为,Solidity团队做得很好,做了很多努力保持其当前的市场份额。但是,我们也认为,如果开发人员又更多选择将对生态系统产生积极影响。

我们很高兴为以太坊生态系统宣布一种名为Fe(读“ fee”)的新的智能合约语言。该语言最初是对Vyper编译器(在Rust中)的重写,旨在解决Consensys在《Vyper安全性评论》中强调的问题。

美OCC警告将对加密监管采取更谨慎的态度:11月17日消息,美国银行监管机构货币监理署(OCC)代理署长Michael Hsu周二在费城联邦储备银行主办的金融技术会议上表示,联邦机构即将发布一项联合声明,说明「crypto sprint」(加密冲刺)联合研究项目的结论。他暗示OCC、美联储及联邦存款保险公司得出了远非对行业友好的结论。他说:这些机构正在非常小心地应对加密活动,并采取高度谨慎的态度。Hsu还表示OCC在特朗普执政期间发布的指导方针不应被解读为鼓励银行进入加密领域,OCC还准备澄清此前发布的解释性信函,他说即将发布的版本将阐明安全性和稳健性是最重要的。OCC将谨慎行事,并让银行保持同样的态度。(彭博社)[2021/11/17 21:56:56]

虽然最初的目标是使用Vyper编译器,但最终,语言开始出现语法差异,因此决定使用新名称进行明确命名。Fe出生了。

Gate.io将于今日18:00开通NBS交易 已按1BTS:1NBS分发NBS:据官方公告,Gate.io将于9月19日(今日)18:00开通NBS交易,目前Gate.io已经与NBS官方对接钱包和代币链上分发服务,并按照1BTS:1NBS为用户分发NBS,用户可以到“账单明显”或账户资金中查看,NBS充值提现将在技术对接完成后开放。

Gate.io提醒:NBS短期内多个主流平台集中上线,请用户务必注意风险,切勿追高。[2020/9/19]

“ Fe”是元素周期表中化学元素铁的字母。Fe传达了一种耐用感,这强化了编译器正确性的概念。Rust在Fe上形成,这将名称与编写Fe编译器的Rust语言联系起来。

这个项目继承了Vyper的许多东西。也就是说,它具有Python语法,并强调语言安全性。因此,Fe的语法很大程度上受Python启发。允许使用Python的开发人员熟悉的可读性和表达性代码。Fe还使用静态类型,限制动态行为以减少footguns并提高安全性。

在开发的早期阶段,Fe和Vyper之间的差异仍然有限。现在,人们会注意到,Fe从Rust借来了一些语法属性。随着我们继续添加新功能,Fe可能会开始与Rust更加相似。

除了语言本身之外,我们还采取步骤来确保编译器实现正确。换句话说,应该高度相信由Fe编译器生成的可执行代码将相对于语言规范正确运行。

下面列出了我们为确保正确性而采取的一些步骤:

编写语言规范

如果没有要检查的规范,就不能证明编译器是正确的。因此,我们已经开始编写该语言的规范,该规范大量引用自Rust。在我们准备进行审核时,我们将能够制定出全面的规范。

在Rust中实施

Rust是一种具有强大安全保证的系统语言。这些安全保证可防止Rust程序进入未定义的行为。例如,在安全的Rust中不可能使用空指针。这样一来,Rust编译器就可以在编译时捕获bug,否则在运行时会遇到bug。

使用不同的组件

Fe的目标是将编译器的组件分成遵循标准编译器设计指南的不同库。也就是说,我们已经将解析、语义分析编译实现为具有API、测试的独立库。使理解编译器的行为更加容易。

编译器将Yul定位为中间表示。Yul是由Solidity团队开发的项目,旨在成为多个低层平台之间的共同点,这意味着我们不需要为EVM 1.0,EVM 1.5和eWASM编写单独的后端。目前,我们仅使用Solidity后端进行Yul编译。这为我们节省了大量时间。

Vitaliks以太坊路线图强调,将YUL标准化为中间语言也可能是针对Optimistic Rollup环境的便捷途径。

解析器期望的EBNF语法可以在这里找到。解析器为该语法文件中指定的所有内容提供支持,并包括全面的测试。

今年年初,开发人员开始通过编译器。我们能够添加一些简单合同的支持。最值得注意的是,我们能够将一个简单的留言簿合同编译为功能字节码。

在过去的一个月中,Fe的发展显着增加。我们对ERC20合同中使用的所有功能支持感到乐观,并能够在2020年底之前进行编译。显然,到那时,编译器绝不是生产ERC20的合适选择,但是我们期待通过这样一个众所周知的工作示例展示Fe的功能。

下面是一个简单的合约,该合约今天已经完全可用:

Fe的github链接:

https://github.com/ethereum/fe

Fe的gitter链接:

https://gitter.im/ethereum/fe

标签:USTNBS以太坊OCCJust for Decentralizationnbs币官网以太坊币多少钱一个Soccer Vs

OKB热门资讯
首发 | 区块链保险项目Nexus Mutual攻击事件解析

本文由CertiK供稿,授权金色财经首发。 北京时间12月14日晚5点40分,CertiK Skynet天网监控发现一笔来自Nexus Mutual创始者Hugh Karp账户的巨额交易,该交易转移共37万NXM代币到不明账户中。 CertiK安全验证团队迅速展开调查分析,认为该次交易是针对Hugh Karp账户的黑客攻击。

BTC价格面临短期回调的可能性很大 原因有四

在四次试图突破19600万美元的阻力位失败后,比特币(BTC)的价格现在停滞在19000美元以下。从近期来看,四个因素表明,相比彻底突破近20000美元的历史高点,回调的可能性更大。交易员和技术分析师大多对比特币的近期价格走势持谨慎态度,似乎在等待比特币建立明确的支撑位或突破其历史高位。

为什么投资者逢低买入比特币?4个关键比特币价格指标可解释

各种比特币期货和期权指标显示,投资者将比特币每一次下跌都视为买入良机。 12月11日,比特币(BTC)跌至17580美元的低点,尽管一些分析师预测看跌,但投资者仍相对冷静。本周收盘时,比特币的价格可能与开始时持平,但比特币的基本面已经变得更加健康。

更多加密银行将推出?Paxos及BitPay等巨头正积极申请国家信托牌照

距离OCC代理署长的发言—“支付执照已准备就绪,将有更多加密银行推出”未满一月,稳定币发行商和加密服务公司Paxos、加密支付公司BitPay和托管提供商Anchorage等加密巨头的行动已经排上日程。他们正积极寻求申请在美国创建国家信托银行。

金融时报:多国探路数字货币

专家表示,在数字经济高速发展的背景下,数字货币将是未来最重要的金融基础设施之一。金融科技已经推动数字货币、支付清算体系内生发展。中央银行不会在未来的数字经济中缺席,央行数字货币(CBDC)的加速研发将是中央银行理解并适应数字经济发展的一种重要方式。不过,尽管全球多国已经开展数字货币的研究和实践,但数字货币仍旧是前路漫漫。

一文解析算法稳定币双雄之一:ESD

稳定币是加密领域最重要的赛道之一,因为它可以解决加密货币波动性过大的问题,在DeFi中有越来越广泛的应用。这在市值上也体现了出来。从2020年以来,稳定币的整体市值增长非常迅猛,如今超过260多亿美元。