成都链安完成对DeFi项目FinNexus的安全审计

成都链安宣布已完成对DeFi项目FinNexus的全面安全审计，在对FinNexus项目的审计方法上采用了形式化验证（Formal Verification）、静态分析（Static Analysis）、典型案例测试（Typical Case Testing）、人工审核（Manual Review）等形式，主要针对FinNexus项目的代码标准（Coding Standards）、安全性（Security）和业务逻辑（Business Logic）三个方面进行审计。 FinNexus项目在代码协议（Coding Conventions）、函数调用审计（Function Call Audit）、业务安全（Business Security）等各层次类目上都获得了通过（Pass）。值得一提的是，FinNexus项目整体的审计评级为优等（Distinction）。FinNexus是指为满足投资多样性、便捷性、以及价值基础三方面需求，运用区块链技术，构建实现资产、用户以及不同的服务商之间的交互的『开放金融连接器』的协议簇；从落地方面将衍生品赛道作为重点，并落地于去中心化期权。