2020年12月29日,據慢霧區情報Cover協議價格暴跌,以下是慢霧安全團隊對整個攻擊流程的簡要分析。
1.在Cover協議的Blacksmith合約中,用戶可以通過deposit函數抵押BPT代幣;2.攻擊者在第一次進行deposit-withdraw后將通過updatePool函數來更新池子,并使用accRewardsPerToken來記錄累計獎勵;3.之后將通過_claimCoverRewards函數來分配獎勵并使用rewardWriteoff參數進行記錄;4.在攻擊者第一次withdraw后還留有一小部分的BPT進行抵押;5.此時攻擊者將第二次進行deposit,并通過claimRewards提取獎勵;6.問題出在rewardWriteoff的具體計算,在攻擊者第二次進行deposit-claimRewards時取的Pool值定義為memory,此時memory中獲取的Pool是攻擊者第一次withdraw進行updatePool時更新的值;7.由于memory中獲取的Pool值是舊的,其對應記錄的accRewardsPerToken也是舊的會賦值到miner;8.之后再進行新的一次updatePool時,由于攻擊者在第一次進行withdraw后池子中的lpTotal已經變小,所以最后獲得的accRewardsPerToken將變大;9.此時攻擊者被賦值的accRewardsPerToken是舊的是一個較小值,在進行rewardWriteoff計算時獲得的值也將偏小,但攻擊者在進行claimRewards時用的卻是池子更新后的accRewardsPerToken值;10.因此在進行具體獎勵計算時由于這個新舊參數之前差值,會導致計算出一個偏大的數值;11.所以最后在根據計算結果給攻擊者鑄造獎勵時就會額外鑄造出更多的COVER代幣,導致COVER代幣增發。
慢霧科技創始人余弦:安全的預算需要占到全年預算的20%左右:針對最近出現的安全問題,慢霧科技創始人余弦在微博上表示:給加密貨幣行業一個中肯建議:這個行業,自帶金融屬性,無國家安全力量保障,盜幣溯源有很難。安全的預算需要占到全年預算的20%左右,這比例一部分(可能是大部分)是內部安全成本消耗,一部分是給第三方職業安全團隊(如慢霧),一部分是給社區的白帽黑客。另外,做個安全應急準備金,黑天鵝出來后,可以拿來做些彌補及挽救支持的。既然喊了安全第一,既然安全也是區塊鏈三大必備基礎元素之一,那就這樣干,不應該有任何的猶豫和幻想。[2020/4/20]
具體accRewardsPerToken參數差值變化如下圖:
聲音 | 慢霧科技余弦:公鏈需應對未來可能的新型51%攻擊挑戰:安全公司慢霧科技創始人余弦今日表示,我和團隊的感覺是,Vitalik 的分享有偷換概念,創造名詞嫌疑。PoW、PoS 各有優劣,也各有自己獨特的 51% 攻擊及治理方式,51% 已經是一個廣義概念了,我覺得最長遠的對抗方式是:這條鏈擁有足夠強的全球共識,以應對未來可能出現的新型 51% 攻擊挑戰。其實所有公鏈都有個持續存在的上帝視角級挑戰,一種根本不計經濟成本的攻擊挑戰,那什么樣的攻擊是不計成本的?此前消息,以太坊聯合創始人Vitalik Buterin近日發表題為《越過51%攻擊》的演講,他表示覆巢式51%攻擊成PoW區塊鏈致命威脅,PoS或是唯一出路。[2020/2/22]
聲音 | 慢霧科技聯合創始人余弦:隱私不是拿來保護的 是拿來控制的:據巴比特消息,慢霧科技聯合創始人余弦今日在活動中表示:“我覺得隱私不是拿來保護的。我的觀點是,隱私是拿來控制的。大家都知道我們國家的法律里面有一個關于隱私的權利,大家都有隱私權,當然不一定所有人都會深刻地了解這個東西,包括你在使用很多互聯網應用的時候,你可能不一定會它的隱私條款。”[2019/5/16]
撰文:RiaBhutoria,富達數字資產研究總監編譯:PerryWang圍繞比特幣仍不少批評和誤解,在此讓我們回顧并回應.
1900/1/1 0:00:00鏈捕手消息,TheBlock研究分析師@FrankResearcher在推特分析了CreamFinance推出的零抵押跨協議貸款IronBank被盜約3750萬美元資產的過程.
1900/1/1 0:00:00本文發布于鏈聞,作者:LeftOfCenter。去中心化自治組織?DXdao?自啟動以來,其代幣DXD一度從45美元飆漲十倍達到467美元,雖然幣價隨后出現了明顯回落,但截至發文時仍保持在251.
1900/1/1 0:00:00本文發布于TheCryptoArtIndustry,作者:Loopify,編譯:律動BlockBeats。近日,眾多NFT項目憑借著巨大的財富效應吸引了無數人的關注.
1900/1/1 0:00:00文章來自華爾街見聞,作者葉楨“這是我見過的最狂野的市場!”近日,有“華爾街天才”之稱的StanleyDruckenmiller.
1900/1/1 0:00:00本文發于NEST公眾號,作者為Banach一、從線性算子到非線性算子接上回,線性算子也有其價值,只是線性算子不能沉淀出一個去中心化資產,即不能證券化.
1900/1/1 0:00:00