Algorand NFT市場Rand Gallery收購數據聚合器NFT Explorer

金色財經報道，Algorand區塊鏈上最大的NFT市場Rand Gallery收購了數據聚合器NFT Explorer(NFTx)，以將分析添加到其產品中。根據官方新聞稿，這筆交易讓Rand Gallery擁有“完整的垂直NFT堆棧”，因為它的目標是成為“所有NFT的中心樞紐，包括音樂和游戲”。去年，Rand Gallery被一家名為Distributed Finance的初創公司收購，Rand拒絕透露收購NFT Explorer的條款，同時指出支付的金額低于去年的交易金額。它補充說，該公司正在結束其種子輪融資以資助收購。

澳洲動物園與公益機構Wildlife Warriors共同在Algorand上推出NFT:金色財經消息，澳洲動物園與公益機構Wildlife Warriors共同在Algorand上推出NFT，售賣NFT所得將用于保護野生動物。[2022/5/5 2:51:23]

歐羅巴航空與Travel X合作基于Algorand發布NFT機票:金色財經報道，西班牙主要航空公司之一歐羅巴航空（Air Europa）與區塊鏈實體Travel X達成合作，基于Algorand首次發布NFT機票。購買此類收藏品的用戶將于2022年11月29日登上從馬德里到邁阿密的專機。用戶可在Travel X平臺上購買NFT Tickets，第一次拍賣于4月11日開啟，之后每兩周進行一次。Travel X解釋稱，這種機票就像傳統的NFT一樣。交易時，交易記錄在區塊鏈上。持有者可出示該收藏品，并獲得相應的機票。（CryptoPotato）[2022/4/27 5:14:05]

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