Cathie Wood：比特幣現貨ETF決議不會因SEC社媒賬號遭攻擊被延遲

金色財經報道，木頭姐”Cathie Wood表示，美SEC社交媒體賬號遭遇黑客攻擊不會延遲其對比特幣現貨ETF的決定，人們對比特幣現貨ETF的興趣“廣泛而深遠”，一旦比特幣ETF獲得批準，將成為長期的“價格推動事件”。

其它快訊：

Cool Cats：原CEO已離職，聯合創始人將繼續領導項目團隊:4月30日消息，據Cool Cats NFT官方社交媒體披露，Chris Hassett已辭去CEO一職，該團隊現在正在與一家頂級招聘公司合作，為該項目尋找下一任首席執行官。此外，Cool Cats表示項目幾位聯合創始人并未離開，而是會繼續領導該項目，直到他們為空缺的CEO找到合適候選人。

另據NFTGo.io最新數據顯示，CoolCatsNFT當前交易總額達到3.3758億美元，市值約為1.5582億美元，當前地板價為5.33ETH，24小時跌幅為7.41%。[4/30/2022 10:39:56 AM]

Stoner Cats NFT系列以3647枚ETH售罄:金色財經報道，V神參與配音的NFT動畫節目Stoner Cats的NFT系列以3,647 ETH（約 840 萬美元）售罄。由于技術問題，盡管支付了交易費用，但仍有一些用戶沒有收到他們的NFT。 Stoner Cats團隊表示將退還所有失敗的交易。此次拍賣包含10,420只具有獨特特征的數字貓的NFT集合，旨在資助和促進該節目的制作。[8/3/2021 5:53:37 PM]

公告 | Algorand官方：Runtime Verification正式驗證Algorand區塊鏈永不分叉:Algorand官方博客發文稱：為了更好地保證Algorand協議，并使未來的協議設計和驗證更容易，Algorand選擇通過機器驗證來增強數學上的理論證明。為此，Algorand聘請了具有深入驗證能力的專業公司通過運行環境驗證來驗證Algorand共識協議的正確性。我們很高興地報告了這項工作的一個重要里程碑：使用Coq定理證明，團隊已經開發了一個精確的協議數學模型，并正式驗證了其安全保證（區塊鏈從不分叉）。在今年早些時候，Algorand用Runtime Verification（運行時驗證）來驗證其共識協議。Algorand宣布已經完成該工作的第一部分，即協議建模和證明其安全定理。具體來說，我們使用了一個證明助手（Coq）來系統地確定協議在數學上保證不會分叉的假設。[6/26/2019 12:00:00 AM]