Eric Wall：愿意為所有購買Taproot Wizards項目的人雙倍退款

8月20日消息，Twitter用戶“Coinicarus”發文稱比特幣Ordinals NFT交易量自五月以來下降98%。

比特幣支持者Eric Wall回應道，承認Ordinals是一個巨大的失敗，愿意為所有購買Taproot Wizards項目的人雙倍退款，可以保留jpeg（無需退還NFT），已開放私信。

據了解，Eric Wall是Taproot Wizards發起人之一，該項目于今年2月首發，是一個以巫師為主題的Ordinals項目，總量2106個，致敬十年前“mavensbot”首發的比特幣巫師元素。

其它快訊：

派盾：標記為Vitalik Buterin的地址轉移多種代幣或是整理錢包:金色財經報道，派盾PeckShield發布推文稱，標記為Vitalik Buterin的地址已轉移多種代幣（一些山寨幣）和1,541.59枚USDC，并將13萬枚USDC轉移到Coinbase，此舉或許是在整理錢包。[2022/12/21 21:58:13]

芝加哥期權交易平臺CBOE宣布收購ErisX:金色財經報道，芝加哥期權交易平臺CBOE宣布已完成對美國數字資產現貨市場運營商Eris Digital Holdings.LLC (ErisX) 的收購、受監管的期貨交易所和受監管的票據交換所。ErisX 的所有權允許 Cboe 通過與行業合作伙伴開發的數字優先平臺進入數字資產現貨和衍生品市場。Cboe 計劃將 ErisX 業務作為子公司運營，ErisX 首席執行官 Thomas Chippas 繼續擔任數字資產業務負責人。除了運營現有的現貨、衍生品和清算平臺外，Cboe 還打算開發和分銷一系列數字資產數據產品。Cboe Digital使用從根本上基于現貨加密市場的可操作買賣價格的強大市場數據，計劃開發一個基準數據流，以幫助市場參與者評估加密執行價格的適當性。[2022/5/11 3:05:53]

動態 | 微軟公布新開源形式驗證工具VeriSol，旨在優化智能合約質量:據Crypto Globe消息，6月3日，微軟研究院（Microsoft Research）在博客中揭示了一個新的開源形式驗證工具。該工具旨在提高使用Solity（為以太坊區塊鏈構建的編程語言）子集編寫的智能合約的質量。 新工具名為VeriSol（即Verifier for Solidity），曾出現在一篇概述微軟Azure區塊鏈智能合約驗證的設計和應用的學術論文中。博客文章稱，盡管VeriSol迄今仍然是一個主要由Azure智能合約驅動的原型，但研究人員對其期望很高，同時也在鼓勵開放協作以促進形式驗證發展并引入主流智能合約開發中。[2019/6/4]