成都链安已完成对 OINDAO 项目 OINStake 智能合约的安全审计

成都链安已完成对 OINDAO 项目 OINStake 智能合约的安全审计

成都链安已完成对 OINDAO 项目 OINStake 智能合约的安全审计

近日,全球领先的区块链安全公司,成都链安正式宣布,已完成了对 OINDAO 项目 OINStake 智能合约的安全审计业务。

DeFi 生态的发展态势依然热度不减。随着各种 DeFi 工具涌入市场,当下的非 DeFi 项目难以运用到流行的 DeFi 特性,例如杠杆作用,流动性挖矿等。新技术和社区正在蓬勃发展,忠实的社区成员经常会面临着是否需要出售其项目代币来加入新的社区,抑或是保留其资产的困境。因此,一个可持续的解决方案亟需出现,OIN Finance 由此顺应而生。

从其官方介绍来看,OIN 以『成为 DeFi 门户,促进 DeFi 行业发展,并使 DeFi 走向成熟』为使命。作为致力于区块链生态安全建设的行业头部公司,成都链安非常乐意携手 OIN Finance,共同构建起 DeFi 生态的安全底层环境。

成都链安已完成对 OINDAO 项目 OINStake 智能合约的安全审计

因此,我们在近日收到了 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 智能合约在合约代码的设计和实现上已无安全风险;项目方可在以此合约进行后续的工作开展。由成都链安·安全审计团队所出具的安全审计报告,受到全球众多主流交易所的一致认可。

成都链安已完成对 OINDAO 项目 OINStake 智能合约的安全审计

迄今,依托于『Beosin 一站式区块链安全服务平台』的 4 大核心产品与 8 大明星服务,成都链安已与信通院、微众银行、万向区块链、蚂蚁链、布比、云象、普华永道、火币、OKEx 等国内外 100 多家区块链头部企业建立了深度合作关系,并为全球 1000 多份智能合约、50 多个区块链平台和落地应用系统、近 100 家数字金融企业提供安全审计与防御部署服务。

关于 OIN Finance

OIN 是 layer2 跨链平台,无论用户来自哪个项目,其都能够让用户参与到 DeFi 当中。从 OINDAO 开始,用户可利用其资产来创建自己的稳定币,并允许新的用例和激励分配方法。OIN 将构建桥接技术,以无缝融合以太坊和其他底层系统,并开始进入其生态系统,向当前所有 DeFi 进行开放,利用其资产并提供收益堆叠,采矿池等等。OIN 以『成为 DeFi 门户,促进 DeFi 行业发展,并使 DeFi 走向成熟』三方面作为使命,而为此为目标不断奋进。

成都链安已完成对 OINDAO 项目 OINStake 智能合约的安全审计

关于成都链安(Beosin)

成都链安,全球领先的区块链安全公司,成立于 2018 年 3 月,致力于区块链安全生态建设,总部位于成都。团队核心成员是由从事信息安全长达 20 多年的海内外知名高校教授、博士后、博士以及曾任职于阿里、华为、360 等知名企业的网络安全精英组成。公司已获前海母基金、联想创投、复星高科、成创投、任子行、界石资本、盘古创富、分布式资本等知名机构的多轮投资。

以网络安全、形式化验证、人工智能和大数据分析四大技术为核心,打造了面向区块链全生态安全的『Beosin 一站式区块链安全服务平台』,为区块链企业提供安全审计、虚拟资产追溯与 AML 反洗钱、安全防护、威胁情报、安全咨询和应急等全方位的安全服务与支持,实现区块链系统『研发→运行→监管』全生命周期的安全解决方案。

成都链安以『让区块链生态更安全』为使命,以『成为全球第一的区块链安全公司』为愿景,不断打造区块链安全颠覆性的核心技术,为全球区块链企业的安全保驾护航。

成都链安已完成对 OINDAO 项目 OINStake 智能合约的安全审计

往期回顾

01

成都链安助力《区块链漏洞定级细则》成功发布


02

DeFi 合约审计中的那些“套路”

03

DeFi 项目:安全风险岂止于审计

04

区块链安全,重于泰山 | 成都链安创始人 &CEO; 杨霞教授『中韩区块链周』主题演讲回顾

成都链安已完成对 OINDAO 项目 OINStake 智能合约的安全审计

成都链安已完成对 OINDAO 项目 OINStake 智能合约的安全审计