DIPX成功地通過Beosin安全團隊的審計

媒體

澳廣視新聞
政府消息
濠江日報
澳門日報
力報
新華澳報
正報
華僑報
現代澳門日報
論盡澳門
澳門平台
MediaOutReach
美通社
EQSGroup

分類

體育
房地產
商業
科技
旅遊
藝術
教育
汽車
零售

新聞

法拉帝閃耀2024新加坡遊艇節展示豪華遊艇新風尚
九方财富2023年年度總訂單金額較同期上漲17.9% 經營性現金流大增86.6%
呼吁加強科技合作
貝殼發佈2023年度ESG報告
TCL電子2024年第一季度65吋及以上電視全球出貨量同比增長23.1%
商務部等發佈《汽車以舊換新補貼實施細則》汽車之家成為重點合作企業
第135屆廣交會為全球客商打造便利化支付體驗
香港寬頻2024財年中期業績轉虧為盈
加密貨幣市場大事件：嘉實國際兩大藍籌加密貨幣比特幣現貨ETF（HKD櫃台證券代號：03439；USD櫃台證券代號：09439）及以太幣現貨ETF（HKD櫃台證券代號：03179；USD櫃台證券代號：09179）將於4月30日正式上市交易！
尋匯SUNRATE入選FXC Intelligence《The Top 100 Cross-Border Payment Companies for 2024》榜單
DECODE集團成功獲得美國金融服務牌照，鞏固其全球金融市場地位
絲芙蘭重磅官宣DRUNK ELEPHANT醉象於全渠道獨家入駐
Vantage Markets榮獲FXBT「最創新經紀商」獎；重新定義交易者賦能
澳門銀聯乘車碼服務拓展至香港和內地游客
中國海油2024年一季度淨產量和淨利潤實現強勁增長
高端視點丨嘉實國際CEO韓同利：亞洲首發比特幣現貨ETF及以太幣現貨ETF，鞏固香港作為國際金融樞紐的關鍵一步
Cherrypicks聯手AWS DevAx引領香港企業雲端技術革新
華盛証券率先開放亞洲首批虛擬資產現貨ETF認購
艾德金融獲委任為首批全部六支比特幣及以太幣現貨ETF之參與證券商
建設更美好城市：三一集團以基礎設施轉型升級助力新西蘭旅遊業發展

香港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
郵箱：contact@beosin.com
官網推特：twitter.com/Beosin_com

Facebook留言

DIPX成功地通過Beosin安全團隊的審計

留言

美通社新聞

關注CyberCTM

DIPX成功地通過Beosin安全團隊的審計

留言

相關新聞

美通社新聞

關注CyberCTM