Rust语言发展如火如荼,以太坊生态内的编程语言都是Solidity(或者Vyper),但Rust的优越性一直备受加密货币项目和开发者喜爱,那以太坊生态怎么办?以太坊开发了Fe,一个和Rust联系起来的语言。为安全性出现的语言。
以下为开发者Christoph叙述Fe的文章,金色财经编译呈现,以飨读者。
如今,以太坊网络上部署的大多数应用程序都是用Solidity编写的。我们认为,Solidity团队做得很好,做了很多努力保持其当前的市场份额。但是,我们也认为,如果开发人员又更多选择将对生态系统产生积极影响。
金色热搜榜:TNB居于榜首:根据金色财经排行榜数据显示,过去24小时内,TNB搜索量高居榜首。具体前五名单如下:TNB、AE、RVN、BTM、VET。[2021/4/18 20:33:22]
我们很高兴为以太坊生态系统宣布一种名为Fe(读“ fee”)的新的智能合约语言。该语言最初是对Vyper编译器(在Rust中)的重写,旨在解决Consensys在《Vyper安全性评论》中强调的问题。
虽然最初的目标是使用Vyper编译器,但最终,语言开始出现语法差异,因此决定使用新名称进行明确命名。Fe出生了。
“ Fe”是元素周期表中化学元素铁的字母。Fe传达了一种耐用感,这强化了编译器正确性的概念。Rust在Fe上形成,这将名称与编写Fe编译器的Rust语言联系起来。
金色财经挖矿数据播报:ETH今日全网算力下降1.07%:金色财经报道,据蜘蛛矿池数据显示:
BTC全网算力150.787EH/s,挖矿难度20.60T,目前区块高度666103,理论收益0.00000704/T/天。
ETH全网算力324.890TH/s,挖矿难度4011.10T,目前区块高度11656847,理论收益0.00604863/100MH/天。
BSV全网算力0.694EH/s,挖矿难度0.10T,目前区块高度670017,理论收益0.00129727/T/天。
BCH全网算力1.653EH/s,挖矿难度0.24,目前区块高度670376,理论收益0.00054443/T/天。[2021/1/15 16:14:07]
这个项目继承了Vyper的许多东西。也就是说,它具有Python语法,并强调语言安全性。因此,Fe的语法很大程度上受Python启发。允许使用Python的开发人员熟悉的可读性和表达性代码。Fe还使用静态类型,限制动态行为以减少footguns并提高安全性。
金色相对论 | 陈昊芝:疫情过后可能是中国过去40年最大的一次人力资源转移:在本期金色相对论中,Cocos-BCX发起人陈昊芝发言指出:在目前的疫情环境下,几乎整个中国经济停摆,多数团队虽然开始了远程办公。但是商业合作基本停滞,对于很多中小团队无论是传统经济、信息产业还是区块链行业都有比较大的影响。这种影响一方面是商业效率下降,一方面是多数团队属于早期,在这样的环境下缺乏参与商业机会。
2020年疫情后,中国经济的持续下行会让很多人、企业甚至行业经历阵痛,但与此同时,这可能是中国过去40年最大的一次人力资源转移。如何让工作量、工作效果、工作收益的结算、高效、可信、透明,将是这次远程办公突然爆发之后的一个新课题,也就是人力资源的资产化,个体的时间变成可以交易的资源和资产。[2020/2/13]
在开发的早期阶段,Fe和Vyper之间的差异仍然有限。现在,人们会注意到,Fe从Rust借来了一些语法属性。随着我们继续添加新功能,Fe可能会开始与Rust更加相似。
分析 | 金色盘面:USDT/CNY价格逐步走低:金色盘面综合分析:USDT/CNY12小时线在7附近走出圆弧顶,短线资金流出局面得到缓解,BTC反弹带动市场走稳,但能否反转,还要继续观察。[2018/8/13]
除了语言本身之外,我们还采取步骤来确保编译器实现正确。换句话说,应该高度相信由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
标签:UST以太坊SOLDITtrustwallet钱包局以太坊币今日价格行情实时Green Satoshi Token(SOL)XCredit
近期市场关于算法稳定币的讨论越来越多了,关于算法稳定币为何会有这么多讨论呢?我想原因可能有:1、稳定币市场大,利润丰厚,以前都被机构把持者,rebase似乎撕开了一道口子.
1900/1/1 0:00:00这两天,矿工的朋友圈有一个部分是这样子的。A:收各种二手矿机,有多少要多少!B:蚂蚁矿机S9,找2万负荷,已套保,跑满5月不停机。C:5月期货(只剩少量),要的赶紧,过两天就要涨价调整了.
1900/1/1 0:00:00我在此前的一篇文章“未来普遍存在的嵌入式银行服务”当中提出,未来的银行服务不会只是由银行来提供。银行服务会有更多提供方,并且会采用多种形式被嵌入在很多应用当中.
1900/1/1 0:00:00去中心化自治组织,本文中简称DAO分布式记账技术,本文中简称DLT欧洲合作社, 本文中简称SCE在真实世界中,德国的法律界和一些类DAO结构企业一直期望能将DAO理念纳入法制社会.
1900/1/1 0:00:002020年12月16日,比特币价格达到2万美元,成为它自2009年1月面世以来的历史新高。比特币的这个历史新高不仅仅是一个加密数字资产的交易价格的历史新高,而且是表明加密数字金融的发展已经达到了.
1900/1/1 0:00:00文章系金色财经专栏作者牛七的区块链分析记供稿,发表言论仅代表其个人观点,仅供学习交流!金色盘面不会主动提供任何交易指导,亦不会收取任何费用指导交易,请读者仔细甄别,谨防上当.
1900/1/1 0:00:00