借著Euler黑客事件 聊聊DeFi的安全審計和安全_PORT

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

區塊鏈低代碼開發平臺提供商Morpheus Labs與騰訊云簽署諒解備忘錄:7月22日消息，區塊鏈低代碼開發平臺提供商Morpheus Labs宣布與騰訊云簽署諒解備忘錄，旨在推動Web3游戲和元宇宙創新，促進Web3生態系統的發展。據該諒解備忘錄，騰訊云和Morpheus Labs的合作將涵蓋數字技術、區塊鏈和Web3相關解決方案開發，并將共同構建一個快速、安全且可擴展的綜合開發環境。雙方主要關注亞太地區，尋求為游戲和區塊鏈其他垂直領域的老牌和新興公司提供服務，以加速各自市場增長。[2023/7/22 15:52:22]

Mindao

巴西成立加密專屬調查組:金色財經報道，巴西聯邦區檢察院宣布成立加密專屬犯罪調查組，其主要職責是幫助檢察官處理加密貨幣案件，并且針對加密產品的消費者，就加密貨幣資產的安全使用向他們發出警告和教育。巴西檢察官 Frederico Meinberg 表示，該機構員工必須接受專業培訓，同時還要與市場積極互動，因為處理數字資產問題的最佳培訓就是在市場中實踐。（bitcoin.com）[2022/7/5 1:51:21]

個人專欄

NFT基礎設施初創公司NFTPort完成2600萬美元A輪融資:6月15日消息，NFT基礎設施初創公司NFTPort完成2600萬美元A輪融資，此輪融資由Wise聯合創始人Taavet與Teleport聯合創始人Sten以及歐洲風險投資公司Atomico共同領投。作為交易的一部分，Tamkivi還將作為聯合創始人加入NFTPort。

NFTPort總部位于愛沙尼亞，其通過基礎設施建設幫助開發人員快速構建基于NFT的應用程序，此輪融資資金將用于擴展其平臺并支持更多區塊鏈。（theblock.co）[2022/6/15 4:29:13]

閱讀更多

金色財經 善歐巴

金色早8點

Arcane Labs

MarsBit

Odaily星球日報

歐科云鏈

深潮TechFlow

BTCStudy

澎湃新聞

Tags：NFTORTPORPORTnft幣未來價格還有上漲空間嗎OORT幣SPORTS幣PORTAL

以太坊價格