1. 首页
  2. 首页
  3. 成都链安完成对DeFi项目FinNexus的安全审计

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

上一篇:

下一篇: