猎豹区块链研究中心专家:智能合约自动化审计存在三大问题

发布者: fsjc68 浏览次数: 381
有效期至: 长期有效 发布时间: 2018-09-10 23:55
详细说明留言咨询
猎豹区块链研究中心专家:智能合约自动化审计存在三大问题
 
据36kr报道,近日猎豹区块链研究中心安全专家杨文玉在关于如何有效保障海量智能合约的安全的问题时表示,最好的方法是降低人工审计复杂度,采用智能合约自动化审计。即主要通过特征代码匹配、基于形式化验证的自动化审计方法、基于符号执行和符号抽象自动化审计这三类方法。
 
此外,她也指出,现在自动化审计方法处于一个很不成熟的阶段,主要面临三大问题:误报率高,自动化程度低、依赖人工二次审计,审计时间比较长。
【温馨提示】本文内容和图片为发布者所有,本站只提供信息存储空间服务,如有涉嫌抄袭/侵权/违规内容请联系QQ:727533600 删除!
广告位出租
反对 0举报 0 收藏 0 评论 0分享 0

报告显示基于区块链的自治性保险正在出现 将颠覆传统保险业根据ResearchAndMarkets.com 发布的最新Peer2Peer Insurance Global 2018中显示区块链技术和点对点(P2P)保险模式正在重塑保险领域。该研究指出,最近出现了一股使用区块链技术

天原集团:因拟合资设立供应链管理公司遭深交所发函关注天原集团(002386)9月10日收到深交所的关注函。函件显示,公司拟与易见股份新筹建一家供应链管理公司,开展区块链信息技术服务等业务。对此,深交所要求公司补充披露与易见股份共同

广告位出租
该企业最新微商机
 
更多>最新产品信息:
0相关评论
联系方式

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

专精特新
推荐资讯
最新问答
专精特新
最新微商机
专精特新
广告位出租
云建会
博一建材

博一建材

点击查看放大的二维码

微信服务号:jc68-1

建材之家小程序码

建材之家小程序码

云建会小程序码

云建会小程序码

建材商机小程序码

建材商机小程序码

博一建材小程序码

博一建材小程序码

工商网监
卫浴之都 | 建材头条 | 家具头条 | 家居之家 | 装饰之家 | 新基建头条 | 门窗之家 | 区块联盟 | 博一建材网 | 新基建之家 | 老姚之家 | 灯饰之家 | 电气之家 | 全景头条 | 陶瓷之家 | 照明之家 | 防水之家 | 防盗之家 | 博一建材 | 区快洞察 | 锦州建材 | 丹东建材 | 本溪建材 | 抚顺建材 | 鞍山建材 | 西安建材 | 商洛建材 | 安康建材 | 榆林建材 | 汉中建材 | 延安建材 | 渭南建材 | 咸阳建材 | 宝鸡建材 | 铜川建材 | 兰州建材 | 甘南建材 | 临夏建材 |
建材 | 关于建材之家  |  联系我们  |  加入建材之家  |  使用协议  |  财务相关  |  城市分站  |  招商加盟  |  建材群站  |  网站地图 | 排名推广 | 广告服务 | 网站留言 | sitemap | 粤ICP备14017808号
全国服务电话:0755-82034561/18923733323;客服QQ:727533600/876399953;新浪微博ID:jc68com; 微信服务号ID:jc68-1粤公网安备 44030402000745号
建材之家旨在传递更多商机信息!信息内容都是网络用户自发贡献,本站只提供信息存储空间服务,如有涉嫌抄袭/侵权/违规内容请告知QQ:275171283处理!