【摘 要】
:
以比特币为代表的区块链早期时代,区块链应用主要集中在数字货币领域。自从第一个智能合约区块链平台以太坊发布以来,由于有了图灵完备的智能合约的支持,区块链开始在各大领域广泛应用。然而,智能合约的安全问题却造成了巨额的资产损失,打击了用户对区块链的信心。以太坊作为目前流行的智能合约区块链平台之一,成为了学术界、工业界的研究热点。以太坊智能合约安全形势严峻的根源主要为以下三点:一是开发者对新型的合约编程语
论文部分内容阅读
以比特币为代表的区块链早期时代,区块链应用主要集中在数字货币领域。自从第一个智能合约区块链平台以太坊发布以来,由于有了图灵完备的智能合约的支持,区块链开始在各大领域广泛应用。然而,智能合约的安全问题却造成了巨额的资产损失,打击了用户对区块链的信心。以太坊作为目前流行的智能合约区块链平台之一,成为了学术界、工业界的研究热点。以太坊智能合约安全形势严峻的根源主要为以下三点:一是开发者对新型的合约编程语言及合约特性不够熟悉,导致合约频出漏洞,但现有的漏洞检测工具准确度低;二是合约运行在去中心化的区块链网络中,攻击面涉及甚广,但已有的链上攻击防御策略可扩展性差;三是合约一旦部署上链便无法修改,即使存在漏洞也难以修复,现有的合约修复策略大多面向链下合约,难以修复已部署上链的漏洞合约。为了增强以太坊智能合约的安全性,应当从合约在链下测试和链上运行全面考虑,提供合约的漏洞安全防护措施,具体来说包括以下三个方面。针对智能合约漏洞频出且现有工具检测准确度低的问题,基于静态程序分析和模糊测试技术,提出了一种自动化的漏洞验证方案,可以有效地检测目标位置是否存在漏洞,提高合约代码安全性。为提高模糊测试输入的有效性,提取所有从函数入口到目标位置的切片,并进一步基于数据流和控制流分析提取所有切片的路径约束,进而分离出输入约束和状态约束。基于输入约束生成到达目标行的输入,基于状态约束生成能调整合约状态的交易序列,最后合成能探索目标位置的测试案例。同时基于距离的变异策略和基于目标位置特征的引导策略,以快速找到满足路径约束的输入。为了在尽量避免探索目标位置无关路径的同时,更快找到攻击交易,采用基于执行子树覆盖率的输入变异策略,优化交易生成。实验表明,该方案比三个现有合约漏洞检测工具准确率分别高41.85%、7.8%和33.29%。针对链上合约频繁遭受攻击且现有防御方案可扩展性低的问题,基于输入过滤器,提出了一种可实时增加防御策略的漏洞类型无关的防御方案,有效拦截攻击交易,提高合约运行安全性。为了降低给矿工带来的开销,同时灵活地部署防御策略,该方案解耦合防御实现模块与部署模块。即矿工只需升级一次,将防御部署模块嵌入到以太坊虚拟机中,合约拥有者负责具体的防御实现。针对合约漏洞多样化难以实现统一防御措施的问题,该方案提出了基于输入过滤器实现多样化的防御合约。同时设计了奖惩机制,激励矿工参与到漏洞防御中。通过安全分析论述了系统的安全性。实验表明,该方案可以拦截恶意交易,同时给矿工和合约用户带来的额外开销在可接受范围内。针对链上合约代码无法修改且现有修复方案通用性低的问题,基于合约修复模板与静态程序分析技术,提出了一种面向链上智能合约的自动化修复方案,实现漏洞修复,提高合约维护安全性。为了在去中心化环境中实现有效的漏洞修复,该方案将修复策略置于独立的补丁合约中。以以太坊智能合约三种典型的漏洞即重入、未检查的底层调用和整数漏洞为例,设计了修复合约模板,并基于程序分析和代码合成技术自动化生成漏洞合约的补丁。该方案通过在链上绑定漏洞合约和补丁合约,实现这两类合约功能的整体性,即当交易调用漏洞合约时,也会触发补丁执行,验证交易执行状态,保证合约即使存在漏洞也能安全运行,实现间接修复合约。实验表明,Aroc以93.32%的正确率修复95.95%的漏洞合约。Aroc给智能合约用户和矿工带来的额外开销在可接受的范围内。与现有的工具对比,Aroc引入较少的执行开销或者合约代码。综上所述,围绕以太坊智能合约漏洞安全防护,基于程序分析技术及智能合约特征,分别从智能合约开发测试期间的漏洞验证,到合约上链执行后的漏洞防御、漏洞修复展开研究。尽量在链下检测出合约的所有漏洞,同时也在链上提供漏洞攻击的防御、修复措施,三种方案相辅相成,为以太坊智能合约提供多维度的安全保障。
其他文献
基于模块化多电平换流器(Modular Multilevel Converter,MMC)的柔性直流输电技术能够克服常规直流输电技术无法直接接入和输送风、光可再生能源的缺陷。由于我国能源基地、负荷中心逆向分布的特点,基于架空线的柔性直流输电技术是实现新能源大规模开发与远距离输送的主要技术手段。近年来我国柔性直流输电工程发展迅速,2020年张北±500k V柔性直流电网工程与昆柳龙±800k V柔性
显微成像技术是生命科学研究中不可或缺的工具,然而成像速度与空间分辨率、图像质量之间的矛盾使系统的成像通量受到限制。高速度、高分辨率的成像方式是该领域一直以来的追求。深度学习单帧超分辨算法通过增强低分辨率图像的分辨率,试图让成像维持大视野、高帧率的同时获得高分辨率,从而提升成像通量。然而仍有两个问题亟待解决。一方面现有的深度学习显微超分辨算法只使用一个卷积神经网络对成像逆过程的求解做笼统的近似,在显
非酒精性脂肪肝病(Non-Alcoholic Fatty Liver Disease,NAFLD)及进展型非酒精性脂肪肝炎(Non-Alcoholic Steato Hepatitis,NASH)在过去的三十年中已经逐渐发展为全球慢性肝脏疾病的主要病因,对NAFLD和NASH的准确非侵入式检测手段是临床上的迫切需求。脂肪密度质子分数(Proton Density Fat Fraction,PDFF
拉曼散射是一种光子的非弹性散射,带有散射体的结构信息,是物质分析的重要工具。但通常拉曼散射截面较小,特别是气体的自发拉曼散射,信号微弱,容易受光学元件、气体容器等部件的荧光或拉曼背景信号的干扰。为减少背景信号的影响,提高气体拉曼检测的灵敏度和分辨率,本文开展负曲率空芯光纤增强的气体受激/相干拉曼研究。自行搭建了多种中心波长的可调谐单频外腔半导体激光器,结合可调谐染料激光器、锁相放大器、深冷CCD探
AlGaN基深紫外发光二极管(LED)因其结构小巧、功耗低、安全环保、开启时间短及波长可调等特点,被广泛应用于杀菌消毒、气体检测、医疗光疗、安全通信等领域。特别是气体检测领域,具有高光子能量的短波紫外光源激发金属半导体氧化物传感材料,可实现室温ppb级别气体检测,适用于易燃易爆、生物领域等特殊环境检测。因此,深紫外LED将成为目前室温或低温光激发传感器必不可少的光源部分。但由于器件内部电流拥堵严重
光学荧光显微成像技术凭借特异性的荧光标记,成为了研究细胞器生命活动的重要工具。光片显微技术凭借层析精度高,成像速度快,光毒性低等优势,广泛应用于活细胞成像。然而,当前主流的光片仍存在空间占空比不高、旁瓣过高等问题,限制了光片显微技术对亚细胞结构的高层析精度、长时程观测。此外,由于衍射极限的存在,光学显微技术的分辨率不能随着倍率的增加而无限增大,因而无法对亚细胞结构实现更精细的观测。如何在后期图像处
复杂产品的追赶是最近备受学界和业界关注的议题。随着中国制造业快速发展,复杂产品领域的相关企业获得外源性技术的难度越来越大,企业必须从基于增量创新的技术学习向基于根本创新的技术学习转变。同时,与复杂产品相关的国际贸易地理结构过于集中,结构洞指数与世界发达国家存在差距,有必要推动复杂产品企业的市场追赶来提高国际竞争优势。技术和市场双重转型标志着企业进入新追赶阶段。因此本文提出“新追赶阶段复杂产品领域后
近年来,稀土发光与其他学科交叉发展成为一个重要研究领域,以铁电体材料和玻璃材料作为掺杂基质的光电子材料,已成为推动信息化的基础材料。大容量光通信技术的发展对光电子器件的工作带宽提出新的要求。因此在基质材料中精确调控Er3+的发光性能,实现Er3+在光电器件中的波长频移和带宽扩展具有重要意义。本论文首先介绍了掺Er3+材料的制备方法,分别采用溶胶凝胶法和改进的气相沉积方法将Er3+引入铁电材料和光纤
高通量技术的发展给医学研究带来了巨大变革。跨多种细胞功能的多组学数据为了解复杂性疾病的生物学特征提供了无可比拟的机会。本文以血管肉瘤和新型冠状病毒肺炎(Coronavirus disease 2019,COVID-19)为研究对象探讨如何通过多组学数据分析疾病的分子机制、诊断、预后等,为疾病的治疗提供依据。1全基因组和全外显子组测序技术研究血管肉瘤分子机制目的:利用全基因组和全外显子组测序解析血管