Rust語言發展如火如荼,以太坊生態內的編程語言都是Solidity(或者Vyper),但Rust的優越性一直備受加密貨幣項目和開發者喜愛,那以太坊生態怎么辦?以太坊開發了Fe,一個和Rust聯系起來的語言。為安全性出現的語言。
以下為開發者Christoph敘述Fe的文章,金色財經編譯呈現,以饗讀者。
如今,以太坊網絡上部署的大多數應用程序都是用Solidity編寫的。我們認為,Solidity團隊做得很好,做了很多努力保持其當前的市場份額。但是,我們也認為,如果開發人員又更多選擇將對生態系統產生積極影響。
金色午報 | 11月14日午間重要動態一覽:7:00-12:30關鍵詞:中國電信、中國工程院、高盛、北京地鐵
1. 中國電信全面進軍元宇宙;
2. 中國工程院發布區塊鏈“安監鏈”應用案例;
3. 高盛能源研究主管:黃金正成為窮人的加密貨幣;
4. Paradigm成員Anish Agnihotri在GitHub上推出MultiFaucet;
5. 北京地鐵已全線支持數字人民幣,日均使用量約3100人次;
6. 報告:2021年東盟國家加密貨幣投資總額飆升,超越另類借貸;
7. Solana鏈上NFT市場ALL.ART完成450萬美元私募輪融資,Delphi Ventures領投。[2021/11/14 6:50:59]
我們很高興為以太坊生態系統宣布一種名為Fe(讀“ fee”)的新的智能合約語言。該語言最初是對Vyper編譯器(在Rust中)的重寫,旨在解決Consensys在《Vyper安全性評論》中強調的問題。
金色晨訊 | 美國眾議院新工作組將審查區塊鏈和加密貨幣:1.新西蘭將進行首次比特幣房產交易
2.新華每日電訊:區塊鏈有望像移動支付一樣普及
3.以太坊聯合創始人:Tether和Bitfinex的動蕩可能會推動其他穩定幣增長
4.美國眾議院新工作組將審查區塊鏈和加密貨幣
5.上海仁濟醫院通過區塊鏈初步實現上海、寧波兩地電子病歷共享
6.SEC專員:SEC可能會扼殺加密市場增長
7.常熟銀行新一代核心系統使用了區塊鏈等技術
8.IBM高管:區塊鏈技術可幫助中小企業解決貸款問題
9.美國金融犯罪執法網絡:部分DApp應受貨幣發送者法規的約束
10.百度智能云發布兩大區塊鏈創新解決方案
11.列支敦士登通過區塊鏈和代幣相關新法規[2019/5/10]
雖然最初的目標是使用Vyper編譯器,但最終,語言開始出現語法差異,因此決定使用新名稱進行明確命名。Fe出生了。
行情 | 金色盤面:BTC短線出現止跌行為:金色盤面分析師表示:BTC短線出現止跌行為,帶領市場小幅回暖,macd有金叉傾向,短期內關注幣價波動。[2018/8/3]
“ Fe”是元素周期表中化學元素鐵的字母。Fe傳達了一種耐用感,這強化了編譯器正確性的概念。Rust在Fe上形成,這將名稱與編寫Fe編譯器的Rust語言聯系起來。
這個項目繼承了Vyper的許多東西。也就是說,它具有Python語法,并強調語言安全性。因此,Fe的語法很大程度上受Python啟發。允許使用Python的開發人員熟悉的可讀性和表達性代碼。Fe還使用靜態類型,限制動態行為以減少footguns并提高安全性。
今晚江卓爾做客《金色講堂》分享“奧派經濟學與區塊鏈”課程:4月13號晚20:00,《金色講堂》會邀請萊比特礦池負責人江卓爾隊奧派經濟學與區塊鏈之間的本質是什么進行解讀,針對目前區塊鏈繁榮的現象背后的原理是什么進行分析,深入淺出的帶大家了解整個區塊鏈的興起幾繁榮的原因。[2018/4/13]
在開發的早期階段,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:UST區塊鏈以太坊SOLGlobal Digital Cluster Co區塊鏈工程專業學什么女生people幣對標以太坊SolarMineX
今年下半年的流動性挖礦熱潮,引發了加密市場的非理性繁榮,讓很多 DeFi 項目的 Token 價格短時間內暴漲幾十倍、上百倍.
1900/1/1 0:00:00DeFi周刊是金色財經推出的一檔每周DeFi領域的總結欄目,內容涵蓋本周重要的DeFi數據、DeFi項目動態等.
1900/1/1 0:00:00金色財經近期推出金色硬核(Hardcore)欄目,為讀者提供熱門項目介紹或者深度解讀。2020年DeFi大發展,關注DeFi的朋友想必聽說過Token Terminal這個工具,Token Te.
1900/1/1 0:00:00太長不看:如今,許多流動性挖礦項目都依賴于 DeFi 借貸協議。DeFi 借貸協議被視為一種相對安全成熟的利用密碼學資產創造收益的方式.
1900/1/1 0:00:00本文由Certik團隊撰稿,授權金色財經首發。近一個月,比特幣幣值從1.8萬美元到2萬美元,漲勢如虹。幣圈傳出消息:圣誕節前,比特幣必將大漲一波.
1900/1/1 0:00:0012月11日20時00分02秒,全國首單電商平臺數字人民幣消費誕生,蘇州的一位消費者在京東商城成功下單.
1900/1/1 0:00:00