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

点击图片查看原图

发布日期：2019-08-04
有效期至：长期有效
头条微商机区域：全国
浏览次数：58

详细说明

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

来源链接

下一篇：LocalEthereum 将推身份验证解决方案，防止身份盗用 上一篇：慢雾：BSV 成功进行计划中的压力测试，BitMEX Research 监测到异常实为压力测试影响

该企业最新头条微商机

更多>最新产品信息：

￥7.50

￥8.50

￥198.00

￥198.00

￥38.00

￥38.00

￥4.80

￥33.00

￥25.00

￥520.00

￥298.00

￥396.00

联系方式

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

推荐资讯

最新

最新头条微商机

• 金融行动特别工作组 FATF 发布加密货币监管指南	• META2META 旗下 MaskHuman(II) 计划于明日 20:0
• 去中心化存档与验证网络 KYVE 完成 280 万美元	• 尼日利亚正式推出其央行数字货币 eNaira
• 美国运通首席执行官称传统信用卡业务将在加密行	• Balancer 集成 CowSwap 以优化费用并进行 MEV
• 美联社将推出 Chainlink 节点并提供经济等方面	• 俄罗斯政府正讨论俄罗斯石油公司关于用石油气发
• 加密货币交易所 Gemini 向中国香港用户开放借贷	• 币看将于 11 月 30 日起有序停止为现存中国大陆