借著Euler黑客事件 聊聊DeFi的安全審計和安全_虛擬資產

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

韓國檢察廳已采購虛擬資產證券性相關的研究服務:6月8日消息，韓國檢察廳已采購虛擬資產證券性及保護受害者法律和方向的研究服務。以審查虛擬資產（加密貨幣）的證券性，這項服務的期限至 2023 年 11 月，主要內容是分析韓國國內外虛擬資產主要犯罪類型和監管趨勢，為行使國家懲罰權提供依據。其中對于被認定具有證券性質的虛擬資產，可以適用資本市場法指控其違規，預計將增加刑期并更容易追回犯罪所得資產。[2023/6/8 21:24:00]

Mindao

10月Ronin鏈上NFT銷售額不足14萬美元，創迄今最低紀錄:金色財經報道，據cryptoslam數據顯示,10月Ronin鏈上NFT銷售額僅為138,490.17美元，創下迄今為止最低單月銷售額記錄。此外，10月Ronin鏈上NFT交易總量為7，592筆，獨立買家2,864個，獨立賣家2,212個，鏈上單筆交易均價約為10.28美元（也創下迄今為止的最低紀錄）。[2022/11/2 12:07:32]

個人專欄

Crypto.com DeFi錢包新增支持ORN、AVAX等代幣:5月30日消息，Crypto.com DeFi錢包新增支持Orion Protocol（ORN）、Hector（HEC）、OneArt（1ART）、Yearn.finance（YFI）、Avalanche（AVAX）等FTM-ERC20代幣。[2022/5/31 3:51:26]

閱讀更多

金色財經 善歐巴

金色早8點

Arcane Labs

MarsBit

Odaily星球日報

歐科云鏈

深潮TechFlow

BTCStudy

澎湃新聞

Tags：虛擬資產RONCRYPTOCRY香港虛擬資產交易牌照獲得的公司TronLink蘋果手機下載GoCryptoCryptoSword

萊特幣