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

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

P2P比特幣交易所Paxful恢復運營:金色財經報道，P2P 比特幣交易所 Paxful 宣布在關閉一個多月后已恢復運營，該公司寫道：“一個月后，我們很高興地宣布 Paxful 市場重新上線，4 月初，我們面臨一個艱難的決定，即暫時關閉市場以保護我們所有的客戶和 Paxful 的未來。”

此前消息，Paxful 于 4 月關閉，首席執行官 Ray Youssef 因聯合創始人 Artur Schaback 起訴 Youssef 和公司不當解雇等原因對客戶資金安全表示擔憂。根據 Schabeck 的說法，Paxful 目前由一名托管人所有，除了 Schabeck 和 Youssef 之外，該托管人還擔任董事。[2023/5/9 14:50:59]

Mindao

HALO公布空投細節，快照將于3月3日陸續啟動:2月26日消息，3D 虛擬形象 NFT 項目 HALO OFFICIAL 發文公布空投細節，空投 Token 總量為 1000 萬枚。其中：

HALO NFT 持有者獲得 25%；

HALO Avatar NFT 持有者獲得 25%；

Life Avatar Poap 持有者獲得 10%；

Lifeform Activity Medal 持有者獲得 10%；

Lifeform Points 持有者獲得 20%；

Lifeform Avatar 持有者獲得 5%；

Lifeform Cartoon Avatar 持有者獲得 5%。

此外，質押的 NFT 不包含在快照中。因此，用戶需確保在拍攝快照之前取消質押。快照時間為：3 月 3 日 8 時（除 Lifeform Points 外的其他地址）；3 月 5 日 8 時（Lifeform Points 地址）。[2023/2/26 12:30:27]

個人專欄

MakerDAO通過MIP6提案，并發起從RWA-009金庫中提取2500萬枚DAI的新執行提案:8月26日消息，MakerDAO表示，已通過現實世界資產（RWA）發行超 8900 萬枚 DAI。Maker Governance 新提案 MIP6 已獲得投票通過，旨在將 Robinland（RBLD）的 Token 化房地產支持貸款作為 Maker 協議中的抵押品。Robinland 將發行 RBL Token，以打包所有潛在的 Token 化房地產貸款項目，RBL Token 將可用作抵押品以生成 DAI。

此外，MakerDAO 發起將 2500 萬枚 DAI 從 RWA-009（HVBank）金庫中取出的新執行提案，因為經抵押品工程服務核心部門團隊測算發現，由于 DAI/USD 市場缺乏流動性，為尋求將交易對手風險降至最低，當日「風險」結算時可兌換的最大 DAI 額度為 2500 萬枚 DAI。如果此執行提案在 30 天內未通過，則將失效。[2022/8/26 12:50:05]

閱讀更多

金色財經 善歐巴

金色早8點

Arcane Labs

MarsBit

Odaily星球日報

歐科云鏈

深潮TechFlow

BTCStudy

澎湃新聞

Tags：DAILIFLIFEFORMText2VidAIBattle for LifeLifeCare PlusRoobee Platform

抹茶交易所