比特幣交易所 比特幣交易所
Ctrl+D 比特幣交易所
ads
首頁 > MATIC > Info

金色觀察|Fe:以太坊生態系統的新語言_以太坊

Author:

Time:1900/1/1 0:00:00

Rust語言發展如火如圖,以太坊生態內的編程語言都是Solidity(或者Vyper),但Rust的優越性一直備受加密貨幣項目和開發者喜愛,那以太坊生態怎么辦?以太坊開發了Fe,一個和Rust聯系起來的語言。為安全性出現的語言。

以下為開發者Christoph敘述Fe的文章,金色財經編譯呈現,以饗讀者。

如今,以太坊網絡上部署的大多數應用程序都是用Solidity編寫的。我們認為,Solidity團隊做得很好,做了很多努力保持其當前的市場份額。但是,我們也認為,如果開發人員又更多選擇將對生態系統產生積極影響。

金色財經行情播報丨BTC跌破關鍵指標,周線形成較長上影線:據火幣行情顯示,今日上午10點BTC開始下跌,中午12點時跌破昨日晚間迅速下跌低位,開始了加速下跌。從日線圖上看,日線MA5均線跌破,4月4日以來上漲趨勢依托關鍵指標已失守,因而上漲趨勢局部宣告結束。目前MA10成為支撐,但上升楔形已被破壞,周線長上影線構成巨大壓力,下跌恐有延續。截至19:00,各主流幣在火幣平臺表現如下:[2020/4/10]

Fe

我們很高興為以太坊生態系統宣布一種名為Fe的新的智能合約語言。該語言最初是對Vyper編譯器的重寫,旨在解決Consensys在《Vyper安全性評論》中強調的問題。

金色午報 | 12月27日午間重要動態一覽:7:00-12:00關鍵詞:最高法、北斗、蘇通鏈、V神、期貨合約、ETC

1. 最高法:促進區塊鏈等在內的數字絲綢之路建設。

2. 國務院參事:要處理好數字貨幣與現行電子支付工具的關系。

3. 北斗系統新聞發言人:北斗正在與區塊鏈等新技術加速融合。

4. 江蘇企業間聯盟鏈“蘇通鏈”在南京大學發布。

5. 中國電子技術標準化研究院發布三項區塊鏈團體標準。

6. V神:短期內需并行開發區塊鏈第1層和第2層協議。

8. 愛沙尼亞總統:Libra不能用作貨幣。

9.火幣、OKEx、芝商所等多家交易所季度及半年期合約將于今日結算。

10.近一周以太經典ETC全網活躍地址數出現大幅上升。[2019/12/27]

雖然最初的目標是使用Vyper編譯器,但最終,語言開始出現語法差異,因此決定使用新名稱進行明確命名。Fe出生了。

世界區塊鏈孵化中心在新加坡開幕 金色財經將會對此次開幕式進行現場報道:5月3日,由火幣生態、Node Capital、BitTemple以及B+聯合發起的世界最大區塊鏈孵化中心于新加坡即將開幕。新加坡金融科技協會、新加坡中華總商會、新加坡投資協會、南洋理工大學、FBG資本、Ticker資本、時點資本,中民金融、區塊鏈加速器、全維度區塊鏈、Tuple Technologies、Bitkan,E27等行業知名機構與組織的200余名菁英應邀參加開幕酒會,共同見證全球區塊鏈加速營、全球區塊鏈Hackathon啟動。知名孵化器科技寺策劃支持活動,金色財經應邀將對活動進行現場報道。[2018/5/3]

“Fe”是元素周期表中化學元素鐵的字母。Fe傳達了一種耐用感,這強化了編譯器正確性的概念。Rust在Fe上形成,這將名稱與編寫Fe編譯器的Rust語言聯系起來。

金色財經現場報道 中國銀行原副行長王永利:區塊鏈應該解決更多現實問題:金色財經現場報道,在2018全球首屆萬國區塊鏈技術博覽會上,中國銀行原副行長王永利進行《區塊鏈、數字幣需要關注的核心問題》主題演講。他指出: 區塊鏈的發展應該更多的解決現實世界的實際問題,不能盲目追求完美而脫離現實;比特幣只是區塊鏈的一種實現方式,而不是區塊鏈的唯一范式;互聯網區塊鏈的運行,最關鍵的就是要確保能將現實世界的資產或價值、各種物理的單證憑據影像等高效準確的信息化推送到線上運行,并從源頭上確保其合法性、真實性、準確性、完整性。未來,區塊鏈的研究會有兩個方向,一個是底層研究,注重計算機互聯網、信息互聯網、實物互聯網;二是應用層面,我們可以有積分、Token的模式,但不要再挖礦、造幣,因為很難落地。[2018/4/21]

目標

這個項目繼承了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

Tags:區塊鏈UST以太坊SOLID區塊鏈專業好不好就業Sensitrust如何購買以太坊幣Solidex

MATIC
數據:2020 年 LocalBitcoins 在俄羅斯、委內瑞拉以及哥倫比亞的交易量占據其 41% 的市場份額_BIT

鏈聞消息,比特幣點對點交易平臺LocalBitcoins表示,2020年LocalBitcoins的主要市場發生在俄羅斯、委內瑞拉以及哥倫比亞三個國家.

1900/1/1 0:00:00
IPFS/FIL幣挖礦跟BTC挖礦有什么不同?是否可以投資?_Filecoin

Filecoin主網上線后,filecoin的人氣更高。業界內外人士對filecoin都有極大的熱情.

1900/1/1 0:00:00
大盤下跌,應當賣出還是買入呢_BTC

1、政策及市場指標 灰度今天加倉了3000多枚比特幣,灰度這種買入方法不太像常規的機構。一般機構會在底部吸貨然后拉盤出貨,而灰度在312之后持續買入,對于當前的幣價并沒有恐高的跡象.

1900/1/1 0:00:00
馮博毅:12.9比特幣打開下行通道、多軍能否扳回一城?_AND

馮博毅:12.9比特幣打開下行通道、多軍能否扳回一城?當你在到處尋找文章看建議的時候,證明一點,你在虧損!要么就是對自己操作手法不自信或者結果不理想,我們把資金拿來做投資是為了獲得收益.

1900/1/1 0:00:00
defi鯨魚的自我修養:從百萬到千萬之路_DEF

大家好,我是佩佩,開頭先轉一段比較認同的話,無腦梭還是挺考驗時運,要想把defi真正玩轉是有很高門檻的,而這也會是defi市場一個小小的瓶頸,層出不窮的金融產品,對大部分人是理解不來的.

1900/1/1 0:00:00
基于波卡的 DeFi 操作系統 Reef Finance 與 L2 解決方案提供商 Matic 達成合作_RC2

鏈聞消息,基于波卡的DeFi操作系統ReefFinance宣布與以太坊第二層擴展解決方案提供商MaticNetwork合作,以實現跨鏈DeFi.

1900/1/1 0:00:00
ads