Rust语言发展如火如图,以太坊生态内的编程语言都是Solidity(或者Vyper),但Rust的优越性一直备受加密货币项目和开发者喜爱,那以太坊生态怎么办?以太坊开发了Fe,一个和Rust联系起来的语言。为安全性出现的语言。
以下为开发者Christoph叙述Fe的文章,金色财经编译呈现,以飨读者。
如今,以太坊网络上部署的大多数应用程序都是用Solidity编写的。我们认为,Solidity团队做得很好,做了很多努力保持其当前的市场份额。但是,我们也认为,如果开发人员又更多选择将对生态系统产生积极影响。
金色财经行情播报丨BTC小幅震荡 局部形成十字星:据火币行情显示,今日BTC价格整体保持小幅震荡,16时许形成一轮拉升,最高探至9439USDT,随后下滑保持震荡格局,局部价格徘徊于9370USDT区间。从日线图看,今日下跌后形成十字星,均线MA10在近几日行情中都构成了明显地压制,但均线MA30相对保持平稳。4小时图中,近周期内下降通道未能有效突破,多头局部承压,需看9300USDT支撑能否稳住。截至18:30,主流币的具体表现如下:[2020/6/19]
Fe
我们很高兴为以太坊生态系统宣布一种名为Fe的新的智能合约语言。该语言最初是对Vyper编译器的重写,旨在解决Consensys在《Vyper安全性评论》中强调的问题。
金色晚报 | 3月10日晚间重要动态一览:12:00-21:00关键词:FCoin、V神、SEC、日本
1. 日本央行副行长:发行央行数字货币要关注“三个不变”和“三个变”
2. 媒体:FCoin案在温州被立案侦查;
3. 第三家美国律师事务所号召嘉楠科技投资者对其提起集体诉讼;
4. 数据:比特币期权交易量达近2亿美元,创历史新高;
5. 美国法官裁定CSW需在3月12日前提交郁金香信托相关文件;
6. 北京银保监局提示疫情期间四类局,利用“区块链”概念上榜;
7. Telegram提供案例继续反驳美国SEC对其违反联邦证券法的指控;
8. 孙宇晨欲与Steem社区沟通平息纷争 社区要求其道歉;
9. V神:ETH 2.0是未来,但不是字面意义上的明天。[2020/3/10]
虽然最初的目标是使用Vyper编译器,但最终,语言开始出现语法差异,因此决定使用新名称进行明确命名。Fe出生了。
金色晨讯 | PayPal董事会成员:如果比特币成功 其价值可能会高达100万美元:1.PayPal董事会成员:如果比特币成功 其价值可能会高达100万美元
2.日本Rizuna银行取消与瑞波支持的区块链支付合作
3.Andreas Antonopoulos:无法完全解决BTC可扩展性问题
4.民意调查:亚洲将是未来十年大多数最重要的数字货币公司所在的大洲
5.赵东发文表示,USD交易所大量买入BTC会导致USDT正溢价
6.BB:比特币是比以往存在的任何东西都更好的价值储存手段
7.广州市黄浦区已投入使用4个基于区块链技术的5G智慧停车场
8.彭博社:许多ETF迫于监管需求将其名字中的区块链一词去掉
9.绝大多数的捐赠基金都在尝试加密投资[2019/4/15]
“Fe”是元素周期表中化学元素铁的字母。Fe传达了一种耐用感,这强化了编译器正确性的概念。Rust在Fe上形成,这将名称与编写Fe编译器的Rust语言联系起来。
分析 | 金色盘面:HSR短线继续受阻于5.12美元:金色盘面分析师表示:HSR在24小时内涨幅约4%,目前短线受阻于5.12美元明显,从1小时K线排列看,短线有回落需求,下方短线支撑关注4.90美元[2018/8/5]
目标
这个项目继承了Vyper的许多东西。也就是说,它具有Python语法,并强调语言安全性。因此,Fe的语法很大程度上受Python启发。允许使用Python的开发人员熟悉的可读性和表达性代码。Fe还使用静态类型,限制动态行为以减少footguns并提高安全性。
在开发的早期阶段,Fe和Vyper之间的差异仍然有限。现在,人们会注意到,Fe从Rust借来了一些语法属性。随着我们继续添加新功能,Fe可能会开始与Rust更加相似。
Fe实施的正确性
除了语言本身之外,我们还采取步骤来确保编译器实现正确。换句话说,应该高度相信由Fe编译器生成的可执行代码将相对于语言规范正确运行。
下面列出了我们为确保正确性而采取的一些步骤:
编写语言规范
如果没有要检查的规范,就不能证明编译器是正确的。因此,我们已经开始编写该语言的规范,该规范大量引用自Rust。在我们准备进行审核时,我们将能够制定出全面的规范。
在Rust中实施
Rust是一种具有强大安全保证的系统语言。这些安全保证可防止Rust程序进入未定义的行为。例如,在安全的Rust中不可能使用空指针。这样一来,Rust编译器就可以在编译时捕获bug,否则在运行时会遇到bug。
使用不同的组件
Fe的目标是将编译器的组件分成遵循标准编译器设计指南的不同库。也就是说,我们已经将解析、语义分析编译实现为具有API、测试的独立库。使理解编译器的行为更加容易。
定位目标
编译器将Yul定位为中间表示。Yul是由Solidity团队开发的项目,旨在成为多个低层平台之间的共同点,这意味着我们不需要为EVM1.0,EVM1.5和eWASM编写单独的后端。目前,我们仅使用Solidity后端进行Yul编译。这为我们节省了大量时间。
Vitaliks以太坊路线图强调,将YUL标准化为中间语言也可能是针对OptimisticRollup环境的便捷途径。
进展
解析器期望的EBNF语法可以在这里找到。解析器为该语法文件中指定的所有内容提供支持,并包括全面的测试。
今年年初,开发人员开始通过编译器。我们能够添加一些简单合同的支持。最值得注意的是,我们能够将一个简单的留言簿合同编译为功能字节码。
在过去的一个月中,Fe的发展显着增加。我们对ERC20合同中使用的所有功能支持感到乐观,并能够在2020年底之前进行编译。显然,到那时,编译器绝不是生产ERC20的合适选择,但是我们期待通过这样一个众所周知的工作示例展示Fe的功能。
下面是一个简单的合约,该合约今天已经完全可用:
Fe的github链接:
https://github.com/ethereum/fe
Fe的gitter链接:
https://gitter.im/ethereum/fe
Web3基金会已联合波卡开展了“验证人1000”活动。现在申请并遵循验证人程序设置步骤,您就有资格从Web3Foundation获得提名,以帮助启动各波卡节点.
1900/1/1 0:00:00IPFS靠谱吗?filecoin挖矿真的那么赚吗?IPFS是不是合法的?伴随着Filecoin发布步伐的邻近,Filecoin做为今年最深受希望的区块链项目.
1900/1/1 0:00:00点击上"蓝字"关注作者哦~币圈今天跌破18000:果然是涨的有多凶,跌的时候更凶今天主流币跌幅,瑞波可以上榜?.
1900/1/1 0:00:00当前,新一轮科技革命和产业变革加速演进,人工智能、大数据、物联网等新技术新应用新业态方兴未艾,互联网迎来了更加强劲的发展动能和更加广阔的发展空间,“互联网+”加速与产业融合.
1900/1/1 0:00:00链闻消息,NFT市场新对冲基金BlackPool已正式启动,BlackPool将包含从体育卡片到游戏物品再到数字艺术各个领域.
1900/1/1 0:00:00五年以来,以太坊已经达到一系列重大成就:托管数以万计应用程序;涵盖多种代币类型,总资产价值超过1000亿美元;截至2020年底,交易总额预计将接近1万亿美元.
1900/1/1 0:00:00