保存成功
订阅成功
保存失败,请重试
提交成功

智能合约形式化验证平台 VaaS 讲解

¥0.1会员免费看
岳亮亮
4.3
严选 Chat了解严选标准

2017年7月20号,Parity 的多签名钱包合约被曝漏洞,导致3200万美元的数字货币被盗,甚至连 DAO、BEC 这样的著名项目市值也出现了一夜归零的惨痛事件,而所有代币都由智能合约生成,所以,毫无疑问,智能合约是区块链生态安全中最重要的一环,越来越多的人逐渐意识到区块链智能合约安全的重要性。

本场 Chat 主要内容为:

  1. 形式化验证的定义?原理是什么?方法举例?
  2. 黑客是如何攻击区块链平台的智能合约?
  3. VaaS 系统架构及 VaaS“一键式”自动形式化验证平台操作演示
  4. 对智能合约安全生态建设方面的工作:
    • 发现了以太坊智能合约的安全漏洞;
    • 对区块链相关安全漏洞进行深入分析;
    • 通过对 EOS 合约审计发现 EOS 智能合约存在的问题,并进行总结同时给与建议。

关键词:智能合约,形式化验证,VaaS 平台,安全漏洞。

294 人已订阅
会员免费看
¥0.1 原价订阅
关注提示×
扫码关注公众号,获得 Chat 最新进展通知!
入群与作者交流×
扫码后回复关键字 入群
Chat·作者交流群
入群码
该二维码永久有效
严选标准
知道了
Chat 状态详情
开始预订
预订结果公布18.06.26

预订达标,作者开始写作

审核未达标,本场 Chat 终止

作者文章审核结果公布18.07.04

审核达标,文章发布

审核未达标,本场 Chat 终止

Chat 完结
×
已购列表