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

点击图片查看原图

详细说明

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

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

该企业最新头条微商机

更多>最新产品信息：

联系方式

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

推荐资讯

最新

最新头条微商机

• BTC市值占比微幅下滑出块时间持续延长	• MultiVAC 升级当前测试网至 2.2 版本，待运行稳
• 新加坡SCRY無域基金会：谨慎二级市场复刻DDD现	• Coin Metrics数据工程师：以太坊伊斯坦布尔升级
• 市场多日持续观望建议交易者等待短时交易机会	• Matic Network联创：几家大型交易商可能在联合
• BTC市值占比微幅上涨灰度BTC持仓量有一定增长	• 监测：USDC Treasury铸造2500万枚USDC，之后转
• Bitfinex首席技术官：Bitfinex迄今已处理800多	• 数据监测: Tether向以太坊网络新增发2亿枚USDT