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

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

Author:

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

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

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

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

金色晨訊 | 12月15日隔夜重要動態一覽:21:00-7:00關鍵詞:拜登、CBDC、灰度、IOTA

1.拜登正式贏得美國大選;

2.法國央行將進行八項實驗以測試CBDC潛力;

3.灰度資產管理總規模達到130億美元;

4.CME比特幣期貨12月合約收漲近7%;

5.IOTA Chrysalis公共測試網已上線;

6.美股三大指數收盤漲跌互現 區塊鏈概念股漲跌各異;

7.川財證券研究所所長:數字人民幣將使銀行IT體系面臨重建;

8.比特幣夜間持續上漲,日內最低報19111.56美元,最高報19350美元。[2020/12/15 15:12:28]

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

金色財經行情播報 | BTC昨夜高位橫盤,持續震蕩上行:據火幣行情顯示,BTC昨晚突破前高11,800USDT后快速拉升至11,850USDT一線開始高位橫盤整理。于早間嘗試突破11,900USDT整數關口后行情出現了相對較大的波動,最低下探到11,621USDT,后穩步上漲回到11,850USDT區間高位橫盤整理。截至10:00,火幣平臺的主流幣的具體表現如下。[2020/8/7]

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

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

金色午報 | 7月27日午間重要動態一覽:7:00-12:00關鍵詞:華為、波卡、MakerDAO、現貨黃金

1. 華為再申請區塊鏈專利“區塊鏈賬本的存儲方法及裝置”;

2. 波卡第三輪公募已募集3481個比特幣,價值3500萬美元;

3. MakerDAO將正式降低USDC-A清算線為110%;

4. 現貨黃金價格刷新歷史新高;

5. 外匯局跨境區塊鏈平臺試點累計放款金額達360億美元;

6. 國際電信聯盟第一批物聯網區塊鏈標準正式出爐;

7. ETC Core官方:ETC延續了ETH擴展比特幣功能的愿景;

8. BTC現報10221美元,市值前十幣種均出現上漲。[2020/7/27]

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

金色財經現場報道 Emotiq首席執行官Joel Reymont:解放區塊鏈需要使用自然語言:金色財經前方記者實時報道,第二屆全球金融科技與區塊鏈中國峰會于4月12日在上海召開,CEmotiq首席執行官Joel Reymont在峰會上表示,智能合約目前存在漏洞,利用非常好的計算效能去尋找系統漏洞和不足,然后對BUG和不足進行修改,有時候作為計算機博士也不一定能做到。如何無障礙的使用區塊鏈,真正解決方案并不是把系統和程序做的越來越復雜,再去做另外一個程序來分析這個程序。要解放區塊鏈,就是要使用自然語言。這個解決方法我們已經用了很多世紀,就如同在法務合同上,幾百年人類用自然語言書寫法律合同,自己本身就可以讀取,自己就可以理解這是什么意思。[2018/4/12]

在開發的早期階段,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

Tags:UST區塊鏈USD以太坊trustwallet錢包官網下載區塊鏈是什么多選題UUSD幣以太坊硬幣模版

MANA
金色觀察 | 幣價飆升挖礦競爭升級 礦企版圖擴展動作頻頻_區塊鏈

隨著比特幣的上漲,涉及加密領域的公司股價也在飆升,包括代幣產品開發公司、礦企、數字概念股、錢包提供商及支付和交易解決方案提供商.

1900/1/1 0:00:00
蘇州數字人民幣紅包進行時 四大支付場景梳理_APP

蘇州數字人民幣紅包測試活動仍在進行中,作為此次雙十二購物節的重頭戲之一,蘇州市共發放了10萬個總計2000萬元的數字人民幣消費紅包.

1900/1/1 0:00:00
全球智慧城市趨勢 解碼萬億美元大市場的機遇與格局_cybervein

智慧城市是什么?為什么我們要建設智慧城市?它如何影響政府、企業與公民個人?近幾年數字經濟領域的熱詞為何非它莫屬?巨頭紛紛布局目的在哪里?CyberVein作為智慧城市的構建者.

1900/1/1 0:00:00
專訪Kava CEO Brian Kerr:目前以太坊是無可爭議的領導者 但它終將會衰落_HARD

?2020 年下半年,數字貨幣市場迎來了空前的繁榮,Compound“流動性挖礦”的推出,促使DeFi(去中心化金融)大爆發。隨后以太坊2.0信標鏈主網正式啟動,為市場帶來了更加廣闊的想象空間.

1900/1/1 0:00:00
12.19晚間行情:BTC 小區間橫盤該如何操作_okex

文章系金色財經專欄作者幣圈北冥供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別防上當.

1900/1/1 0:00:00
Tezos的“Delphi”升級將 Gas 成本降低了 75%_Tezos

Tezos 上新升級的“Delphi”大大提升了其區塊鏈對 DeFi 應用程序的吸引力。 概要 Tezos 區塊鏈成功實現“Delphi”升級;升級后,Gas 消耗降低了約 75% ;開發者可以.

1900/1/1 0:00:00
ads