10月17日，星期三 09:15
火讯财经讯，10月17日，猎豹移动区块链安全中心首席科学家、白帽安全专家杨文玉在接受火讯琅琊榜第四期访谈时表示，形式化验证很早就被提出来了，之前一直用在航空航天、金融软件等对安全性要求极高的环境中进行严格的逻辑校验。区块链中如果发生了安全问题，可能直接涉及到大量的资金安全，安全要求比传统的系统、软件高很多，并且目前智能合约的逻辑还比较简单，不复杂，所以形式化验证技术便被引入了进来。形式化验证技术可以帮助审计员全面地发现问题，人工审计确实可能存在一些偏差。相互结合可以减少一部分的漏报。另外当前智能合约每天都在按千增加，人工没法一个个地审计，所以形式化验证自动技术还是能够帮助我们大方面地了解当前合约的安全整体状态。（责任编辑：席恒）
0
火讯财经讯，6月24日消息，欧易OKX行情显示，BTC刚刚突破105000美元，现报105049.30美元/枚，日内涨幅3.57%。
24 分钟前
火讯财经讯，6月24日消息，欧易OKX行情显示，ETH刚刚突破2400美元，现报2407.68美元/枚，日内涨幅7.08%。
24 分钟前
火讯财经讯，6月24日消息，欧易OKX行情显示，BTC刚刚突破104000美元，现报104019.00美元/枚，日内涨幅2.55%。
1 小时前
火讯财经讯，6月24日消息，欧易OKX行情显示，BTC刚刚突破103000美元，现报103038.50美元/枚，日内涨幅1.58%。
4 小时前
火讯财经讯，6月24日消息，欧易OKX行情显示，BTC刚刚跌破100000美元，现报99995.20美元/枚，日内下跌1.42%。ETH刚刚跌破2200美元，现报2198.01美元/枚，日内下跌2.25%。
5 小时前
商务合作：840034348@qq.com
媒体合作：840034348@qq.com
投稿合作：840034348@qq.com
微信公众号
iPhone & Android
