您好,欢迎进入北印检测平台
国内第一个智能合约检测平台正式上线
作者:李白 来源:北京印刷学院 时间:2018-08-28

由于区块链是新兴技术,开发人员和安全人员都很缺乏,尤其在传统安全领域人才稀缺的情况下,区块链安全人才更是一人难求。这一现状导致的直接结果是,所谓“开发人员”都直接从网上下载大量智能合约代码,修改后便直接使用。但这些源自网络的代码本身可能存在严重漏洞,经过不断复制后,也把安全漏洞扩散了。一旦遭人利用,个体问题便迅速扩散为群体性灾难事件。

目前学术界普遍认为,基于形式化验证的方法是解决智能合约安全检测的重要手段。形式化验证(formal verification)是基于数学建模方法对系统进行描述,通过形式化验证,开发者可以对程序的安全性事先进行审查,排除逻辑漏洞和安全漏洞,从而保证合约的安全。

目前,BSCSCS平台已支持主流区块链平台(如以太坊等)智能合约的形式化验证,并将很快上线深度检测引擎,面向对于安全要求更高的用户和机构,进行智能合约上线前的代码深度审计以及逻辑漏洞检测。


服务接入支持
  • 关于北印检测
  • 渠道合作
  • 联系电话:010-60261580
  • 联系邮箱:bigcts@qq.com