DIPX成功地通過Beosin安全團隊的審計
香港2023年4月19日 /美通社/ — 近日,DIPX(去中心化指數永續交易所)順利通過了Beosin 安全團隊的審計。Beosin將智能合約的安全問題分為三類: 編碼規範、一般漏洞、業務安全。截至本文發稿時,DIPX審計中發現的所有漏洞都已修復或已妥善處理並已通過Beosin的復核。 DIPX審計時間周期為2023年2月27日至2023年3月22日。審計過程中采用了形式化驗證技術、靜態分析和典型案例測試以及人工審計。 形式驗證技術是一種IC設計的驗證方法,它的主要思想是通過使用數 …