以太坊交易所 以太坊交易所
Ctrl+D 以太坊交易所
ads
首頁 > SOL > Info

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

Author:

Time:1900/1/1 0:00:00

除了常規審計,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

澎湃新聞

Tags:BTCBITBybitBENLP sBTC CurveBittrexbybit幣價格BENTO

SOL
空投將至?一文了解 zkSync 主網最新進展及鏈上應用_KSY:SYN

根據 Rootdata 統計的數據,Hashkey Capital 的公開披露的投資組合數量為 224 個,在所有風投基金中位居第四.

1900/1/1 0:00:00
Delphi Digital:2023 年 GameFi 將迎來「大重塑」_THE:fio幣web3

撰文:Insightful,Delphi Digital 研究員 編譯:倩雯 本篇文章是對 Delphi Digital 與 Naavik Gamefi 2023 年報告的梳理.

1900/1/1 0:00:00
一文了解如何鑄造BRC-20 Token 都有哪些玩法?_KEN:BRC

原文作者:Cookie,律動 BlockBeats昨日,@domodata 啟動了一場基于 Ordinals 協議的創新實驗「BRC-20 」.

1900/1/1 0:00:00
重新審視Web3時代的聚合理論:如何建立市場護城河?_比特幣:coinwatch手表怎么樣

原文標題:《Revisiting Aggregation Theory》撰文:Joel John編譯:Frank,Foresight News一年前.

1900/1/1 0:00:00
金色早報 | 美眾議員:美國可能會在幾天內通過穩定幣立法_穩定幣:區塊鏈

▌ 金色早報 | 美眾議員:美國可能會在幾天內通過穩定幣立法金色財經報道,硅谷銀行倒閉導致的市場動蕩短暫導致 Circle 的 USDC 穩定幣打破了與美元的掛鉤.

1900/1/1 0:00:00
晚間必讀 |硅谷銀行破產事件全方位梳理與分析_數字貨幣:AETH幣

1.金色觀察 | 硅谷銀行被擠兌時間線3月13日,美國財政部、美聯儲和聯邦存款保險公司聯合宣布,從3月13日星期一開始,硅谷銀行存款人將可以獲得他們的所有資金.

1900/1/1 0:00:00
ads