iCandy Interactive在Base網絡推出新游戲Snaky Cat

金色財經報道，手機游戲開發商iCandy Interactive宣布已與區塊鏈游戲公司Animoca Brands合作，在L2網絡Base上推出一款名為Snaky Cat的新游戲并提供TOWER代幣獎勵，TOWER代幣已在其他三款游戲中使用，包括Crazy Kings、Crazy Defense Heroes和Chaos Kingdom。

其它快訊：

Continue Captical創始人匹馬：SushiSwap大概10天后進行LP遷移:近期新協議SushiSwap發展態勢迅猛，截止發稿時其鎖倉量已突破10億美元，占 Uniswap14億鎖倉量的70%。

而面對這一情況，加密投資機構Continue Captical的創始人匹馬表示，Uniswap V3版本開發一直在推進，據傳聞表示V3面世時會同步推出代。而SushiSwap會在大概10天后進行流動性提供者（LP）遷移（注：即 SushiSwap 遷移出 Uniswap 協議，將其界面中的流動資金轉移到原生的AMM中）。

如果Uniswap V3版本提前發布，推出流動性挖礦，用戶是否會選擇跟隨SushiSwap遷移或成為一個問題。如果不遷移，流動性提供者可以獲得的代幣就是Uniswap自身的代幣。

匹馬點評到：現在看來，不僅DEX競爭大賽緩緩拉開，在開源的狀態下，其他賽道的競爭也將陸續展開各個項目的護城河到底是什么，如何面對強大的Fork和治理改進，在助力項目設計Token模型的時候真的需要深入的思考。[9/1/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]

動態 | EOS Authenticator App已通過審核 正式上架App Store:據鯨交所消息，EOSLaoMao團隊提交的EOS Authenticator App已經審核通過，正式上架App Store。[6/4/2019 12:00:00 AM]