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

來源鏈接