Catheon Gaming和Polygon宣布成為首選的區塊鏈游戲合作伙伴

8月18日消息，區塊鏈游戲娛樂平臺Catheon Gaming（Catheon）和layer-2擴展解決方案Polygon Studios宣布成為首選區塊鏈游戲伙伴關系。該合作伙伴關系Catheon使開發人員能夠以低交易費用構建可擴展的用戶友好dApp，并保證其安全性。（businesswire.com）

其它快訊：

Ark Invest的Cathie Wood在新的采訪中回應了John Paulson對比特幣的批評:在新的采訪中，Cathie Wood預測特斯拉的股價將在大約四年內翻兩番，建議Zoom可以在企業通信方面取代Cisco等傳統公司，并稱贊Robinhood在本周接受雅虎財經采訪時吸引年輕人投資。她還回應了億萬富翁投資者John Paulson最近對加密貨幣的批評，并重申了她的觀點，即技術革命即將到來。（businessinsider）[9/5/2021 6:13:08 PM]

Brave瀏覽器收購開放搜索引擎Tailcat:金色財經報道，面向隱私的瀏覽器Brave宣布收購開放搜索引擎Tailcat。此舉是其即將推出的產品“Brave Search”的基礎，Brave旨在使該產品成為Chrome和移動設備上的谷歌搜索的非跟蹤替代品。[3/4/2021 9:25:31 AM]

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