当前位置:首页 > 行业资讯 > 中国首个智能合约检验平台正式启动

中国首个智能合约检验平台正式启动

admin 3个月前 126 0
原文标题:中国首个智能合约检验平台正式启动

目前,全球信息领域的新一轮技术创新和产业转型不断深化,渗透范围逐步扩大。在这种背景下,区块链技术发展迅速,其生态系统已扩展到物联网,云计算,大数据和人工智能等领域。但是,值得注意的是区块链是一种新兴技术。由于技术的发展和复杂性,安全威胁已成为迄今为止面临的最重要问题之一。与此同时,目前大多数区块链技术应用都是金融项目和产品,其安全带来的风险是无法估量的。

因为区块in是一项新兴技术,缺乏开发人员和安全人员。特别是在传统安全领域人才稀缺的情况下,很难找到区块链安全人才。 。这种现状的直接结果是所谓的“开发人员”直接从Internet下载大量智能合约代码,并在修改后直接使用它们。但是,这些代码派生的代码本身可能存在严重的漏洞。复制后,安全漏洞也会传播开来。一旦被利用,个别问题很快就会蔓延到大规模的灾难性事件中。

最着名的黑客事件是DAO。早在2016年,这个平台就被盗了高达15亿美元的ETH。攻击者利用了技术级别的漏洞以递归方式调用splitDAO函数,这也暴露了智能合约安全性的早期缺陷。发现了2017 Parity Multisig电子钱包版本1.5+漏洞,允许攻击者从三个高度安全的多签名合同中窃取超过150,000个ETH(约3000万美元)。漏洞竟然是工程师意外地编写了一个在编程期间没有关闭的功能。就在2018年3月,BEC(美国连锁店)打破了ERC20协议安全漏洞。攻击者使用整数溢出BUG无限期地生成令牌,这直接导致BEC货币潜水,几乎为零。智能合约已成为区块链安全最受打击的领域,已成为企业发展的难点和难点。区块链行业。

目前,学者普遍认为,基于形式验证的方法是解决智能合约安全检测的重要手段。形式验证(formAl验证)基于数学建模方法来描述系统。通过形式验证,开发人员可以预先检查程序的安全性,消除逻辑漏洞和安全漏洞,从而确保合同的安全性。

最近,BSRC,上海交通大学网络空间安全研究所,以及中国信息通信研究院特莱终端实验室,由上海棕榈科技有限公司联合推出。中国第一个智能合约auBSCSCS,BSCSCS,BSCSCS的在线平台www.sjtubsrc.net现已在线开放,可供所有用户注册和测试。该系统使用各种形式的验证引擎,并已完成1000多个自动化测试的自动化合同。已推出的快速检测引擎可在不到一分钟的时间内完成对智能合约的自动检查,并宣布所有潜力。风险点,漏洞详细信息和相关代码位置。


目前,BSCSCS平台支持正式验证主流区块链平台(如以太坊等)和将很快推出在线深度检测引擎,用于代码深度审计和逻辑漏洞为具有更高安全要求的用户和组织启动智能合约之前的可执行性检测。

          文章来源:凤凰网业务         编辑:但原作

相关文章

关于币安比特币媒体人的忏悔

关于币安比特币媒体人的忏悔

[关于币安比特币,媒体人的忏悔] 恶化BTC,媒体人不知道这是否认自己。当我看到叶檀在窦文涛面前谈论BTC时,我会觉得很荒谬。这真是一个娱乐时代。我不知道如何理解和理解不了解媒体...

泰国中央银行正在开发自己的数字货币

泰国中央银行正在开发自己的数字货币

    预计将于明年第一季度完成发展    泰国中央银行 - 泰国银行(BOT)于8月21日宣布其中央银行数字货币(CBDC)项目名为Inth...

受益蛋糕:在小黄车之后,一辆自行车也进入了区块链。

受益蛋糕:在小黄车之后,一辆自行车也进入了区块链。

共享经济一直被认为是区块链技术的最佳应用场景之一。集中式共享经济平台存在核心问题,如费用昂贵,信用问题以及无法完全保护个人隐私问题。这些问题可以通过应用区块链技术来实现真正的共享经济来解决。因此,无...

币安比特币爱好者提出改进建议,以保持匿名和不受管制

币安比特币爱好者提出改进建议,以保持匿名和不受管制

两位匿名币安比特币爱好者提出了一项平房币安比特币计划,该计划将区分现有计划以维护用户的匿名性。这被称为币安比特币II,它将修改现有的币安比特币代码以维持原始的所谓长期愿景,消除现有程...

币安比特币飙升全球疯狂黄金

币安比特币飙升全球疯狂黄金

自成立以来,币安比特币的疯狂表现引发了全球性的狂热。自2011年以来,币安比特币的价格已从0.03美元变为145美元,增幅超过4,480倍。显然,币安比特币已经成为黄金的避险资产...

Firecoin推出世界上第一部区块链电影“Fire Love”

Firecoin推出世界上第一部区块链电影“Fire Love”

世界第三大比特币交易平台Firecoin.com于2008年8月7日在北京前门天元大剧院举行的“火之爱”首播。作为第一个区块链主题的影视作品,这部电影符合时代潮流,为更多人揭开了区块链的神秘而复杂的...

前华尔街高管:加密货币和区块链大型应用程序仍有5到6年的历史

前华尔街高管:加密货币和区块链大型应用程序仍有5到6年的历史

根据Blokt 区块链[ 123 和科技新闻媒体7月19日报道,前华尔街高管迈克诺沃格拉茨最近预测加密货币和区块链的大规模采用“还有五到六年”。 在...

阿里巴巴支付申请加强了对加密场外交易的审查

阿里巴巴支付申请加强了对加密场外交易的审查

阿里巴巴的支付子公司Ant Financial正在与中国监管机构合作,利用其移动应用支付宝(支付宝)审查p2p加密货币交易。 根据周五报道的“新京报”,蚂蚁金融正在加紧监控商家和客户...