比特币价格·比特币行情
Ctrl+D收藏简单区块链
ads

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

作者:

时间:2020/12/12 20:09:27

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

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

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

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

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

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

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

金色算力云现推出第二轮购买云算力活动奖励:北京时间9月15日上午6点Filecoin太空竞赛第一阶段正式结束。凡2020年8月25日前在金色算力云官网以及合作代理商购买的IPFS云算力用户,均能享受太空竞赛一阶段奖励2.14 FIL/T,扣除20%技术服务费后实际到账1.71 FIL/T,预计投入1万元最高获得14.27FIL奖励。 \n此外,金色算力云现推出第二轮购买活动奖励,凡在2020年10月8日前购买金色算力云IPFS云算力的用户,均能享受太空竞赛第二阶段奖励(9月24日-10月15日)。具体奖励见原文链接。 \n金色算力云将于Filecoin主网上线后按照Filecoin官方释放规则和抵押机制空投到您的账户。[2020/9/29]

分析 | 金色盘面:ADA/USDT 有望形成技术反弹:金色盘面综合分析:ADA/USDT在创出新低后走出反弹行情,目前4小时K线图显示,MACD出现底背离,如果形成金叉,且成交量配合良好,压力位0.13336,止损点MA6。[2018/8/9]

金色财经现场报道 北京大学国家发展研究院特聘教授周宏骐:解构区块链 + 驱动的商业模式创新:金色财经现场报道,在2018FINWISE东京纷智峰会上,新加坡国立大学教授、北京大学国家发展研究院特聘教授周宏骐进行以《解构区块链 + 驱动的商业模式创新》为题的现场演讲,他在演讲中指出:一个有想象力和创造力的人才能创造很多机会,菲利普、科特勒认为,商业的本质是“创造价值”的逻辑与路径,很多区块链技术公司让我们感到兴奋,因为它可以创造更多的价值。任何商业模式搭建,都是源于对用户的洞察理解,创造客户价值才有客流量。商业模式创新就是迭代商业共生体:设计“客户生态”与“合作方生态”,升级“商业共生体”结构效率。新科技驱动“商业关系重构”:社交思维、智能应用、数据驱动;智能自动、算法增效、认知商业。在商业4.0时代中,用户会被进一步数据化,生活轨迹、工作轨迹,会有更清晰的用户画像,建成一个新商业。[2018/5/21]

标签:

区块链热门资讯
金色前哨|MicroStrategy再度加码比特币 拟发行4亿美元债券

灰度之外,毫无疑问MicroStrategy是近期华尔街最大比特币买入者之一。 12月7日最新消息,纳斯达克上市公司MicroStrategy宣布将向合格机构投资者公开发售总额为4亿美元的2025年到期的可转换优先债券。

2020/12/12 20:09:42
觅新 | 现在可以DEX中无需KYC/AML一键买卖美股了

《觅新》是金色财经推出的一档区块链项目观察类项目,覆盖行业各领域项目发展情况,具体设计到项目概况、技术进展、募资情况等,力图为您呈现热门新潮的项目合辑。 风险提示:“金色财经·觅新”系列文章,根据项目公开消息撰稿,旨在各位读者提供最新项目资讯,不作为投资建议。

2020/12/12 20:09:38
金色前哨 | 报告:150亿美元 加密基金资产管理规模破历史新高

据Coinshare12月7日发布的覆盖ETPs, 相互基金和OTC的加密资产流动周报,上周加密资产领域录得2020年度第二大投资流入,共计4.29亿美元。 其中,3.36亿美元资金流入灰度,占比超过78%。 进而加密基金管理的总资产达到创纪录的150亿美元。

2020/12/12 20:09:33
金色前哨|央行今日将进行100亿元人民币7天期逆回购操作

12月11日,中国央行将开展100亿元逆回购操作,昨日,据新华社报道,中国人民银行10日以利率招标方式开展了100亿元的7天期逆回购操作。当日有100亿元逆回购到期,央行实现零投放零回笼。 央行发布公告称,为维护银行体系流动性合理充裕,当日开展100亿元逆回购操作,期限为7天,中标利率为2.2%,与前次持平。 当日银行间市场各期限利率均有所下行。

2020/12/12 20:09:23
金色前哨|苏州数字人民币红包将于今晚20时生效_区块链_

金色财经报道,12月11日8时起,活动主办方已通过短信的形式和“苏周到”APP站内信息的形式向中签人推送苏州数字人民币红包中签中签信息。 据悉,此次苏州面向符合条件的市民发放2000万元数字人民币消费红包,每个红包金额200元,数量多达10万个,并将于今晚20时生效 据京东数科官微消息,中签人员可通过京东商城进行线上消费。

2020/12/12 20:09:18
更多加密银行将推出?Paxos及BitPay等巨头正积极申请国家信托牌照

距离OCC代理署长的发言—“支付执照已准备就绪,将有更多加密银行推出”未满一月,稳定币发行商和加密服务公司Paxos、加密支付公司BitPay和托管提供商Anchorage等加密巨头的行动已经排上日程。他们正积极寻求申请在美国创建国家信托银行。

2020/12/12 20:09:11
ads