ConsenSys EVM 形式化驗證編譯器 Elle 原型發佈,旨在編寫更安全的以太坊代碼 8 月 4, 2019 鏈聞消息,受 ConsenSys 資助的區塊鏈開發團隊推出一款 EVM 形式化驗證編譯器「Elle」,旨在確保更高級別的智能合約代碼與執行它的以太坊虛擬機字節碼之間的安全連接。Elle-Core 捕獲結構化編程抽象,並通過經過驗證的編譯器將其轉換爲以太坊 EVM 字節碼。該項目由 ConsenSys…