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

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

MakerDAO再次購買7億美元的美債，累計持有超12億美元:金色財經報道，MakerDAO完成了超過7億美元美國國債的購買。在2022年10月購買了5億美元債券后，該組織目前的債券總持有量為12億美元。MakerDAO投資債券是為了增加對低風險、流動性傳統資產的敞口。來自DeFi貸方Monetalis Group的數字資產管理公司Monetalis Clydesdale Vault代表MakerDAO完成了購買。[2023/6/22 21:52:55]

Mindao

迪拜金管局計劃于11月更新加密監管規則:5月26日消息，迪拜金融服務管理局副主任 Elisabeth Wallace 表示，迪拜金融服務管理局計劃更新關于加密貨幣的規則，自 11 月起對該城市的商業中心生效，該規則可能在今年晚些時候出臺。Wallace 表示，全球監管機構需要加強相互對話，以避免壞人利用加密規則中的漏洞。她表示，很多加密貨幣企業傾向于在一個保護傘內經營大量活動，這確實令我們擔憂，它們橫跨了整個世界，作為監管機構，我們需要在這個領域更多地相互交流，因為可能存在相當多的差距，我們已經看到很多不良行為者試圖填補其中一些差距。[2023/5/26 9:43:50]

個人專欄

當前以太坊質押總量為18044134枚ETH:金色財經報道，據以太坊官方網站mainnet.beaconcha.in數據顯示，當前以太坊質押總量突破1800萬枚ETH，質押總量為18044134枚ETH，以太坊信標鏈驗證者總量已突破56萬，此外，以太坊信標鏈ETH質押APR（年回報率）為4.65%。[2023/4/9 13:53:16]

閱讀更多

金色財經 善歐巴

金色早8點

Arcane Labs

MarsBit

Odaily星球日報

歐科云鏈

深潮TechFlow

BTCStudy

澎湃新聞

Tags：DAOETH以太坊MAKEYDAO幣ETHYS幣以太坊官網倒計時maker幣行情

USDC