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

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

Chainlink Labs與樂天集團旗下廣告公司Daehong Communications達成合作:金色財經報道， Chainlink背后的Web3預言機服務提供商Chainlink Labs宣布與樂天集團旗下廣告公司Daehong Communications達成合作伙伴關系，此次合作旨在通過利用 Chainlink VRF 提供的 Chainlink 可驗證隨機性功能，支持樂天集團包括NFT在內的Web3計劃。通過與Chainlink Labs聯手，樂天集團的 NFT 項目將受益于更高的透明度和可驗證性，確保其客戶的公平和價值，雙方都計劃推出樂天集團的NFT項目，并提供多樣化的優質Web3服務。（tronweekly）[2023/5/23 15:21:21]

Mindao

英國央行副行長：FTX崩潰凸顯出加強加密貨幣監管的迫切需求:11月23日消息，英國央行負責金融穩定副行長Jon Cunliffe爵士表示，加密貨幣交易所FTX的崩潰凸顯出加強加密貨幣監管的迫切需求。Jon Cunliffe爵士說:“我們不應等到加密貨幣規模龐大且相互關聯時才制定必要的監管框架，以防止可能產生更大破壞穩定影響的加密貨幣沖擊。”

此外，Cunliffe補充說，英國財政部將很快開始就擴大投資者保護、市場誠信和其他監管框架進行磋商，這些框架涵蓋金融產品的推廣和交易，涉及涉及加密資產的活動和實體。[2022/11/23 8:00:38]

個人專欄

證券日報：美聯儲加息窗口即將開啟，大概率繼續保持75個基點:7月25日消息，據證券日報報道，美聯儲計劃將于北京時間7月28日凌晨公布7月份利率決議結果，當前已經進入靜默期，暫無更多信號傳遞市場。不過，在6月份CPI數據“爆表”后，外界認為美聯儲加大加息幅度到100個基點的概率陡增。但隨后美聯儲官員紛紛“滅火”，發聲支持繼續保持加息75個基點。

雖然短期的通脹預期仍在高位，但市場高度關注的美國長期通脹預期數據稍有回落，令通脹預期可能失控的擔憂減弱，也降低了7月份美聯儲超預期加息100個基點的可能性。最新數據顯示，7月份密歇根5年通脹預期為2.8%，較前值3.1%有所緩解，創12個月以來新低。

截至當地時間7月24日凌晨1時30分，根據芝商所的FedWatch工具實時測算，7月份美聯儲加息100個基點的概率已回落至19.5%，此前一度高達80%。而目前市場更傾向于美聯儲將在7月份維持75個基點的加息幅度，概率達到80.5%。[2022/7/25 2:35:17]

閱讀更多

金色財經 善歐巴

金色早8點

Arcane Labs

MarsBit

Odaily星球日報

歐科云鏈

深潮TechFlow

BTCStudy

澎湃新聞

Tags：AINChainINKNLINKMAINAngryBlockchainSTARLINKDOGE幣tronlink錢包怎么充值

BNB