Rust語言發展如火如荼,以太坊生態內的編程語言都是Solidity(或者Vyper),但Rust的優越性一直備受加密貨幣項目和開發者喜愛,那以太坊生態怎么辦?以太坊開發了Fe,一個和Rust聯系起來的語言。為安全性出現的語言。
以下為開發者Christoph敘述Fe的文章,金色財經編譯呈現,以饗讀者。
如今,以太坊網絡上部署的大多數應用程序都是用Solidity編寫的。我們認為,Solidity團隊做得很好,做了很多努力保持其當前的市場份額。但是,我們也認為,如果開發人員又更多選擇將對生態系統產生積極影響。
金色財經合伙人佟揚:區塊鏈技術不斷的革新積極推動了DeFi的發展:IPFS100.com現場報道,9月20日,由節點咨詢主辦,WAVES、金色財經、IPFS100聯合主辦的“DeFi崛起 引領礦業新思潮”共為創業者大會·鷺島分論壇在廈門舉行。
金色財經合伙人、節點咨詢CEO、IPFS100.comCEO佟揚為論壇做開幕致辭。佟揚表示,流動性挖礦對區塊鏈挖礦領域產生的影響可以說是變革性的,目前全球DeFi生態中已經推出數千個DeFi應用類的產品了,DeFi生態正在蓬勃的發展。另外一方面,區塊鏈技術也在不斷的革新,更是積極推動了DeFi的發展。看似非常火熱的DeFi,是否真的能像我們想的那么成熟,未來其流動性、安全性、應用場景的落地該如何解決,相比DeFi來講,IPFS是否更成熟,包括IPFS是否能夠取代HTTP成為下一代的互聯網協議,我們拭目以待。[2020/9/20]
我們很高興為以太坊生態系統宣布一種名為Fe(讀“ fee”)的新的智能合約語言。該語言最初是對Vyper編譯器(在Rust中)的重寫,旨在解決Consensys在《Vyper安全性評論》中強調的問題。
金色財經行情播報丨BTC大幅下跌 目前處于關鍵支撐位:據火幣行情顯示,今日下午BTC行情大幅下挫,最低探至9317USDT,隨后反彈。日線圖下跌K線形成反包線,將前日和昨日兩日漲幅吞噬,并且打穿了三條均線,空頭表現凌厲。并且日線圖處于關鍵支撐位附近,若跌破9300USDT,BTC或將遭遇空頭更強發力。4小時圖放量下跌,1小時圖均線發散后空頭占優。截至18:30,主流幣的具體表現如下:[2020/6/24]
雖然最初的目標是使用Vyper編譯器,但最終,語言開始出現語法差異,因此決定使用新名稱進行明確命名。Fe出生了。
“ Fe”是元素周期表中化學元素鐵的字母。Fe傳達了一種耐用感,這強化了編譯器正確性的概念。Rust在Fe上形成,這將名稱與編寫Fe編譯器的Rust語言聯系起來。
金色晨訊 | 馬耳他將在明年推出新法規監管加密貨幣行業 歐洲委員會:呼吁引入區塊鏈技術時遵守歐洲立法:1.馬耳他將在明年推出新法規監管加密貨幣行業
2.歐洲委員會:呼吁相關方制定規則保證引入區塊鏈技術時遵守歐洲立法
3.Robinhood考慮監管,正改進包括名稱等營銷材料
4.Thoma Bravo或將收購安全軟件公司McAfee,估值高于42億美元
5.以色列大型金融服務公司GMT加入Ripple網絡
6.區塊鏈游戲平臺PlayGame與迪士尼達成合作
7.任曉波:區塊鏈技術可以實現政府組織結構和工作流程的優化重組
8.Ripple首席執行官:數字資產有助于解決金融包容性問題,中央銀行傾向于進入這個領域
9.BM:認為steem的模式更加合理 因其第21個區塊生產者是輪換的[2018/12/16]
這個項目繼承了Vyper的許多東西。也就是說,它具有Python語法,并強調語言安全性。因此,Fe的語法很大程度上受Python啟發。允許使用Python的開發人員熟悉的可讀性和表達性代碼。Fe還使用靜態類型,限制動態行為以減少footguns并提高安全性。
分析 | 金色盤面:NEO/USDT需要突破22.50才能打開上行空間:金色盤面綜合分析:NEO/USDT短線反彈,目前屬于第三次測試22.50阻力,只有突破此位置才能繼續打開上行空間,否則只能作為下跌過程中的中繼調整。[2018/8/9]
在開發的早期階段,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:USTDEFIEFIDEFJustCarbon GovernanceDeFinomicsSDEFIDeFi Firefly
SEC剛剛開始發起對Ripple的起訴。SEC認為瑞波幣是未登記的證券,但卻從2013年以來一直到今天在非法地銷售.
1900/1/1 0:00:00文章系金色財經專欄作者幣圈北冥供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別防上當.
1900/1/1 0:00:0012月9日晚間,Yearn.finance推特指出,社區發布了第一份非正式季度報告,實際為8月20日—10月20日.
1900/1/1 0:00:00日前,HyperPay已推出數字貨幣支付服務系統HPay,HPay是一款為數字貨幣領域打造的整套支付結算系統,系統適用于各種支付場景,能輕松滿足商戶不同結算要求.
1900/1/1 0:00:00文章系金色財經專欄作者牛七的區塊鏈分析記供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別,謹防上當.
1900/1/1 0:00:00DeFi數據 1.DeFi總市值:183.38億美元 市值前十幣種漲跌幅,金色財經制圖,數據來源Coingecko金色熱搜榜:ONT居于榜首:根據金色財經排行榜數據顯示,過去24小時內.
1900/1/1 0:00:00