RuneStone成為市值第四大的NFT

金色財經報道，據行情數據，基于比特幣的“RuneStone”成為市值第四大的NFT。

其它快訊：

動態 | 加密貨幣交易所Kraken遭前雇員Nathan Runyon起訴:區塊鏈懷疑論者David Gerard于其個人網站發文稱，其已拿到一份2019年11月26日由Kraken前雇員Nathan Runyon起訴該交易所的文件副本。Runyon聲稱，Kraken方面偽造了公司高管地址、客戶資金消失、股票期權欺詐和違反制裁規定等問題，他因提出這些問題而被解雇。（David Gerard個人網站）[12/18/2019 12:00:00 AM]

聲音 | TechCrunch創始人：比特幣在很大程度上是由市場操縱驅動的:在舉行的The Capital會議上，TechCrunch創始人Michael Arrington談到了市值前百的加密貨幣，聲稱這是一個“不太光彩的話題，因為一切都被交易所操縱了。”盡管他認為比特幣是目前加密貨幣里最完美的資產，但它在很大程度上仍受市場操縱的驅動。由于缺乏基本面支撐，其他加密貨幣也是如此。他進一步指出，目前加密行業是病態的，為了取得長期發展，市場操縱必須消失。另外，Arrington聲稱，在這個行業中，有必要發生一些有趣的事情，即產生所謂的“殺手級應用”，就像電子表格如何徹底改變了計算機的使用方式，使其能夠完成那些用紙張和鉛筆無法完成的任務。Arrington表示，全世界已經有了比特幣的殺手級應用：貨幣。他補充說，有一段時間，以太坊有一個能夠發行ERC20代幣的殺手級應用，這推動了以太坊在2017年的增長。然而，Arrington目前還不清楚這個殺手級應用到底是什么。（AMBCrypto）[11/15/2019 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]