Algorand基金會向跨鏈協議pNetwork提供贈款以構建跨鏈橋

跨鏈協議pNetwork宣布已經從Algorand基金會獲得了一筆贈款，用于創建一個由pNetwork驅動的橋接，使Algorand與外部資產和生態系統連接起來。通過pNetwork建立的互操作性基礎設施，Algorand區塊鏈致力于改善與其他開源區塊鏈的交互。（CoinGape）

CertiK：ALG代幣跌幅超過94%，需警惕風險:5月30日消息，CertiK Alert發推稱，此前曾在5月17日提醒社區ALG代幣暴跌超過99%。5月19日，新ALG代幣被創建，今天的跌幅超過94%，CertiK提醒社區警惕風險。合約創建者地址為0xb428bf8b0b42d12f8ff38786ff6e226353709223。[2022/5/31 3:51:35]

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

動態 | Algorand CEO刪除“團隊代幣不鎖倉”的表述 稱“將長期持有團隊代幣”:Algorand首席執行官Steven Kokinos刪除了其在6月8日發表的關于該項目團隊代幣不鎖倉的文章，并發表新文章，改變了關于“項目團隊代幣不鎖倉”的表述。新文章稱，“將長期持有團隊代幣，不會出售”，并表示將使用團隊代幣參與共識并協助保護網絡安全，但絕不會代表超過49％的投票，團隊代幣也將支持并鼓勵生態系統的發展。但是在6月8日發表的文章中，Steven Kokinos 的表述是：“我們曾多次被問及創始人代幣是否會受到限制，或是會被鎖定。簡而言之，我們的答案是否定的。Algorand有意識地決定允許我們的代幣自由交易，以此支持網絡的早期活性和安全性，并支持生態系統”。之前的這一表述讓市場普遍解讀為Algorand的團隊代幣不會鎖倉，但是在新更新的文章中，這些表述都不再提及。（鏈聞）[2019/6/12]