成都鏈安已完成對 OINDAO 項目 OINStake 智能合約的安全審計

近日，全球領先的區塊鏈安全公司，成都鏈安正式宣佈，已完成了對 OINDAO 項目 OINStake 智能合約的安全審計業務。

DeFi 生態的發展態勢依然熱度不減。隨着各種 DeFi 工具湧入市場，當下的非 DeFi 項目難以運用到流行的 DeFi 特性，例如槓桿作用，流動性挖礦等。新技術和社區正在蓬勃發展，忠實的社區成員經常會面臨着是否需要出售其項目代幣來加入新的社區，抑或是保留其資產的困境。因此，一個可持續的解決方案亟需出現，OIN Finance 由此順應而生。

從其官方介紹來看，OIN 以『成爲 DeFi 門戶，促進 DeFi 行業發展，並使 DeFi 走向成熟』爲使命。作爲致力於區塊鏈生態安全建設的行業頭部公司，成都鏈安非常樂意攜手 OIN Finance，共同構建起 DeFi 生態的安全底層環境。

因此，我們在近日收到了 OIN Finance 項目方關於 OINStake 智能合約的安全審計申請。在成都鏈安·安全審計團隊的嚴格和全面的安全審計之下，主要面向 OINStake 智能合約的

• 代碼規範性（Coding Conventions）

• 函數調用審計（Function Call Audit）

• 業務安全（Business Security）

• 重入攻擊（Reentrancy）

• 整型溢出（Integer Overflow/Underflow）

等 13 大審計項，OINStake 智能合約獲得了通過（Pass）的審計結果，其審計評級爲優等（Distinction）。

在安全審計的方法上，成都鏈安針對 OINStake 智能合約採用了『複合式』的審計方法，包括：

• 形式化驗證（Formal Verification）

• 靜態分析（Static Analysis）

• 典型案例測試（Typical Case Testing）

• 人工審覈（Manual Review）等。

其中，值得一提的是，作爲最早將形式化驗證技術應用到區塊鏈安全領域的公司，成都鏈安自主研發的 Beosin-VaaS 能夠『一鍵式』精確自動定位代碼漏洞，檢測準確度高達 97%。

成都鏈安已爲 OINStake 智能合約出具權威的安全審計報告，以證明 OINStake 智能合約在合約代碼的設計和實現上已無安全風險；項目方可在以此合約進行後續的工作開展。由成都鏈安·安全審計團隊所出具的安全審計報告，受到全球衆多主流交易所的一致認可。

迄今，依託於『Beosin 一站式區塊鏈安全服務平臺』的 4 大核心產品與 8 大明星服務，成都鏈安已與信通院、微衆銀行、萬向區塊鏈、螞蟻鏈、布比、雲象、普華永道、火幣、OKEx 等國內外 100 多家區塊鏈頭部企業建立了深度合作關係，併爲全球 1000 多份智能合約、50 多個區塊鏈平臺和落地應用系統、近 100 家數字金融企業提供安全審計與防禦部署服務。

關於 OIN Finance

OIN 是 layer2 跨鏈平臺，無論用戶來自哪個項目，其都能夠讓用戶參與到 DeFi 當中。從 OINDAO 開始，用戶可利用其資產來創建自己的穩定幣，並允許新的用例和激勵分配方法。OIN 將構建橋接技術，以無縫融合以太坊和其他底層系統，並開始進入其生態系統，向當前所有 DeFi 進行開放，利用其資產並提供收益堆疊，採礦池等等。OIN 以『成爲 DeFi 門戶，促進 DeFi 行業發展，並使 DeFi 走向成熟』三方面作爲使命，而爲此爲目標不斷奮進。

關於成都鏈安（Beosin）

成都鏈安，全球領先的區塊鏈安全公司，成立於 2018 年 3 月，致力於區塊鏈安全生態建設，總部位於成都。團隊核心成員是由從事信息安全長達 20 多年的海內外知名高校教授、博士後、博士以及曾任職於阿里、華爲、360 等知名企業的網絡安全精英組成。公司已獲前海母基金、聯想創投、復星高科、成創投、任子行、界石資本、盤古創富、分佈式資本等知名機構的多輪投資。

以網絡安全、形式化驗證、人工智能和大數據分析四大技術爲核心，打造了面向區塊鏈全生態安全的『Beosin 一站式區塊鏈安全服務平臺』，爲區塊鏈企業提供安全審計、虛擬資產追溯與 AML 反洗錢、安全防護、威脅情報、安全諮詢和應急等全方位的安全服務與支持，實現區塊鏈系統『研發→運行→監管』全生命週期的安全解決方案。

成都鏈安以『讓區塊鏈生態更安全』爲使命，以『成爲全球第一的區塊鏈安全公司』爲願景，不斷打造區塊鏈安全顛覆性的核心技術，爲全球區塊鏈企業的安全保駕護航。

往期回顧

01

｜

02

｜

03

｜

04

｜