Runtime Verification融資530萬美元

官方消息，Elorand 開發工具包開發商 Runtime Verification已籌集了530萬美元的資金。本輪融資由IOSG Ventures 領投，其他投資者還包括Maven 11、Borderless Capital、cFund、Hypersphere、Elrond Research 和 Tezos Foundation等。（U.Today）

AOFEX于5月19日上線RUNE、SOL:據官方消息，AOFEX交易所于5月19日正式上線RUNE、SOL；將于AQ及USDT交易區15:00（GMT+8）上線RUNE，17:00（GMT+8）上線SOL交易；RUNE、SOL充提業務暫不開啟，具體時間將以公告形式另行通知。

THORChain是一個高度優化的多鏈，使用pBFT共識來實現亞秒級塊終結性。RUNE是THORChain生態圈的通證，可用于支付交易手續費、保持流動性，并用作出塊獎勵。持幣者可獲得分紅。

AOFEX數字貨幣金融衍生品交易所，旨在為用戶提供優質服務和資產安全保障。[2021/5/19 22:19:09]

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

TechCrunch創始人Michael Arrington布局區塊鏈，以顧問身份加入新加坡團隊CNN Token:據悉，美國著名科技類博客TechCrunch創始人Michael Arrington近日加入CNN Platform項目并擔任顧問，指導該項目的區塊鏈技術應用以及內容運營。Michael Arrington是TechCrunch的創始人，曾被《時代》雜志譽為全球最具影響力的人物之一。CNN Platform是由新加坡D-Run Foundation基金孵化的區塊鏈項目，旨在打造最大最具影響力的內容生態社區。此前，印度排名第一的新聞應用NewsDog也與CNN Platform達成戰略合作，并成為該項目上的第一個實際應用。[2018/2/26]