除了常規審計,Euler還用了Certora做形式化驗證,這個我們之前也用過,形式化驗證能幫助窮盡“已知”路徑的覆蓋范圍,但是無法窮盡“未知的未知”。DeFi是一個開放系統,對于黑客(攻方)來說,它的輸入是無限的,輸出也是無限的。假設把安全攻防看成挖礦,你守方用三五臺機器算哈希挖礦攻方無數機器時刻在算哈希,只要算對一次就贏了;這個輸贏面對比是明顯的。靜態的安全審計,由于輸入輸出固定,無法覆蓋已知的未知,更無法覆蓋未知之未知。
Bybit CEO宣布進行全面裁員:12月4日消息,加密貨幣交易所 Bybit 聯合創始人 Ben Zhou 發表內部信,表示將再次進行裁員,裁員比例為 30%,將涉及各個部門。Ben Zhou 表示,對于被裁員的員工將統一實行 N+3 的補償方案。[2022/12/4 21:21:15]
Mindao
數據:1,799枚BTC從未知錢包轉移到FTX:金色財經報道,Whale Alert監測數據顯示,1,799枚BTC(約34,801,498美元)從未知錢包轉移到FTX。[2022/10/19 17:31:30]
個人專欄
美聯儲理事沃勒:去中心化金融最終可能會改變傳統金融市場:7月15日消息,美聯儲理事沃勒表示,去中心化金融最終可能會改變傳統金融市場。(金十)[2022/7/15 2:14:06]
閱讀更多
金色財經 善歐巴
金色早8點
Arcane Labs
MarsBit
Odaily星球日報
歐科云鏈
深潮TechFlow
BTCStudy
澎湃新聞
根據 Rootdata 統計的數據,Hashkey Capital 的公開披露的投資組合數量為 224 個,在所有風投基金中位居第四.
1900/1/1 0:00:00撰文:Insightful,Delphi Digital 研究員 編譯:倩雯 本篇文章是對 Delphi Digital 與 Naavik Gamefi 2023 年報告的梳理.
1900/1/1 0:00:00原文作者:Cookie,律動 BlockBeats昨日,@domodata 啟動了一場基于 Ordinals 協議的創新實驗「BRC-20 」.
1900/1/1 0:00:00原文標題:《Revisiting Aggregation Theory》撰文:Joel John編譯:Frank,Foresight News一年前.
1900/1/1 0:00:00▌ 金色早報 | 美眾議員:美國可能會在幾天內通過穩定幣立法金色財經報道,硅谷銀行倒閉導致的市場動蕩短暫導致 Circle 的 USDC 穩定幣打破了與美元的掛鉤.
1900/1/1 0:00:001.金色觀察 | 硅谷銀行被擠兌時間線3月13日,美國財政部、美聯儲和聯邦存款保險公司聯合宣布,從3月13日星期一開始,硅谷銀行存款人將可以獲得他們的所有資金.
1900/1/1 0:00:00