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

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

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

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

金色午报|1月9日午间重要动态一览:7:00-12:00关键词:NFT、印度央行、LCX

1.彭博分析师:2022年BTC和ETH将继续大涨;

2.Doodles 7日交易额近1.5万枚 ETH,目前地板价为11.5 ETH;

3.AMD:故意设计让Radeon RX 6500 XT不适合加密货币挖矿;

4.印度央行创建金融科技部用于研发 CBDC;

5.人民大会堂巨幅壁画《长江三峡》数字藏品启动发售;

6.哈萨克斯坦断网致比特币暴跌,比特币全球算力消失12%;

7.LCX 交易所遭黑客攻击,损失或超 600 万美元;

8.中国科学院院士何积丰:元宇宙很难实现真正的孪生;[2022/1/9 8:35:56]

Fe

金色晚报 | 5月21日晚间重要动态一览:12:00-21:00关键词:广东、以太坊2.0、央行、俄罗斯、PlusToken

1. 广东重点培育发展区块链等10大战略性新兴产业集群。

2. 以太坊2.0技术规范发布0.12.0版重要更新。

3. 特朗普提名的美联储委员建议以加密货币的方式恢复金本位制。

4. 央行发文启动金融科技应用风险专项摸排涉及区块链等新技术金融应用。

5. 俄罗斯提交新法案,拟禁止境内发行和流通加密货币。

6. 江苏建湖检方对“PlusToken”主犯提起公诉,涉及会员近193万。

7. Chainalysis:昨日晚间远古地址转出的50 BTC有一部分流入混币器。

8. Overstock向其股东空投437万枚证券型代币OSTKO。

9. IBM成为区块链平台We.Trade股东,持股7%。[2020/5/21]

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

金色晨讯丨4月29日隔夜重要动态一览:21:00-7:00关键词:CME、BitMEX、USDT增发、Libra

1.CME比特币期货5月合约收报7780美元。

2.BitMEX将于5月1日起限制日本用户访问。

3.Tether向波场网络增发5000万枚USDT。

4.中信银行西安分行:跨境金融区块链业务为企业融资提速。

5.Libra协会副主席:区块链是Libra的核心。

6.美国SEC专员:数字美元不会使其他数字货币消失。

7.纽约州金融服务部门任命前丝绸之路调查员为总顾问。

8.美国国会议员呼吁在疫情期间采用区块链分配救济资金及物资。

9.三星和红杉资本支持的两家公司成立地区性区块链智库。[2020/4/29]

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

金色晨讯| 美国国会议员在新的国会法案中推动“区块链”定义:1、美国国会议员在新的国会法案中推动“区块链”定义

2、IBM新专利使用区块链技术监控安全漏洞

3、巴西反垄断监管机构向多家数字货币交易所发送调查问卷

4、特拉维夫大学和Moshe Hogeg联手建立区块链研究机构

5、Ripple的合作伙伴TransferGo将提供免费跨境支付

6、TrueDigital宣布推出实物交割的比特币掉期协议

7、以色列证券管理局开始使用区块链技术提高网络安全性

8、日本金融厅第六次加密货币交易所研讨会讨论关于加密行业的监管规范

9、外汇经纪公司福汇已将比特币差价合约添加到金融产品列表中[2018/10/4]

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

目标

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

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

区块博客

[0:0ms0-4:477ms