通付盾2021Q1智能合约安全态势感知报告

雍和比特币 团队介绍 通付盾区块链安全团队（SharkTeam）专心于区块链和智能合约安全，由具有多年一线网络安全及区块链实战经验的团队成员组成，通晓区块链和智能合约底层原理，具有完善的缝隙发掘和智能合约审计才能，可供给全面的要挟建模、合约审计、应急呼应服务，已协助多个闻名区块链项目发现并修正安全缝隙，致力于维护用户数字财物安全与隐私安全。” In Math，We Trust ！”内容概览 智能合约这一概念由计算机学家和法学家尼克·萨博在20世纪90年代提出,是区块链至关重要的组成部分，极大地扩展了区块链的运用场景与现实含义，现在区块链与智能合约技能已被广泛地运用于股权众筹、游戏、稳妥、供给链、物联网等范畴。但伴随着区块链和智能合约工业的不断发展，随之而来的安全事情也不断迸发。比较于一般的程序而言,智能合约更简略成为进犯者的方针。一方面,智能合约一般用于办理区块链渠道上的数字财物,对智能合约的进犯或许会为进犯者带来更高的经济价值;而更为重要的是,引进智能合约的初衷在于凭借区块链的特性来保证合约的可信赖,而智能合约缝隙会使合约呈现非预期的行为,然后或许使其变为一份“不平等合约”,而失去了智能合约最底子的含义。仅2021年第一季度就已产生SushiSwap第2次被进犯、Alpha Finance 与 Cream被进犯、Yearn.finance闪电贷进犯、Furucombo被进犯、PAID Network被进犯、DODO资金池被盗、Roll被进犯、EasyFi密钥走漏等一系列安全事情，不只给用户形成了巨大的经济丢失,一起也使得智能合约的公正、可信赖遭到挑战和质疑。一次又一次的进犯事情标明,智能合约的安全形势已非常严峻，对智能合约的相关安全缝隙展开研讨并保证其安全已非常火急。通付盾区块链安全团队（SharkTeam）在第一季度选取了干流的41个区块链项目，并对掩盖高档言语层、虚拟机层、区块链层、事务逻辑层的75项常见安全问题进行了安全扫描，合计发现安全问题2192项。《通付盾2021Q1智能合约安全态势感知陈述》（以下简称为“陈述”）从缝隙方位散布、损害等级散布和项目类三个视点进行相关数据剖析。缝隙方位散布智能合约的安全缝隙首要来自于高档言语、虚拟机、区块链和事务逻辑四个层面。陈述数据闪现，现在智能合约安全问题要点会集在高档言语层，共发现1500项问题。具体散布如下： l 高档言语层高档言语是开发者进行智能合约编写的东西。以太坊智能合约开发有多种能够运用的高档言语,其间最为常用的是 Solidity言语。高档言语层面为智能合约带来的安全要挟首要有两个原因,一个是高档言语自身规划的缺点所引进的安全问题,另一个则是开发者在编写高档言语过程中由于忽视代码质量而引进的安全缝隙。陈述数据显现，缝隙首要会集在“命名不标准”、“编译器版别不一致”、“Solidity版别过期”等方面，其间“命名不标准”缝隙数量最多，有517个。 l 虚拟机层虚拟机是编译后的智能合约字节码履行器。以太坊的虚拟机及其字节码的规划标准被界说在以太坊技能黄皮书中,是各种以太坊客户端完成以太坊虚拟机的标准辅导手册。虚拟机层面的安全要挟首要有两个方面,一是以太坊黄皮书规划智能合约字节码标准和运转机制自身的一些缺点,二是不同的以太坊客户端在完成虚拟机的过程中,因没有严厉依照手册完成而引进的问题。陈述数据显现，问题首要会集在重入缝隙，其间“乱序引起的重入”最多，有62个。 l 区块链层智能合约依托区块链来供给去中心化、不行篡改和信赖等特性,区块链渠道对智能合约的运转也有许多影响。区块链关于智能合约来说,虽然是其安全可信的根基,但区块链自身的许多特性也会给智能合约带来安全危险。陈述数据显现，区块链层的缝隙首要会集在“随机性缺乏”和“时刻戳依靠”，其间“时刻戳依靠”最多，有17个。 l 事务逻辑层区块链项意图事务逻辑现在越来越杂乱，也面对越来越多的事务安全问题，以DeFi为例，如财物冻住、链上私有数据未加密、短少external声明等问题并非由单纯的代码编写过错导致，更多与事务逻辑规划严密相关，因而在项目上线前要进行严厉的事务流程测验，仔细剖析规划中的薄弱环节，防止事务问题的产生。陈述数据显现，“短少external声明”呈现的频率最高，有473个。 要挟等级散布缝隙实质对错成心、非预期的安全缺点或危险，依据国家区块链缝隙库《区块链缝隙定级细则》,并结合事务特色及运用场景将要挟等级分为高、中、低、音讯四个等级。首要依据缝隙的损害程度、使用难度，辅以其他要素归纳断定。损害程度首要依据机密性影响、完整性影响、可用性影响三个维度界说；使用难度首要依据进犯向量、进犯杂乱度、认证三个维度界说。陈述数据显现，智能合约安全问题首要会集在音讯级，共发现1785项缝隙。具体散布如下： 陈述对每个要挟等级的缝隙都进行了具体的剖析，以“高危”缝隙为例：高危缝隙一般指中低使用难度且对智能合约的机密性、完整性、可用性或其经济模产生恶劣影响，可对合约事务系统形成很多经济丢失、部分功用不行用、大范围数据紊乱、权限办理失控、要害功用失效、公信力下降，或直接影响与之相关的其他智能合约正确运转并形成很多丢失等严峻且大都不行逆的损害。陈述数据显现，高危缝隙首要会集在“影子状态变量”、“恣意地址发布以太坊”、“修正器中有外部变量”、“修正器修正状态变量”等，其间“修正器中有外部变量”最多，有11个。 项目类散布本次选取的41个项目包含：典当假贷、现货买卖、安稳币买卖、稳妥AMPL衍生品买卖、付出AMPL理财、锚定币等类。陈述数据显现，现在安全问题首要会集在现货买卖项目中，发现1084项缝隙。散布如下： 进犯原理剖析不知道攻焉知防，结合41个项意图归纳审计成果及第一季度实践产生的8起典安全事情，陈述从合约缝隙、密钥走漏、经济进犯、流量进犯、算力进犯5个方面剖析了相关进犯原理并提出防备主张。l 合约缝隙智能合约实质上是一段运转在区块链上的代码，其极大地扩展了区块链的事务范围，一起区块链也为智能合约供给了更好的运转环境。布置在区块链上的智能合约具有揭露通明、自动化独立履行、不行更改以及天然带有经济特点并带着数字财物等特性，因而智能合约越来越遭到黑客的重视与进犯。由于大大都智能合约都是开源的，黑客能够研讨现有的合约缝隙，并依据发现的合约缝隙主张进犯，给用户形成了极大的经济丢失。l 密钥走漏：区块链账户地址归于匿名账户，其账户的安全性彻底依靠于账户对应的私钥的安全性。持有账户的私钥，相当于具有对账户以及账户财物的肯定操控权。智能合约中的一些特别账户，其安全性对整个合约乃至整个项目有着极大的影响，例如owner账户、铸币账户，把握了其私钥，就能够使用这些账户对合约进行某些不合法的操作。若具有了owner账户的私钥，则或许使用该owner账户直接调用owner地址的验证，然后对合约进行从头初始化、随意修正状态变量等非法操作；若具有的铸币账户的私钥，则能够使用该铸币账户无限制的铸币，然后盗取很大都字财物，然后引起账户的严重的丢失。Roll被进犯便是由于用户账户的私钥被黑客盗取引起的很多资金被盗的典安全事情。l 经济进犯：DeFi项意图事务逻辑规划杂乱，使用闪电贷这种新产品进行进犯的DeFi事情在曩昔的一年里层出不穷。这些安全问题的深层次原因在于，在规划事务逻辑时，未考虑到某些要害性要素，如：弹性供给机制、增发机制、清算机制规划不合理、链上价格及其他信息可被低本钱操控等，导致了歹意套利、歹意增发等问题。进犯者经过操作 AMM 财物池内的财物价格或许财物数量使相关协议蒙受丢失，咱们无妨称之为经济进犯。至今呈现的经济进犯一般分为哄抬套利和操作预言机两种方法。l 流量进犯：在区块链网络中的流量进犯被称之为DDoS(distributed denial-of-service)进犯。是指网络被很多的流量或特定信息故意吞没，然后引发系统溃散。此类进犯的方针一般为闻名企业(如各个中心化买卖渠道等)。这些进犯一般不以获取个人信息或绑架系统为意图，而是为了制作巨大的紊乱。从实质上讲，主张此类进犯的黑客的相当于网络恐怖分子。想要防止DDoS进犯难度比较大，但也能够经过答应更多用户参加散布式网络，以更好地抵挡DDoS进犯，从而增强网络的安全性。不只如此，区块链技能也答应网络用户租借额定带宽，以支撑那些流量过载的网络。这样一来，DDoS进犯的成功率也将显着下降。l 算力进犯：当系统中有协作关系的歹意节点所操控的算力，超越诚笃节点所操控的算力，系统便是有被进犯的危险。这种由歹意节点操控超越50%算力所主张的进犯，称为51%算力进犯。一般依据PoW（工作量证明）一致机制的加密钱银，存在51%算力进犯的要挟较大，比方比特币、比特现金和现在阶段的以太坊等；而非PoW一致算法的加密钱银则能较好的防止51%算力进犯，如依据DPoS（托付权益证明）一致机制的EOS、TRON等。安全主张 智能合约是布置和运转在区块链上的程序。凭借区块链，智能合约能够完成各类去中心化运用(DApp)。与传统程序相同，智能合约中存在缝隙也在所难免。但是不同的是，智能合约运转在更为敞开的环境中，并天然生成带有金融特点，且晋级本钱极高。这意味着其对安全的要求更高，任何一点瑕疵都或许带来无法预估的结果。构建智能合约安全系统，咱们主张从以下几个方面着力。 l 技能安全智能合约安全自身是一个系统性和专业性极强的工程，需求归纳考虑合约渠道底层安全、合约规划与完成安全、合约生态东西安全、合约交互与数据安全等各方面，任何一个环节呈现纤细问题都会留下极大的危险。l 事务安全作为去中心化运用的中心部分，智能合约还需求牢靠的规划。糟糕的规划或许会引进难以发现的深层次安全问题，这类问题往往无法简略经过扫描源代码发现。智能合约规划者需求归纳考虑事务逻辑、多人物权限和博弈、区块链一致等多方面要素。合约事务逻辑规划与完成应不存在显着安全问题。部分智能合约会受办理员操控，而部分办理员乃至具有极高的特别权限，特定场景下会要挟合约其他用户的财物安全。为了智能合约安全，咱们一方面需求警觉超级办理员作恶，另一方面需求考虑办理员身份被盗用所带来的结果。接口调用权限、办理员权限等需求区分明晰。l 安全服务作为区块链渠道上办理数字财物的重要组成部分,智能合约的安全性必将遭到越来越多的重视。智能合约项目方应与具有专业安全才能的服务商协作，进步智能合约的安全性。通付盾区块链安全团队为客户供给高档其他区块链安全服务，区块链安全专家团队7*24小时为智能合约供给全生命周期的安全保证，服务包含：VIP安全审计服务、VIP合规审计服务、安全事故应急呼应等，协助客户构建智能合约安全系统。项目方可参照通付盾区块链安全团队的安全主张，完善合约开发和发布流程，从规划、开发、测验、审计到布置、监控、应急呼应，维护智能合约全生命周期安全。获取通付盾智能合约安全态势感知季报2021Q1重视“通付盾”订阅号，后台回复关键词“智能合约”，下载陈述全文。