Algorand地球日活動周將開啟，包含元宇宙生態展示活動

據官方消息，今年地球日慶祝期間，Algorand推出一系列活動與新合作，包括持續一個月的元宇宙生態展示活動和4月22日當天的線上聚會。

地球日活動：4月22日下午4點（中國時間）地球日線上聚會。所有注冊參與者還將收到來自Algorand基金會的活動NFT徽章。

地球日活動：元宇宙月。Algorand將在VR空間xSpace中舉行持續一個月的Algorand生態ESG（環境、社會責任與公司治理）和NFT項目展覽。在元宇宙中用戶可以DIY自己的頭像，活動期間元宇宙空間將一直開放，并有部分與項目方面對面的預約專場。

新合作：Algorand啟動5年計劃，為環境非營利性氣候騎行Climate Ride提供1500萬美元。Algorand基金會與加拿大專業帆船隊Sail GP達成合作。

據此前報道，Algorand宣布將在4月22日地球日前夕接管紐約時代廣場1小時，作為Algorand綠色生態活動周的開幕大秀，并展示對可持續發展和氣候優先的承諾。

AOFEX今日17:00上線ALGO、ATOM、DOT、ONT永續合約:據官方消息，AOFEX交易所將于今日17:00正式上線ALGO、ATOM、DOT、ONT永續合約，均支持5倍、10倍、20倍、50倍杠桿。

AOFEX 永續合約為USDT本位合約（正向合約），支持雙向交易和最高100倍杠桿，提供普通限價委托、市價委托、計劃委托等多種委托方式。

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

火幣將于8月5日上線KNC、ALGO和ZRX永續合約:據火幣合約官方公告，火幣合約將于新加坡時間8月5日16點上線KNC、ALGO和ZRX永續合約，支持1x-75x倍數。此前，火幣永續合約已涵蓋BTC、ETH、BCH、BSV、EOS、LTC、XRP、ETC、TRX、LINK、ZEC、ADA、DASH、NEO、XTZ、ATOM、IOTA、ONT、XLM和XMR二十大主流幣種。

據悉，新上線的三大熱門幣種永續合約均無交割日期，合約面值均為10美元/張，合約標的均為其對應數字資產的現貨美元指數，且每8小時結算一次，結算時間戳分別為4:00、12:00和20:00（GMT+8），用戶已實現盈利在結算后可立即提取。

詳情請查看火幣合約官網公告。[2020/8/4]

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