Rust语言发展如火如荼,以太坊生态内的编程语言都是Solidity(或者Vyper),但Rust的优越性一直备受加密货币项目和开发者喜爱,那以太坊生态怎么办?以太坊开发了Fe,一个和Rust联系起来的语言。为安全性出现的语言。
以下为开发者Christoph叙述Fe的文章,金色财经编译呈现,以飨读者。
如今,以太坊网络上部署的大多数应用程序都是用Solidity编写的。我们认为,Solidity团队做得很好,做了很多努力保持其当前的市场份额。但是,我们也认为,如果开发人员又更多选择将对生态系统产生积极影响。
金色午报 | 7月17日午间重要动态一览:7:00-12:00关键词:Visa、币安、Revolut
1.Visa和万事达卡:正在监控币安相关的监管合规动向;
2.Revolut资深员工有机会兑现其持有的公司股份的20%;
3.Polygon链上Sushiswap上线限价订单功能;
4.Uniswap社区发起V3流动性挖矿提案 建议分配165万UNI作为初始奖励;
5.收益聚合器Pancakebunny在Polygon上的版本遭外部攻击 已暂停所有Sushi机池;
6.数据:USDT占比特币交易比重约为63.69%。[2021/7/17 0:59:14]
我们很高兴为以太坊生态系统宣布一种名为Fe(读“ fee”)的新的智能合约语言。该语言最初是对Vyper编译器(在Rust中)的重写,旨在解决Consensys在《Vyper安全性评论》中强调的问题。
金色财经挖矿数据播报 | ETH今日全网算力上涨2.67%:金色财经报道,据蜘蛛矿池数据显示:
BTC全网算力160.156EH/s,挖矿难度21.87T,目前区块高度675713,理论收益0.00000609/T/天。
ETH全网算力454.327TH/s,挖矿难度5779.61T,目前区块高度12086054,理论收益0.00529043/100MH/天。
BSV全网算力0.551EH/s,挖矿难度0.08T,目前区块高度679494,理论收益0.00163298/T/天。
BCH全网算力1.346EH/s,挖矿难度0.19,目前区块高度679794,理论收益0.00066856/T/天。[2021/3/22 19:06:21]
虽然最初的目标是使用Vyper编译器,但最终,语言开始出现语法差异,因此决定使用新名称进行明确命名。Fe出生了。
金色午报 | 1月27日午间重要动态一览:7:00-12:00关键词:科比、农村农业部、Schnorr加密方案、Signal DAO
1. NBA篮球巨星科比坠机身亡。
2. 农村农业部:建设农业农村大数据中心 加快区块链等技术应用。
3. 比特币早期开发者:比特币价格将是最重要的问题,而不是交易量。
4. 比特币市场分析师Jack:“Schnorr加密方案”不会将比特币私有化。
5. Web 3开发组织Abridged推出为DAO系统化募资意愿的实验性项目Signal DAO。
6. BTC现报8660美元,近24小时上涨3.44%,市值为1569.75亿美元。[2020/1/27]
“ Fe”是元素周期表中化学元素铁的字母。Fe传达了一种耐用感,这强化了编译器正确性的概念。Rust在Fe上形成,这将名称与编写Fe编译器的Rust语言联系起来。
动态 | 金色学院第十期正式开课:10月19日,由金色学院创业营主办的第十期金色学院在北京桃花源实验室正式开课。来自传统领域与区块链领域的新老学员们共聚一堂,针对《传统企业区块链转型概念与应用》课题进行为期三天的探索。[2018/10/19]
这个项目继承了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
标签:UST以太坊LID比特币trustwallet官网下载最新以太坊官网地址Solidblock马云购买200亿比特币现在怎样
12月16日晚间,比特币突破两万美元关口。12月17日13:59,金色财经数据显示,BTC短线上涨突破22300美元关口,日内涨幅达到7.94%,持续创立新高.
1900/1/1 0:00:00文章系金色财经专栏作者牛七的区块链分析记供稿,发表言论仅代表其个人观点,仅供学习交流!金色盘面不会主动提供任何交易指导,亦不会收取任何费用指导交易,请读者仔细甄别,谨防上当.
1900/1/1 0:00:00美股是现在当之无愧的交易天堂,任何一个市场都无法与当前美股流动性相媲美。bilibili 股价连创新高,目前市值已经突破 260 亿美元,新能源汽车龙头特斯拉更是疯狂,市值 6160 亿美元,无.
1900/1/1 0:00:00疫情肆虐的2020年即将结束,尽管有诸多不稳定因素的存在,但数字经济的增长成为全球发展的一大亮点。区块链作为在非信任环境中能够以低信任成本构建协同协作模式的新型技术,作用异常凸显.
1900/1/1 0:00:00Part.1 Insight为什么我们需要弹性供应的算法稳定币刚刚过去的2020年底,美国议员起草稳定币相关法案(STABLE Act),要求稳定币发行方必须获得银行牌照.
1900/1/1 0:00:00金色晨讯 | 1月28日隔夜重要动态一览:21:00-7:00关键词:国际清算银行、迈阿密、Ninepoint Partners、Robinhood 1.
1900/1/1 0:00:00