
CertiK陈波锦:形式化验证是安全领域中级别最高的验证方式
站内搜索
|
CertiK陈波锦:形式化验证是安全领域中级别最高的验证方式
详细内容
7月31日,“聚势·互赢 链上区块链”ChainUP&HiCoin全国行启动仪式在北京举行。CertiK VP陈波锦以《区块链安全和形式化验证》为主题发表了演讲,他提到,区块链行业的安全问题,整体分为三个方面:第一是代码问题,包括开发者的从业经验、水平造成的问题;第二是大家对安全的认知与重视程度相对薄弱;第三是缺乏妥善的日常与应急安全机制。本次分享,他着重介绍了CertiK在代码层面的安全解决方案,介绍了智能合约安全审计中最重要的一环,即形式化验证,通过数学建模的方法,把代码实现的功能和场景,通过正常的逻辑设想表达出来。他表示,不管是从行业角度,还是技术路线来讲,形式化验证都是安全领域中级别最高的验证方式。
![]() 7月31日,“聚势·互赢 链上区块链”ChainUP&HiCoin全国行启动仪式在北京举行。RenrenNode创始人陆阳平在会上做了《社区在交易所生态中的重要性》主题演讲。他提到,在当前市场行情和交易所、钱包的发展状态下,社区据zycrypto分析,BVOL基本上衡量比特币的历史波动性,当硬币达到13800美元时,BVOL从4.38一路上涨9.68点至14.06。在此上涨之前,该指数跌至2.00并在那里巩固了长达一个月。该指数目前仍在下跌,并且开始再次接近2.00
推荐相关信息:
|