Solana驗證者已通過“及時投票積分”提案，或可加快交易確認時間

4月10日消息，Solana驗證者已經投票通過一項旨在降低共識“投票”延遲的提案，這可能會加快鏈上交易速度。該提案呼吁在Solana上實施“及時投票積分”（Timely Vote Credits）機制，并于4月9日以98%的贊成票通過。這將改變激勵驗證者進行“投票”的機制，這是Solana共識機制的關鍵部分，用于確認交易。根據SolanaLabs的說法，目前為止，每當驗證者在網絡最終確定的區塊上提交共識投票時，他們將獲得一個固定的投票積分。

隨著時間的推移，驗證者發現可以通過延遲投票時間，以確保在正確的分叉上進行投票，他們可以最大化收益，而不會受到任何懲罰。該提案于3月14日由Solana驗證者Shinobi Systems的“zantetsu”提出，將實施可變數量的投票積分，對于延遲較低的投票，將提供更多的積分。Solana Labs解釋說，這將阻止故意的“延遲”，因為延遲投票將減少該投票所能獲得的積分數量。

其它快訊：

Solana Labs被指控在新訴訟中出售未注冊證券:金色財經報道，Solana Labs和Solana生態系統的主要參與者于7月1日在加利福尼亞聯邦法院受到訴訟。該訴訟指控Solana Labs、Solana基金會、Anatoly Yakovenko、著名的加密風險投資公司Multicoin Capital Management及其首席執行官Kyle Samani以及交易平臺FalconX從其聲稱的未注冊證券中獲取非法利潤。原告指控Solana Labs的首席執行官Anatoly Yakovenko就代幣的總流通供應量做出故意誤導性陳述。（cryptopotato）[7/10/2022 9:42:59 AM]

基于Solana的去中心化交易所Saber總鎖倉量突破30億美元:9月10日消息，數據顯示，基于Solana的去中心化交易所Saber成為首個總鎖倉量（TVL）突破30億美元的Solana協議。Saber TVL在3個月時間里從0增長至10億美元，在3天時間里從10億美元增長至20億美元，在2天時間里從20億美元增長至30億美元。[9/10/2021 6:17:23 PM]

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