香港2023年4月19日 /美通社/ -- 近日，DIPX（去中心化指數永續交易所）順利通過了Beosin 安全團隊的審計。Beosin將智能合約的安全問題分為三類： 編碼規範、一般漏洞、業務安全。截至本文發稿時，DIPX審計中發現的所有漏洞都已修復或已妥善處理並已通過Beosin的復核。
DIPX審計時間周期為2023年2月27日至2023年3月22日。審計過程中采用了形式化驗證技術、靜態分析和典型案例測試以及人工審計。
形式驗證技術是一種IC設計的驗證方法，它的主要思想是通過使用數學證明的方式來驗證一個設計的功能是否正確。每個可能的系統狀態和操作都被自動檢測到，以計算出可滿足的解決方案，並根據解決方案結果的比較，最終檢測出每個路徑下可能的安全問題，看是否違反了安全屬性。
Beosin擁有自主開發的智能合約安全檢測工具Beosin VaaS 就使用到了形式化驗證技術來提高審計效率和準確率。通過公司內部積累的安全屬性庫中的通用安全屬性和安全人員根據合約特定的業務邏輯編寫的針對性安全屬性，工具能夠對合約進行自動的安全驗證，從而保證合約沒有所描述的安全問題。
關於DIPX
DIPX主網於2023年4月12日在ARBITRUM正式上線。DIPX是一種基於預言機的去中心化指數永續交易協議，允許使用任何加密資產交易任何指數，沒有流動性或交易量限製，無需信任或人為幹預，並且是自適應和純算法的。
關於Beosin
Beosin是一家全球領先的區塊鏈安全公司，在全球10多個國家和地區設立了分部，業務涵蓋項目上線前的代碼安全審計、項目運行時的安全風險監控、預警與阻斷、虛擬貨幣被盜資產追回、安全合規KYT/AML等「一站式」區塊鏈安全產品+服務，目前已為全球3000多個區塊鏈企業提供安全技術服務，審計智能合約超過3000份，保護客戶資產高達5000多億美元。
官網：www.beosin.com
郵箱：[email protected]
官網推特：twitter.com/Beosin_com