比特幣行情 比特幣行情
Ctrl+D 比特幣行情
ads
首頁 > FIL幣 > Info

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

Author:

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

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

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

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

金色午報|7月15日午間重要動態一覽:7:00-12:00關鍵詞:建設銀行、區塊鏈電子合同、Uniswap

1.Filecoin主網上線再次延遲:預計8月31日-9月21日上線。

2.韓國將利用區塊鏈技術建設智能型政府。

3.法院五次中止吳忌寒變更法人行政訴訟。

4.BitMEX母公司宣布創建新控股結構。

5.廣州市金融局與多家單位合作 在金融領域應用區塊鏈等新技術。

6.摩根溪聯合創始人買入LINK 但剛好抄到了山頂上。

7.比特幣小幅震蕩,日內最低報9210美元,最高報9275美元。[2020/7/15]

Fe

金色午報 | 6月30日午間重要動態一覽:7:00-12:00關鍵詞:河北、TikTok、貴陽、IBM、Kraken

1. 河北:雄安新區將加快開發區塊鏈非稅收入和票據系統。

2. 以太坊錢包Argent不再替用戶支付Compound等應用的Gas費。

3. TikTok可能正在窺探比特幣地址和金融敏感數據。

4. 貴陽市發布《貴陽主權區塊鏈技術與應用》白皮書。

5. 富國銀行股票策略主管:拜登若當選美國總統將引發股市震蕩,或殃及比特幣。

6. IBM推出開源工具,助力抗疫數據分析。

7. 韓國將改變《電子簽名法》以促進區塊鏈證書使用。

8. 加密交易所Kraken出現美國國內美元存款延遲問題。

9. 澳交所區塊鏈清算系統或推遲兩年實施。[2020/6/30]

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

金色實力派 | 中國氣象局朱定西:區塊鏈技術可以為氣象數據的交換和共享背書:金色財經報道,在今日舉行的金色實力派直播中,針對“您認為如何更好的參與區塊鏈與新基建的浪潮,打開區塊鏈的正確姿勢是什么?后續有哪些發展計劃?”的問題,中國氣象局氣象服務首席朱定西表示,依靠創新的技術變革,在氣象服務機構和氣象服務對象以及行業用戶之間建立起高效、精準、活躍的產業平臺,能夠使我們息息相關的氣象服務煥發新的活力。氣象從業者可以主動擁抱行業發展的新變化,借助社會化觀測和區塊鏈技術結合的核心能力,提高氣象服務精準度,從而提升廣大人民群眾的滿意度。區塊鏈技術可以為氣象數據的交換和共享背書,氣象局可以以開放的姿態,借此技術提高國際氣象合作的效率,也可以在一定程度上突破現有觀測數據的瓶頸,為氣象事業的發展開辟新的道路。毫無疑問,這樣的新技術正在成為氣象行業的新的發展方向。[2020/5/21]

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

金色財經訊:北美證券管理協會密切關注ICO,并警告加密貨幣風險。[2017/10/19]

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

目標

這個項目繼承了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區塊鏈以太坊LIDTrust AI區塊鏈的未來發展前景論文比特幣以太坊行情分析SOLID幣

FIL幣
加密貨幣:加密貨幣社區的三類建設者:定居者、探險家與規劃師

加密貨幣項目社區建設需要什么樣的人才?撰文:PeterPan,就職于加密貨幣投資機構1kx翻譯:盧江飛社區建設,是將一群人聚集在一起以實現一系列集體目標的過程.

1900/1/1 0:00:00
比特幣:探長說幣:比特幣不過是一串數字代碼,憑什么值萬億?

2020年是最具有爭議的一年,從全球疫情爆發、實體產業滑坡、美股原油大跌、數字貨幣試點、M國大選混亂等等一系列的現象,導致了2020年是最具有爭議的一年.

1900/1/1 0:00:00
NFT:DeFi是如何推動NFT增長達到歷史新高的?

在關注了DeFi的發展之后,NFT的增長也引起了人們的關注。但是,這兩個類別之間的聯系可能遠比一些人意識到的要更緊密。NFT發展的真正先驅是基于ERC-20標準構建的加密朋克.

1900/1/1 0:00:00
區塊鏈:區塊鏈技術生態持續優化 五大趨勢不容忽視

隨著區塊鏈被納入新基建,區塊鏈的發展備受關注。“過去一年,區塊鏈的污名化、理想化問題已解決。”中國信息通信研究院云計算與大數據研究所所長何寶宏在不久前舉辦的《讀懂區塊鏈》新書發布會上發表了這一觀.

1900/1/1 0:00:00
比特幣:比特幣做多價位回彈,鯨魚的減少及散戶交易增多顯示行情可能上漲

除了拉丁美洲密碼交易所Bitso籌集了6200萬美元的巨額資金,以幫助其進行國際擴張之外,今天沒有太多值得關注的信息。12月6日和7日,比特幣再次未能突破1.95萬美元的阻力.

1900/1/1 0:00:00
DAO:關于DAO:權利下放的自治組織

原文標題:OnDAOs:DecentralizedAutonomousOrganizations原文鏈接:https://medium.

1900/1/1 0:00:00
ads