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

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

Author:

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

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

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

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

金色晨訊 | 11月23日隔夜重要動態一覽:21:00-7:00關鍵詞:Bakkt、Godaddy、存款合約地址、美國法院

1.上周Bakkt比特幣月度期貨交易額較前一周上漲73%;

2.中國證券報:應對比特幣等采取較為嚴格的監管;

3.Neo創始人:疫情下比特幣被視為穩定的主流資產;

4.過去一周基于Godaddy托管的幾個加密貨幣平臺遭到攻擊;

5.以太坊2.0存款合約地址余額已超26萬ETH進度達50.46%;

6.美國法院:以太坊開發者Virgil Griffith對其指控的駁回動議無效;

7.比特幣夜間持續上漲,最低報18248美元,最高報18680美元。[2020/11/23 21:44:11]

Fe

金色熱搜榜:HC居于榜首:根據金色財經排行榜數據顯示,過去24小時內,HC搜索量高居榜首。具體前五名單如下:HC、XMR、IOST、DASH、HT。[2020/11/13 20:45:01]

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

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

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

金色財經挖礦收益播報丨今日全網算力下跌3.26%:金色財經報道,據OKEx礦池數據顯示,今日BTC全網算力約94.13EH/s,全網難度約15.14T,BTC當前塊高631126。

今日全網算力繼續下跌3.26%,當前BTC收益(PPS):0.00000831BTC/T/天。預測下次難度13.97T(-7.72%),距離調整還剩還有15天。[2020/5/21]

目標

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

金色相對論 | Franklyn Richards:核心團隊一直專注于萊特幣網絡的穩定性和可持續性:在本期金色相對論之“閃電網絡:Hello,TPS”上,金色財經合伙人佟揚對話Litecoin Haus CEO?Franklyn Richards,針對萊特幣在閃電網絡上都在哪些方面做了應用探索呢?未來還會在閃電網絡方面做哪些布局的問題,Franklyn Richards表示,萊特幣核心團隊一直專注于萊特幣網絡的穩定性和可持續性,隨后是閃電網絡以及兩個其他選擇。我們希望這些網絡可以持續,1000年后仍可以為用戶創造價值。看到比特幣和萊特幣之間的協同作用,這兩個加密貨幣都在推動改變與促進大規模應用中獲益。就像segwit的案例一樣,現在萊特幣在隱私交易和MimbleWimble協議中也是如此。只要不回危及到核心網絡的持續發展我們會愿意進行閃電網絡等其他技術方面的研究,取得成功的話對于整個行業也是非常有益的。[2019/3/7]

在開發的早期階段,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以太坊萊特幣LIDtrustwallet怎么充值以太坊價格今日行情美元實時2019年萊特幣挖礦一天賺多少SOLID價格

幣贏
DEFI:金色DeFi日報 | yearn.finance為DAI和USDC金庫推出許可存款功能_BAN價格

DeFi數據 1.DeFi總市值:182.56億美元市值前十幣種漲跌幅,金色財經制圖,數據來源Coingecko2.過去24小時去中心化交易所的交易量:5.2億美元交易量排名前十的DEX數據來源.

1900/1/1 0:00:00
GAT:Gate.io 將上線 Hegic (HEGIC)交易的公告_GATE

Gate.io將于2020年12月09日16:00上線Hegic(HEGIC)交易。Hegic是用于無信任地創建,維護和結算對沖合約的協議.

1900/1/1 0:00:00
區塊鏈:為什么需要波卡?它解決了哪些問題?_區塊鏈運用的技術不包括

眾所周知,DeFi是2020年加密貨幣行業的大熱點,而且DeFi的發展和普及確實深刻影響了整個加密貨幣行業,它是區塊鏈行業的一個重要賽道.

1900/1/1 0:00:00
ION:BiONE is launched in DMDC_Bio Passport

DearBiONEusers,DMDCwillofficiallylaunchtheBiONEExchangeInnovationZoneat17:00(UTC8)onNovember5.

1900/1/1 0:00:00
DEFI:去中心化保險起到了什么作用?_DeFiAI

近期在一波漲勢的推動下,去中心化保險的相關代幣開始發力,雖然盤面在下跌,但讓人們開始關注到保險這個賽道.

1900/1/1 0:00:00
OIN:為什么說IPFS/Filecoin是當前幣圈領域最火熱的項目?_COI

2020年還有20多天的時間就要結束了,這一年包括5G、人工智能、大數據、芯片計算在內的數字經濟產業在國內外資本市場聯動下迅速崛起——IPFS更加不例外隨著IPFS的激勵層Filecoin于14.

1900/1/1 0:00:00
ads