Runestone于Whales Market地板價上升至878美元，總交易量超60萬美元

3月3日消息，場外交易協議 Whales Market Pre-Market 數據顯示，Runestone 地板價上升至 878 美元，總交易量達 61 萬美元。此外 Whales Market 即將上線 Runes 交易專區。

今日消息，Ordinals 開發者 Leonidas 在 X 平臺發文表示：“今天早些時候，Runestone 挖出了比特幣歷史上最大的區塊。我們一起創造了有史以來最大的 Ordinals 銘文，大小達到 3.97 MB。

其它快訊：

NFT平臺bitsCrunch加入萬事達卡的Start Path加密計劃:4月7日消息，NFT平臺bitsCrunch已加入萬事達卡的Start Path加密計劃。今年第二季度，bitsCrunch將獲得萬事達卡的咨詢、營銷和咨詢支持。此前去年7月份消息，萬事達卡為初創企業推出Start Path加密貨幣和區塊鏈計劃。（U.today）[2022/4/7 14:09:10]

MXC抹茶10:00上線KAI、KEEP、RUNE、SWTH，開放USDT交易:官方消息，MXC抹茶今日10:00上線KardiaChain（KAI）、Keep Network（KEEP）、THORChain（RUNE）和Switcheo（SWTH），并開放USDT交易市場。現已開放上述幣種的充值，詳情請閱讀相關公告。[2020/6/25]

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