Rust語言發展如火如荼,以太坊生態內的編程語言都是Solidity(或者Vyper),但Rust的優越性一直備受加密貨幣項目和開發者喜愛,那以太坊生態怎么辦?以太坊開發了Fe,一個和Rust聯系起來的語言。為安全性出現的語言。
以下為開發者Christoph敘述Fe的文章,金色財經編譯呈現,以饗讀者。
如今,以太坊網絡上部署的大多數應用程序都是用Solidity編寫的。我們認為,Solidity團隊做得很好,做了很多努力保持其當前的市場份額。但是,我們也認為,如果開發人員又更多選擇將對生態系統產生積極影響。
金色晨訊 | 12月15日隔夜重要動態一覽:21:00-7:00關鍵詞:拜登、CBDC、灰度、IOTA
1.拜登正式贏得美國大選;
2.法國央行將進行八項實驗以測試CBDC潛力;
3.灰度資產管理總規模達到130億美元;
4.CME比特幣期貨12月合約收漲近7%;
5.IOTA Chrysalis公共測試網已上線;
6.美股三大指數收盤漲跌互現 區塊鏈概念股漲跌各異;
7.川財證券研究所所長:數字人民幣將使銀行IT體系面臨重建;
8.比特幣夜間持續上漲,日內最低報19111.56美元,最高報19350美元。[2020/12/15 15:12:28]
我們很高興為以太坊生態系統宣布一種名為Fe(讀“ fee”)的新的智能合約語言。該語言最初是對Vyper編譯器(在Rust中)的重寫,旨在解決Consensys在《Vyper安全性評論》中強調的問題。
金色財經行情播報 | BTC昨夜高位橫盤,持續震蕩上行:據火幣行情顯示,BTC昨晚突破前高11,800USDT后快速拉升至11,850USDT一線開始高位橫盤整理。于早間嘗試突破11,900USDT整數關口后行情出現了相對較大的波動,最低下探到11,621USDT,后穩步上漲回到11,850USDT區間高位橫盤整理。截至10:00,火幣平臺的主流幣的具體表現如下。[2020/8/7]
雖然最初的目標是使用Vyper編譯器,但最終,語言開始出現語法差異,因此決定使用新名稱進行明確命名。Fe出生了。
“ Fe”是元素周期表中化學元素鐵的字母。Fe傳達了一種耐用感,這強化了編譯器正確性的概念。Rust在Fe上形成,這將名稱與編寫Fe編譯器的Rust語言聯系起來。
金色午報 | 7月27日午間重要動態一覽:7:00-12:00關鍵詞:華為、波卡、MakerDAO、現貨黃金
1. 華為再申請區塊鏈專利“區塊鏈賬本的存儲方法及裝置”;
2. 波卡第三輪公募已募集3481個比特幣,價值3500萬美元;
3. MakerDAO將正式降低USDC-A清算線為110%;
4. 現貨黃金價格刷新歷史新高;
5. 外匯局跨境區塊鏈平臺試點累計放款金額達360億美元;
6. 國際電信聯盟第一批物聯網區塊鏈標準正式出爐;
7. ETC Core官方:ETC延續了ETH擴展比特幣功能的愿景;
8. BTC現報10221美元,市值前十幣種均出現上漲。[2020/7/27]
這個項目繼承了Vyper的許多東西。也就是說,它具有Python語法,并強調語言安全性。因此,Fe的語法很大程度上受Python啟發。允許使用Python的開發人員熟悉的可讀性和表達性代碼。Fe還使用靜態類型,限制動態行為以減少footguns并提高安全性。
金色財經現場報道 Emotiq首席執行官Joel Reymont:解放區塊鏈需要使用自然語言:金色財經前方記者實時報道,第二屆全球金融科技與區塊鏈中國峰會于4月12日在上海召開,CEmotiq首席執行官Joel Reymont在峰會上表示,智能合約目前存在漏洞,利用非常好的計算效能去尋找系統漏洞和不足,然后對BUG和不足進行修改,有時候作為計算機博士也不一定能做到。如何無障礙的使用區塊鏈,真正解決方案并不是把系統和程序做的越來越復雜,再去做另外一個程序來分析這個程序。要解放區塊鏈,就是要使用自然語言。這個解決方法我們已經用了很多世紀,就如同在法務合同上,幾百年人類用自然語言書寫法律合同,自己本身就可以讀取,自己就可以理解這是什么意思。[2018/4/12]
在開發的早期階段,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
隨著比特幣的上漲,涉及加密領域的公司股價也在飆升,包括代幣產品開發公司、礦企、數字概念股、錢包提供商及支付和交易解決方案提供商.
1900/1/1 0:00:00蘇州數字人民幣紅包測試活動仍在進行中,作為此次雙十二購物節的重頭戲之一,蘇州市共發放了10萬個總計2000萬元的數字人民幣消費紅包.
1900/1/1 0:00:00智慧城市是什么?為什么我們要建設智慧城市?它如何影響政府、企業與公民個人?近幾年數字經濟領域的熱詞為何非它莫屬?巨頭紛紛布局目的在哪里?CyberVein作為智慧城市的構建者.
1900/1/1 0:00:00?2020 年下半年,數字貨幣市場迎來了空前的繁榮,Compound“流動性挖礦”的推出,促使DeFi(去中心化金融)大爆發。隨后以太坊2.0信標鏈主網正式啟動,為市場帶來了更加廣闊的想象空間.
1900/1/1 0:00:00文章系金色財經專欄作者幣圈北冥供稿,發表言論僅代表其個人觀點,僅供學習交流!金色盤面不會主動提供任何交易指導,亦不會收取任何費用指導交易,請讀者仔細甄別防上當.
1900/1/1 0:00:00Tezos 上新升級的“Delphi”大大提升了其區塊鏈對 DeFi 應用程序的吸引力。 概要 Tezos 區塊鏈成功實現“Delphi”升級;升級后,Gas 消耗降低了約 75% ;開發者可以.
1900/1/1 0:00:00