Runes已正式上線UniSat

金色財經報道，UniSat在推特宣布Runes已正式上線UniSat，主要功能包括Runes蝕刻、Runes鑄造、Runes市場和Runes管理等。UniSat已于昨日表示，在Runes上線后的7天內，用戶在UniSat平臺上進行Runes蝕刻和鑄造，可獲得3倍UniSat積分獎勵。

其它快訊：

BitMax將開放Thorchain(RUNE)3倍杠桿交易:據官方消息，BitMax交易所將于2月2日 22:00（北京時間）RUNE/USDT 3倍杠桿交易。

BitMax是Thorchain(RUNE)的首發中心化交易所。目前BitMax支持25倍杠桿交易，并采用全倉保證金模式，創新采用交易即借幣還幣模式，免除主動申請杠桿及歸還杠桿步驟，杠桿借貸費率最低至0.01%。

更多詳情請至BTMX.io官網查詢。[2/2/2021 6:40:48 PM]

BitMax上線THORChain（RUNE）Staking:BitMax交易所已于2020年6月24日 22:00（北京時間）THORChain（RUNE）Staking服務，并同步開啟獎勵活動。

6月24日 22:00 - 7月9日 22:00 （北京時間）期間用戶質押RUNE，即可享收益。更多詳情請至BTMX官網查詢。[6/24/2020 12:00:00 AM]

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