区块见闻 区块见闻
Ctrl+D收藏区块见闻
首页 > 波场 > 正文

ETHER:黑客事件频发 请收下这篇Crypto防盗指南_Coincheck

作者:

时间:

黑暗森林中的攻击手法和防范措施。

本文来自?Medium,原文作者:KofiKufuor,由Odaily星球日报译者Katie辜编译。

黑客今年从加密应用程序中窃取了20多亿美元。国庆期间,行业又经历了?TokenPocket闪兑服务商被盗和?BNB??Chain?跨链?桥BSCTokenHub遭攻击的加密盗窃事件。

随着加密生态系统的发展,安全攻防战只会越演越烈。因此,本文将:

提出加密安全事件的分类法;

列举出迄今为止让黑客最赚钱的攻击手段;

回顾当前用于防止黑客攻击的工具的优缺点;

讨论加密安全的未来。

黑客类型

加密应用生态系统由互操作协议组成,由智能合约支持,依赖于链和互联网的底层基础设施。此堆栈的每一层都有其独有的漏洞。我们可以根据利用的堆栈层和使用的方法对加密黑客进行分类。

攻击基础设施

对基础设施层的攻击利用了加密应用程序的底层系统中的弱点:依赖用于达成共识的区块链、用于前端的互联网服务和用于私钥管理的工具。

CremaFinance:找到了黑客在黑客事件中使用的可疑discord账户:金色财经报道,CremaFinance在社交媒体上称,根据合作伙伴提供的线索,我们找到了黑客在黑客事件中使用的可疑discord账户。我们正在与有关方面接触,以获得更多可能有助于侦查的信息。

金色财经此前报道,CremaFinance被黑客攻击损失约880万美元。[2022/7/4 1:50:09]

攻击智能合约语言

这一层的黑客利用了智能合约语言的弱点和漏洞,例如可重入性和实现委托调用的危险,这些可以通过遵循安全规范来规避。

攻击协议逻辑

这类攻击利用单个应用程序业务逻辑中的错误。如果黑客发现了一个错误,他们可以利用这个错误触发应用程序开发者没有预料到的行为。

例如,如果一个新的?DEX?在决定用户从交易中获得多少钱的数学方程中出现了错误,那么这个错误就可以被利用,使用户从交易中获得比本应可能获得的更多的钱。

协议逻辑级攻击还可以利用用于控制应用程序参数的治理系统。

攻击生态系统

许多知名的加密黑客利用了多个应用程序之间的交互。最常见的是黑客利用一个协议中的逻辑错误,利用从另一个协议借来的资金来扩大攻击规模。

通常,用于生态系统攻击的资金是通过闪电贷借来的。在执行闪电贷时,你可以从?Aave??和?dYdX??等协议的流动性池中借到你想要的金额。

安全公司:年度最大DeFi黑客事件Poly Network遭受攻击源头已找到:对于跨链互操作协议Poly Network遭受攻击事件,成都链安技术团队经过深度分析已找到攻击的源头。该笔交易对应的跨链交易由本体链上f771ba开头的这笔交易发出,并定位到本体链上AM2W2L开头的攻击者地址。攻击者在ONT链上进行攻击尝试发现有效后,通过这笔f771ba开头的地址交易批量向多个链发起更改Keeper的跨链消息,然后BSC链的relayer 0xa0872c79开头地址率先处理了该笔跨链交易,并将keeper设置为攻击者指定的以0xa87开头的地址。

接着Ethereum、Polygon两条链上攻击者重放了BSC链的 relayer所使用的有效签名。Keeper地址更改为自己的地址后,攻击者使用自己可控的Keeper发起了提币交易,转移了跨链池中的资产。此处攻击成功表明PolyNetwork在对跨链交易事件的验证存在缺陷,导致了恶意的跨链消息被接收并在对应的链上进行了跨链消息所指定的操作。[2021/8/11 1:49:10]

数据分析

我收集了2020年以来100起规模最大的加密货币黑客攻击的数据集,被盗资金总计50亿美元。

生态系统受到的攻击最为频繁。他们占41%。

美国政府要求EtherDelta黑客事件受害者提供信息:金色财经报道,美国总检察长和特勤局已经要求2017年EtherDelta黑客事件的受害者提供信息。据悉,美国加利福尼亚州北区检察官办公室在2019年8月就黑客攻击事件起诉了Elliot Gunton和Anthony Tyler Nashatka。两人涉嫌修改了EtherDelta交易所的域名系统,以将用户重定向到类似于真实平台的假网站。[2021/5/22 22:30:55]

协议逻辑漏洞导致了最多的金钱损失。

金额最大的三个攻击:Ronin跨链桥攻击,PolyNetwork攻击和BSC跨链桥攻击。

如果排除前三大攻击,则针对基础设施的被盗案件是损失资金最多的类别。

