RuneStone在Magic Eden和OKX Web3錢包市場的總成交額達2907枚BTC

金色財經報道，數據顯示，RuneStone在Magic Eden市場的成交額目前為1257枚BTC，在OKX Web3錢包市場的成交額目前為1650枚BTC，兩個市場的總成交額累計達2907枚BTC。截至發稿時地板價為0.046枚BTC。

其它快訊：

Runtime Verification完成530萬美元融資，IOSG Ventures領投:Elrond Dev Toolkit開發商Runtime Verification完成530萬美元融資，IOSG Ventures領投，Fenbushi Capital、Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research和Tezos Foundation參投。募集的資金將用于加速工具的開發，旨在提高不同區塊鏈和嵌入式系統的安全性、可靠性和正確性。[6/18/2021 11:32:59 AM]

現場丨MakerDAO聯合創始人Rune：MakerDAO協議支撐了DAI的價值:金色財經現場報道，10月28日，第六屆區塊鏈全球峰會的數字金融主題論壇于上海開幕，論壇上MakerDAO聯合創始人Rune Christensen演講表示，MakerDAO是一個去中心化的貨幣協議，支撐了穩定幣DAI的價值，這是一個人人都可以使用的貨幣，通過使用DAI存儲資產，防止貨幣通貨膨脹，特別是在南美和阿根廷這些通貨膨脹率可能到50%的地方，用戶在一臺手機上就可以實現存儲一個不會縮水的資產。[10/28/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]