Runestone交易量超186枚BTC，地板價暫報0.0193 BTC

金色財經報道，Magic Eden數據顯示，Runestone地板價暫報0.0193 BTC，總交易量達186.2345枚BTC。

據悉，Runestone由早期Ordinals玩家Leonidas發起，是一個開源、透明、自發和去中心化的倡議，旨在獎勵那些參與了Ordinals協議第一年的玩家。所有符合規則的地址都將在24小時內收到空投，具體參考的快照是在區塊高度826,600之前的活動。

其它快訊：

區塊鏈賽馬游戲Zed Run已開放ZED代幣空投申領:7月29日消息，據官方推特，區塊鏈賽馬游戲Zed Run宣布已開放ZED代幣空投申領，用戶將有90天申領窗口期，無人認領的ZED代幣之后都將轉移至游戲內獎勵金庫。

此前消息，Zed Run開發商VHS曾于去年7月完成由a16z等參投的2000萬美元融資。本月初，Zed Run宣布將發行ZED代幣，Zed Run賽馬所有者將有資格申領空投。ZED代幣總量10億枚，其中7%將空投給游戲用戶，快照已于6月1日完成拍攝。[7/29/2022 10:05:49 AM]

Dash投資基金會正在購買RUNE，可為DASH/RUNE交易對提供流動性:官方消息，Dash投資基金會（Dash Investment Foundation，DIF）表示，正在購買RUNE。在Dash被添加為可能的資產后，RUNE可以投票給它一個市場。DASH在THORChain上可用后，DIF將為DASH/RUNE交易對提供流動性。[7/10/2021 5:38:44 PM]

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