EVM formal verification compiler Elle prototype release

According to ConsenSys official Medium news, the blockchain development team funded by ConsenSys launched an EVM formal verification compiler "Elle" designed to ensure a higher level of smart contract code and its Ethereum virtual machine bytecode. a secure connection between. Elle-Core captures the structured programming abstraction and converts it to Ethereum EVM bytecode through a validated compiler. The project is funded by ConsenSys, which is currently in the prototype phase and is not recommended for deployment on the main network or for managing valuable assets of great importance.