Rust語言發展如火如圖,以太坊生態內的編程語言都是Solidity(或者Vyper),但Rust的優越性一直備受加密貨幣項目和開發者喜愛,那以太坊生態怎么辦?以太坊開發了Fe,一個和Rust聯系起來的語言。為安全性出現的語言。
以下為開發者Christoph敘述Fe的文章,金色財經編譯呈現,以饗讀者。
如今,以太坊網絡上部署的大多數應用程序都是用Solidity編寫的。我們認為,Solidity團隊做得很好,做了很多努力保持其當前的市場份額。但是,我們也認為,如果開發人員又更多選擇將對生態系統產生積極影響。
金色熱搜榜:LINK居于榜首:根據金色財經排行榜數據顯示,過去24小時內,LINK搜索量高居榜首。具體前五名單如下:LINK、BCD、TRUE、BCH、MXC。[2020/7/7]
Fe
我們很高興為以太坊生態系統宣布一種名為Fe的新的智能合約語言。該語言最初是對Vyper編譯器的重寫,旨在解決Consensys在《Vyper安全性評論》中強調的問題。
雖然最初的目標是使用Vyper編譯器,但最終,語言開始出現語法差異,因此決定使用新名稱進行明確命名。Fe出生了。
“Fe”是元素周期表中化學元素鐵的字母。Fe傳達了一種耐用感,這強化了編譯器正確性的概念。Rust在Fe上形成,這將名稱與編寫Fe編譯器的Rust語言聯系起來。
金色晚報 | 4月1日晚間重要動態一覽:12:00-21:00關鍵詞:工商銀行、云南、陜西、GitHub
1. 習近平: 運用大數據、區塊鏈、AI等前沿技術推動城市管理創新;
2. 工商銀行加快區塊鏈技術在金融領域的研發應用;
3. 云南人民政府新聞辦公室:全力推行區塊鏈發票;
4. 陜西:推動區塊鏈等新技術與“一帶一路”沿線國家合作
5. 2020年區塊鏈行業人才供給現狀分析 年輕高學歷人才是主力軍;
6. GitHub計劃將大量開源代碼以膠卷形式存儲在挪威冰山礦洞中
7. Tether首席技術官:穩定幣可以為DeFi注入流動性和穩定性;
8. 媒體:韓國監管機構或禁止DeFi平臺;
9. 浙商銀行:已有1項區塊鏈專利授權 區塊鏈應用不涉及數字貨幣。[2020/4/1]
目標
金色晨訊丨3月31日隔夜重要動態一覽:21:00-7:00關鍵詞:法國央行、以太坊2.0、比特幣監管
1.法國央行征集數字貨幣實驗項目。
2.前社區主持人StevenReynolds對幣安提起訴訟。
3.V神:以太坊2.0團隊或在4月推出多客戶端測試網。
4.澳本聰:法律即將適用于比特幣。
5.美股三大股指悉數收漲,區塊鏈概念股漲跌各異。
6.Tether在以太坊上增發1.2億USDT 已授權未發行。
7.CME比特幣期貨4月合約收跌4.5%。
8.CFTC前主席:中本聰白皮書不包含比特幣旨在脫離政府或監管網絡的概念。
9.比特幣夜間持續上漲,最高觸及6600美元。[2020/3/31]
這個項目繼承了Vyper的許多東西。也就是說,它具有Python語法,并強調語言安全性。因此,Fe的語法很大程度上受Python啟發。允許使用Python的開發人員熟悉的可讀性和表達性代碼。Fe還使用靜態類型,限制動態行為以減少footguns并提高安全性。
金色晨訊 | 3月17日隔夜重要動態一覽:21:00-7:00關鍵詞:俄羅斯、美國、星巴克、Bakkt
1.俄羅斯央行法律高管:俄羅斯法案將禁止發行和流通加密貨幣;
2. 美國貨幣監察長辦公室任命Coinbase高管為首席運營官;
3. 星巴克為部分應用程序用戶集成Bakkt付款;
4. 意大利紅十字會發起加密貨幣籌款以對抗疫情;
5. Bakkt B輪融資籌集3億美元 微軟、Pantera參與投資;
6. Bitfinex CTO:隨著全球央行政策的失敗 比特幣將證明其價值;
7. 中保協:區塊鏈等發展為互聯網非車險場景化產品創新等提供技術支持;
8. BTC現報4983美元,日內跌幅2.99%,前十主流幣普跌。[2020/3/17]
在開發的早期階段,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區塊鏈以太坊比特幣justice幣最新消息區塊鏈是什么概念以太坊硬幣ETHD程序員把7500個比特幣當垃圾扔掉
尊敬的社區用戶: 霍比特交易所于11月30日08:00-12月5日08:00舉行的“13,200U合約大獎,霍比特給你驚喜”的活動,獎勵已發放完畢,請注意查收.
1900/1/1 0:00:00IPFS靠譜嗎?filecoin挖礦真的那么賺嗎?IPFS是不是合法的?伴隨著Filecoin發布步伐的鄰近,Filecoin做為今年最深受希望的區塊鏈項目.
1900/1/1 0:00:00DearBiONEusers,TheBiONEplatformhasnowresumedthechargingandwithdrawalbusinessofTRXandrelatedTRC20s.
1900/1/1 0:00:00DearBiONEusers,HMRwillofficiallydebutontheBiONEExchangeat15:00(UTC8)onDecember11.
1900/1/1 0:00:00親愛的用戶: 應項目方要求,HomiEx將于12月9日13:00隱藏JST/USDT、WIN/USDT幣對,因此將會導致兩幣對深度不足,請廣大用戶知悉.
1900/1/1 0:00:00火幣集團與議定書實驗室合作,宣布啟動火幣Filecoin孵化中心,提供1000萬美元的資金,用于支持Filecoin生態系統.
1900/1/1 0:00:00