LABS:借著Euler黑客事件 聊聊DeFi的安全審計和安全

除了常規審計，Euler還用了Certora做形式化驗證，這個我們之前也用過，形式化驗證能幫助窮盡“已知”路徑的覆蓋范圍，但是無法窮盡“未知的未知”。DeFi是一個開放系統，對于黑客（攻方）來說，它的輸入是無限的，輸出也是無限的。假設把安全攻防看成挖礦，你守方用三五臺機器算哈希挖礦攻方無數機器時刻在算哈希，只要算對一次就贏了；這個輸贏面對比是明顯的。靜態的安全審計，由于輸入輸出固定，無法覆蓋已知的未知，更無法覆蓋未知之未知。

美股短線下挫，納指、標普500指數均跌超2.6%:行情顯示，美股短線下挫，納指、標普500指數均跌超2.6%，道指跌近2.5%。[2022/9/24 7:17:31]

Mindao

未知地址向幣安轉入1149億枚SHIB，價值140萬美元:9月2日消息，Twitter用戶@ShibaPlay發文稱，一小時前，0x59開頭的未知巨鯨地址向0x84開頭的中轉地址轉入1149枚SHIB代幣（約140萬美元），并最終轉入幣安交易所，目前原賬戶余額已清零，交易ID為0xe4e038a3ed95b81aad01c8afc6a9a2769d16402103d800675b4a11098c72e9b9。[2022/9/2 13:05:04]

個人專欄

CZ：不確定Ava Labs惡意競爭是否屬實，Binance不是其競爭對手:8月29日消息，CZ在其社交平臺表示，不確定Ava Labs與律師事務所合作進行惡意競爭的消息是否屬實，Binance甚至不是其競爭對手。

此前Cryptoleaks視頻爆料，Ava Labs向Roche Freedman支付大量Ava Labs股權和AVAX（現價值數億美元），Roche Freedman則針對Binance、Solana Labs和Dfinity Foundation等競爭對手發起惡意訴訟。[2022/8/29 12:54:40]

閱讀更多

金色財經 善歐巴

金色早8點

Arcane Labs

MarsBit

Odaily星球日報

歐科云鏈

深潮TechFlow

BTCStudy

澎湃新聞

Tags：LABSABSAVANANLABS幣Trace Network Labscava幣是什么MovingOn Finance

MATIC