BTC/HKD-0.51%
ETH/HKD-0.97%
LTC/HKD-0.15%
DOT/HKD-0.48%
ADA/HKD-0.91%
SOL/HKD-2.06%
XRP/HKD+0.02%
DOGE/US-0.85%除了常規審計，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
以太坊交易所
