深潮 TechFlow 消息，區(qū)塊鏈安全公司Certora近日完成了對Solana代幣擴展的正式驗證審查，使用其深度形式驗證工具對代碼關(guān)鍵屬性進行了規(guī)范編寫和驗證。Certora團隊的主要發(fā)現(xiàn)包括：識別出一項可將程序性能提升20%的優(yōu)化機會；開發(fā)了驗證Solana團隊近期更新的規(guī)則，以加強現(xiàn)有安全措施；編寫了可重用的規(guī)范，用于驗證多個指令，發(fā)現(xiàn)了之前所有審計人員都未察覺的問題。具體而言，Certora建議不使用sol_memcmp，而采用Rust提供的平臺無關(guān)比較方法，這一改進使TransferChecked指令的計算單元減少了約20%。此外，Certora的驗證還發(fā)現(xiàn)并確認了一個涉及未經(jīng)檢查轉(zhuǎn)賬和經(jīng)過檢查轉(zhuǎn)賬一致性的問題的修復(fù)。最后，團隊發(fā)現(xiàn)燒毀指令（Burn和BurnChecked）中缺少針對轉(zhuǎn)賬指令實施的修復(fù)，這一問題已得到SPL開發(fā)者的確認并修復(fù)。

熱點：代幣 發(fā)現(xiàn) 擴展 說幣