FiCAS子公司在SIX Swiss Exchange推出兩款主動管理加密ETP產品

12月2日消息，加密資產管理公司FiCAS子公司Bitcoin Capital AG宣布在SIX Swiss Exchange推出兩款由FICAS AG主動管理的加密ETP產品，分別是1 FiCAS Active Bitcoin ETP（BTCB）、1 FiCAS Active Ethereum ETP（ETHB）。（DGAP）

BEANZ Official #7958在OpenSea被盜，并已在Blur售出:金色財經報道，據PeckShieldAlert監測，BEANZ Official #7958 在OpenSea被Fake_Phishing179486竊取，并已在Blur以1.33ETH的價格售出。[2023/5/22 15:18:04]

Core Scientific擴展礦機至77000臺:12月17日消息，加密貨幣挖礦運營商CoreScientific宣布已與比特大陸簽署新的礦機購買協議，該購買協議將使CoreScientific的總礦機增加至77000臺，包括新購買的59000臺S19和S19Pro螞蟻礦機。如果礦機完全交付，CoreScientific的總算力將達到7.26EH/s，同時使用大約250mW的電能。

此前報道，CoreScientific在本月宣布獲得加密貨幣行業巨頭DigitalCurrencyGroup（DCG）旗下加密礦業全資子公司Foundry的2300萬美元挖礦設備投資，并達成合作關系，將為CoreScientific及其客戶購買挖礦設備。另外，DCG承諾在2021年將向Foundry再投資1億美元。[2020/12/17 15:35:48]

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