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

点击图片查看原图

详细说明

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

下一篇：BSV 成功进行计划中的压力测试，BitMEX Research 监测到异常实为压力测试影响 上一篇：过去2小时LTC资金净流入约91万美元

该企业最新头条微商机

更多>最新产品信息：

联系方式

您还没有登录，请登录后查看详情

推荐资讯

最新

最新头条微商机

• Dropil创始人同意承认与180万美元ICO有关的欺诈	• 链游The Sandbox一块虚拟地产拍卖成交价364万美
• BTC突破34000美元关口日内涨幅为7.27%	• 美股股指期货短线走高，纳指期货现涨0.63%
• BTC跌破32000美元关口日内跌幅为11.2%	• Bitstamp USA负责人离职加入加密基金Castle Isl
• 巴塞尔委员会将针对加密数字资产的风险敞口问题	• 三箭资本联合创始人：BTC、ETH的上升抛物线已经
• 苏富比拍卖行正拍卖一件创建于2014年的NFT数字	• 去中心化存储协议Swarm将在CoinList上开启公募