以太坊價格 以太坊價格
Ctrl+D 以太坊價格
ads
首頁 > 幣贏 > Info

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

Author:

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

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

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

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

金色熱搜榜:TRX居于榜首:根據金色財經排行榜數據顯示,過去24小時內,TRX搜索量高居榜首。具體前五名單如下:TRX、HT、ETC、DASH、BTC。[2020/11/1 11:22:43]

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

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

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

金色財經挖礦數據播報 | BCH今日全網算力下降4.61%:金色財經報道,據蜘蛛礦池數據顯示:

BTC全網算力120.544EH/s,挖礦難度15.78T,目前區塊高度637426,理論收益0.00000839/T/天。

ETH全網算力187.625TH/s,挖礦難度2410.87T,目前區塊高度10383438,理論收益0.00864397/100MH/天。

BSV全網算力1.780EH/s,挖礦難度0.29T,目前區塊高度641971,理論收益0.00050563/T/天。

BCH全網算力2.729EH/s,挖礦難度0.38T,目前區塊高度642221,理論收益0.00032975/T/天。[2020/7/3]

這個項目繼承了Vyper的許多東西。也就是說,它具有Python語法,并強調語言安全性。因此,Fe的語法很大程度上受Python啟發。允許使用Python的開發人員熟悉的可讀性和表達性代碼。Fe還使用靜態類型,限制動態行為以減少footguns并提高安全性。

金色相對論 | 中國萬網創始人:區塊鏈可能會顛覆整個金融產業:在本期金色相對論之掌柜調查署上,針對區塊鏈是否有機會顛覆互聯網問題,中國萬網創始人張向東表示:不一定是顛覆互聯網,但是可能會顛覆整個金融產業。互聯網是區塊鏈的基礎,它們不在一個平面上。區塊鏈的技術建筑于互聯網之上。人類社會的技術就是這樣一層一層疊加起來的。[2019/4/11]

在開發的早期階段,Fe和Vyper之間的差異仍然有限。現在,人們會注意到,Fe從Rust借來了一些語法屬性。隨著我們繼續添加新功能,Fe可能會開始與Rust更加相似。

除了語言本身之外,我們還采取步驟來確保編譯器實現正確。換句話說,應該高度相信由Fe編譯器生成的可執行代碼將相對于語言規范正確運行。

分析 | 金色盤面:XRP/BTC 止跌企穩 反彈壓力較大:金色盤面綜合分析:XRP/BTC 4小時K線圖,在之前BTC下跌過程中,有過逆勢表現,之后出現深幅調整,目前跌勢趨緩,MACD掉頭向上,但從籌碼分布看,上方壓力還是較大。[2018/8/9]

下面列出了我們為確保正確性而采取的一些步驟:

編寫語言規范

如果沒有要檢查的規范,就不能證明編譯器是正確的。因此,我們已經開始編寫該語言的規范,該規范大量引用自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

Tags:UST以太坊BTCDITWanderlustilv幣未來會超過以太坊嗎ubtc幣最新價格JustLiquidity

幣贏
BOSON:首發 | 以太坊到底有什么價值?如何布局ETH?

原文標題:ETH的簡要價值分析與基本布局方法本文由尺度區塊鏈原創,授權金色財經首發。本文會以通俗的語言講解最基本的ETH投資布局方法,由于內容過于真實和簡單,很多人反而無法執行.

1900/1/1 0:00:00
ROL:晚間必讀5篇 | FinCEN非托管加密錢包“擬議規則”意見征集期止 反對聲音明顯

1.金色觀察 | FinCEN非托管加密錢包“擬議規則”意見征集期止 反對聲音明顯FinCEN于2020年12月底發布的關于涉及可兌換虛擬貨幣或數字資產的特定交易要求的擬議規則制定的通知.

1900/1/1 0:00:00
GATE:“Gavin:參與平行鏈競拍的關鍵是 你的 DOT 不會轉賬給任何人”

原文標題:“Gavin:參與平行鏈競拍的關鍵是,你的 DOT 不會轉賬給任何人”|「林言林語」第三彈 波卡創始人林嘉文(Gavin Wood)波卡希望創造更通用和更抽象的模型.

1900/1/1 0:00:00
Uniswap:金色DeFi日報 | UNI 24小時漲近26%

DeFi數據 1.DeFi總市值:201.53億美元 市值前十幣種漲跌幅,金色財經制圖,數據來源Coingecko2.過去24小時去中心化交易所的交易量:10.7億美元 金色晨訊 | 1月9日隔.

1900/1/1 0:00:00
UNI:Uniswap上美股的交易量有多大?

美股是現在當之無愧的交易天堂,任何一個市場都無法與當前美股流動性相媲美。bilibili 股價連創新高,目前市值已經突破 260 億美元,新能源汽車龍頭特斯拉更是瘋狂,市值 6160 億美元,無.

1900/1/1 0:00:00
數字人:視頻 | 幣圈2020迷惑行為大賞:傷害性不大 侮辱性極強

寫在前面:心急的朋友可以直接拉到視頻最后,這個獎,非你莫屬! 觀眾朋友們 我們是張姨楊姨 這里是bbtv 2020年度頒獎典禮的現場減半載著幸福來.

1900/1/1 0:00:00
ads