鏈聞消息,成都鏈安宣佈已完成 DeFi 協議 FinNexus 的安全審計。成都鏈安在對 FinNexus 項目的審計方法上採用了形式化驗證、靜態分析、典型案例測試、人工審覈等形式,主要針對 FinNexus 項目的代碼標準、安全性和業務邏輯三個方面進行審計。 經過成都鏈安專業且嚴密的安全審計流程之後,FinNexus 項目在代碼協議、函數調用審計、業務安全等各層次類目上都獲得了成都鏈安的審計結果:通過。後續,成都鏈安的安全審計團隊將爲 FinNexus 項目方出具權威的安全審計報告。

來源鏈接