Cathie Wood：將繼續提交比特幣現貨ETF申請

4月28日消息，ARK Invest首席執行官Cathie Wood在參加FTX巴哈馬大會時表示，期待加密友好的監管向前發展，立法者應該更關注技術而不是金融服務。“那些從技術角度思考這個問題的人正在接受它。”

盡管本月初ARK提交的比特幣現貨ETF申請被駁回，但Cathie Wood表示仍會在某個時點重新提交申請。

此外，加密投資機構Galaxy Digital創始人Mike Novogratz認為比特幣現貨ETF在今年或明年可能會獲批。（The Block）

Project Catalyst Fund5共有267個項目申請資助 已質押200萬美元:金色財經報道，Cardano(ADA)區塊鏈解決方案背后的軟件公司Input Output HK邀請所有Cardano(ADA)愛好者對Project Catalyst第五輪（Fund5）進行投票，目前已獲得了200萬美元的質押。本輪共267個項目申請資助。選民登記開放至2021年7月19日。[2021/7/10 0:40:50]

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

NEM發布Catapult Beta平臺:NEM（XEM）宣布發布其Catapult Beta平臺，為在NEM網絡上構建更復雜的解決方案提供了機會。目前，該版本只是開發者對Mijin測試網絡的預覽版本，但是NEM預計將發布另一個項目的主流版本。在這一點上，平臺試圖證明分布式應用的構建實際上是可能的，因為大多數項目仍處于理論或概念驗證階段。此外，該項目為資金設定了指導方針，為項目提供了籌集資金的機會，但不是遵循傳統的ICO模式。[2018/3/26]