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

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

幣安告知荷蘭用戶在8月17日之前提款，目前已有超10萬名用戶轉移加密資產:7月20日消息，繼上個月幣安宣布將不再在荷蘭運營后，該交易所告訴其荷蘭客戶，他們必須在8月17日之前提取所持有的加密資產。截至周一，荷蘭用戶無法再在該平臺上交易加密貨幣，現在有一個月的時間來提款。

幣安已經與荷蘭加密貨幣平臺Coinmerce簽署了一項協議，通過幣安應用程序的一鍵系統，以支持用戶提款。據該公司首席執行官Jaap de Bruijn稱，超過10萬名用戶已經轉移了他們持有的加密貨幣。[2023/7/20 11:07:28]

Mindao

Web3聯合辦公中心EmpireDAO在熊市困境中關閉:金色財經報道，隨著延長的加密寒冬繼續給 Web3 業務帶來壓力，企業家 Mike Fraietta在曼哈頓 Soho 區創立的加密聯合辦公空間 EmpireDAO 選擇關閉。

Fraietta 在 2022 年 12 月嘗試了最后一刻的眾籌活動以拯救 EmpireDAO 辦公空間，希望籌集到 215 ETH（約 260,000 美元）。但這項努力最終沒有成功，僅收到 27 筆捐款，共計 6.71 ETH，在撰寫本文時約為 8,100 美元。自從 Fraietta 于去年 3 月開始出租該建筑以來，EmpireDAO 已經積累了一個擁有 1,500 多名成員的社區，每天約有 300 名訪客到訪其辦公室。據 Fraietta 稱，它于 6 月正式開業。盡管EmpireDAO的Soho位置正在關閉，但Fraietta計劃在“第二季”DAO的另一個地方重新開放，并在即將舉行的加密貨幣會議上搭建EmpireDAO臨時展臺，以及與ATX DAO合作在德克薩斯州奧斯汀舉辦今年的SXSW。[2023/1/4 9:50:36]

個人專欄

投資公司KeyFi在紐約州最高法院對Celsius提起訴訟:金色財經報道，投資公司KeyFi創始人兼首席執行官Jason Stone在社交媒體上透露，該公司已于7月7日在紐約州最高法院對Celsius正式提起訴訟，指控Celsius沒有履行其合約義務，即向KeyFi支付“數百萬美元”。據悉，KeyFi此前與Celsius簽署了客戶資金管理協議，KeyFi將資金投資于去中心化金融協議、質押、NFT和其他策略，雙方還聯合成立了一家名為“Celsius KeyFi”的新公司。（bitcoinist）[2022/7/8 1:59:20]

閱讀更多

金色財經 善歐巴

金色早8點

Arcane Labs

MarsBit

Odaily星球日報

歐科云鏈

深潮TechFlow

BTCStudy

澎湃新聞

Tags：DAOEDAOYFIEMPDOGEDAOPieDAO DOUGH v2VYFIEMPIRE幣

屎幣