Solana基金會傳播負責人：y00tlist推特賬戶恢復前將暫停所有廣告支出

8月31消息，Solana 基金會傳播負責人 Austin Federa 在社交媒體發文表示，我已經暫停了 Solana 基金會所有（對推特）的廣告支出，直到恢復 Solana 生態市值最高的 NFT 項目 DeGods 二代項目 y00tlist 的賬號。之所以說推特一團糟，是因為它既不透明，也不負責任。也許 y00ts 做了什么不好的事，也許推特核實出了一個 y00ts 的虛假賬戶。問題在于透明度和誠實度——沒人知道為什么會發生這種事，也沒人知道該和誰溝通。

數據：自FTX事件后，Solana平均每日鏈上流動價值下降96%:12月8日消息，據Delphi Digital數據，今年10月初，Solana平均每日鏈上流動總價值為329億美元，而自FTX崩潰后，該數據大幅下降，至今平均每日鏈上流動價值為14億美元，下降了96%。[2022/12/8 21:29:35]

Solana聯創：最新中斷系錯誤配置的驗證器混淆網絡無法判斷正確分叉導致:金色財經報道，Solana 聯合創始人Anatoly Yakovenko在最新采訪中解釋了最近爆發的網絡中斷問題，他透露本次中斷的一個原因是一個錯誤配置的驗證器混淆了 Solana 網絡，無法確定哪個分叉是正確的，最終導致網絡停擺。Anatoly Yakovenko強調，Solana網絡中斷并不會將任何用戶的資金或程序狀態置于風險之中，因為 Solana 有 2,000 個不同的驗證者和大約3,400 個不同的網絡副本，因此如果發生嚴重故障，有大量備份可供選擇。Anatoly Yakovenko聲稱，只要這些副本中的一個存活下來，就可以有效恢復整個網絡。

自2020年推出以來，Solana區塊鏈已經發生了五次重大中斷，其中三次發生在2022年，每一次都是由于Solana代碼或網絡中的錯誤造成。Anatoly Yakovenko 認為，目前Solana的問題在很大程度上可以歸結為人為錯誤，這仍然是人類編寫的軟件，Solana相當復雜。（decrypt）[2022/10/8 12:49:29]

動態 | 微軟公布新開源形式驗證工具VeriSol，旨在優化智能合約質量:據Crypto Globe消息，6月3日，微軟研究院（Microsoft Research）在博客中揭示了一個新的開源形式驗證工具。該工具旨在提高使用Solity（為以太坊區塊鏈構建的編程語言）子集編寫的智能合約的質量。 新工具名為VeriSol（即Verifier for Solidity），曾出現在一篇概述微軟Azure區塊鏈智能合約驗證的設計和應用的學術論文中。博客文章稱，盡管VeriSol迄今仍然是一個主要由Azure智能合約驅動的原型，但研究人員對其期望很高，同時也在鼓勵開放協作以促進形式驗證發展并引入主流智能合約開發中。[2019/6/4]