以太坊虚拟机形式化验证编译器Elle原型发布

据ConsenSys官方消息，受ConsenSys资助的区块链开发团队推出一款以太坊虚拟机（EVM）形式化验证编译器“Elle”，旨在确保更高级别的智能合约代码与执行它的以太坊虚拟机字节码之间的安全连接。目前Elle还属于原型阶段，不建议将其部署到主网上或者用来管理非常重要的有价值资产。