Rust语言发展如火如荼,以太坊生态内的编程语言都是Solidity(或者Vyper),但Rust的优越性一直备受加密货币项目和开发者喜爱,那以太坊生态怎么办?以太坊开发了Fe,一个和Rust联系起来的语言。为安全性出现的语言。
以下为开发者Christoph叙述Fe的文章,金色财经编译呈现,以飨读者。
如今,以太坊网络上部署的大多数应用程序都是用Solidity编写的。我们认为,Solidity团队做得很好,做了很多努力保持其当前的市场份额。但是,我们也认为,如果开发人员又更多选择将对生态系统产生积极影响。
金色相对论丨林念龙:IPFS矿机技术门槛低 但技术很牛:本期金色相对论在讨论上,在讨论IPFS矿机热话题时,蜂窝联合创始人林念龙认为:有硬盘和带宽的机器,理论上都可以叫IPFS矿机,比显卡机技术门槛还低。目前ASIC的厂商估计都看不上,深圳一堆的电子厂都可以做出来,当然IPFS这个技术的确很牛。同时林念龙还表示还是老老实实挖大币种BTC,盘子大不易砸。小币种矿机挖矿收益纯拼运气和手速,晚一天,都会赔进去的感觉,比如迅雷的玩客云。[2018/6/27]
我们很高兴为以太坊生态系统宣布一种名为Fe(读“ fee”)的新的智能合约语言。该语言最初是对Vyper编译器(在Rust中)的重写,旨在解决Consensys在《Vyper安全性评论》中强调的问题。
金色财经独家分析 四大国有银行积极探索布局区块链:金色财经独家分析,近日中国银行表示将利用“区块链”技术的“交易溯源、不可篡改”特性实现扶贫资金的透明使用、精准投放和高效管理。 金色财经分析,各大国有银行在区块链领域的探索都十分积极,此前中国工商银行和中国银行都有提交或发布区块链专利的消息放出。四大国有银行的探索主要集中在供应链金融、扶贫、保险等领域。虽然四大国有银行都在积极探索尝试区块链技术,但是目前还处在一些边缘非核心项目上,除了区块链技术的不够成熟之外,在推行过程汇中将会面临的现有体制与模式带来的障碍都是不得不考虑的重要因素。[2018/5/23]
虽然最初的目标是使用Vyper编译器,但最终,语言开始出现语法差异,因此决定使用新名称进行明确命名。Fe出生了。
金色财经独家分析 加密货币纳税的问题还算不上问题:日前有分析将比特币下跌归因纳税季临近的抛售,而事实证明这个理由不太靠谱。一方面的声音关住在购买比特币的人在行情不好的情况下赔钱,所以根本就没有什么所得,何谈纳税,另一方面是民众的真实意愿,即根本就不会去主动报税,在纳税申报截止日仅剩几天的时候只有不到100人报税,另一项调查则指出民众不关心也不认为应该纳税。其实还需要补充的是,比特币以及众多加密货币所带来的收益波动巨大,一部分持币者是抱有较大收益预期的,因此也有理由相信一些人认为加密货币带来的绝对收益是值得去持币并负担税费。[2018/4/17]
“ Fe”是元素周期表中化学元素铁的字母。Fe传达了一种耐用感,这强化了编译器正确性的概念。Rust在Fe上形成,这将名称与编写Fe编译器的Rust语言联系起来。
金色财经讯:9月15日,sosobtc发布公告指出:平台决定在9月30日前逐渐停止以下相关业务:第三方交易快捷入口、行情数据、聊天社交等。[2017/9/15]
这个项目继承了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
郑重声明: 本文版权归原作者所有, 转载文章仅为传播更多信息之目的, 如作者信息标记有误, 请第一时间联系我们修改或删除, 多谢。