買比特幣 買比特幣
Ctrl+D 買比特幣
ads
首頁 > AAVE > Info

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

Author:

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

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

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

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

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

ETH全網算力181.677TH/s,挖礦難度2285.65T,目前區塊高度10106403,理論收益0.00845281/100MH/天。

BTC全網算力94.443EH/s,挖礦難度15.14T,目前區塊高度631122,理論收益0.00000830/T/天。

BSV全網算力1.768EH/s,挖礦難度0.26T,目前區塊高度635816,理論收益0.00050904/T/天。

BCH全網算力2.206EH/s,挖礦難度0.32T,目前區塊高度636045,理論收益0.00040789/T/天。[2020/5/21]

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

金色晨訊 | 1月23日隔夜重要動態一覽:21:00-7:00關鍵詞:海關總署、Bakkt、前CFTC主席、沃達豐、閃電火炬

1. 海關總署將用區塊鏈等新技術支撐“科技興關”。

2. Bakkt消費者應用程序將在今年推出,或更類似PayPal。

3. 前CFTC主席J. Christopher Giancarlo的數字美元項目將重點關注美國央行數字貨幣優勢。

4. 印度央行取消“英國電信巨頭沃達豐”數字付款錢包m-pesa授權證書。

5. 以太坊2.0抵押合約已準備就緒。

6. 閃電火炬已再次啟動,三天內傳遞91人,遍及38個國家。

7. 委內瑞拉公民正出售政府空投的石油幣。

8. 江卓爾:BCH幾個主要礦池準備實施一次短期捐贈計劃。

9. BTC現報8647美元,近24小時下跌0.75%,市值為1567.39億美元。[2020/1/23]

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

分析 | 金色盤面:BTC/USDT 出現反彈走勢:金色盤面綜合分析:BTC/USDT15分鐘K線圖在中午形成背離反彈后,并未快速拉升,而是橫盤震蕩,目前受限于MA36壓力,而從30分鐘K線圖的DMI看,這里同樣出現了背離走勢,所以不排除多頭在這里組織抵抗,密切關注15分鐘的MA36能否突破。[2018/8/8]

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

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

金色財經獨家消息:區塊鏈概念股的出現對于區塊鏈并不是什么好事:中網載線因區塊鏈概念,致使股價暴漲7倍,針對這種現象,金色財經就此事對鏈圈大咖進行了采訪,POW123創始人潘鵬程對此事發表了看法,他表示:“未來會有越來越多的公司借助這種手段讓自己公司的股票漲上去。”而鏈圈資深專欄作家幣學者也對此事發表了看法,幣學者表示,區塊鏈已經成為一個熱點,蹭到這個熱點,股價馬上飆升,這立竿見影的效果讓很多企業不想錯過此機會,這并沒有什么好奇怪的。但是在美國已經有企業因為這個被處罰,相信中國也會對此現象進行治理,不過眾多公司蹭區塊鏈的熱點對于區塊鏈而言反而并不是什么好事,也許這就是熱惹禍的根由。[2018/1/5]

在開發的早期階段,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以太坊區塊鏈LIDtrustwallet錢包提幣提不出以太坊硬幣圖片區塊鏈工程好就業嗎ethylidene

AAVE
cybervein:全球智慧城市趨勢 解碼萬億美元大市場的機遇與格局_Shiberus Inu

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

1900/1/1 0:00:00
ODI:虛擬資產的未來:可分割的NFT代幣_虛擬資產nft

我們目前生活的世界,最有價值的資產不再是有形的。盡管虛擬資產已經存在多年,但直到最近這些數字商品才成為一種新的資產類別。現在,隨著區塊鏈技術的結合,虛擬資產不再有機會僅限于傳統用例,例如游戲.

1900/1/1 0:00:00
COCO:首發 | 螞蟻礦池田鑫:螞蟻城堡創建全球最受信任的礦機在線交易市場_COS

螞蟻礦池聯合創始人田鑫 12月19日下午,“尋找牛市盛宴同行者—印比特中國行杭州站”活動在杭州東方君悅酒店舉行,本次活動由印比特和金色財經聯合主辦.

1900/1/1 0:00:00
CEN:還有2天FinCEN錢包監管落地?交易平臺和資本是什么反應?_Cens World

美國金融犯罪執法網絡(FinCEN)在 2020 年 12 月 23 日發布了一份文件,文件涉及可兌換虛擬貨幣或數字資產的某些交易的要求.

1900/1/1 0:00:00
區塊鏈:比特幣明年會到啥程度?_比特幣今日行情實時價格走勢圖

狂人本著負責,專注,誠懇的態度用心寫每一篇分析文章,特點鮮明,不做作,不浮夸!本內容中的信息及數據來源于公開可獲得資料,力求準確可靠,但對信息的準確性及完整性不做任何保證,本內容不構成投資建議.

1900/1/1 0:00:00
EARN:獨家視頻 | AC的DeFi擴張之路 下一塊版圖是誰?_USHI

本期由金色財經和Bitouq聯合推出。每周三,周五固定更新。周末不定時更新。 被上天選中了 出生于南非的 AC,并非技術出身,他就讀于南非的斯泰倫博斯大學法學專業,一個偶然的機會,AC 的一個正.

1900/1/1 0:00:00
ads