鏈聞 ChainNews 誠邀讀者共同監督,堅決杜絕各類代幣發行、投資推薦及虛擬貨幣炒作信息。舉報

編譯器文章 資訊 新聞 快訊 深度評論 介紹 解讀

編譯器新聞快訊文章, 編譯器深度文章, 編譯器快訊, 區塊鏈編譯器, 編譯器是什麼, 編譯器介紹, 編譯器解讀, 編譯器項目, 三分鐘瞭解編譯器, 秒懂編譯器, 如何評價編譯器, 編譯器怎麼樣, 編譯器創始人, 編譯器招聘, 編譯器融資, 編譯器價格, 編譯器技術, 編譯器社區, 編譯器論壇, 編譯器瀏覽器, 編譯器排名, 編譯器白皮書, 編譯器本質, 編譯器意義, 編譯器代碼, 編譯器遊戲, 編譯器什麼意思, 編譯器學習, 編譯器培訓, 編譯器教程, 編譯器投資, 編譯器賺錢, 編譯器安全, 編譯器漏洞

以太坊軟件工程師提出以太坊生態系統新語言「Fe」

鏈聞消息,以太坊基金會軟件工程師 Christoph Burgdorf 提出一個名爲「Fe」(發音爲「fee」) 的以太坊新智能合約開發語言,該語言最初是對 Vyper 編譯器(在 Rust 中)的重寫,旨在解決 Consensys 在《Vyper 安全性審查》中從強調的問題。雖然最初的目標是使用備選的 Vyper 編譯器,但由於語言出現語法差異,因此決定使用新名稱進行明確命名,「Fe」 因此誕生。「Fe」取自元素週期表中化學元素鐵的字母。鐵傳達了一種耐用性,這強化了編譯器正確性的概念。該項目從 Vyper 繼承了很多東西,比如具有 python 語法,並強調語言安全性。因此,「Fe」 的語法很大程度上是受到 Python 的啓發。這允許使用過 Python 的開發人員所熟悉的代碼具有可讀性和表達性。「Fe」 還使用靜態類型和限制動態行爲來減少腳註和提高安全性。在開發的早期階段,「Fe」和 Vyper 之間的差異仍然有限,但目前 「Fe」 借用了 Rust 的一些語法屬性,隨着新特性的不斷添加,Fe 很可能會變得更像 Rust。

EVM 形式化驗證編譯器 Elle 原型發佈,旨在編寫更安全的以太坊代碼

鏈聞消息,受 ConsenSys 資助的區塊鏈開發團隊推出一款 EVM 形式化驗證編譯器「Elle」,旨在確保更高級別的智能合約代碼與執行它的以太坊虛擬機字節碼之間的安全連接。Elle-Core 捕獲結構化編程抽象,並通過經過驗證的編譯器將其轉換爲以太坊 EVM 字節碼。該項目由 ConsenSys 資助,目前 Elle 還屬於原型階段,不建議將其部署到主網上或者用來管理非常重要的有價值資產。
返回頁面頂部