宇宙链 宇宙链
Ctrl+D收藏宇宙链
首页 > BTC > 正文

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

作者:

时间:1900/1/1 0:00:00

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

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

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

金色午报 | 8月20日午间重要动态一览:7:00-12:00关键词:中国数字货币、ETC Labs、V神、印度

1. YFI突破1.3万美元 但总市值仅占BTC的0.18%;

2. 证券时报:中国数字货币前景可期;

3. ETC Labs制定网络安全计划以应对网络攻击;

4. V神:从长远来看 L2扩展解决方案依赖于eth2

5. Curve仅Y池锁仓金额已达6亿美元;

6. 印度前储备银行行长:当中央银行开始发行数字货币时,比特币与Libra都可能扮演不同的角色;

7. 预期法币贬值 中东连锁饭店Tahini将所有现金储备转换为比特币;

8. SEC任命纽约办事处负责人担任执行副总监;

9. Yam Finance启动YAM代币迁移计划 持币者须在未来72小时内完成迁移。[2020/8/20]

Fe

金色财经现场报道 中证征信首席产品官:智能合约帮助资金方定义定价规则:金色财经现场报道,在新金融100人主题论坛上,中证征信首席产品官张哲表示,智能合约的价值应用,来解决一些真正需要解决的问题,通过智能合约,帮助资金方定义定价规则,进向全网发布,进一步提高融资效率。[2018/4/27]

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

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

金色财经独家分析 EOS.IO制定宪法草案条例 自治与人治需并行:今日凌晨,Block.one副总裁Thomas Cox在EOS Go社区发布三条EOS.IO 宪法草案条例,阐述了关于诚信、产权与仲裁三个方面的处理法则。旨在创立和授权具有约束力的生态法案。金色财经分析,EOS正在构建构建一套用于实现生态系统自治的制度规则,除去基于智能合约与其他一些区块链技术特性之外,也需要人在其中发挥作用。这表明,即便是去中心化的区块链生态,也不意味着没有中心,无法实现真正脱离人来运转。而监管这方面,一方面需要项目发起方进行自律,制定相关使用规则与条例,规范使用者的行为。另一方面也离不开政府监管部门的参与,即便是技术上可行,但一旦发生财产等纠纷,终极的解决之道还要依据社会法律。[2018/4/18]

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

金色财经讯:网传9月15日下午,北京地区各数字货币平台负责人被约谈,关于数字货币交易平台清退的通知流出,数字货币交易平台被取消的传言可能被证实。根据传言所述,此次通告要求北京地区各交易平台指定详细的无风险清退方案,以妥善处理好投资者的资金及各种虚拟货币的安全。并且要求各个交易平台应停止新用户注册,并于9月15日24点前发布公告,告知用户。[2017/9/15]

目标

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

标签:UST数字货币以太坊LIDMUSTmtn币数字货币前景以太坊官网钱包BLID

BTC热门资讯
HomiEx(红米交易所)关于即将隐藏JST/USDT、WIN/USDT币对的公告

亲爱的用户: 应项目方要求,HomiEx将于12月9日13:00隐藏JST/USDT、WIN/USDT币对,因此将会导致两币对深度不足,请广大用户知悉.

1900/1/1 0:00:00
Filecoin价格一直保持在30U的原因--FIL销毁量

FIL销毁量 Filecoin网络自上线以来已平稳运行了一个半月有余,如今全网总算力已增长至约1.25EB存储容量.

1900/1/1 0:00:00
AAX交易所2020年11月经营月报——璀璨巨星 震撼登场

本期重点 *AAX一周年活动多多,福利多多。*AAX支持BCH硬分叉并已已完成BCHA分发*AAX与Stacked达成合作,用户可使用机器人自动化交易并管理财富.

1900/1/1 0:00:00
12.9午间行情:跌破收敛结构 目标在这里

文章系金色财经专栏作者牛七的区块链分析记供稿,发表言论仅代表其个人观点,仅供学习交流!金色盘面不会主动提供任何交易指导,亦不会收取任何费用指导交易,请读者仔细甄别,谨防上当.

1900/1/1 0:00:00
币虎已恢复MES充提币业务

尊敬的用户: MES节点升级已完成,币虎交易平台已恢复MES充提币业务。邀您体验!MES更新后的合约地址为:https://cn.etherscan.com/token/0x8f1135ea4f8946949441716d66e539.

1900/1/1 0:00:00
秘密网络宣布在以太坊上启动可编程隐私

秘密网络是第1层启用隐私的区块链,宣布将于12月14日将可编程隐私引入以太坊区块链。计划于下周启动的主网将启用SecretEthereumBridge,这将为ETH和ERC-20持有者创造桥梁开采机会.

1900/1/1 0:00:00