成都链安已完成对Defi协议FinNexus项目的安全审计

以『让区块链生态更安全』为使命的行业头部公司成都链安宣布，已完成对Defi协议finNexusLiquidity的全面安全审计。

成都链安·安全审计团队于2020年8月20日收到了FinNexus项目的安全审计申请。本次审计周期自8月20日开始，至8月22日结束。成都链安在对finNexusLiquidity的审计方法上采用了:

▷形式化验证（Formal Verification）

▷静态分析（Static Analysis）

▷典型案例测试（Typical Case Testing）

▷人工审核（Manual Review）

等形式，主要针对finNexusLiquidity的

▷代码标准（Coding Standards）

▷安全性（Security）

▷业务逻辑（Business Logic）

三个方面进行审计。

经过成都链安专业且严密的安全审计流程之后，finNexusLiquidity在:

▷代码协议（Coding Conventions）

▷函数调用审计（Function Call Audit）

▷业务安全（Business Security）

等各层次类目上都获得了成都链安的审计结果：通过（Pass）。

值得一提的是，finNexusLiquidity整体的审计评级为优等（Distinction）。后续，成都链安·安全审计团队将为FinNexus项目出具权威的安全审计报告，此审计报告受到全球众多主流交易所的认可。

此次审计目的旨在对FinNexus项目展开多维度的安全审计，以助力FinNexus项目能够在安全无虞的底层技术框架之上，以更高的纬度和更多的创新性产品切入Defi赛道，为区块链生态的繁荣添彩助力。审计结果已表明，FinNexus项目已做足准备。

作为全球领先的区块链安全公司，成都链安自成立以来，就致力于区块链安全的生态建设，并不断打造区块链安全颠覆性的核心技术，为全球区块链企业的安全保驾护航。在对项目的安全审计方面，成都链安专业的技术实力与优秀的服务意识，长久以来都受到业内客户和合作伙伴的高度认可和一致好评。

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

▲部分【智能合约】合作伙伴展示

关于FinNexus

FinNexus是指为满足投资多样性、便捷性、以及价值基础三方面需求，运用区块链技术，构建实现资产、用户以及不同的服务商之间的交互的『开放金融连接器』的协议簇；从落地方面我们将衍生品赛道作为重点，并落地于去中心化期权。

FinNexus起步于期权产品，但目标不止于此，在借贷，稳定币等基础金融产品已经被龙头占据的情况下，FinNexus希望通过期权产品和创新的保证金抵押池模式以更高的纬度切入赛道，并基于保证金抵押池模式和围绕FNX的生态价值纠缠设计，逐步开发出更多Defi衍生品和其他创新型的Defi金融产品。

关于成都链安（Beosin）

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

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

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