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

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

图片分享

【KK财经版权及免责声明】本文仅代表作者本人观点，与KK财经立场无关。本站所有内容不构成投资建议，币市有风险、投资请慎重。如需转载文章，请注明来源KK财经及作者姓名，违者必究。