黑客是如何下手的?

基础设施

在61%的基础设施漏洞中,私钥是通过未知的方式泄露的。黑客可能通过网络钓鱼邮件和虚假招聘广告等社会攻击获得这些私钥。

除Graham Clark外 另有两名参与推特黑客事件的嫌疑人已被起诉:此前报道美国佛罗里达州检察官周五宣布,已对17岁的佛罗里达州居民Graham Clark提出30项重罪指控,理由为Graham涉嫌参与上月推特账户大规模被黑事件。根据司法部的官方公告,除Graham Clark外,涉嫌参与该事件的另外两名黑客也已被起诉,分别为19岁的英国黑客Mason Sheppard,以及22岁的美国佛罗里达州黑客Nima Fazeli。(美国司法部官网)[2020/8/1]

智能合约语言

可重入性攻击是智能合约语言级别上最热门的攻击类型。

在可重入攻击中,易受攻击的智能合约中的函数调用恶意合约上的一个函数。或者,当易受攻击的合约向恶意的合约发送代币时,可以触发恶意合约中的函数。然后,在合约更新其余额之前,恶意函数在递归循环中回调易受攻击的函数。

例如,在Siren?Protocol黑客攻击中,提取质押品代币的函数很容易被重入,并被反复调用,直到所有质押品耗尽。

协议逻辑

协议层上的大多数漏洞都是特定应用程序独有的,因为每个应用程序都有唯一的逻辑。

访问控制错误是样本组中最常见的重复出现的问题。例如,在PolyNetwork黑客事件中,“EthCrossChainManager”合约有一个任何人都可以调用的功能来执行跨链交易。

NEM基金会主席Lon Wong回应Coincheck黑客事件:今日NEM基金会主席Lon Wong对CoinCheck的黑客事件作出官方回应,Lon Wong表示,我们要代表NEM基金会感谢NEM社区的持续支持。Coincheck失败对我们所有人都产生了影响,我们也体会到了挫折感、失落感。作为一个社区,这一事件提醒我们,我们仍然存在薄弱环节。作为基金会,我们将继续支持和推广优秀的区块链。风雨无阻,我们将继续在NEM区块链上发力,使其越来越强大。XEM事件已经敲响了警钟,要对安全措施进行双重检查,并部署所有必要的安全机制。携手同心,我们可以继续为未来创造一个强大的生态系统。[2018/3/13]

注意:有很多情况下,多个协议使用相同的技术会被黑客攻击,因为团队分叉了一个有漏洞的代码库。

例如,许多?Compound??分叉,如CREAM、HundredFinance和VoltageFinance都成为了重入性攻击的受害者,因为Compound的代码在允许交互之前无需检查交互的效果。这对Compound来说很有效,因为他们审查了他们支持的每个新代币的漏洞,但制作分叉的团队并没有这么做。

生态系统

98%的生态系统攻击中都使用了闪电贷。

闪电贷攻击通常遵循以下公式:使用贷款进行大规模交易,推高贷款协议用作喂价的AMM上的代币价格。然后,在同一笔交易中,使用膨胀的代币作为质押品,获得远高于其真实价值的贷款。

黑客在哪里下手?

根据失窃的合约或钱包所在的链对数据集进行分析。以太坊的黑客数量最多,占样本组的45%。币安?智能链以20%的份额位居第二。

造成这种情况的因素有很多:

以太坊和BSC拥有最高的TVL,所以对这些链上的黑客来说,奖励的规模更大。

大多数加密货币开发人员都知道Solidity,这是以太坊和BSC上的智能合约语言,而且有更复杂的工具支持该语言。

以太坊的被盗资金最多。BSC位居第二。

涉及跨链桥或多链应用程序对数据集产生了巨大的影响。尽管这些黑客事件只占总数的10%,但却窃取了25.2亿美元的资金。

如何防止黑客攻击?

对于威胁堆栈的每一层,我们都可以使用一些工具来早期识别潜在的攻击载体并防止攻击的发生。

基础设施

大多数大型基础设施黑客攻击都涉及黑客获取诸如私钥等敏感信息。遵循良好的操作安全步骤并进行经常性的威胁建模可以降低这种情况发生的可能性。拥有良好OPSEC流程的开发团队可以:

识别敏感数据;

识别潜在的威胁;

找出现有安全防御的漏洞和弱点;

确定每个漏洞的威胁级别;

制定并实施减轻威胁的计划。

智能合约语言和协议逻辑

1.模糊测试工具

模糊测试工具,如Echidna,测试智能合约如何对大量随机生成的交易做出反应。这是检测特定输入产生意外结果的边缘情况的好方法。

2.静态分析

静态分析工具,如Slither和Mythril,自动检测智能合约中的漏洞。这些工具非常适合快速找出常见的漏洞,但它们只能捕获一组预定义的问题。如果智能合约存在工具规范中没有的问题,也不会被发现。

