鏈聞消息,受 ConsenSys 資助的區塊鏈開發團隊推出一款 EVM 形式化驗證編譯器「Elle」,旨在確保更高級別的智能合約代碼與執行它的以太坊虛擬機字節碼之間的安全連接。Elle-Core 捕獲結構化編程抽象,並通過經過驗證的編譯器將其轉換爲以太坊 EVM 字節碼。該項目由 ConsenSys 資助,目前 Elle 還屬於原型階段,不建議將其部署到主網上或者用來管理非常重要的有價值資產。
免責聲明:作爲區塊鏈信息平臺,本站所發佈文章僅代表作者個人觀點,與鏈聞 ChainNews 立場無關。文章內的信息、意見等均僅供參考,並非作爲或被視爲實際投資建議。