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

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

馬斯克：X永遠不會推出加密代幣:金色財經報道，社交媒體應用X（前身為Twitter）CEO 馬斯克在回復DogeDesigner時表示，X永遠不會推出加密代幣。[2023/8/5 16:20:42]

Mindao

Binance.US相對于其他美國加密貨幣交易所的市場份額不穩定:金色財經報道，區塊鏈分析平臺Kaiko數據顯示，Binance.US相對于其他美國加密貨幣交易所的市場份額一直不穩定。4月份該交易所占據了 22% 的市場份額，而上周僅為 8%。[2023/6/6 21:17:57]

個人專欄

馬來西亞Web3信息技術公司MASVERSE宣布開始天使輪融資:2月21日消息，總部位于馬來西亞的信息技術公司MASVERSE在種子輪融資中獲得了1.5 億美元的估值，并得到了新加坡區塊鏈風險投資公司Stratified Capital和馬來西亞科技公司MEP Enviro的資金支持。此外，該公司即日起將進行天使輪融資。

據了解，MASVERSE專注于開發 WEB 3.0 區塊鏈生態，并創建了馬來西亞首個一站式 WEB 3.0 生態系統，該生態系統由 12 個獨特的基礎設施的支柱組成，為數據交換提供安全可靠的網絡。 MASVERSE 在成立僅 6 個月的時間里，就已經推出了 NFT 市場、Lab 和 MGG DAO，并計劃在 2023 年加大開發力度，采用自有鏈和APP，并擴展其數據庫。[2023/2/21 12:19:32]

閱讀更多

金色財經 善歐巴

金色早8點

Arcane Labs

MarsBit

Odaily星球日報

歐科云鏈

深潮TechFlow

BTCStudy

澎湃新聞

Tags：VERSASVVERVERSEOrder of the apeverseATHENASV2幣M1VERSE幣AVERSE幣

ETH