EVM 形式化验证编译器 Elle 原型发布，旨在编写更安全的以太坊代码

链闻消息，受 ConsenSys 资助的区块链开发团队推出一款 EVM 形式化验证编译器「Elle」，旨在确保更高级别的智能合约代码与执行它的以太坊虚拟机字节码之间的安全连接。Elle-Core 捕获结构化编程抽象，并通过经过验证的编译器将其转换为以太坊 EVM 字节码。该项目由 ConsenSys 资助，目前 Elle 还属于原型阶段，不建议将其部署到主网上或者用来管理非常重要的有价值资产。（链闻） [原文链接]