3.形式化验证

形式化验证工具,如Certora,将比较智能合约与开发人员编写的规范。该规范详细说明了代码应该做什么以及所需的属性。例如,开发人员在构建一个贷款应用程序时,会指定每笔贷款都必须有足够的质押品支持。如果智能合约的任何可能行为不符合规范,则形式化验证者将识别该违规行为。

形式化验证的缺点是测试只和规范保持一样的标准。如果所提供的规范没有说明某些行为或过于宽松,那么验证过程将无法捕获所有的错误。

4.审计和同行评审

在审计或同行评审期间,一组受信任的开发人员将测试和评审项目代码。审计员将撰写一份报告,详细说明他们发现的漏洞,以及如何修复这些问题的建议。

让专业的第三方评审合约是发现原始团队遗漏的漏洞的好方法。然而,审核员也是人,他们永远不会捕抓到所有漏洞。此外要信任审计员,如果审计员发现了问题,他们会告诉您,而不是自己利用它。

5.生态系统攻击

尽管生态系统攻击是最常见和最具破坏性的类型,现有工具中没有很多工具适合防止这类攻击。自动安全工具专注于每次在一个合约中查找错误。审计通常无法解决如何利用生态系统中多个协议之间的交互。

像Forta和tenerlyAlerts这样的监视工具可以在发生组合性攻击时提供早期警告,以便团队采取行动。但在闪电贷攻击中,资金通常在单笔交易中被盗,因此任何预警都太晚了,无法防止巨大损失。

威胁检测模型可以用来发现内存池中的恶意交易,在节点处理它们之前,交易就存在于内存池中,但黑客可以通过使用flashbot等服务直接将交易发送给矿工,从而绕过这些检查。

加密安全的未来

我对加密安全的未来有两个预测:

1.我相信最好的团队将从把安全视为基于事件的实践转变为将其视为一个连续的过程。他们将:

对主代码库中的每一个新增代码执行静态分析和模糊处理;

对每一次重大升级都进行正式验证;

建立具有响应动作的监视和警报系统;

让一些团队成员制定和维护安全自动化和攻击响应计划。

安全工作不应在审计后结束。在许多情况下,例如Nomad跨链桥黑客攻击,其漏洞是基于审计后升级中引入的错误。

2.?加密安全社区应对黑客攻击的过程将变得更有组织和精简。每当黑客攻击发生时,贡献者就会涌入加密安全群组聊天,渴望提供帮助,但缺乏组织意味着重要细节可能会在混乱中丢失。我认为在未来,这些群聊将转变成更有条理的组织形式:

使用链上监控和社交媒体监控工具,快速检测主动攻击;

使用安全信息和事件管理工具协调工作;

采取独立的工作流程,使用不同的渠道沟通黑白客的工作、数据分析、根本原因和其他任务。

标签:NANETHERCoincheck区块链Tidal FinanceETHER价格coincheck交易平台未成年可以注册吗区块链的未来发展前景分析

波场热门资讯
WEB:万事达卡发布打击欺诈行为的新系统Crypto Secure 进一步深入加密货币领域_加密货币是钱吗

万事达卡于周二首次推出一款新的软件,帮助银行识别和切断来自易受欺诈的加密货币交易所的交易,该系统名为CryptoSecure.

区块链:上海渊雷文化艺术基金会开启首个公益机构元宇宙_OSS

新民晚报讯文化公益事业与元宇宙技术的结合将打开出怎样的新应用新场景?昨天下午,上海渊雷文化艺术基金会在上海世博文化公园原意大利馆启动国内首个公益机构元宇宙——“渊雷基金会”公益元宇宙.

THE:金色观察 | 波哥大DEVCON VI即将开始 这里有份日程指南_ECON价格

由以太坊基金会主办的、2022年以太坊社区最期待的盛事、第6届以太坊开发者大会DEVCONVI于2022年10月11日至14日在哥伦比亚首都波哥大举行.

无聊猿:只有星巴克的 NFT 是 Web2.5?恐怕在座的各位···_区块链币圈

咖啡品牌星巴克刚刚公布的NFT计划,据说是有史以来最大的NFT忠诚度计划,将为会员带来「革命性」的Web3体验。同一时间,加密币大跌,英超联赛宣布搁置NFT计划.

WEB:熊市中 DEX、借贷、资管哪种商业模式更佳?_UNFT

撰文:Bankless分析师BenGiove在牛市带来的流动性激增期间,TVL是投资者衡量协议成功与否及其使用情况的首选指标.

SBT:代表链上行为的 SBTs:如何构建真正的链上身份?_BTS

5月11日,以太坊联合创始人VitalikButerin与研究员GlenWeyl、PujaAhluwaliaOhlhaver等人共同发表了论文《去中心化社会:寻找Web3的灵魂》.