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

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

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

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

金色财经行情播报 | BTC回调反弹,重上11000美金:据火币行情显示,今日BTC凌晨开始回调,下午反弹重上11000USDT,期间波动扩大。日线图连续拉升已形成较大乖离,整理需求增大;4小时图上行趋势依托均线MA10,局部动力减缓;1小时图呈双顶雏形后颈线未破。截至18:30,主流币的具体表现如下:[2020/7/29]

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

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

金色相对论 | 启富:DeFi的存币生息产品是一种相对安全的方式:在今日举行的金色相对论中,针对“Defi的投资者该怎样使用Defi,将其定义为金融工具还是投资渠道?”的问题,慢雾科技启富表示,用户的需求不同就会导致使用方式有所区别,并且高收益就对应着高风险。对普通持币者来说,DeFi的存币生息产品是一种相对安全的方式。DeFi产品也需要有和CeFi一样完善的风控系统,例如在依赖的外部系统(如预言机)出现问题时,能暂停平台内的某些功能模块,避免被恶意利用造成损失。同时在抵押资产价格急剧下跌时,能够有相应的保障措施避免平台清算出现问题。[2020/5/9]

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

金色午报 | 5月4日午间重要动态一览:7:00-12:00关键词:印度、tBTC、算力、矿工

1. 印度加密货币交易所要求央行澄清其地位;

2. Pantera Capital CEO:政府增加印钞会抬高比特币价格;

3. TAAL CEO:短期内可开采BTC赚钱,长远来看矿工更愿意支持BSV;

4. 比特币核心开发者:比特币是世界上第一种可以在现在和未来验证稀缺性的货币;

5. tBTC负责人提案tBTC成为Dai抵押品;

6. Cash App将比特币每周购买限额提高至10万美元;

7. 比特币全网算力24小时上涨8.26%达131.033EH/s,逼近历史高点。

8. BTC现报8730美元,日内跌幅0.87%,市值前十币种普跌。[2020/5/4]

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

金色财经现场报道,Bob:区块链解决了欧洲初创企业融资难的问题:在2018年世界数字资产峰会(WDAS)暨FBG年会上,大会邀请来自欧洲各地的企业项目前来针对区块链在欧洲的现状进行探讨。来自FBG Capital的Bob表示,曾经柏林虽然有着大量的人才,但是初创企业很难在其中做大做强,原因在于柏林的人才虽然多,但是融资却非常的难,而区块链的出现却解决了这个问题,通过代币来进行融资,解决了初创企业在柏林及欧洲所遇到的融资难题。[2018/5/3]

在开发的早期阶段,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

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

银河链

MANA区块链技术生态持续优化 五大趋势不容忽视

随着区块链被纳入新基建,区块链的发展备受关注。“过去一年,区块链的污名化、理想化问题已解决。”中国信息通信研究院云计算与大数据研究所所长何宝宏在不久前举办的《读懂区块链》新书发布会上发表了这一观点.

[0:0ms0-1:787ms