CER:CertiK：在DeFi有人能逃過黑客攻擊嗎——xToken攻擊事件簡析_Bitgert

北京時間5月13日，CertiK安全技術團隊發現DeFi質押和流動性策略平臺xToken遭到攻擊，xBNTaBancor池以及xSNXaBalancer池立即被耗盡，造成近2500萬美元損失。5月還未過去一半的時間，這次的攻擊事件加上5月已發生的其他攻擊事件，竟已有大約8500萬美元被盜了。攻擊是如何發生的？CertiK安全團隊在2020年發現的關鍵bug分為三類：邏輯錯誤，閃電貸和項目方欺詐。本次事件部分可以算的上是一次并非“典型”的閃電貸攻擊。閃電貸可以在無需提供任何抵押的情況下進行貸款，當然所有操作必須在一個交易區塊內完成。開發人員可以從Aave或dYdX等協議中借貸，條件是在交易結束之前將流動資金返還到資金池中。如果資金未能及時返回，則交易將被撤回，從而確保儲備池的安全。閃電貸具備多種功能和用例，但我們目前看到的多數閃電貸都被用于套利交易。而惡意使用方式則是攻擊其他一些DeFi協議或操縱價格預言機的價格——這也正是此次xToken發生的情況。

Balancer流動性已集成至DEX聚合器OpenOcean:金色財經報道，Balancer在推文中表示，Balancer流動性已集成至Polygon和Avalanche上的DEX聚合器OpenOcean，借助金庫的靈活性和 SOR 效率，用戶可以利用深度流動性 ，最小的價格影響以及最佳交換路徑。[2023/8/11 16:21:05]

弗蘭克研究員在推特上解釋攻擊是如何發生的細節分析

針對xSNXa的攻擊

1.黑客在dYdX上利用閃電貸借出大約61800個ETH。2.在Aave上存入10000個ETH借出56.4萬個SNX，然后通過SushiSwap將5500個ETH換成約70萬個SNX。之后在Uniswapv2上賣出120萬SNX，獲得818ETH，借此大大降低了SNX的價格。3.在價格降低后，攻擊者只用了0.12個ETH就鑄造了12億xSNXa。這是因為該協議通過Kyber價格預言機購買SNX并鑄造xSNXa，而Kyber價格預言機參照了Uniswapv2的價格。4.然而在Balancer協議中，xSNXa的價格還是原來的價格，這使得攻擊者可以將1.05億xSNX換成414個ETH。5.之后，攻擊者在Uniswap和Sushiswap上用ETH購買SNX來償還Aave上的借貸,將現有的xSNXa賣給Balancer的SNX/ETH/xSNXa池子,獲利的同時償還了dYdX的閃電貸。針對xBNTa的攻擊

MDEX去中心化交易協議完成Certik全方位安全審計:據MDEX官方消息稱，目前已通過區塊鏈審計公司Certik進行的全方位安全審計，各項審計指標均優異，無任何環節需要代碼更新，審計報告將添加到官方GitHub存儲庫。詳情見原文鏈接。[2021/3/25 19:18:30]

xBNTa的合約通過ETH來鑄造xBNTa。其原理是在智能合約中在Bancor協議中將ETH換成BNT，并利用換來的BNT數量來計算鑄造的xBNTa數量。然而合約中的"mint"方法并未驗證用ETH換來的幣是否為BNT，攻擊者使用了一個總量極大的代幣SPD替換了BNT，偽造了BNT的數量，使其可以無限增發xBNTa。攻擊者調用了“mint”方法四次，每次使用0.03ETH鑄造大量的xBNTa，最終獲得了39億xBNTa，并將獲得的一半的xBNTa換成了大約78萬BNT。

Axion Network遭黑客攻擊幣價歸零，CertiK稱可能是項目內部人員所為:Cointelegraph報道稱，在11月2日，一個名為Axion Network的項目上線代幣AXN幾個小時后即遭到黑客攻擊，790億枚AXN被鑄造并且拋售到市場，代幣價格幾近歸零，黑客獲利1300枚ETH，約合50萬美元。

作為項目的審計方之一，Certik通過分析表示，黑客利用了Axion質押合約的反質押功能，通過Uniswap將AXN兌換為ETH，直到Uniswap相關代幣池被耗盡，AXN價格歸零。此外，Certik表示該事件很可能為內部人員所為，惡意代碼的植入發生在代碼部署期間，而這部分代碼并非Certik審計內容。[2020/11/3 11:29:52]

CertiK Chain計劃于10月初啟動主網:區塊鏈安全公司CertiK9月28日在Discord頻道宣布，CertiKChain主網計劃在10月初上線。不過提高抵押的4周任務被取消，將更多精力用于主網的啟動。本周團隊將開始階段3的部署。據此前消息，9月17日，CertiK基金會已正式開源CertiKChain。已開放使用的產品包括CertiKChain、去中心化CertiK安全預言機、用于編寫安全智能合約的安全編程語言和編譯器工具鏈DeepSEA工具。[2020/9/30]

但為什么說這次黑客攻擊和以往的閃電貸攻擊不同呢？因為攻擊者的這筆交易使用了FlashbotsMEV來實施，保證了交易的私密性,防止這筆交易在和AMM交互時被別的用戶進行了“三明治攻擊”。■術語詳解①Flashbots是一個研究和開發組織，成立的初衷是緩解由"礦工可抽取價值(miner-extractablevalue,MEV)"給智能合約平臺型區塊鏈帶來的負面影響和生存風險。他們提議為MEV設計一種無需許可、透明且公平的生態系統，來保衛以太坊的理念。②礦工可抽取價值是一種設計用來研究共識安全的標準，它模擬了礦工通過任意包含、去除或重新排序他們產生的區塊中的交易的能力而獲得的利潤。例如，攻擊者可以看到一個有利可圖的交易，并試圖通過支付更高的交易費用來提前進行交易，從而獲得利潤。或者通過對AMM交易進行三明治攻擊。③三明治攻擊：當攻擊者在交易池中觀察到一筆資產X換取資產Y的交易后，攻擊者可以提前買入資產Y，隨后讓受害者執行交易來提升Y資產的價格，然后在Y資產價格上升后出售先前購入的資產Y來獲取利潤。

因此，即使是攻擊者也需要警惕黑暗森林中所有潛伏的掠奪者。Flashbots需要用戶使用個人的API密鑰，攻擊者極有可能在使用Flashbots的時候留下自己的蹤跡。因此查找該API密鑰的使用歷史也可作為追回損失的手段之一。寫在結尾

xToken作為一個已經過大型安全公司審計的優秀DeFi項目遭受這樣的攻擊其實是并不常見的。這也再次向我們揭露了一個事實：靜態安全審計并無法保障100%的安全。安全并非是一次性的，它是一個持續的過程。區塊鏈技術日新月異，新的攻擊方式同樣層出不窮。我們無法知道和預判將要面臨的下一次攻擊，作為業內領先的區塊鏈安全公司，CertiK開發的一系列安全工具及完備的安全服務將為項目方和投資者提供安全保障，一旦加密資產出現意外失竊情況，損失將因此降至最低。迄今為止，CertiK已進行了超過700次的審計，保護了超過300億美元的數字資產與軟件系統免受安全損失。歡迎點擊CertiK公眾號底部對話框，留言免費獲取咨詢及報價！

Tags：CERTIKcertikERTBalancerSTIK幣certik幣價Bitgert

芝麻開門交易所