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

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

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

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

金色实力派 | 中国气象局朱定西:区块链技术可以为气象数据的交换和共享背书:金色财经报道,在今日举行的金色实力派直播中,针对“您认为如何更好的参与区块链与新基建的浪潮,打开区块链的正确姿势是什么?后续有哪些发展计划?”的问题,中国气象局气象服务首席朱定西表示,依靠创新的技术变革,在气象服务机构和气象服务对象以及行业用户之间建立起高效、精准、活跃的产业平台,能够使我们息息相关的气象服务焕发新的活力。气象从业者可以主动拥抱行业发展的新变化,借助社会化观测和区块链技术结合的核心能力,提高气象服务精准度,从而提升广大人民群众的满意度。区块链技术可以为气象数据的交换和共享背书,气象局可以以开放的姿态,借此技术提高国际气象合作的效率,也可以在一定程度上突破现有观测数据的瓶颈,为气象事业的发展开辟新的道路。毫无疑问,这样的新技术正在成为气象行业的新的发展方向。[2020/5/21]

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

金色午报 | 5月3日午间重要动态一览:7:00-12:00关键词:以太坊区块、USDT增发、区块链应用

1.以太坊开发者:以太坊明日将达到区块高度10,000,000。

2.福布斯分析师:比特币近期上涨或与Tether增发USDT有关。

3.2020年Q1比特币算力波动明显旧矿机被逐步淘汰。

4.海南“自由港”单独立法或提升区块链和金融科技投资机会。

5.山西深入推进跨境金融区块链服务平台应用。

6.法官驳回针对RiotBlockchain进行虚假和误导性陈述的指控。

7.CME比特币期货周报:经纪商账户空头头寸创半年新低。

8.以太坊基金会社区经理:相比BTC 对ETH提出改进建议要更加容易。

9.比特币持续上涨,日内最高涨至9192美元,最低报8812美元。[2020/5/3]

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

金色晚报 | 12月27日晚间重要动态一览:12:00-21:00关键词:北京证监局、陈纯、韩国央行、日本金融厅

1. 北京证监局发布进一步防范“虚拟货币”交易活动的风险提示。

2. 中国工程院院士陈纯:区块链产业生态初具 强监管方能行稳致远。

3. 央行狄刚:区块链为解决贸易融资业务痛点问题提供了新的思路。

4. 韩国央行将成立央行数字货币(CBDC)研究专项工作组。

5. 胡继晔:EURO Chain更偏向于B端 DCEP更偏向于C端用户。

6. 河北省工信厅副厅长:深化区块链等技术与制造业融合发展。

7. 北京市将探索基于区块链的中小企业金融服务场景应用试点。

8. 日本金融厅:不能在日本创建和出售虚拟货币ETF。

9. 马来西亚积极发展虚拟银行业务 将发放五家数字银行牌照。

10. 金色财经主办的“与时共创”颁奖盛典在京举行。[2019/12/27]

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

分析 | 金色盘面:蚂蚁金服开展场外交易清理:金色盘面综合分析:清晨蚂蚁金服发布消息,将严密监控排查涉及虚拟货币市场场外交易的行为。随后看到OKEX发出公告,自8月28日起提币需要身份认证。目前BTC市场价格相对稳定,未受到消息影响,我们会密切关注事态进一步发展,也提请投资人增强风险控制意识。[2018/8/24]

这个项目继承了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

郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。

金星链

[0:0ms0-0:966ms