CertiK陈波锦:形式化验证是安全领域中级别最高的验证方式

点击图片查看原图
  • 发布日期:2019-08-01
  • 有效期至:长期有效
  • 新型建材商机区域:全国
  • 浏览次数34
  • 留言咨询
详细说明
7月31日,“聚势·互赢 链上区块链”ChainUP&HiCoin全国行启动仪式在北京举行。CertiK VP陈波锦以《区块链安全和形式化验证》为主题发表了演讲,他提到,区块链行业的安全问题,整体分为三个方面:第一是代码问题,包括开发者的从业经验、水平造成的问题;第二是大家对安全的认知与重视程度相对薄弱;第三是缺乏妥善的日常与应急安全机制。本次分享,他着重介绍了CertiK在代码层面的安全解决方案,介绍了智能合约安全审计中最重要的一环,即形式化验证,通过数学建模的方法,把代码实现的功能和场景,通过正常的逻辑设想表达出来。他表示,不管是从行业角度,还是技术路线来讲,形式化验证都是安全领域中级别最高的验证方式。

该企业最新新型建材商机
 
更多>最新产品信息:
联系方式

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

推荐资讯
新型建材圈
新型建材商机
双碳之家 | 橱柜之家 | 布艺之家 | 卫浴之都 | 建材头条 | 灯具之家 | 电气之家 | 瓷砖之家 | 区快洞察 | 全景头条 | 陶瓷之家 | 油漆之家 | 照明之家 | 防水之家 | 防盗之家 | 博一建材 | 卫浴之家 | 区快洞察 | 木板之家 | 地板之家 | 防水之家 | 门窗之家 | 家电之家 | 五金之家 | 水电之家 | 防盗之家 | 石材之家 | 电气之家 | 地板之家 | 陶瓷头条 | 橱柜之家 | 卫浴头条 | 布艺之家 | 家纺头条 | 暖气头条 | 墙布头条 | 建材头条 | 装修之家 | 新基建头条 | 双碳之家 | 全景头条 | 建材之家 | 深圳建材 | 揭阳建材 | 香港建材 | 佛山建材 | 广州建材 | 东莞建材 | 惠州建材 | 潮州建材 | 汕头建材 | 珠海建材 | 江门建材 | 韶关建材 | 湛江建材 | 茂名建材 | 肇庆建材 | 梅州建材 | 汕尾建材 | 河源建材 | 阳江建材 | 清远建材 | 中山建材 | 云浮建材 |
建材 | 720全景 | 企业之家 | 移动社区 | 关于我们  |  联系方式  |  使用协议  |  版权隐私  |  网站地图 | 排名推广 | 广告服务 | 积分换礼 | RSS订阅 | sitemap | 粤ICP备14017808号-3
(c)2015-2017 BO-YI.COM SYSTEM All Rights Reserved
Powered by 新型建材